一个基于逻辑程序设计范例的专家数据库开发工具

ＧＫＤ－ＥＤＳＴ是一个集成型专家数据库系统开发工具,本文着重介绍该工具的设计思想与实现方法。     

温度触觉传感器的材质识别仿真研究

采用温度触觉传感器对材质进行识别研究,介绍了一种基于热传导原理的材质识别方法,利用ANSYS软件对温度触觉传感器在不同温度差、不同基板材料和不同被测物体材料不同情形下的热传导进行了仿真实验。仿真结果表明:温度触觉传感器可用于识别吸热系数偏低的材料,接触温度可作为材质识别的一个重要判据。     

Q学习算法在库存控制中的应用1)

Q学习算法是Watkins提出的求解信息不完全马尔可夫决策问题的一种强化学习方法.这里提出了一种新的探索策略,并将该策略和Q学习算法有效结合来求解一类典型的有连续状态和决策空间的库存控制问题.仿真表明,该方法所求解的控制策略和用值迭代法在模型已知的情况下所求得的最优策略非常逼近,从而证实了Q学习算法在一些系统模型未知的工程控制问题中的应用潜力.     

一种基于角色的分布式动态服务组合方法

服务组合是开放环境中实现跨组织敏捷应用集成的重要技术.许多研究采用集中的服务组合引擎管理组合服务的执行,在系统的可伸缩性、消息传输效率及自治性等方面存在局限.针对集中结构的上述问题,提出一种基于角色的分布式动态服务组合方法,通过划分组合服务的全局流程模型产生各个角色的本地流程模型,从而使得组合服务的控制逻辑及执行负载能够对等地分布到多个结点.讨论了本地流程模型的生成算法及部署与执行机制.模拟实验结果表明,与集中式结构相比,该方法能够更有效地支持大规模并发访问以及大数据量的消息转输,有助于提高组合服务的可伸缩性.     

基于Spin的Rdt2.2及其改进的形式化分析

用Promda语言对滑动窗口协议中的Rdt2.2模型进行了描述,通过Spin对该描述进行了形式化分析验证,并发现存在一个死锁.进而对该协议进行改进,采用添加定时器的方法解决了死锁问题,通过这种形式化验证增加了协议的正确性和可靠性.     

基于GGIW-PMB的衍生扩展目标跟踪

针对标准的扩展目标泊松多伯努利(Poisson multi-Bernoulli, PMB)滤波器难以有效跟踪衍生目标的问题,提出一种改进的PMB跟踪算法.算法采用随机矩阵法对扩展目标外形和尺寸建模,在滤波预测阶段利用多假设模型对衍生事件进行预测,得到多个伽玛高斯逆威沙特(gamma Gaussian inverse Wishart, GGIW)预测假设分量,最后在滤波更新阶段对预测分量更新得到扩展目标的运动状态和扩展形状估计.仿真结果表明,与标准的PMB滤波算法相比,所提算法有效改善衍生扩展目标的跟踪性能.     

网络攻击活动隐藏技术的分析与实现

深入分析了网络攻击活动中文件、进程、网络连接及通道的高级隐藏技术，其中包括：进程活动隐藏技术、文件隐藏技术、网络连接隐藏技术、网络隐蔽通道技术。这些技术有的已经被广泛应用到各种后门或安全检测程序之中。     

大学英语分级教学训练模式研究

实行分级教学是大学英语课程贯彻落实因材施教原则的一项重要举措.探讨了在大学英语听、说、读、写等基本技能培养过程中,针对不同层级学生实行分级训练的内容、方式和目标.     

薄板不锈钢筒体电阻点焊工装改进设计

薄板不锈钢筒体电阻点焊工装多采用人工判断与干预,产品外观和产品质量难以得到保证,并且劳动强度高、生产效率低。通过设计新的电阻点焊工装,提高机械化水平,提高了产品质量、降低了劳动强度并提高了劳动生产率。     

储粮通风降水系统的研究

通过对9种机械通风降水系统的研究,优选出全敞式地槽鼓风降水系统、地上风道鼓风降水系统、排风扇等负压通风降水系统等三类通风降水系统。对含水量为16～17％的玉米进行试验,能够有效地降低到安全水分13％,对保持储粮品质具有良好的作用。其风网设计较为合理,气流分布较为均匀。通风降水系统中,单位风量、管道风速、表层风速、静压、开孔率、途径比等测定数据均符合设计要求,具有效果好、能耗低、费用少的经济效益和社会效益。