基于标准门的BDD构造

一个有效的和简化的BDD将大大提高验证和测试生成效率.作者根据电路结构的特点,以标准门的BDD为基础,从原始输入到输出,通过逐级拼接,有效地完成电路的BDD构造.实验证明,该方法简单、直观而有效.     

基于广域网的建筑工程管理系统设计

针对韩村河建筑集团工程与办公的特点,设计出基于公共数据交换网环境的工程管理系统。它以建筑工程管理为主,包含办公管理、合同管理、财务管理、材料管理、进度控制和数据接口等功能。系统采用模块化设计并具备多层安全控制机制。     

基于状态变换的同步时序电路测试生成

详细分析了固定故障所反映出的状态变换特征,提出状态变换故障模型以及相对应的测试生成压缩方法;基于无复位时序电路,深入研究了有复位状态的同步状态机测试生成方法的扩展问题;最后讨论了故障精简以及启发知识在测试生成中的应用问题。     

基于涌现的武器装备体系作战能力建模研究

武器装备体系作战能力反映了武器系统的总体特征,它是一个非线性、涌现的复杂综合体系。但现如今建模评估方法的研究并不是十分深入,因而结合当前的发展实际状况与发展需求,将传统评估的单一指标主体化,构建了武器装备体系作战能力主体单元模型。并基于改进连续空间元胞自动机的建模思想,将武器装备抽象为一个个具体的类元胞关联涌现模型单元,分析其空间结构与关联关系,评估模拟基于涌现的武器装备体系的作战能力。实例验证了基于连续空间元胞自动机关联关系涌现模型的有效性。     

对信息技术与课程整合的思考

从大学本科教育出发,分析信息技术与课程整合的必要性与迫切性,提出信息技术与课程整合面临的一些亟待解决的问题。根据计算机与信息化教学的实践经验和特点,提出了解决问题的一些看法。     

基于两种密码体制结合的网络数据安全模型

利用密码学的方法来解决网络数据传输的安全性问题。在分析对称密码体制和公开密钥体制的代表DSE和RSA算法的优缺点后,提出将两种算法结合的网络数据安全系统的模型。     

基于UPDM的武器装备体系建模

从武器装备体系论证的特性出发,采用基于模型的系统工程方法对UPDM (Unified Platform for Defense Modeling)进行了系统分析,研究了基于UPDM的武器装备体系建模方法和建模过程.通过分析使命能力,确认与任务相对应的场景,建立基于时序的能力与任务描述模型,实现武器装备体系作战能力所需的指控过程与多个杀伤链场景,并对模型的时序逻辑进行形式化的测试与验证.建模方法具备武器装备体系模型验证能力,为武器装备体系的作战性能和作战效能评估提供了支持.     

车辆监控报警系统的设计与实现

介绍了车辆监控报警系统的设计方案,从监控、接警、处警、撤警和数据库等方面描述了实现过程,并详细分析了系统采用的电子地图操作、差分、重点监控、跟踪和语音记录等关键技术,最后介绍了该系统的实用价值和应用前景.     

基于访问特征负载预测的负载均衡算法

为了提高web集群负载均衡的效果，结合web服务用户访问静动态内容的特征，提出了一种基于访问特征负载预测的负载均衡算法。首先建立网络带宽负载和CPU、内存综合性能负载的小波包一支持向量机回归混合预测模型；然后根据用户请求的类型，结合负载预测的结果对任务进行分配和调度。仿真结果表明：与传统的基于负载预测的负载均衡算法相比，基于访问特征负载预测的负载均衡算法能达到更好的负载均衡效果，从而有效提高web集群的整体性能。