基于改进随机状态图的制造系统建模

为减少应用随机状态图进行制造系统建模的复杂性,引入抽象子系统和系统总图,分别表达随机状态图的相似性和整体性．应用改进后随机状态图建立了制造系统模型,将该模型转化为时间连续马尔可夫链,并对系统的性能指标进行了分析．实例验证表明,改进随机状态图能有效简化建模与性能分析过程,为制造系统设计与优化提供依据．     

一种从UML类图和协作图到状态图的转换方法

统一建模语言(unified modeling language,UML)状态图是基于UML开发的软件设计模型的重要组成部分,它描述了一个对象所处的可能状态以及状态之间的转换。对一种生成状态图的方法进行了改进,以类图和协作图为基础,创建单个对象的状态图,对系统中单个对象的状态图进行集成生成整个系统的状态图。结果表明,生成的状态图具有较高的结构化和可读性。     

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

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

离散型神经网络的数学理论(Ⅰ)--网络状态图

该系列文章重新系统地研究了离散型神经网络的数学理论．此文属首篇,引入了一种新的研究工具——网络状态图．对于离散神经网络而言,通过引入网络状态图,可以很清楚地看到该网络的运行机理：网络是否收敛,网络有多少个稳定吸引子,有多少个环吸引子,并能清楚地反映各类吸引子的吸引域．在这篇文章里,比较详细地讨论了网络状态图的一些基本性质,诸如网络的分支数等于网络稳定吸引子与环吸引子数目之和;对称离散神经网络、反对称离散神经网络在全并行运行条件下网络状态图的结构特征等．     

一种简捷快速的状态图简化算法

同步时序机的状态驱动可根据状态图来完成，状态图通常由次态方程求得，但对于复杂的同步时序机，其状态图一般比较复杂且庞大，难于用计算机描述和处理。本文给出一种由次态方一成简化状态图的算法，可使复杂的状态图大大简化而不影响状态间的驱动。     

一种简捷快速的状态图简化算法

同步时序机的状态驱动可根据状态图来完成，状态图通常由次态方程求得。但对于复杂的同步时序机，其状态图一般比较复杂且庞大，难于用计算机描述和处理。本文给出一种由次态方程生成简化状态图的算法，可使复杂的状态图大大简化而不影响状态间的驱动。     

基于UML状态图的自动化测试系统研究与实现

以UML状态图的测试用例自动生成算法为基础,研究并实现了基于UML状态图的自动化测试系统,测试系统通过对Rational Rose生成的*.mdl文件进行解析,得到形式化的状态图,使用改进的UIO方法得到测试路径,测试路径与路径上的事件结合,生成最终的测试序列。该系统生成的测试序列相对较短且能够达到状态-转换覆盖标准。     

建立状态图启发式搜索的面向对象模型

将人工智能学科中状态图搜索技术与JAVA中面向对象技术结合起来，并利用JAVA语言建立了一个状态图启发式搜索算法的面向对象模型，然后利用这一模型成功地解决了人工智能学科中典型的状态图搜索问题——“八数码”难题．     

时序电路设计探讨

通过一个设计实例,说明时序逻辑电路设计前的选型工作非常重要,如果选型不合适就可能得出错误结果.该实例被国内一些教材所引用,选用该例具有一定的意义.另外,还指出在状态图的化简过程中,对重复状态的认定应十分谨慎,绝不可把相似状态作为相同状态处理.     

时序电路设计探讨

通过一个设计实例,说明时序逻辑电路设计前的选型工作非常重要,如果选型不合适就可能得出错误结果.该实例被国内一些教材所引用,选用该例具有一定的意义.另外,还指出在状态图的化简过程中,对重复状态的认定应十分谨慎,绝不可把相似状态作为相同状态处理.     

Statecharts语义问题的若干探讨

Statecharts是一种用以规约复杂反应式系统行为的可视化语言。由于该类系统的行为复杂性 ,定义其精确的语义是困难的。许多人在这方向上对其进行了研究 ,但是仍有些模棱两可的地方。在本文将对 Statecharts语言中什么是一步、迁移的多个条件和动作、不确定性这些语义问题进行探讨。     

UML statechart based rigorous modeling of real-time system

Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a formal method with precise syntax and semantics defined. System modeled by PVS specification could be verified by tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time systems. In this approach, we provide 1 ) a time-extended UML statechart for modeling dynamic behavior of an embedded real-time system ; 2) an approach to capture timed automata based semantics from a timed statechart; and 3 ) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexibility and user friendliness in modeling, extendability in formalization and verification content, and better performance. Time constraints are modeled and verified and is a highlight of this paper.     

Testable model specification via statechart schema

XML is an important technology for Internet-based data exchange with far reaching capabilities beyond for just data exchange. The paper describes the first results of a project that aims to explore the applicability of XML technology for web-based software engineering with the emphasis on collaborative software testing involving the use of statechart. The paper presents the approach of building the statechart schema with XML Schema. It also describes the use of the schema in a web-based collaborative software testing CASE environment.     

基于分层遗传算法的车辆路由和调度研究

为了能在当今激烈竞争的市场中生存,物流活动需要细心规划以满足商务和顾客的所有需求.车辆路由和调度问题一直被广泛的研究以满足各种行业的特殊的需求.考虑配送与安装分离特点下车辆路径问题.利用混合整数非线性规划（MINP）模型求解送货和安装时车辆运行的最少时间.提出分层遗传算法对各种大小问题实施求解.计算结果表明分层遗传算法的有效性,也对分层遗传算法和MINP模型两者的性能进行了比较.     

Sequence Planning for On-Orbit Assembly of Large Space Truss Structures in a Multirobot Environment

1 Introduction Many future proposed space exploration missions include large precision reflectors and solar power stationthat must be supported on large space truss structures and are larger in diameter than any current or proposedlaunch vehicle . On-orbit assembly of space structures has long been considered as a means of enabling the con-struction of large space platforms[1]. Moreover ,the truss structure may incorporate hundreds of members ,andbecause of its size ,the truss is likely to req…     

银川市中小企业信息化实施研究

介绍了基于ASP模式的中小企业信息化公共服务平台特点、总体架构、建设方案等,并对该平台在银川市中小企业信息化中的实际应用进行分析,提出了适合不同中小企业的几种实施方案：（1）直接向中小企业提供整套的应用,包括咨询、软件系统、实施,运行中的维护、高质量的技术支持等．（2）只向企业提供基于互联网的各种应用软件系统．（3）在ASP平台端建立通信服务中间件充当企业总部与企业分部之间数据交换的中间站,完成一些实时性要求不高的数据交换．（4）在ASP平台端建立信息转发服务器,以P2P（点对点技术）为原理,使企业分部直接连接到企业总部服务器,进行通信交易与数据交换．     

基于免疫聚类的自动分层强化学习方法研究

为解决分层强化学习中现有的自动分层方法对环境和状态空间特性依赖过强的问题，提出了一种基于免疫聚类的自动分层强化学习方法．该方法以Sutton提出的Option框架为基础，在学习的初始阶段，每个Option仅包含一个人口状态且执行平坦策略，经过若干个学习周期对环境进行充分探测后，应用免疫聚类方法对状态空间进行聚类，同时生成每个聚类空间下的Option，并在学习过程中完成内部策略的学习，从而实现自动分层．以二维有障碍栅格空间内路径规划为问题背景进行了仿真实验，仿真结果表明该方法不受状态空间的结构性和可分割性以及强化信号延迟的影响．