支持对象间关系的程序设计语言研究

在论述了面向对象技术中对象间的关系作为第一级建模概念的重要性之后,该文设计并实现了显式支持对象间关系的RCPP(relational C++)语言.它提供了显式描述对象间关系特性和语义的机制,利用关系来动态地控制对象行为的作用和传播.它的运行是通过一个转换器把RCPP代码翻译成C++代码,再经C++环境编译后,形成可执行程序而实现的.文章对RCPP语言的模型、语言提供的服务以及具体系统的描述和实现作了深入阐述.     

支持软件工程的体系结构描述

提供了一种从软件生产实践中得来的、支持软件工程的体系结构描述和建模方法,它定位于体系结构的最高层。主要思想是在描述软件体系结构时,首先指定部件和连接器,指明接口、部件的计算操作和连接器表示的协议,并把体系结构拓朴定义为系统。     

一种基于扩展对象模型的界面自动生成方法

根据界面工程设计和自动化的需要，提出了基于FMP模型中的扩展对象模型的自动生成方法。这种方法是根据扩展对象模型的描述信息，在界面的特定区域中实现界面自动生成。实验结果表明，提出的方法具有相当的应用价值。     

一个并行分词体系结构模型

文章提出并讨论了一种并行全切分分词方法,给出了该方法在MIMD_SM上的并行分词体系结构模型。经过单CPU机上的模拟实验,证明该模型是可行而且有效的。该模型为克服串行全切分存在的复杂性及效率问题提供了新的思路,对于深入研究书面汉语的并行分词问题及实现具有实际意义。     

支持界面描述的交互模型及其形式化描述

为促进软件用户界面的工程设计,该文提出了一种支持用户界面自动生成的交互模型。它对UML中交互模型的概念加以扩展,添加与界面生成直接相关的信息,表达了与界面相关的功能和数据对象信息以及这些信息间的控制关系。并详细描述了交互模型的符号体系和对它的形式化描述。     

支持多目标框架的Web应用开发方法

目前多数基于MDA的Web应用开发工具将平台相关模型（PSM）定义为具体的目标运行框架,这使得基于某种平台的业务逻辑设计与目标运行框架产生过于紧密的耦合,降低了软件演化过程中设计模型的可重用性。为解决这些问题,将Web应用的运行框架描述添加到开发模型中,并且引入抽象平台相关模型和具体平台相关模型的概念,提出了一种支持多目标框架代码生成的扩展MDA开发模型。以J2EE作为目标平台,以JavaServer Faces作为目标运行框架进行实验研究表明,该方法提升了模型描述的灵活性和可重用性,能够对模型驱动的软件开发提供有力的支持。     

基于B方法的Web Service组合描述和验证方法

对于Web Service及其组合来说，保证其组合的正确性是十分必要的。B方法是一个基于模型的形式化方法，有很强的结构化机制和很好的工具支持，对于建模和软件验证是一种有效的方法。该文基于B方法对Web服务及其组合进行了形式化建模，并能够利用B方法相对成熟和完善的模型检查工具，来完成模型的正确性验证。     

新型节能导线电阻温度系数的试验研究

研制了高温精密恒温油浴试验台,采用高温油浴温度控制方式控制绞线温度,解决了电阻温度系数试验中绞线温度不能精确控制和绞线内外层温度差异的问题,对电阻温度系数测试方法进行了改进,并进行了钢芯高导电率铝绞线、铝合金芯高导电率铝绞线和中强度铝合金绞线3类新型节能导线的电阻试验,计算得到其电阻温度系数,可为工程设计提供支持.     

浅谈商品混凝土对水泥品质的要求

随着商品混凝土的普遍推广和快速发展,人们对混凝土的各种性能提出了更多更高的要求。然而水泥是混凝土中最重要的原材料,水泥的品质将对混凝土的性能起到至关重要的作用,本文通过对水泥的物理性能、矿物组成以及其它性能指标对商品混凝土的影响进行了探讨。