UML视图的一种形式化模型及其分析

UML是一种得到广泛应用的系统建模语言，但是由于它缺乏形式化语义和严格的推理机制，从而影响了系统建模的准确性和开发效率。TCOZ是一种将Object—Z和TCSP相结合的形式化语言，具有丰富的建模能力。基于TCOZ，本文建立了UML视图的一种形式化模型，对类图和协作图等提出了转换规则，使得TCOZ中的推理可用于分析UML视图。通过某学校信息系统的实例，阐述了UML视图的形式化建模方法和分析技术。     

太原市民营科技促进会筹备进展顺利

2003年11月21日，太原市科学技术局党组研究决定，筹备成立太原市民营科技促进会。经过数月的紧张筹备，现已取得了实质性进展，预计2004年上半年，太原市民营科技促进会将挂牌成立并正式开展工作。     

煤炭企业内部市场化及价格结算模型分析研究

煤炭企业为了在新时代、新背景下适应市场竞争,利用有限资源创造更大效益,实现集约高效发展,推行内部市场化是重要途径,而建立起合理可行的生产要素市场价格结算体系是企业实行内部市场化的重要工具。以扁平化管理结构的煤炭企业为研究对象,利用流程再造理论,对企业内部市场化及其价格结算模型的建立进行了分析研究。     

外伤性白内障人工晶体植入术28例临床分析

在眼外伤尤其是穿孔伤中,外伤性白内障的发生率相当高,绝大部分为单眼发病,人工晶体植入对这部分患者保证双眼立体视觉功能甚为重要。我科于90年以来对28例外伤性白内障患者施行了人工晶体植入术,其中2例植入前房型人工晶体,26例植入后房型人工晶体,获得良好效果。     

ABS汽车制动前后轴的受力分析与计算

应用力矩平衡原理,分析了装有ABS的汽车在水平行驶、下坡、上坡时紧急制动的受力状况。分析了在这3种情况下地面对汽车前、后轮的压力,以及前、后轮制动器的制动力。并由此得出汽车在这3种情况下的理想的前、后制动器制动力关系式。     

基于模糊PID算法的同步发电机励磁控制器设计与仿真研究

同步发电机励磁控制器是同步发电机控制系统的核心.传统PID控制理论在同步发电机励磁控制上的应用已经非常成熟.但是,这种控制方式存在着定参数、线性控制规律、适应性差的缺点.针对这些问题,采用模糊PID的控制算法,根据输出变化量和变化率在同步发电机运行过程中实现实时调整,起到动态调整PID参数的作用,使系统的动态和静态运行性能得到改善,并使系统具有较强的适应能力,提高控制效果.     

中国探月计划进入正式实施阶段

备受瞩目的中国月球探测计划终于进入了正式实施阶段。绕月探测工程的科学目标、工程目标和研制计划也得到了进一步的确定。有关专家表示,中国探月工程的一个重要科学目标将是月球上的氦-3资源,而这项探测目前在其他国家还尚未开展。     

SHS-加压法制备TiC/Ni梯度材料

采用SHS-加压法制TiC/Ni梯度材料。在TiC-Ni的燃烧烧结过程中,C溶入Ti-Ni溶液中,TiC从其中析出,TiC-Ni通过在压力下的液相烧结形成TiC/Ni梯度材料。TiC晶粒尺寸随Ni量的增加而变小是由于Ni稀释剂降低了燃烧温度。TiC外形随Ni量的减少由球形变为多边形,多边形晶粒的形成是液相烧结时组织调整的结果。     

低成本捕获二氧化碳

科学家已经研发出一种多孔晶体材料,它能够吸附其体积80倍的二氧化碳气体,这为低成本捕获发电厂排放出的二氧化碳等温室气体提供了可能--二氧化碳气体被这种材料吸收后,可以通过改变压力的方式控制它的释放;而经过压缩的二氧化碳,最终被注入到地下长期储存起来.