论文部分内容阅读
Z语言是一种广泛应用的形式化语言,适合于仿真实时软件系统的需求规格说明.通过微机系统仿真软件的Z规格说明,讨论了Z语言在实时系统开发中使用的一些方法、对典型问题的处理原则以及操作间时序关系的描述.
微机仿真系统中形式化方法的应用
【摘 要】
：
Z语言是一种广泛应用的形式化语言,适合于仿真实时软件系统的需求规格说明.通过微机系统仿真软件的Z规格说明,讨论了Z语言在实时系统开发中使用的一些方法、对典型问题的处理
【机 构】
：
嘉应学院设备与实验室管理处
【出 处】
：
韶关学院学报
【发表日期】
：
2004年9期
其他文献
利用Sobolev不等式,研究一维非齐次BBM方程的初值边界问题,得到几个先验估计,应用Galerkin方法证明了该问题的整体解的存在性.
针对传统起重机轴系计算方法不能准确预测考虑弯曲、剪切及挤压接触等因素轴系综合应力的问题，提出一种新的基于接触理论起重机轴系强度计算方法，该方法综合采用结构参数化设计
山水词的形成与发展在一定程度上受到了禅宗的启示与影响.因此,山水词中也蕴涵着一定的禅韵禅机,诸如水月之境、山林之音、山水悟道等.
本体论是任何哲学理论的前提和出发点。马克思主义哲学的本体论是物质一元论。那些认为马克思主义哲学没有本体论或主张马克思主义哲学本体论是实践本体论的观点是站不住脚的
设计了高速伸缩臂叉车静液压传动行走电控系统。采用PID控制器控制车辆行走速度,利用自适应滤波原理,设计了自适应预测滤波器,预测车辆目标工作状态下的系统压力差。实现了发
1不锈钢的分类及特性 不锈钢一般按用途、化学成分及金相组织来大体分类，按组织结构不同，不锈钢分3大类，奥氏体、马氏体和铁素体，根据不锈钢组成成分不同，又可分多种类型的不锈钢
为了促进场车新技术的发展,提高生产效益和特种设备的安全管理,在对比和总结国内外各种安全评价方法的基础上,提出了适用于场车的基于风险原理的安全评价方法,并进行研究。
<正> 在撰写现代民间文学史过程中,笔者留意刘策奇先生的生平史料久矣,但多次寻访而未得,近读裘士雄先生发表于《鲁迅研究月刊》2002年第2期上的《刘策奇其人其事》,方获梦寐
期刊
现代社会处于超大量的信息传播时代,注意力成为媒介传的灵感来创造不同寻常的视觉形象,在第一时间吸引受众的视线.广告的视觉创意可以通过善于突破传统羁绊,学会忘掉所学,具
应用荧光染色法对杏鲍菇菌丝和银耳芽孢的结构进行了观察.结果显示,与普通物理显像法相比较,通过荧光显微镜能清晰地观察到菌丝体和芽孢的细微结构,特别是能够更清晰地观察到