论文部分内容阅读
构件组装是CBSD技术中的核心.技术以Petri理论为基础,从微观角度出发,对构件组装方式及所生成的复合构件所具有的性质进行了研究.指出组装操作具备完全行为不变性和完全状态不变性,给出了判定复合构件可靠性的方法.
复合构件的组装方式及性质研究
【摘 要】
：
构件组装是CBSD技术中的核心.技术以Petri理论为基础,从微观角度出发,对构件组装方式及所生成的复合构件所具有的性质进行了研究.指出组装操作具备完全行为不变性和完全状态
【机 构】
：
河海大学计算机及信息工程学院(南京)
【出 处】
：
2003'全国软件与应用学术会议
【发表日期】
：
2003年期
其他文献
近年来，随着经济社会的快速发展和人民群众生活水平的日益提高，人们对身体健康的关注度也越来越增强，客观上推动了医疗设备的不断改进和医疗卫生事业的不断发展，尤其是近几年随着
本文基于已有的回调模型和轮询模型方面的研究成果,提出了一种实现消息服务TII机制的系统模型Star-TII,该模型实现了一种具有存储转发语义的异步机制,可以支持解耦合消息发送
会议
人工气道在临床中的应用日益广泛，由此而导致的并发症也引起了广大医护人员的重视。本文对ICU人工气道管理中的高危因素进行分析，并探讨人工气道管理中针对高危因素的处理措施，
目的基层医院的护理工人员分层培训的方法进行探讨。方法通过对我院的护理人员进行分层培训，通过形成领导体系，通过技术培训与理论培训，提升护理人员的护理素养，然后进行考核。结
目的:探讨前哨淋巴结活检术的学习曲线。方法:选取2011年3月—2012年10月行乳腺癌改良根治术的60例早期浸润性乳腺癌患者作为研究对象,按照手术时间的先后顺序分别为A,B,C组,
外婆逝世了。她从年轻时就开始守寡，当她把两个孩子拉扯大时，命运似乎只给她留下了一条只身走向世界另一扇大门的路。 听说，外婆走时很平静，但远在千里之外的我没能见到。我心中的外婆依旧是那个穿着西北山村最常见的黑褐色衣裤，半解放脚，做事干净、麻利的外婆。外婆离世后，我脑子塞满了小时候和她在一起的往事，虽然怎么理也理不清，可总有一件事还记得那么清楚，就像发生在昨天。 外婆家门口有棵硕大的山桃树，树干很
期刊
当前，党的群众路线教育实践活动在全国如火如荼的开展，江淮大地上正刮起了党的群众路线教育实践活动之风，镶嵌在皖西北平原上一颗璀璨明珠阜南县也不能例外。阜南县医院按照阜南
这 些年，二孩政策放开，老妈在家里多次 动议。我们觉得底气不足，婉拒，只要把小萝莉精养就够了。女娃培养得好，一样有出息，而且更具孝心。再生一个，纯属多余，而且还要耗费更多的财力和精力。 见我们如此，老妈不死心。私下里，她拽着老爸四处摸行情，并时不时地放风，一旦催孕成功，只管生下来，后续养育，上学接送，送培优，乃至上大学找工作成家等问题都由他们包圆了。我和妻子阿芸只是笑笑，不置可否。 那天，老妈
期刊
许 是上了点岁数，现在越来越喜欢一些老 物什，喜欢穿中式服装，听老歌，看老电影…… 也喜欢到老城区的古巷走走。古巷窄窄的，有的只能容一人通过；古巷静静的，爬山虎沿着岁月侵蚀的墙体攀上屋顶，光滑的青石板泛着幽幽的光……总感觉这些旧宅院、老房子和古街巷肯定是有故事的，只不过物是人非，那些故事里的人和物也不知去了哪里，倒是仍然住在老宅院里的人常常一脸嫌弃地鄙视着这里的种种不方便，巴巴地盼着能早点拆迁，
期刊