摘要：为了探讨WP(警示传播)算法的收敛性,给出了WP算法收敛的后门集.通过对此后门集中的变元赋值,可将布尔公式简化成其因子图为树型结构的子公式,WP算法在子公式上收敛.最后,设计了一个求解该后门集的随机算法,并分析了该算法的可行性.结果表明,所提出的求解该后门集的随机算法是有效的.

摘要：为了对航空电磁阀进行动态测试,对这种电磁阀的计算机动态测试方法进行了研究。首先采用流行的组态软件-组态王作为运行系统;其次对电磁阀的打开和关闭进行控制;最后采用VisualBasic开发专用的ActiveX控件嵌入组态王中对电磁阀的打开和关闭瞬间进行动态测试。使用这种方法实现了一个实用的航空电磁阀计算机动态测试系统。该设计方法设计的计算机测试系统不但可以进行高速测试,而且还具有很强的二次开发功能;该方法还可以用于其它计算机测试系统的开发。

摘要：分析了以685数字报警接收主机为中心组成的联网自动报警系统。介绍了自行设计的系统软件的主要特点，以及用Visual Basic和ACCESS开发的基于微机的联网自动报警软件系统的关键技术。

摘要：在阐述了虚拟柱面全景模型及相关技术的基础上,设计了一种增强图像匹配效果、并能较好地消除“黑洞”现象的建模方法。该方法利用基于特征线段的匹配算法对图像进行匹配,然后用渐入渐出的方法进行平滑无缝拼接,再以反投影算法生成全景图像、正投影算法生成各视线方向的视图,最终在浏览器中实现了柱面全景图像的漫游。

摘要：信息传播算法求解可满足问题时有良好的有效性,使得难解区域变窄.然而,信息传播算法不总有效,常表现为不收敛.对于这种现象,至今缺少系统的理论解释.调查传播(survey propagation,SP)算法是最为有效的信息传播算法,对SP算法的收敛性研究是设计其他信息传播算法的重要基础,并为信息传播算法的广泛应用提供理论依据.为了分析SP算法的收敛性,通过对消息更新方程取双曲正切,将消息取值从[0,1]扩展为(-∞,∞),利用压缩映射原理给出了SP算法收敛的一个充分条件.基于随机3-SAT实例,给出了SP算法收敛的一个概率条件.最后,选取了随机3-SAT实例进行数值实验模拟,验证了该条件的有效性.

摘要：本文设计了一个基于内容的ＥＭＡＩＬ安全拦截系统模型。该模型从用户的角度出发，为了满足不同用户对不同主题的需求，采用层次智能信息滤波算法和有专家指导的相关反馈学习算法，过滤掉不可信度大于阈值的非法Ｅｍａｉｌ。使收信者甚至意识不到非法Ｅｍａｉｌ的存在，有效地起到了安全卫士的保护作用。

摘要：虚拟现实技术在军事、航空航天、数字博物馆、虚拟人等领域得到了广泛的应用。但是,由于虚拟现实技术本身的复杂性,使得实现虚拟现实一直以来都是一项较为困难的工作。3DSTATE引擎是一种较新的虚拟现实开发工具,能快速和简便的实现基本的虚拟现实功能,在介绍3DSTATE引擎及3DWorldBuilder的基础上,着重讨论了Visual C#.NET与3DSTATE引擎相结合实现虚拟现实的方法和步骤。

摘要：为了弥补传统病毒传播模型的缺陷,利用原胞自动机方法模拟了感染概率呈0-1分布、均匀分布、指数分布、幂律分布这四种情况下的病毒传播过程,结果发现当感染概率呈0-1分布时病毒的传播效率最高,而感染概率呈幂律分布时病毒的传播效率最低,这说明个体差异的存在能降低病毒传播的效率。该结论扩充了人们对病毒传播的认识,同时对真实系统的设计具有一定的参考价值。

摘要：ESSAP程序(Static alialyse program for etectrical switchs)为在 IBM—PC/XT,AT 及其兼容机上开发的用于求解非常规非线性平面梁柱系统静力问题的专用软件。它主要适用于对各类电器开关结构的求解。除了适应微动开关的求解外,还特别适应推推电源开关、按钮开关等类似结构的求解,后者与微动开关的主要差别是:求解中两个或两个以上的动节点合为一个动节点以及一个节点位移受另一个节点的约束(即同步约束)。能求解推推电源开关和按钮开关的程序在国内属首次推出,国外类似的程序亦尚未见报道。

摘要：模块化推理在程序分析和程序验证领域得到了广泛的关注与应用,其应用范围涵盖了程序静态分析、程序进化、程序验证等方面。由于面向方面程序设计(aspect-oriented programming,AOP)存在量化和易忘性等特点,违反了传统程序方法学中的模块化原则,从而容易引起方面干扰问题,使对面向方面程序进行模块化推理更加困难,严重影响了AOP的应用前景。本文阐述了面向方面程序的模块化推理目标和类型,描述了常用的面向方面程序的模块化推理方法,总结了面向方面程序的模块化推理尚存在的一些问题,指出了可能的研究方向。