论文部分内容阅读
针对对象化高级Ｐｅｔｒｉ网缺乏标识的状态空间度量，采用谓词集对各位置上的可达标识进行完全划分，形成与加色网等价的一致性网络。原网络的语言是其任何一个一致性网络语言的子集，因而可以用加色网来定义及分析对象化高级Ｐｅｔｒｉ网的各种不变量。
DEDS对象化高级Petri网模型研究—对象化高级Petri网上的一致性网络
【摘 要】
：
针对对象化高级Ｐｅｔｒｉ网缺乏标识的状态空间度量，采用谓词集对各位置上的可达标识进行完全划分，形成与加色网等价的一致性网络。原网络的语言是其任何一个一致性网络语言的子集，因而可
【机 构】
：
宁波大学计算机系
【出 处】
：
自动化学报
【发表日期】
：
1995年3期
其他文献
1 引言对实际工程控制系统要求具备稳定性及满足一定的性能要求,影响稳定性的主要因素有时滞和不确定.同时,控制器的实现由于硬件(如A/D、D/A转换等)、软件(如计算截断误差)
介绍了一种机械手的模糊逻辑控制的新方法。它能根据系统的前期响应自动修改误差变化率的隶属函数来获得理想的控制特性。在研究隶属函数对控制特性影响的基础上，首先确定一族
大学美学教育的意义重大深远。美学培养学生理性思考的能力；美学帮助学生寻找自我，有丰富思想情感，有独立的个性；美学展现人生诸种境界，引领学生走向精神的高峰，去看到更精彩的风景
研究了一种新的大系统求解方法，利用Ｔａｙｌｏｒ级数的性质，将大系统时变递阶控制问题转化为代数方程的求解问题。该方法简单，易于编成计算机程序，算法表明了它的有效性。
目的探讨妊娠期糖尿病及母婴结局,提高医院预防水平。方法选取2013年2月—2014年1月在该院治疗的50例妊娠期糖尿病患者,分成A组(29例)与B组(21例)。A组为血糖控制满意组,B组
考虑非线性闭环系统的鲁棒绝对稳定性,系统的线性部分受结构摄动以区间传递函数表示,而其非线性(不确定)反馈函数在一个扇区内。将鲁棒性分析的现代结果与经典的圆判据相结合