UML状态机视图的RSL形式描述

使用RAISE规范语言RSL给出了UML状态机视图的形式描述.通过这一形式化提出了一种对图形化的UML状态机视图模型的形式化和RSL规范进行集成的框架,这一工作是对UML类图在RSL中形式化的继续,使得人们可以对UML的非形式化模型给出一种精确、无二义性的语义解释,同时也提高了RSL规范的抽象层次,增强了其可读性、简明性.最后通过一个应用实例,说明这一框架如何用于从UML模型创建对应的形式化规范,并对模型的性质进行了分析.     

趋势预测方法及其在邮电通讯中的应用

主要通过建立反映汉中地区城乡居民住宅电话需求趋势的Ｃｏｍｐｅｒｔｚ增长模型，对该地区城乡居民住宅电话需求量的饱和年份及未来各期的需求量进行了分析、预测。     

辐射线法测定图根点的探讨

本文对幅射线法图根控制测量的方法、精度及检测进行探讨，此法在实用上具有布，点灵便、精度可靠、能显著提高工效，只要检测方法得当，可大力推广采用。     

区间值Fuzzy集的扩展原理

在［１］的基础上，给出了区间值Ｆｕｚｚｙ集（ＩＶＦＳ）的扩展原理的几种形式，并讨论了ｆ（Ａ）与ｆ（－１）（Ｂ）的截集的性质，最后给出了复合函数的扩展原理．     

排列组合法推算原子光谱项的探讨

应用排列组合法可以推算原子光谱项，该文将此方法程序化，并计算了等价电子组态的原子光谱项，得到了满意的结果。     

一种新的最小选择恒虚警检测器

本文基于有序统计(OS)和剔除平均(TM)提出了一种新的恒虚警检测器(OSTMSO),它采用OS和TM来生产局部估计,再采用最小选择逻辑来实现对杂波功率水平的估计,并应用了文献[4]提出的自动筛选技术.在SwerlingⅡ型目标假设下,推导出了它的P_(?)P_d和度量ADT的解析表达式,并与其它方案进行了比较.分析结果表明,OSTMSO在均匀背景及多目标环境中的性能都比GOSSO获得了改善,同时,它的样本排序时间还不到OS的一半.     

三峡工程四川库区移民投资系统动力学模型

建立了三峡工程四川库区移民投资系统动力学模型，进行了政策模拟和因素敏感性分析，指出了系统合理运行状态，提出了相关政策建议。     

一种可以用于变频器再生能量回馈的“斩波－逆变”方法

介绍了一种采用全控型功率开关元件与晶闸管配合使用，构成了一种可以用于变频器再生能量回馈的系统，并给出了初步的理论分析与实验结果。     

提高溶出磨产能的途径探讨

文章通过对中铝山西分公司溶出磨产能的因素进行分析 ,结合生产实践 ,提出了进一步提高溶出磨产能的措施 ,从而达到提产降耗的目的。     

集值函数向量优化的WOLFE对偶

本文在局部凸拓扑向量空间中建立了集值函数向量优化的Wolfe对偶问题，证明了相应的弱对偶定理，对偶定理和逆对偶定理．