一类并发实时系统的自动验证

一个被广泛用于验证实时系统的方法是根据被验证的实时性质,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间.算法只需要在这个有限的等价类空间里搜索就可以得到正确答案.但是,这个等价类空间的规模一般随着系统规模的增大而产生爆炸性的增长,以至于在很多情况下,穷尽搜索这个空间是不现实的.该文引入了一个等价关系来验证一个由多个实时自动机通过共享变量组成的并发系统是否满足一个线性时段特性.同时,还引入了格局之间的兼容关系来避免对状态等价类空间的穷尽搜索.基于这两个关系,文章提出了一个算法来验证是否一个实时自动机网满足一个线性时段特性.实例研究显示,此算法在某些情况下比其他一些工具有更好的时间和空间效率.     

基于遗传算法的模糊隶属函数的选择

确定合适的隶属函数对模糊控制效果有重要影响,是应用模糊控制的基础,也是难点之一。作者应用遗传算法对模糊温度传感器信号处理过程中的隶属函数进行选择,阐述了基本原理和具体实施过程,最后用一具体的实例来说明该优化算法在模糊隶属函数选择中的应用。结果表明：该方法简单实用,具有较为理想的效果。     

基于双原理的热流量传感器的研究

介绍了一种基于测热原理的新型流量传感器 ,它采用加热器对流体加热 ,利用薄膜温度传感器 ,通过测量流体的温度差和热脉冲上升时间 ,实现流量的测量。两种测量方法相结合使得测量范围有了较大的提高 (0 .1～ 15 0mm/s) ,响应时间缩短到了 2ms,并且 ,这种传感器对杂物不敏感。     

差动吸收式SO2光纤传感器的研究

本文基于气体的窄带光吸收特性 ,研究了 SO2 气体浓度与载波光强的关系 ,在此基础上 ,设计了一种检测该气体浓度的差动光纤传感器及其系统 ,对改善仪器精度等特性指标的主要因素进行分析。实验结果表明该仪器具有较高的灵敏度和精度。     

机器人群体合作的信念分析

从群体合作的角度分析了多机器人系统的特殊性,提出信念的多元表示方法和基于 信息熵的信念修改规则．通过运行试验,证明了所提出的方法和规则的可行性．     

汉英翻译系统英文生成中选词模型的设计

本文描述了一种基于实例比较,辅以语义模式匹配的英文选词模型的设计。首先,我们讨论了汉英翻译系统英文生成中选词的重要性,然后比较了几种可能的选词策略并提出我们的选词模型,接着我们较详细地描述了生成词典的结构以及选词算法。文中,我们还简要介绍了我们所使用的语义知识资源——《知网》。     

基于工程特征类的预算工程量自适应提取方法研究

提出一种基于施工图的建筑CAD与预算编制集成方法,通过对施工图逻辑结构和反映预算工程量的各类图形信息特点进行分析,提出了工程特征类信息的概念,采用模板和模式识别技术实现了多层构造类预算工程量的自动提取和定额自动套取,并在基于通用设计平台的概预算一体化系统中得到应用。     

网络学习基本模式分析

分析了网络学习的基本模式,并指明创建一个远程学习者良好学习环境所要考虑的几个因素。     

电网智能综合补偿系统的设计

电网智能综合补偿系统可根据电网的动态变化情况,对电网的电压、功能率因数、谐波及三相不平均等因素实现综合补偿,文中详细介绍了这一基于８０Ｃ１９６的智能控制系统的基本结构和软硬件设计思想,实验结果表明了该系统的可行性和智能控制方法的有效性。     

高可用集群计算

根据集群计算的特点,论述高可用集群计算系统检查点设置与卷回恢复、检查点镜像、进程迁移以及系统动态重构等关键技术。最后,论文对我们自行研制的ＣｈａＲＭ系统进行了介绍,并与同类系统进行了比较。