论文部分内容阅读
异步非对称Chi演算是目前更接近于现在的分布式程序语言的形式化系统.本文研究了异步非对称Chi演算的各种互模拟关系,文中定义了异步非对称Chi演算的语法和操作语义,引入一组L-互模拟关系,构造了异步非对称Chi演算的互模拟格.
异步非对称Chi演算的互模拟格
【摘 要】
：
异步非对称Chi演算是目前更接近于现在的分布式程序语言的形式化系统.本文研究了异步非对称Chi演算的各种互模拟关系,文中定义了异步非对称Chi演算的语法和操作语义,引入一组
【机 构】
：
浙江师范大学数理信息学院
【出 处】
：
科技信息（科学·教研）
【发表日期】
：
2004年期
其他文献
Catheter ablation of atrial fibrillation (AF) has made great progress in recent years, which has shown promising clinical outcome. More and more electrophysiolo
目的探讨心理学课程和个别主动干预对有心理障碍学生的心理健康状况影响的有效性和程度。方法选取扬州大学参加心理咨询与治疗公选课的大一学生94名,通过症状自评量表(SCL-90
我矿使用的MG2×400-W型滚筒式采煤机,长期工作在井下恶劣的环境中,而煤层地质条件变化又比较大,采煤机不同部位不同类型的故障常有发生,严重地制约着矿井的正常生产。为此,
目的 了解医务人员健康现状,找出影响医务人员健康的不利因素,提供健康指导建议.方法 选取两家省级三甲综合性医院参加健康体检者数据,其中医务人员组为医务人员,按不同工作
This paper presents a novel dual-modestep-up (boost) DC/DC converter. Pulse-frequencymodulation (PFM) is used to improve the efficiency atlight load. This conve
目的 探讨变应性鼻炎对中耳听功能的影响.方法 对变应性鼻炎患儿100例和正常儿童50例行耳镜检查、声导抗和纯音听阈的测定.分别对正常儿童组、轻度与中重度变应性鼻炎组的鼓
临床资料患者,男性,68岁,农民.主因右大腿屈侧羊角样赘生物3年就诊.患者3年前无明显诱因在右大腿屈侧发现蚕豆大小的赘生物,质硬,无不适感,未到医院就诊.赘生物渐增大呈羊角
高校教材采用计算机管理对加快高校教务管理工作的现代化进程具有非常重要的意义.以面向对象的编程语言Java作为实现,使用统一建模语言UML和MVC设计模式建立远程教材管理系统
目的 探讨静脉滴注硫酸镁与术后PCA镇痛效果间的关系.方法 采用随机、双盲方法将40例择期上腹部手术病人分为两组,分别静脉注射硫酸镁和生理盐水.并对两组间术后VSA分数、术
目的:探讨白血病在神经系统损害的临床特点。方法:报道1例以神经系统多灶损害为首发症状的白血病,结合病史、CT、MRI、脑脊液及骨髓穿刺检查进行文献复习。结果:白血病可浸润