切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Petri网和Z语言的集成形式化方法
Petri网和Z语言的集成形式化方法
来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:xqiqi
【摘 要】
:
随着各具特色的形式化方法不断涌现.研究各种形式化模型之间的关系,并且通过组合、集成的方法,综合它们的特性,不仅在理论上,而且在实践中都具有非常重大的意义.将集成Petri
【作 者】
:
胡劲松
赵保华
郭雄辉
屈玉贵
【机 构】
:
中国科学技术大学
【出 处】
:
小型微型计算机系统
【发表日期】
:
2004年8期
【关键词】
:
形式化方法
PETRI网
Z语言
PZ网
formal methods petri nets Z PZ nets
【基金项目】
:
国家自然科学基金,国家自然科学基金,高等学校博士学科点专项科研项目,国家高技术研究发展计划(863计划)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着各具特色的形式化方法不断涌现.研究各种形式化模型之间的关系,并且通过组合、集成的方法,综合它们的特性,不仅在理论上,而且在实践中都具有非常重大的意义.将集成Petri网和Z语言两种形式化方法,使它们能够保留各自的优点,并互相弥补不足,进而形成一种新的、更加全面的形式化方法PZ网.
其他文献
简单几点,让你的鱼塘远离诺卡氏菌病
炎炎八月,海鲈头批鱼陆续上市,养殖户在头批鱼投喂方面更是热情高涨,加料意愿强烈。而随着头批鱼价格略有波动,高温期常见病菌对鱼塘的侵袭,更是令不少养户心急如焚。通过粤
期刊
高温期
紫外分光光度法对洗必泰含量的测定
在洗必泰有特征吸收峰的258nm波长下,以紫外分光光度法测定洗必泰含量.与高氯酸滴定法相比,对洗必泰量≤210μg的稀释液,测定误差为0.9%~4.7%. Chlorhexidine content was determined by UV spectro
期刊
紫外分光光度法
洗必泰
含量测定
高精度微波夹具设计中的TRL校准技术
TRL校准是一种非常精确的校准方式,尤其适用于非标准接口的微波器件S参数的精确测试。论文探讨了有关TRL校准技术,从TRL校准技术理论模型分析,到设计TRL校准件的要求,到设计T
期刊
TRL校准
微波测试
网络分析仪
S参数
过敏反应的表现及其治疗
<正> 临床医生必须了解以下几点,以便对过敏反应作出正确的认识。一、在医院外因过敏反应而死亡者,常发生在15分钟以内。二、产生这种临床过敏性综合征的机理是复杂的,非免疫
期刊
过敏反应
表现
基于分类器学习算法的图像智能分类技术研究
针对海量图像中获取其分类信息速度慢、精准度低的问题,提出基于分类器学习算法的图像智能分类技术,首先进行图像分割与特征提取,其次再进行关键点精确定位,最后进行实验论证
期刊
分类器
学习算法
图像智能
分类技术
非测绘专业《测量学》实验教学改革探讨
能力培养是面向21世纪高校教学改革的核心目标。针对非测绘专业测量学实验教学中存在的主要问题,提出了优化教材内容、加强实验室建设、调整理论和实验教学时间比例、建立固定实验场地、更新实验内容、实行一条龙式实验模式的改革方案,充分体现测量学实践性强的特点。
期刊
测量学
教学
实验
改革
surveying teaching experiment reform
钠化焙烧转炉钒渣粉体分形生长的演化行为
转炉钒渣焙烧提钒技术效率低,过程涉及化学反应、传递及相变过程,蕴含物相分形生长的动力学行为。对钒渣分形变化规律的研究有助于促进钒的定向转化,进而对工业提钒具有指导
期刊
转炉钒渣
非线性动力学
分形
粉体
混沌
制度构建:军队党的建设的创新战略
军队党组织必然着眼巩固和实现有效领导,将制度的建构与完善作为党的建设创新的战略取向。具体来讲,军队党的建设的一切活动,必须要以适应代表国家和人民根本利益的党的执政与领
期刊
军队
党的建设
创新战略
制度构建
地方本科院校教师扎根实践促转型的探索—以龙岩学院教师扎根地方农产品加工产业实践为例
教师扎根实践是实现地方本科院校向应用技术型转变的重要方面,以龙岩学院教师扎根地方农产品加工产业实践为例,探索地方本科院校教师通过扎根实践促进学校向应用技术型转型的意
期刊
扎根实践
地方本科院校
教师
转型
六个转变
taking root in practice local university teachers transfo
移动学习环境下的翻转课堂教学活动设计——以南京城市职业学院为例
面向移动学习的学习活动设计是移动学习研究中最核心、最复杂的部分。本文,首先给出翻转课堂教学模型;接着,根据移动学习教学设计思路,全面阐述《计算机应用基础》课程中"公
期刊
学习活动设计
翻转课堂
移动学习
与本文相关的学术论文