论文部分内容阅读
【正】一、CHAM形式化模型特点CHAM形式化模型以代数演算的方式研究通信并发系统,将进程看作是代标号的变迁系统,迁移的规则是以句法重新安排的方式来反映状态信息的变化过程。1.CHAM形式化模型结构。CHAM形式化模型最初是由
CHAM软件连接形式化模型研究
【摘 要】
：
【正】一、CHAM形式化模型特点CHAM形式化模型以代数演算的方式研究通信并发系统,将进程看作是代标号的变迁系统,迁移的规则是以句法重新安排的方式来反映状态信息的变化过程
【机 构】
：
上海同济大学
【出 处】
：
河南科技
【发表日期】
：
2012年01X期
其他文献
纵观当前的规模化养殖,大多是以家庭为主的小型和中型养殖场。养殖户受专业知识和文化水平较低的影响对兽药的使用不规范,乱用、错用药比较普遍不利于养殖业的可持续发展也,
减速机设备大部分应用于国防工业各个领域与方面,早在 1970—1980 年期间,减速机技术就与现代新技术发展进行了科学的 融合与统一,慢慢地从原来的低水平、低性能、单一式、稳
对阉割手术后的动物,护理工作极为重要。它直接关系到伤口的愈合和早日康复。如果护理不好造成术后出血和感染化脓,增加治疗费用,甚至死亡。因此,术后护理是一项非常重要的工
1现阶段基层畜牧兽医技术管理现状1.1管理机构不完善随着我国社会经济的迅速发展,畜牧兽医行业也制定了新的目标,但是因管理机制的落后问题,已经无法跟上时代及行业发展的步
【正】 第一条 (目的) 为了规范公有住房差价交换活动,引导居民改善居住条件,活跃房地产二、三级市场,制定本办法。 第二条 (适用范围) 本办法适用于本市行政区域内居民承租
【正】 一、内地物业管理的三种主要模式: 1.专业物业管理模式 管理公司为住户提供全方位的综合服务,寓公寓管理于服务中;经费来源主要是通过收取管理费和多种经营来解决,为
【正】公路建筑材料是公路专业的一门融理论性和实践性为一体的专业基础课程,它主要研究公路与桥梁工程中所涉及的材料的相关技术性质。做好公路建筑材料实验教学,可以使学生
从近日召开的内蒙古基本药物集中招标采购启动视频会议上了解到，内蒙古基本药物政策体系、基本药物工作制度、基本药物支撑系统已经全部到位。目前，网上集中采购筹备工作基本就
针对地下无人驾驶采矿设备的自主行驶导航系统,提出了一种基于编码信标识别的定位方法,并在试验验证平台进行了测试。首先根据条形码技术设计一套可识别的编码信标,并与实际环境相结合,设计制作信标实体,分析并设计编码信标识别算法,基于激光雷达的扫描结果,编码信标识别算法可以实现对若干特定位置的判定,进而设计定位算法,推算出无人驾驶采矿设备的当前位置,为无人驾驶采矿设备的自主行驶系统提供必要的定位导航信息。
基于B样条的DLO(deformable linear Dbject)几何算法计算量小,但目前的研究尚未解决多个指定点和表面绘制问题。提出采用双段三次开放B样条分段描述DLO中心线,成功解决了多个指定点问题;提出通过坐标变换建立DLO线框模型,利用线框模型顶点构建三角形面片,调用OpenGL函数库中的GL_POLYGON函数填充三角形面片,从而实现了DLO的表面绘制。实验和应用表明,上述算法的逼真