CORBA在TINA网络和业务管理中的应用

为适应分布式计算环境的要求,CORBA规范定义了能支持互操作性的接口和业务,TINA为基于CORBA的业务开发和网络管理应用定义了框架结构。给出了具体的应用方法及其与当前使用较多的TMN框架的互操作。     

基于排序形式化规格说明的软构件匹配

基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法,在软件复用和库检索中,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求.利用基于排序形式化规格说明来描述软构件的行为,并在构件和方法层次上给出多种不同类型的基于排序形式化规格说明软构件匹配的定义,及其在构件检索中的应用.     

基于UML的软件结构规范与精化

提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性。     

一组实用的Z规格说明度量准则

众所周知,软件开发越到后期,为纠正或弥补错误所付出的代价会呈几何级数增长,因此规格说明的质量成为影响软件开发的难点和关键因素之一.为此,文中给出了一组针对形式规格说明语言Z模式的度量准则.该组准则考虑了模式修饰、模式包含、模式类型和模式出现在其他模式的变量说明和谓词约束部分的可能.根据这些度量准则,可以发现一些问题并把问题杜绝在软件开发的早期阶段,减少由于错误或不合理分析导致的浪费,并可对系统进行有效的评估.     

形式化面向对象方法与并发系统的建模

将统一建模语言（UML）的面向对象可视化技术与代数规范语言CafeOBJ的形式描述相结合,对冗余磁盘阵列（RAID）系统中的并发特性进行建模、分析和规范。提供了RAID系统的清晰结构,以此来弥补形式化规范语言的不足,规范软件设计过程,保证程序的正确性。     

“氨水”还是“氢氧化铵”?

本文总结了氨水与氢氧化铵的表述在国内外现行化学教材、专业词典、国家标准、化学化工相关文献中体例不统一的现状,认为最新修订的化学试剂氨水国家标准对氨水性状的描述过于简单,中文名称与化学式不一致,而且国内外对氨水和氢氧化铵的英文用词有多种,通过检索英文用词很难统一两者的中文表述。文章对如何规范“氨水”和“氢氧化铵”的表述提出了建议。     

X线医学图像的对比度增强方法与实现

在分析了直方图均衡化、规定化和局部对比度增强三种图像增强方法的基础上,将直方图规定化和局部对比度增强方法相结合,对X线医学图像进行增强处理．实验结果表明该方法的增强效果优于直方图均衡化、规定化处理方法的增强效果,既提高了图像的整体对比度,又突出了图像的局部细节．     

主流区风口模型在CFD模拟中的应用

提出主流区风口模型计算气流温度和速度的特性公式,并研究其在工程中的实际应用情况．利用主流区风口模型、基本模型、盒子模型、N点动量模型分别模拟了送风口气流分布情况．结果表明,基本模型与盒子模型对于结构复杂的送风口模拟失效;基于N点动量模型和主流区模型的流体速度在工作区的模拟值与实测值的相对误差小于20％;在主流区模型中,送风口附近的气体速度模拟值与实测值的最大相对误差小于15％．     

基于Petri网的车间控制器平台研究

着重于车间控制器的开放性提出了车间控制器平台的体系结构.车间控制器平台的核心是运控Petri网.该文给出了运控Petri网的定义.和一般的Petri网相比,运控Petri网主要增加了控制规则以及和外部信息进行交互的接口.实现外部接口的技术方案是车间控制器平台的关键技术,这些接口包括控制设备的虚拟制造设备(VMD)接口、数据库访问接口以及文件访问接口,通过这些外部接口为车间调度提供了全面的车间信息.     

基于Petri网的TCP协议异常检测模型

从面向连接的角度出发，以Petri网为工具，建立了TCP协议异常检测模型．该模型以TCP协议的状态变迁图为基础，并根据协议规范可对传输报文的标志位进行系统的分析，从而识别出标志位非法组合构成的畸形报文（FIN—RST报文）．模型中规定了各种状态下可接收的标志位集合，同时还细化了各状态下的超时异常，据此可准确地检测出各种异常，以抵御已知和未知的非法行为．利用该模型不仅可发现已知异常事件，还可对未知漏洞进行防范．通过实验发现，网络中的错误标志位报文、端口扫描以及DOS攻击产生的异常流量将占到总流量的10%以上．