咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 8 篇 期刊文献
  • 1 篇 会议

馆藏范围

  • 9 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 9 篇 工学
    • 8 篇 计算机科学与技术...
    • 7 篇 软件工程
    • 2 篇 电气工程
    • 2 篇 电子科学与技术（可...
    • 1 篇 机械工程
    • 1 篇 材料科学与工程（可...
    • 1 篇 动力工程及工程热...
    • 1 篇 控制科学与工程
    • 1 篇 化学工程与技术

主题

  • 9 篇 z规范
  • 3 篇 形式化
  • 2 篇 信息对象
  • 2 篇 采集系统
  • 1 篇 集成
  • 1 篇 uml
  • 1 篇 modelica
  • 1 篇 程序语言
  • 1 篇 导数
  • 1 篇 经典电动力学
  • 1 篇 纯函数式语言
  • 1 篇 统一建模语言
  • 1 篇 标量场
  • 1 篇 连续行为特性
  • 1 篇 vdm规范
  • 1 篇 实验证据
  • 1 篇 广义
  • 1 篇 tesla
  • 1 篇 表达式
  • 1 篇 com组件

机构

  • 2 篇 石家庄铁道大学
  • 1 篇 河北科技大学
  • 1 篇 山东大学
  • 1 篇 上海交通大学
  • 1 篇 湖州师范专科学校
  • 1 篇 河北工业职业技术...
  • 1 篇 东莞理工学院
  • 1 篇 石家庄铁道学院
  • 1 篇 西安电子科技大学
  • 1 篇 南京航空航天大学
  • 1 篇 山东山大华天软件...
  • 1 篇 武汉大学

作者

  • 3 篇 赵正旭
  • 2 篇 张常有
  • 2 篇 刘立嘉
  • 1 篇 曹子宁
  • 1 篇 白占国
  • 1 篇 朱玉
  • 1 篇 马银峰
  • 1 篇 张乃孝
  • 1 篇 陈平
  • 1 篇 李景峰
  • 1 篇 赵晓峰
  • 1 篇 周以齐
  • 1 篇 胡名光
  • 1 篇 汤叔楩
  • 1 篇 陈忠民
  • 1 篇 杨超英
  • 1 篇 喻超
  • 1 篇 孙永强
  • 1 篇 毋国庆
  • 1 篇 袁华强

语言

  • 9 篇 中文
检索条件"主题词=Z规范"
共 9 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
生产型虚拟制造系统过程模型的z规范技术
收藏
分享
引用
计算机集成制造系统 2010年 第8期16卷 1634-1642页
作者： 赵晓峰 赵正旭 周以齐 杨超英 山东大学机械工程学院高效洁净机械制造教育部重点实验室 山东济南250061 石家庄铁道学院计算机与信息工程分院 河北石家庄050043 山东山大华天软件有限公司 山东济南250000
为解决虚拟制造系统间过程信息的集成与共享,提出了一种基于虚拟制造过程元模型和形式化z语言工具的过程模型规范研究方法。元模型以活动和连接弧为核心,关联制造过程中的产品、资源、转移条件和相关数据,并根据制造过程特点设计了三种... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于z规范的统一建模语言序列图语义分析方法
收藏
分享
引用
西安电子科技大学学报 2003年 第4期30卷 519-524页
作者： 李景峰 陈平 西安电子科技大学软件工程研究所 陕西西安710071
针对统一建模语言序列图,提出了一种利用z语言对其进行语义分析的方法.该方法在序列图z规范的基础上,用属性集表示对象状态,并将序列图的上下文表示为z形式约束,通过检查上下文约束与对象状态间的一致性对序列图进行语义分析.通过一个... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
COM接口的z规范
收藏
分享
引用
计算机工程 2002年 第12期28卷 104-105,133页
作者： 喻超 毋国庆 武汉大学软件工程国家重点实验室 武汉430072
对微软公司提出的COM组件模型中的接口规则给出了一个基于z语言规范化描述，使其具有严格的语义基础，能通过形式化的分析来保证规则的相容性。在此基础之上对组件也给出了z语言的定义，并对合法组件的性质作出了形式化分析。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
一种基于z规范的纯函数式程序设计方法
收藏
分享
引用
计算机应用与软件 2008年 第2期25卷 117-118页
作者： 袁华强 孙永强 东莞理工学院软件研究所 广东东莞523106 上海交通大学计算机科学与工程系 上海200030
状态、输入和输出是z规范的基础,引入Monad的纯函数式语言特别适合用来实现用z规范说明的系统。通过将状态、输入和输出封装在一个Monad内,提出一种基于z规范的纯函数式程序设计方法。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
VDM和z两种规范描述语言的比较
收藏
分享
引用
计算机研究与发展 1996年 第11期33卷 816-822页
作者： 朱玉 陈忠民 张乃孝 湖州师范专科学校 北京大学计算机系
本文以关系数据库的规范为例，详细讨论了两种重要的规范描述语言ＶＤＭ和Ｚ的主要区别，对它们的共性和发展史也作了简单介绍。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
标量场效应的实验证据
收藏
分享
引用
河北师范大学学报（自然科学版） 2005年 第3期29卷 253-256页
作者： 汤叔楩 赵素英 马银峰 白占国 河北科技大学理学院 河北石家庄050054 河北工业职业技术学院信息工程与自动化系 河北石家庄050091
在经典电动力学的框架内,普遍自由选择涉及电磁势规范变换的任意规范条件.Lorentz规范条件考虑非均匀势波动方程的推导,但这同样表明电磁势的标量导数被认为是非物理的.这些标量表达式可以有新物理场S的意义.在这种情况下,需要广义经典... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
信息对象开放式采集系统的形式化描述
收藏
分享
引用
微电子学与计算机 2010年 第8期27卷 20-23页
作者： 赵正旭 张常有 刘立嘉 石家庄铁道大学信息科学技术学院 河北石家庄050043
为获得研究对象的描述特征,设计一种面向Internet的开放式采集系统.该系统的主要功能包括信息对象的登记、登记信息查询、对象信息录入、对象修改、对象浏览等.在此基础上,使用z规范对系统需求进行了形式化描述,能够有效避免二义性,并... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
带有数据约束的信息物理融合系统的建模方法
收藏
分享
引用
计算机技术与发展 2020年 第10期30卷 79-85页
作者： 卜星晨 曹子宁 胡名光 南京航空航天大学计算机科学与技术学院 江苏南京211106
信息物理融合系统由具有连续性的物理系统和具有离散性的信息系统组合而成,是一种复杂的混成系统。针对现有的建模方法不能够直接对信息物理融合系统进行建模,采用基于模型的体系结构建模方法,对信息物理融合系统的不同部分采用不同的... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
信息对象开放式采集系统的形式化描述
信息对象开放式采集系统的形式化描述
收藏
分享
引用
2010年全国开放式分布与并行计算机学术会议
作者： 赵正旭 张常有 刘立嘉 石家庄铁道大学信息科学技术学院
为获得研究对象的描述特征,设计一种面向Internet的开放式采集系统.该系统的主要功能包括信息对象的登记、登记信息查询、对象信息录入、对象修改、对象浏览等.在此基础上,使用z规范对系统需求进行了形式化描述,能够有效避免二义性,并... 详细信息
来源： cnki会议 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件