产生2元de Bruijn序列的一个新算法

２元ｎ级ｄｅＢｒｕｉｊｎ序列是由ｎ级移位寄存器产生的周期为２ｎ的移位寄存器序列，给出了２元ｄｅＢｒｕｉｊｎ序列的一个新的生成算法，该算法能生成２ｓ·ｇ（ｎ，ｓ）个ｎ级如ｄｅ　Ｂｒｕｉｊｉｎ序列，其中，０≤ｓ≤２（ｎ－７）／３；当 ２ｌ－１＜ｓ≤２Ｌ时，ｇ（ｎ，ｓ）＝ｎ－３Ｌ－６－［（ｎ－２Ｌ－６）／（Ｌ＋１）］。     

基于UML状态图的类状态测试

在介绍UML状态图的基础上,以面向对象软件的类作为基本测试单元,研究了基于UML状态图的类状态测试技术,并在Eclipse平台上结合Java工具用手工选择测试数据进行了实例测试.     

基于扩展层次自动机的UML状态图完备性和一致性检验

UML状态图是UML中重要的建模元素之一,用以描述软件系统的离散行为。完备性和一致性是UML状态图模型最重要的性质之一,是进一步验证模型行为正确性的前提。给出了状态图模型完备性和一致性的定义,研究了对完备性和一致性进行检验的方法。该方法首先把状态图模型变换成扩展层次自动机(EHA),然后对EHA进行分析。EHA中间格式消除了状态图的复杂性,简化了冲突迁移的优先级判别,便于设计简捷有效的算法对完备性和一致性进行检验。该方法的主要优点是利用了EHA的特性,给出了组合状态上迁移的传播算法,解决了完备性和一致性分析的难点。     

气动机械手控制回路设计

介绍一种全气动控制机械手的控制回路,克服了信号-动作(X-D)状态图法、卡诺图图解法等较繁琐的缺点.     

一种UML状态图模型检测方法

为在开发过程早期发现系统设计的各种错误与不一致,提出一种UML状态图模型检测方法,用于验证设计模型与需求规约间的一致性.该方法通过元组定义UML状态图的主要元素,给出状态图的中间表示形式SC.基于SC上定义的操作语义,该方法将状态图转换为具有KRIPKE语义结构的状态迁移系统,并将系统需满足的性质表示为线性时序逻辑公式...     

状态图在实时软件设计中的应用

状态图是一种图形化的软件设计语言。本文通过对一个实时键盘扫描程序的分析,讲述状态态图在实时软件设计中的应用。     

学生助学金申报管理系统的设计与实现

助学金申报工作是学生资助工作中的重要环节,传统的助学金申报管理工作存在着工作效率低、易出错等问题。文章针对这些问题,设计与实现了学生助学金申报管理系统。在系统的需求分析与设计阶段,使用UML图形构建了系统的主要模型;在系统的实现阶段,使用ASP.NET(C#)完成了学生助学金申报模块和助学金申报审核模块的代码编写。助学金申报管理系统让申报过程实现无纸化,避免了家庭经济困难学生在传统助学金申报中面临的尴尬,有效地提高了工作效率,降低了易错率。     

基于Simplorer的开关电源的仿真研究

应用Ansoft公司的一种新型电力电子仿真软件Simplorer,分别对DC-DC开关电源Bosst功率校正电路和DC-AC有源箝位谐振直流环逆变器(ACRLI)电路进行了分析和仿真.在分析Boost功率校正电路时,考虑到功率校正问题,采用了电流滞环控制和PI调节,取得好的效果;对ACRLI逆变电路的工作过程进行了详细地分析,深入地研究了其工作原理,对谐振直流环的控制采用了Simplorer所具有的状态图控制,仿真结果显示达到了预期的效果.     

大港石化往复压缩机状态监测与故障诊断技术应用

通过对中国石油大港石化公司第二联合车间300－K－102A往复压缩机组2012年1月2日－4日开车期间机组异常运行状态,进行状态监测、信号分析、故障诊断、信息积累,捕捉机组的运行隐患,做到对设备故障能早发现、早诊断和早预防,以消除灾难故障,避免严重故障,减少一般故障。根据分析结果提出了改进和预防措施。