不确定性时空查询的一种符号表示法

分析了时态查询、时空查询和不确定性时空查询的各类查询形式及其查询特性,以BNF(B ackus-naurform)范式形式给出不确定性时空查询语义的统一符号表示法,并对典型查询进行举例说明。该表示法建立在时态谓词、时空谓词和不确定性时空谓词基础上,可消除由不同表现形式带来的语义混淆,以对各类不确定性时空查询进行统一表示。该方法还可用于不确定性时空数据库原型系统的实现和不确定性时空查询的进一步研究。     

间隙非线性结构气弹响应分析程序的DMAP开发

对大型工程结构,目前MSC/NASTRAN提供了线性颤振、线性气弹的计算功能,但无法进行非线性结构的气弹响应分析。本文采用Roger有理函数拟合法,从简谐运动情况下NASTRAN求得的若干折减频率下的非定常气动力系数矩阵,导出任意运动情况下的非定常气动力近似表达式,并将该气动模型引入到非线性运动方程中,利用DM AP语言在NASTRAN非线性瞬态响应分析程序中加入相关气动力模块,实现了大型有限元机翼结构的非线性气弹响应分析。文中给出了算例,结果验证了该法分析间隙非线性结构气弹响应的有效性。     

通用机上的实时仿真系统

介绍了通用机上的仿真系统的体系结构 ,实时仿真系统的语言规范 ,软件和硬件设计原则及实现方法 ,以及为编译器 ,实时交互 ,I/O控制器提供所有信息的IDB数据库     

基于Web的CAD系统研究与实现

介绍了一个新的基于Web的CAD系统。用户可以在任何操作系统上，通过浏览器来利用安装在服务器上的该CAD系统进行产品的设计。无需事先安装任何其他软件，也不用考虑系统的维护。本讨论了实现该系统所需的架构和数据库结构，并给出了系统的UML模型，利用Java和CORBA在Web上建立原型系统。     

基于UML—OOPN的可重构制造单元建模

以可重构制造单元为研究对象，以实现其可重组性为研究目标。提出了一种集成标准建模语言UML和面向对象Petri网的建模方法－UML－OOPN，该方法同时具备了标准建模语言UML和Petri网的优点，不仅能够提供了支持需求分析，模型描述和设计，模型分析和仿真，直至模型实现的一块化框架，而且所建立的系统模型具有较好的可重用性和可扩展性。     

基于图象处理的QR码识别

随着智能手机技术的发展和二维码技术的推广,QR码的手机识别技术的应用越来越广泛.根据QR条码图像符号的特殊性,针对QR码识别过程中手机图像采集的实际情况,应用并改进多种图像处理的方法,用C语言实现了对QR条码的译码,取得了良好的效果.     

UHDL语言及其编译器的设计与实现

本文介绍了一种通用硬件描述语言——UHDL及其编译器的设计与实现。该语言具有多层次硬件描述能力,良好的程序设计风格和丰富的数据类型,能够支持从系统级到门级的模拟过程。该语言编译器已在MICRO—VAXⅡ上用C语言实现。为了较好说明UHDL语言及其编译器的性能,本文各部分均给出了相应的示例。     

基于C语言的51系列单片机专用测试设备校准接口设计

介绍了专用测试设备的特点、传统校准接口与智能化校准接口的区别、硬件设计及软件设计,尤其对软件的结构特点作了详细的论述,展望了专用测试设备校准的发展方向.     

论会话含意的理解过程

根据会话语言特点，从关联理论角度，分析会话含意的理解过程，发现它实际上是听话者通过认知语境，将接收话语建立的新的假设进行关联、激活、选择、推理并获取会话含意的过程。对言语的理解离不开语境、语境制约着言语的选择和运用，二者密不可分。