排序方式: 共有41条查询结果,搜索用时 15 毫秒
31.
基于Petri网表示的嵌入式系统PRES+(Petri net based Representation for Embedded Systems)模型可以描述实时嵌入式系统。为了提高PRES+的建模能力,将抑制弧加入PRES+模型中,得到基于带抑制弧的Petri网表示的嵌入式系统PIRES+(Petri net with Inhibitor arcs based Representation for Embedded Systems)模型。PIRES+模型提高了建模和验证复杂嵌入式系统的能力,但是在建模和验证过程中存在状态空间爆炸问题。为了缓解这一问题,提出两种PIRES+模型的子网的化简规则,使得简化后的模型与原模型具有相同的可达性、实时性和功能性。 相似文献
32.
33.
仿真建模问题对计算机集成制造系统的研究和开发是十分重要的。针对一般计算机集成制造系统(CIMS)中仿真建模所存在的覆盖面小和灵活性差的问题,本文通过对一般CIMS的功能层次分析,采用分而治之的方法,提出了在CIMS应用系统中经营管理、生产制造和设备控制三个层次的仿真建模模型和建模方法,为计算机集成制造系统各层次的仿真软件的开发提供依据。 相似文献
34.
静态图象是多媒体技术中一种重要的信息媒体,数据量极大并且多种多样多媒体图象存储格式,阻碍了多媒体技术的发展。为使多媒体技术蓬勃发展,各种图象格式间的转换就显得极为重要。首先详细分析应用比较广泛的几种图象格式,然后给出这几种图象格式间转换的方法。本文的结果可为多媒体图象软件的开发和应用提供重要的依据。 相似文献
35.
夏传良 《山东建筑工程学院学报》2003,18(1):71-73
在多媒体技术中 ,静态图象是一种重要的信息媒体 ,其存储格式多种多样并且数据量较大 ,这些都阻碍了多媒体技术的发展。为使多媒体技术蓬勃发展 ,图象格式的转换就显得很重要。本文在分析当前几种静态图象格式的基础上 ,探讨了这几种图象格式间的转换问题 相似文献
36.
夏传良 《山东建筑工程学院学报》2002,17(3):62-64,84
介绍了基于CARIMA模型的前馈控制算法,该算法将自校正控制策略和极点配置策略有机地结合起来,能够在线选择加权荐,并在非最小相位的特定情况下,具有一定的稳定性和收敛性。在此基础上证明了在建模误差满足一定条件的情况下,该前馈控制算法具有一定的鲁棒性。理论分析表明了该算法的有效性,从而证明该算法具有较好的控制性能。 相似文献
37.
针对模块或功能划分明显的智能垃圾分类等具有此类特征的系统的建模问题,研究提出用面向对象Petri网(OOPN)及其细化方法可处理解决该类问题的结论。定义OOPN网系统的活性、有界性;提出OOPN类网精细化操作及细化后网系统仍保持活性、有界性的充要条件;并利用提出的类网精细化对智能垃圾分类拣放系统进行建模,验证其有效性和可行性,具有一定的实用价值。 相似文献
38.
Petri网共享PP-型子网合成性质分析 总被引:2,自引:0,他引:2
Petri网合成可以避免状态空间按指数阶迅速扩大的问题,并且在网扩大时可以保持原网的某些优良性质.为了解决资源共享问题,焦莉等人对于一个满足死锁-陷阱性质(ST-property)的非对称选择网(asymmetric choice,简称AC)进行库所合并,给出了合并后的网保持原网活性、有界性和可回复性的条件.主要动机是对焦莉等人的研究结果进行推广,把对于AC网的库所合并问题推广到AC网或更一般的Petri网上的子网共享合成问题.给出了使共享PP-型子网合成Petri网系统保持活性、有界性和可回复性的条件以及多个AC网进行共享PP-型子网合成,使得到的合成网仍为AC网的条件.结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供一定的手段. 相似文献
39.
Petri网共享T型子网合成公平性分析 总被引:1,自引:0,他引:1
共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径.本文研究了共享T-型子网合成对参与合成的各网系统的公平性的继承关系,给出了合成网保持公平性的充分条件.随后给出的有关制造系统设计的举例,说明了该合成方法的有效性.本文的结果可为Petri网系统合成性质的考察提供有效途径. 相似文献
40.
分析了扳手生产的传统工艺,传统工艺浪费金属原材料的关键是锻件的飞边废料过大,造成这种状况的原因是预制坯工步形成的坯料相差太大。通过计算机仿真设计和优化,提出了扳手生产的新的锻造加工工艺,该新工艺用楔横轧精确制坯实现了优化目标,新工艺比传统工艺节省原材料和加热的能源25%左右。 相似文献