论文部分内容阅读
着重考察Petri网同步合成和共享合成中其进程的性质,分别讨论了进程语义在子系统上的投影以及对于顺序语义的模拟特性,获得一系列语义关系公式,它们将为并发系统的分析和验证提供有力工具.
合成网的进程语义
【摘 要】
：
着重考察Petri网同步合成和共享合成中其进程的性质,分别讨论了进程语义在子系统上的投影以及对于顺序语义的模拟特性,获得一系列语义关系公式,它们将为并发系统的分析和验证
【机 构】
：
同济大学,计算机科学与工程系,上海200092山东科技大学,计算模型与算法研究所,山东,泰安271019;国家智能计算机研究开发中心,北京100080;中国科学院,计算技术研究所,北京,100080;
【出 处】
：
应用科学学报
【发表日期】
：
2000年1期
其他文献
【摘 要】随着我国经济社会的快速发展，公路建设也得到蓬勃发展，然而我们也应该看到，近几年来公路工程施工安全事故频繁发生，引起了社会的广泛关注。公路工程施工容易受到施工环境和人为因素的影响，会出现一些违章指挥、违章作业等现象，给公路施工安全造成大量的安全隐患。当前，我国公路施工的安全形势不容乐观，安全问题也日益突出，相关部门和管理人员应加强公路施工安全管理。 【关键词】公路施工；安全管理；问题；优
提出了基于图象分割子集的神经网络对管道内两相流进行电容层析成象的方法.解决了神经网络的输出单元数与重建图象精度之间的矛盾.研究了成象的分割网络模型及其实现步骤.给
运用非线性系统的精确线性化方法 ,将一类执行机构动态特性及模型本身都带有不确定性的仿射非线性系统变换成间接型的带不确定参数的鲁里叶系统 ,从而解决了这类系统的镇定问
由于地震效应、重载车辆的震动效应或由于不同爆炸物引起的强烈冲击效应,都会给城市地下空间结构带来较大的影响。通过土体的混凝土改进剑桥动力本构模型和混凝土塑性损伤本