UML 顺序图的一种形式化描述方法

统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。     

负反馈放大电路方框图分析的仿真与讨论

采用方框图分析法,以引入电压并联负反馈的直接耦合差分——共射放大电路为例,讨论了反馈网络的变化对基本放大器和反馈放大器的影响.仿真分析表明:反馈电阻减小,反馈系数和环路放大倍数提高,对放大电路工作性能的影响增大,验证了负反馈放大电路中的一些基本结论,说明了仿真分析在负反馈放大电路方框图法中的应用.     

变频调速技术在细纱机恒张力控制中的应用

根据纱线长度，用变频器控制细纱机主轴转速，设计了纺纱过程中纱线恒张力控制．程序按照状态变化进行设计开发．实验结果表明，该设计达到设计要求．其产品已投入批量生产．     

UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

基于网络考试系统的UML建模

通过统一建模语言(UML)对网络考试系统进行了分析和建模,建立了系统用例图,并结合主要用例-学生考试模块,建立了类图、顺序图、活动图.描述了系统的功能需求、功能流程、类的结构与关系、对象之间的交互.最终采用面向对象语言实现在线考试系统.使用这种方法对系统进行建模,优化了开发过程,并有利于提高系统的稳定性、可维护性和可重用性.     

Coverability of Wireless Sensor Networks

The coverability of Wireless Sensor Networks (WSNs) is essentially a Quality of Service (QoS) problem that measures how well the monitored area is covered by one or more sensor nodes.The coverability of WSNs was examined by combining existing computational geometry techniques such as the Voronoi diagram and Delaunay triangulation with graph theoretical algorithmic techniques.Three new evaluation algorithms,known as CRM (Comprehensive Risk Minimization),TWS (Threshold Weight Shortest path),and CSM (Comprehen...     

区域电磁辐射分布的应用研究及参数分析

当今城市电磁辐射污染趋于严重化,防治改善城市电磁辐射环境迫在眉睫,针对兴义民族师范学院市内校区电磁辐射分布进行调查,实际测量,绘制了校区的电磁辐射分布图,并对校区电磁环境质量进行了分析,研究结果为兴义地区环境规划提供了资料和依据.     

微型点阵打印机曲线绘制程序设计

着重分析了微型点阵打印机点阵图样打印输出功能，详细介绍了为其扩展二维曲线绘制功能的软件程序设计方法，为今后更好地应用该型号打印机奠定了基础。     

Ellingham图及其在金属制取中的应用

说明了金属氧化物热力学稳定性与其生成反应的标准自由能变化之间的关系，分析了Ｅｌｌｉｎｇｈａｍ图的热力学意义，讨论了金属还原反应的自发性，说明了选择不同金属氧化物的还原剂的热力学依据。     

割线法计算二元相图

在分析相图计算原理及评述各种计算方法的基础上,提出了以扩展割线法(即单变量函数割线法的推广)计算Cu-Ni二元相图,在求解中采用前入数据,以扩展割线法进行迭代圆满地用计算机解出一组四元非线性方程组,与牛顿迭代法相比,此法无需求导、求逆及求雅可比矩阵等繁琐步骤,且对初值要求不苛,虽不像牛顿法以二阶收敛,但对方程数目不很多(其实三元系最多也只有8个方程)的相图计算,其收敛速度仍很可观,所需机时很短。