摘要：目前国内外学者在软件理解的研究上多注重于程序的词法层和语法层技术的探索,相应的有程序切片、程序类跟踪、程序依赖性分析、反汇编与反编译等方法。但对程序的语义层理解方法进行研究的甚少。该文正是基于上述分析研究了一种软件理解新方法——形式化格局识别技术,以行为层状结构的变换来表述程序的语义,进而采用近人类的思维方式来理解并抽取软件的设计决策与体系结构。

摘要：Kilos Virtual Machine(KVM)是J2ME的核心技术,通过安装KVM、手机等嵌入式设备可以通过网络下载运行J2ME版的Java应用程序。讨论了KVM的主要设计技术,提出了符合CLDC规范的KVM设计方案;该方案首次采用了基于预处理程序的实现技术,使得KVM的代码校验、垃圾回收和代码优化等在线处理工作大大减小,从而提高了KVM的性能;研究了预处理模块、垃圾回收模块的结构与算法及代码优化的策略;并讨论了具体实现中的若干问题。

摘要：管理信息系统的开发是基于某一特定的单位或组织的,通用管理信息系统的开发,将是一条有效地解决不能适应单位或组织业务发展和决策科学化的途径。构件技术是以面向对象技术为基础而发展起来的软件技术,基于软件构件技术,结合原型化的软件开发方法,分析并提出了通用MIS系统的开发模型,包括系统目标和系统分析。在系统集成中作为一个例子,设计并实现了该系统的动态建表功能模块构件类。

摘要：主动式动态网络防御技术是当前网络安全中的一个热点。结合应用协同和联动技术,设计了动态Honey的网络防御系统。构建了两层的防御控制体系,使防火墙、入侵检测、Honey之间实现了有效的互动,提升了网络防御的能力。

摘要：讨论了W eb信息过滤的现状,提出了W eb信息过滤应用中移动Agent的结构并设计了基于移动Agent的信息过滤工作模型。该模型由数据挖掘模块、信息过滤模块和相应的数据库模块组成,能够有效地屏蔽非法信息。实际应用表明,该W eb信息过滤模型能够有效地完成对网页信息的过滤和保证内部人员合法地使用网络。

摘要：程序的语义层是程序的词法层和语法层的抽象表达,而蕴涵在软件中的语义层构成了人脑思维与机器思维交互过程的中间变换,从程序的语义层出发,利用行为结构的高层表达进行软件理解,进而抽取设计决策,成为了软件逆向工程理论研究的热门课题,形式化格局识别技术在不同程度上表达了上述思想。基于以上分析,对格局识别技术作进一步探究,并在原有基础上提出了新的改进算法与实施技术。

摘要：介绍了网络物理隔离器的设计思想和软、硬件的实现方法 ,给出了具体实施步骤。所设计的网络隔离器 ,经安装调试和实际运行 ,在切换速度和传输速率上完全满足网络要求 ,实现了 4种控制功能 ,一台PC机连接 ,隔离 4个网络 ,操作方便 ,动作准确 ,适合多网络安全连接、物理隔离、高效运行的场合。