用于数字系统设计的函数式语言解析方案

介绍一种应用于数字系统设计中的基于函数式语言的代码解析方案,主要包括该函数式语言和解析工具的介绍,该语言的词法与语法分析程序的结构介绍,由语法树到语法规则到抽象语法树的生成过程,以及具体的应用实例。该解析方案已经成功应用于数字系统的设计中。     

基于抽象语法树的代码味道识别工具的分析与设计

介绍了如何利用面向对象软件度量方法来识别代码味道,同时提出了以抽象语法树为中间表示形式来设计面向自动化重构的代码味道识别工具,并介绍了该识别工具各个模块的功能与特点.     

基于CHAM模型的LTS状态树生成算法

标号迁移系统(1abelled transition system，LTS)是形式化一致性测试的重要研究方向，在软件体系结构(software architectures，SA)测试计划生成的研究中，需要从化学抽象机(chemical abstract machine，CHAM)模型中生成LTS，以表达出软件体系结构的动态特征，因此，LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题，基于CHAM模型，提出了通用LTS状态树生成算法，并使用实例验证了该算法。     

嵌入式Linux硬实时性的研究与实现

着重论述了增强嵌入式Linux实时性的基本策略，在实际项目中提出并实现了在实时硬件抽象层(RTHAL)的架构下，应用双内核机制使嵌入式Linux支持硬实时性的一种新的方案。     

分布式入侵检测模型研究

提出了分布级别的概念对分布式入侵检测系统进行分类，并引入信息抽象级别对入侵检测中审计数据所经历的逻辑抽象层次进行表述．在对现有的层次检测模型和协作检测模型的优点和缺陷进行详细分析之后，提出了一种用于分布式入侵检测系统的层次化协作模型(HCM)，并完成了相应的原型系统．该模型可以有效地综合两种现有模型的优点，在保证结点可控性和检测效率的同时提高系统的容错性和协作能力．     

面向对象的操作系统抽象层和运行支撑层

嵌入式操作系统在通信领域有着广泛的应用，通信软件经常在不同的嵌入式操作系统之间进行移植。为方便通信软件的开发和移植，引入了嵌入式应用软件开发平台的概念。在嵌入式应用软件开发平台的开发过程中，如何进行面向对象化的操作系统封装对系统的性能有很大的影响。该文就嵌入式应用软件开发平台的操作系统封装层的面向对象化进行了理论上的探讨和应用上的研究。     

无线高速寻呼联网系统的IPNP网关的设计及实现

IPNP协议是FLEX全国高速寻呼联网系统的体系结构中十分重要的接口协议，是高速寻呼系统人工辅助席与自动寻呼系统的联网协议接口、主要就IPNP协议网关的设计进行了探讨，并对模块开发中几个关键的问题提出了较为合理的解决方案。     

“建设项目经济评价应用软件”中可复用部件的提取

该文将软件复用技术引入“建设项目经济评价应用软件”的设计中，主要讨论了如何在“建设项目经济评价应用软件”中提取可复用部件，以及可复用部件的描述及实例化过程。     

DSM系统中共享存储抽象机制的实现

虽然ＤＳＭ系统相互之间差异很大，但ＤＳＭ存在一个共同特征，即提供共享存储抽象机制。本文分析了ＤＳＭ系统共享存储抽象机制的实现，总结了各种不同的实现途径、实现细节及各自的优缺点，指出了ＤＳＭ发展的趋势及一些亟待解决的问题。     

Windows NT4.0的特点

这段时间,Windows 98又一次让微软(Microsoft)成为世界各大报刊出现频率最高的词汇,我们这些Fan们又为微软的这一大手笔而再一次心动,但我要劝君:“冷静些,莫慌”。Windows 98相对Windows 95来说到底有多大本质性的改进呢?其它的姑且不谈,就稳定性而言,诚然是有一定的改进,但这样的改进对那些进行CAD、数据处理、软件开发等工作的用户而言是远远不