论文部分内容阅读
着重考察Ｐｅｔｒｉ网同步合成和共享合成中其进程的性质，分别讨论了进程语义在子系统上的投影以及对于顺序语义的模拟特性，获得一系统语义关系公式，它们将为并发系统的分析和验证提供有力工具。
合成网的进程语义
【摘 要】
：
着重考察Ｐｅｔｒｉ网同步合成和共享合成中其进程的性质，分别讨论了进程语义在子系统上的投影以及对于顺序语义的模拟特性，获得一系统语义关系公式，它们将为并发系统的分析和验证提供有力
【机 构】
：
同济大学计算机科学与工程系,国家智能计算机研究开发中心
【出 处】
：
应用科学学报
【发表日期】
：
2000年1期
【基金项目】
：
国家自然科学基金!( 69973 0 2 9,6993 3 0 2 0 ),全国优秀博士学位论文作者专项基金!( 19993 4 ),山东省优秀中青年科学家基金
其他文献
以双摆台结构模式为例,探讨了Master CAM X版五轴加工后处理文档组的构建方法,对PST档中主要参数项进行了设置解析,并就加工时因工件位置变化的不确定性提出了由前台快捷设置
十届全国人大常委会第十八次会议27日下午表决通过修改后的《公司法》，这部法律于2006年1月1日起施行。修改后的《公司法》，允许设立一人公司，这样就给个人投资创业提供了更加广
南水北调工程作为缓解我国北方水资源严重短缺局面的重要战略性基础设施。是一个跨越四大流域与多个省市的特大型工程。科学的水价形成机制对于确保该工程的顺利进行具有重大
水舱固有频率是刻划水舱特征的基本参数。通过比较可控被动式减摇水舱几种常见的固有频率选取方法，提出了一种新的选取方法。指出应从船舶所服务海域的波浪频率变化范围和船舶
一、中国共产党党内的分层及流动与其执政能力建设 改革开放二十多年来,特别是二十世纪九十年代以来,中国社会发生了翻天覆地的变化.陆学艺主编的<当代中国社会阶层分析报告>
提出一种基于特征的弹性图匹配人脸识别算法 (FEGM) .它包括两个步骤 ,首先利用 Gabor进行人脸特征(如眼、鼻子、嘴等 )的检测、定位 ,提取一组 Gabor小波系数矢量 ;然后在代价函数的约束下 ,对各个特征都执行弹性图匹配 ,并使总体代价函数尽可能的小 ,从而得到联合识别结果 .在 Yale人脸库上的实验表明 ,识别率确实得到提高 .
谁不想让自己的头脑变得更聪明呢？其实也不用很复杂的方法,一些日常的训练就能让你的智力得到提高。据英国一项研究发现,只要略微改变一下生活方式,进行＂大脑锻炼＂,如换只手刷牙
利用随机介质的强起伏理论，引起辅助介电常数，讨论了各向异性强起伏随机介质的有效介电常数，并将之应用于密集非球形微粒复合体材料有效介电常数的计算。数值地给出了金属微粒绝
美国白领中流行过一种“模拟击鼓”游戏。工作繁忙的白领们，可以在桌面上、墙壁上或者车窗玻璃上等任何地方，用手指进行有节奏地敲击，而敲击的节奏可根据自己心情而定。就是这个