论文部分内容阅读
探讨ＦＭＳ运行控制系统软件调试环境的建立问题，在研究离散事件动态系统软件测试机理过程中，提出宏Ｐｅｔｒｉ网模型，这种网模型由于在库所和变适中引入变量结构，使模型具有更大的描述性；基于ＦＭＳ中基本事件类型建模，使建模过程通用化、程序化；讨论应用ＭＰＮ实施对ＦＭＳ运行控制软件测试纠错的一般过程。
柔性制造系统运行控制软件测试机理研究
【摘 要】
：
探讨ＦＭＳ运行控制系统软件调试环境的建立问题，在研究离散事件动态系统软件测试机理过程中，提出宏Ｐｅｔｒｉ网模型，这种网模型由于在库所和变适中引入变量结构，使模型具有更大的描述性；基于ＦＭＳ中基
【机 构】
：
南京理工大学机械制造系
【出 处】
：
中国机械工程
【发表日期】
：
1995年4期
【基金项目】
：
国防科工委科技预研基金
其他文献
世界各国都在探索建立高效的航空运行体系。美国的 NextGen,欧洲的 SESAR,和正在进行的全球空中航行计划[1] 。他们统一的特点有包括局部一体化、应用技术进步、基于空中交通
<正> 传统的家政服务公司(简称家政公司)大多属于中介公司,是在供方(家政服务员)和需方(客户)之间提供牵线搭桥的服务,每达成一笔业务,从客户方收取一定的中介服务费作为收入
<正>新闻传媒作为舆论手段是一种社会利器,它能够捍卫真理和正义,鞭笞腐败和邪恶,对权力组织和整个社会起到批评和监督作用。社会主义新闻事业作为国家和人民的舆论机关,在舆
近年来新能源汽车领域的专利开放屡见不鲜。文章梳理了燃料电池汽车(FCV)核心技术领域的全球专利,讨论丰田汽车公司对专利开放—集中战略的实践模式,并就此对中国新能源汽车
<正>一、研究背景进入21世纪,信息化时代的大背景推动着各行业理念的更新和技术的变革,教育信息化时代随之到来。2010年7月,《国家中长期教育改革和发展规划纲要(2010-2020)
会议
虎皮病(Superficial Scald)是梨和苹果果实在低温储藏中后期常见的生理性病害,通常表现为果面出现褐色或黑色的不规则状病斑。虽然对该病的防治研究已有近百年历史,但对其具
伏虫隆是苯甲酰脲类杀虫剂中重要的一种高效低毒杀虫剂，主要通过抑制几丁质的合成达到杀灭害虫的目的。目前已经商品化的品种有除虫脲、氟虫脲、氟螨脲等。由于其对人畜比较友
王肇民是我国最杰出的水彩画家之一,他的水彩画艺术熔中国传统之精神和西方色彩于一炉,他的作品题材虽小,但所表现出了一种恢弘博大的风格,他把中国水彩画艺术推向了前所未有
研究在１Ｃｒ１８Ｎｉ９Ｔｉ不锈钢核阀零件上分别采用激光熔覆和等离子喷焊２种工艺形成的涂层对耐摩擦磨损与抗腐蚀性能的影响。使用５ｋＷ横流ＣＯ２激光器对预置于阀门零件基体上的Ｃｏ基自熔合金粉末进行熔覆加
目的探讨不同评分标准对宫腔粘连(IUA)术后预后的预测作用。方法选择2015年1月至2017年3月在郑州大学第三附属医院就诊,并行宫腔粘连分离术患者61例,其中介入栓塞术后宫腔粘