我院计算机课程改革的设想

根据军内外计算机课程改革的形势,并结合新制定的“全军计算机课程教学基本要求”,提出了我院计算机课程改革的设想.

ASP.NET性能深度优化的探讨

通过介绍ASP.NET的性能指标以及影响ASP.NET性能的主要方面,对ASP.NET性能的深度优化进行了探讨、研究。

应用虚拟现实技术推动普通高校教学改革

虚拟现实技术作为一种新的教学媒体,已广泛应用到高校教学中。本文介绍了虚拟现实技术的概念、特征及分类,论述了运用虚拟现实技术推动普通高校教学改革的具体措施。

ASP.NET性能深度优化的探讨

众所周知，通过ASP.NET的缓存机制可以实现应用程序性能的提升，这就好比一辆奥拓车，通过合理改装，使性能得到有效提高，让他跑得更快；但是，奥拓终归还是奥拓，再怎么改与奥迪也有差距。本文将探讨，在ASP.NET下如何对性能进行深度优化，使它从一开始就能具备优良的性能。

基于VC++的多线程聊天程序的设计与实现

在网络越来越发达的今天,聊天已经成了许多人生活中必不可少的一部分。基于这样的需求,该文使用VC++6.0作为开发平台,以Windows SOCKET为基础,采用多线程技术实现一个局域网聊天工具。

基于VB.NET的图书借阅管理系统的设计与实现

建立现代图书管理系统是实现图书馆现代化的手段。以VB.NET作为开发平台,以SQL Server 2005作为后台数据库,给出了现代图书管理系统的总体设计方案。系统采用了安全高效的策略,并以面向对象的界面形式来实现对数据库的操作。

汇编语言动态分析工具中的程序插装技术

根据8086/8088语言的结构化特点,提出了程序插装的概念及其实现方法,并基于插装研制出一种动态分析工具,从而实现了对程序分支及语句的自动测试功能.

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

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

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。

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

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

网络节点双机容错系统中的重构算法

提出了一种网络节点双机容错系统中的重构算法,详细叙述了重构时序和内存数据的一致性,并给出了算法流程。

一个快速的临界跟踪策略 VLSI故障模拟新方法

运用九故障信息标记（X,D,M,R,E,Q,T,P,U）,提出了加速扇出重汇聚引线临界性计算的一种故障模拟新方法,理论分析表明该方法是有效的。

嵌入CPU PCB结构测试方法研究

论述了嵌入CPU印制电路板（PCB）故障测试与故障诊断的一般方法。研究表明:只要满足一定的测试性设计要求,嵌入CPU PCB采用结构化测试方法是可行的。

时序逻辑的并行描述与隐含遍历

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。

基于自由边控制流图的路径覆盖分析实现方法

针对路径覆盖测试,给出了一般循环结构的一种简化处理方案及把按此方案得到的控制流图转化为自由边控制流图方法,并探讨了基于自由边控制流图进行路径覆盖分析的实现方法和优点。

面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。

短路故障的测试产生方法

在PCB上,两个不相邻的芯片管脚或引线发生短路是实际应用当中最常见的故障。通过分析固定型故障和桥接故障之间的关系,给出桥接故障测试序列产生的系统计算方法。该方法已应用在一个PCB故障测试系统中。

基于多路归并的演绎故障模拟方法

提出了一个基于多路归并技术的演绎故障模拟方法,该方法对于集合运算∪,∩,-的计算复杂性是拟线性的,从而保证本文所提出的故障模拟方法的计算复杂性是拟线性的。

软件可靠性数学仿真测试平台设计与研制

针对火控软件的特点和要求,研制出面向软件可靠性验证的数学仿真测试平台,并根据典型的火控程序,有效地完成了分析与测试工作.测试系统界面友好,测试结果达到设计要求.

时序电路测试中敏化路径选择研究

时序电路测试产生过程中,在进行敏化路径选择时会遇到失败问题.本文针对迭代组合阵列模型测试中产生的这些问题进行了有益的探讨,并提出了改进的时序电路测试产生算法,使之更加完善.