收藏本站
《软件学报》 2003年10期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

谓词μ演算和模态图的语义一致性

刘剑  林惠民  
【摘要】:模态图是谓词m演算的一种有效的图形表示形式.证明了谓词m演算和模态图的语义一致性,详细讨论了谓词m演算公式、嵌套谓词等式系和模态图之间的关系,并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法.

手机知网App
【引证文献】
中国博士学位论文全文数据库 前1条
1 吴鹏;并发系统的模型检测与测试[D];中国科学院研究生院(软件研究所);2005年
【同被引文献】
中国期刊全文数据库 前1条
1 许文,方海,林惠民;π-演算互模拟判定算法的优化和实现[J];软件学报;2001年02期
中国博士学位论文全文数据库 前1条
1 刘剑;传值进程与移动进程的模型检测方法[D];中国科学院研究生院(软件研究所);2005年
【二级引证文献】
中国硕士学位论文全文数据库 前1条
1 黄瑛;SET协议支付过程分析及模型检测[D];贵州大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 林健;用于VIS系统分析、设计、研制的事件驱动法[J];系统工程理论与实践;1997年01期
2 王国俭,张家华;ANSYS软件在21世纪中心大厦设计中的应用[J];工程设计CAD与智能建筑;1999年12期
3 王梦倩;邵波;岳建华;;医学图像融合的应用与展望[J];医疗设备信息;2007年05期
4 路廷清;颜肖龙;张卫芬;;基于ANSYS的电子机柜插箱的结构优化设计[J];机械工程与自动化;2006年04期
5 王成良;大型结构多阶模态快速动画显示方法[J];计算机应用研究;1993年03期
6 刘剑,林惠民;传值进程模型检测中诊断信息的生成[J];软件学报;2003年01期
7 周付根;刘文艳;周孝宽;;基于数据融合的脑组织图像分割[J];生物医学工程学杂志;2008年01期
8 王成良,王崇友;大型结构多阶模态快速动画显示方法[J];重庆大学学报(自然科学版);1993年03期
9 俎栋林,贺强,骆庆飞,金真,包尚联;图像配准用于fMRI运动伪影的矫正[J];CT理论与应用研究;2001年04期
10 梁晓云,章品正,王蔚林,曾卫明,罗立民,王立功,周正东;Hausdorff距离与GA相结合的医学图像配准[J];仪器仪表学报;2004年S1期
中国重要会议论文全文数据库 前4条
1 张军;徐小敏;穆荣;;冲击桥模态仿真[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
2 周平;杨烜;张智雄;;一种改进的联合互信息多模图像配准度量[A];第十三届全国信号处理学术年会(CCSP-2007)论文集[C];2007年
3 谭台哲;靳玉贞;;基于GSNI测度的多模态医学图像配准[A];第十五届全国图象图形学学术会议论文集[C];2010年
4 李寒;王库;;基于SoG边缘检测和SURF的多模态图像配准方法[A];中国农业工程学会电气信息与自动化专业委员会、中国电机工程学会农村电气化分会科技与教育专委会2010年学术年会论文摘要[C];2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026