进位反馈移位寄存器状态图分布的进一步研究

进一步研究了以奇数q为连接数的FCSR的所有q 1个周期状态的状态图的圈长和计数问题，使得FCSR的状态图分布与LFSR的状态图分布一样清晰。     

基于UML建模的房屋租赁管理系统分析

统一建模语言UML是一种面向对象的建模语言。本分析了UML的建模机制，并以UML为工具进行房屋租赁管理系统建模，给出了设计过程中的用例图、类图、序列图、状态图及活动图，并详细分析了创建这些图的要点及过程，对房屋租赁管理系统的开发具有一定的指导意义。     

同步时序逻辑电路设计方法改进

用卡诺图化简法求电路激励方程的方法进行改进。     

试析时序逻辑电路的自启动设计

在设计时序逻辑电路时,经常需要确保电路具有自启动能力。卡诺图化简分析和状态图拆开分析均可实现时序逻辑电路的自启动设计。两种方法的实质均是指定无效状态的次态为某一有效状态,但在具体使用时又存在很大差异。     

N个不同部件并联可修系统可用度的分析

N个不同部件并联可修系统可用度分析十分复杂。在一定的条件下 ,本研究建立马尔可夫系统状态概率转移图及其方程 ,从而可对N个不同部件并联可修复系统进行瞬时可用度分析和稳态可用度分析。其分析结果同样适应N个相同部件并联可修系统可用度分析。     

开发多任务系统的一种方法：广义状态图方法

广义状态图方法包括广义状态图的设计方法和面向状态的过程设计方法两部分。广义状态图在传统状态图的基础上扩充了动作结点的概念，利用动作结点表示系统在状态转移过程中的动作，以及多任务之间的各种减产。顷向状态的过程设计方法以广义状态图的各元素与过程设计之间的相关关系为依据，直接由广义状态图生成多任务系统的过程设计。     

一种基于面向对象的企业建模技术

将一种面向对象的思想应用于企业建模中，和面向对象的技术实现功能模型和核算模型的集成。对象的独立性和封装性增强了系统的鲁棒性，能适应企业功能和结构的动态重组。提出了对象状态图、对象状态矩阵和对象属性矩阵，容易贯彻“自顶向下”的系统分析策略，使系统的外部视图（用户视图）与内部视图（计算机视图）统一，达到清晰的、完整的描述系统的目的。     

利用正则表示式描述和设计时序机

用正则表示式来描述时序机的逻辑特性是一种十分有吸引力的数学方法.可是现有文献所提供的这类方法有种种条件,这就大大限制了它的应用.本文试图摆脱这些约束,构造一种普遍适用的正则描述法,并用它来设计时序机.     

基于UML的面向对象的软件测试方法

分析UML状态图的组成、标准事件和嵌套、并发的优点,给出利用UML状态图产生测试用例的软件测试方法.该方法可以把状态的复杂度控制在和状态属性相关的线性级别,可以尽早发现与状态相关的错误.     

基于场景的形式化测试模型生成方法

在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言（unified modeling language,UML）状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.