论文部分内容阅读
形式化B方法建立在严格的数学基础上，通过严格的验证技术证明其正确性，尤其对大型复杂系统的描述是非常有用和正确的。用形式化B方法描述了免疫系统的两个因子网络模型，然后通过严格和精确的验证技术：类型检查和证明义务的给出，证明了抽象机的正确性。
基于B方法验证技术的应用研究
【摘 要】
：
形式化B方法建立在严格的数学基础上，通过严格的验证技术证明其正确性，尤其对大型复杂系统的描述是非常有用和正确的。用形式化B方法描述了免疫系统的两个因子网络模型，然后通过
【机 构】
：
扬州大学信息工程学院
【出 处】
：
现代电子技术
【发表日期】
：
2007年19期
【基金项目】
：
江苏省自然科学基金项目(BK2004052)“面向软件服务协同的agent结构研究”;扬州大学自然科学基金(KK0513109)“混沌系统的反控制与脉冲同步及其应用”的资助
其他文献
本文认为,电子商务是20世纪信息网络化的产物,也是21世纪全球商务发展的主流模式.电子商务的健康发展依赖信息流、资金流和物流的辩证统一,良性互动.但在我国电子商务活动中,
目的:总结头颈部皮肤恶性肿瘤手术和修复的临床经验.方法:回顾性分析我科手术治疗的头面部皮肤恶性肿瘤患者125例,术中作冰冻切片监测手术切缘,术后缺损根据患者的情况采用邻
随着广播电视行业的发展,人才市场对播音主持人才的需求日益增加,高校为满足市场需求,扩大对播音主持专业人才的培养,在追求数量的时候总会带来质量问题。本研究主要通过分析
经过十几年的中等职业学校英语教学实践，笔者深感教学成功的关键在于坚持以教师为主导、以学生为主体、以训练为主线的原则。为了达到规定的教学目的，教师应该引导学生积极主动
对甘肃省中长跑运动项目的发展现状进行了实证研究，据此提出了保持和提升中长跑运动竞赛成绩可持续发展的基本对策。主要观点是：第一，加强后备人才储备，人才队伍有效衔接是当前困
我院2004年11月～2009年6月收治了6例脑干脑炎患者,现对其临床资料进行分析。
目的本次实验课题主要探讨常规护理与优质护理应用在高龄患者腹腔镜胆囊手术围术期的临床效果。方法研究样本择选我院收治的82例腹腔镜胆囊切除术高龄患者,随机分为观察组和
研究不同基质采用不同的施肥方式以及营养滴灌方式对黄瓜和番茄生长和产量的影响。试验结果表明,定期在基质中追施专用有机缓释肥,滴灌清水的生产方式可以取得与仅滴灌营养液
<正> 一、原煤块度及挥发份的影响通过历年来的生产,我们找到了如下规律。即在生产条件和工艺参数基本不变的前提下,不同煤种原煤中大于13mm的块度百分率的变化及该煤种挥发