生产型虚拟制造系统过程模型的Z规范技术 被引量：2

1

作者 赵晓峰 赵正旭 +1 位作者 周以齐 杨超英 《计算机集成制造系统》 EI CSCD 北大核心 2010年第8期1634-1642,共9页

为解决虚拟制造系统间过程信息的集成与共享,提出了一种基于虚拟制造过程元模型和形式化Z语言工具的过程模型规范研究方法。元模型以活动和连接弧为核心,关联制造过程中的产品、资源、转移条件和相关数据,并根据制造过程特点设计了三种... 为解决虚拟制造系统间过程信息的集成与共享,提出了一种基于虚拟制造过程元模型和形式化Z语言工具的过程模型规范研究方法。元模型以活动和连接弧为核心,关联制造过程中的产品、资源、转移条件和相关数据,并根据制造过程特点设计了三种标志节点、七种任务节点和两类连接弧。过程要素的Z规范描述保证了数据语义的准确性和无二义性。通过对典型的车间生产和装配过程进行建模,验证了元模型的有效性。 展开更多

关键词 虚拟制造 过程元模型 集成 z规范 形式化

在线阅读 下载PDF 职称材料

基于Z规范的统一建模语言序列图语义分析方法 被引量：3

2

作者 李景峰 陈平 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2003年第4期519-524,共6页

针对统一建模语言序列图,提出了一种利用Z语言对其进行语义分析的方法.该方法在序列图Z规范的基础上,用属性集表示对象状态,并将序列图的上下文表示为Z形式约束,通过检查上下文约束与对象状态间的一致性对序列图进行语义分析.通过一个... 针对统一建模语言序列图,提出了一种利用Z语言对其进行语义分析的方法.该方法在序列图Z规范的基础上,用属性集表示对象状态,并将序列图的上下文表示为Z形式约束,通过检查上下文约束与对象状态间的一致性对序列图进行语义分析.通过一个应用实例说明了该方法的有效性. 展开更多

关键词 z规范 统一建模语言 序列图 语义分析 UML

在线阅读 下载PDF 职称材料

COM接口的Z规范

3

作者 喻超 毋国庆 《计算机工程》 CAS CSCD 北大核心 2002年第12期104-105,133,共3页

对微软公司提出的COM组件模型中的接口规则给出了一个基于Z语言规范化描述，使其具有严格的语义基础，能通过形式化的分析来保证规则的相容性。在此基础之上对组件也给出了Z语言的定义，并对合法组件的性质作出了形式化分析。

关键词 COM接口 z规范 软件开发 计算机 COM组件

在线阅读 下载PDF 职称材料

一种基于Z规范的纯函数式程序设计方法

4

作者 袁华强 孙永强 《计算机应用与软件》 CSCD 北大核心 2008年第2期117-118,共2页

状态、输入和输出是Z规范的基础,引入Monad的纯函数式语言特别适合用来实现用Z规范说明的系统。通过将状态、输入和输出封装在一个Monad内,提出一种基于Z规范的纯函数式程序设计方法。

关键词 纯函数式语言 z规范 MONAD

在线阅读 下载PDF 职称材料

VDM和Z两种规范描述语言的比较 被引量：5

5

作者 朱玉 陈忠民 张乃孝 《计算机研究与发展》 EI CSCD 北大核心 1996年第11期816-822,共7页

本文以关系数据库的规范为例，详细讨论了两种重要的规范描述语言ＶＤＭ和Ｚ的主要区别，对它们的共性和发展史也作了简单介绍。

关键词 VDM规范 规范描述语言 z规范 程序语言

在线阅读 下载PDF 职称材料

UML序列图的Z形式规范 被引量：5

6

作者 李景峰 李琰 陈平 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2002年第6期772-775,795,共5页

用形式化语言Z定义了统一建模语言序列图的严格语义,给出了抽象句法、合式规则及应满足的一致性约束,并通过一个应用实例说明了该形式规范为序列图的语义分析与正确性验证提供了支持.

关键词 UML序列图 z形式规范 统一建模语言 形式化 z语言

在线阅读 下载PDF 职称材料

信息对象开放式采集系统的形式化描述 被引量：1

7

作者 赵正旭 张常有 刘立嘉 《微电子学与计算机》 CSCD 北大核心 2010年第8期20-23,共4页

为获得研究对象的描述特征,设计一种面向Internet的开放式采集系统.该系统的主要功能包括信息对象的登记、登记信息查询、对象信息录入、对象修改、对象浏览等.在此基础上,使用Z规范对系统需求进行了形式化描述,能够有效避免二义性,并... 为获得研究对象的描述特征,设计一种面向Internet的开放式采集系统.该系统的主要功能包括信息对象的登记、登记信息查询、对象信息录入、对象修改、对象浏览等.在此基础上,使用Z规范对系统需求进行了形式化描述,能够有效避免二义性,并有利于系统的进一步模型检测. 展开更多

关键词 信息对象 采集系统 z规范 形式化

在线阅读 下载PDF 职称材料

标量场效应的实验证据 被引量：1

8

作者 汤叔楩 赵素英 +1 位作者 马银峰 白占国 《河北师范大学学报（自然科学版）》 CAS 北大核心 2005年第3期253-256,共4页

在经典电动力学的框架内,普遍自由选择涉及电磁势规范变换的任意规范条件.Lorentz规范条件考虑非均匀势波动方程的推导,但这同样表明电磁势的标量导数被认为是非物理的.这些标量表达式可以有新物理场S的意义.在这种情况下,需要广义经典... 在经典电动力学的框架内,普遍自由选择涉及电磁势规范变换的任意规范条件.Lorentz规范条件考虑非均匀势波动方程的推导,但这同样表明电磁势的标量导数被认为是非物理的.这些标量表达式可以有新物理场S的意义.在这种情况下,需要广义经典电动力学,预言标量场效应,通过实验来检验推广的电动力学.按照场重新阐述非均匀势波动方程后,可以看成是广义Gauss定律和Amp埁re定律,同样包含S的导数.新近的实验结果与存在的标量场预测定性结果一致.为了检测存在理论的正确,需要进一步定量检测.Tesla关于预测效应开创性研究的重要性不能言过其实. 展开更多

关键词 场效应 实验证据 经典电动力学 波动方程 Gauss TESLA 规范变换 定量检测 非均匀 电磁势 z规范 物理场 表达式 标量场 导数 广义 定律 预测

在线阅读 下载PDF 职称材料

带有数据约束的信息物理融合系统的建模方法 被引量：1

9

作者 卜星晨 曹子宁 胡名光 《计算机技术与发展》 2020年第10期79-85,共7页

信息物理融合系统由具有连续性的物理系统和具有离散性的信息系统组合而成,是一种复杂的混成系统。针对现有的建模方法不能够直接对信息物理融合系统进行建模,采用基于模型的体系结构建模方法,对信息物理融合系统的不同部分采用不同的... 信息物理融合系统由具有连续性的物理系统和具有离散性的信息系统组合而成,是一种复杂的混成系统。针对现有的建模方法不能够直接对信息物理融合系统进行建模,采用基于模型的体系结构建模方法,对信息物理融合系统的不同部分采用不同的建模方法进行建模,将不同的建模语言进行相应的转换整合成一个完整的系统。AADL建模语言提供了较为全面的图表和结构,适合用来对系统的体系结构进行建模,针对于其无法描述概率迁移的问题,扩展了概率行为附件。作为AADL的补充,Modelica语言可以利用微分代数方程对物理系统的连续动态性进行建模。根据AADL与Modelica的映射规则,对AADL的属性集进行相应的扩展,将Modelica建立的模型转换为AADL模型,使得信息系统和物理系统融合。在Modelica与AADL建模的基础上,采用Z规范对信息物理融合系统交互过程中产生的大量数据进行形式化的约束。 展开更多

关键词 信息物理融合系统 MODELICA AADL z规范 概率离散性 连续行为特性

在线阅读 下载PDF 职称材料

有限温度Z_5 格点规范理论的相变结构(英文)

10

作者 陈洛恩 杨红 梅冬成 《云南大学学报（自然科学版）》 CAS CSCD 1999年第5期342-345,共4页

利用改进的ＭＫ 重正化群方法，讨论了最高温度Ｔ ＝ １／ａ 下的Ｚ５ 格点规范理论的相变结构和温度耦合常数空间中的相变线，并计算了固定点的临界指数，所得结果支持ＳＹ 预言．

关键词 有限温度 相变结构 z5格点规范理论 MK重正化群

原文传递

Z′和τ的轻子味破坏衰变

11

作者 岳崇兴 张延明 刘兰君 《高能物理与核物理》 CSCD 北大核心 2003年第7期564-566,共3页

许多超出标准模型的新物理预言了非普适规范玻色子Z′的存在 .此新粒子可产生许多新的物理现象 .本文计算了顶色辅助的人工色 (TC2 )模型和味普适TC2模型预言的非普适规范玻色子Z′对τ的轻子味破坏衰变过程τ→liγ ,τ→liljlk 的贡... 许多超出标准模型的新物理预言了非普适规范玻色子Z′的存在 .此新粒子可产生许多新的物理现象 .本文计算了顶色辅助的人工色 (TC2 )模型和味普适TC2模型预言的非普适规范玻色子Z′对τ的轻子味破坏衰变过程τ→liγ ,τ→liljlk 的贡献 .结果表明 ,在整个参数空间内 ,过程τ→liljlk 的分支比比τ→liγ的分支比大 .在适当的参数空间内 ,分支比Br(τ→liljlk)可达到 10 -8.因此 ,在将来的高能实验中有可能探测到此新物理效应 . 展开更多

关键词 非普适规范玻色子z’ Τ子 轻子味破坏衰变 粒子物理学 高能实验 标准模型 顶色辅助 人工色模型

原文传递