Z规范

作品数：11被引量：13H指数：2
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：赵正旭张常有刘立嘉张乃孝李景峰更多>>
相关机构：石家庄铁道大学山东大学北京大学西安电子科技大学更多>>
相关期刊：《计算机技术与发展》《地球物理学报》《湖州师范学院学报》《西安电子科技大学学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划河北省自然科学基金中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Lorenz规范的空间-波数域大地电磁三维正演
《地球物理学报》2022年第12期4963-4980,共18页戴世坤 陈轻蕊 凌嘉宣 李昆 赵东东 张莹 张钱江 
国家自然科学基金项目(41574127);广西科技基地和人才专项(桂科AD19110058)资助.
大地电磁勘探方法由于其成本低、施工简单、探测深度广等优点,广泛应用于矿产资源普查、油气勘探和深部构造研究等领域.如何提高大规模三维大地电磁数值模拟的精度和效率一直是研究热点.本文基于空间-波数域方法,实现了基于Lorenz规范...
关键词：空间-波数域 Lorenz规范 三维大地电磁 数值模拟 
Lorenz规范简史
《物理》2021年第6期417-421,共5页卢昌海 
不知有没有读者看到本文标题会闪出一个念头:“Lorenz”(姑以“洛伦茨”为中译)拼错了,应为“Lorentz”(姑以“洛伦兹”为中译)?本文要谈的正是这“Lorenz”和“Lorentz”之辨。
关键词：洛伦兹 LORENTZ 洛伦茨 中译 
带有数据约束的信息物理融合系统的建模方法被引量：1
《计算机技术与发展》2020年第10期79-85,共7页卜星晨 曹子宁 胡名光 
国家航空科学基金(20185152035,20150652008);中央高校基本科研业务费(NJ2019010)。
信息物理融合系统由具有连续性的物理系统和具有离散性的信息系统组合而成,是一种复杂的混成系统。针对现有的建模方法不能够直接对信息物理融合系统进行建模,采用基于模型的体系结构建模方法,对信息物理融合系统的不同部分采用不同的...
关键词：信息物理融合系统 MODELICA AADL Z规范 概率离散性 连续行为特性 
信息对象开放式采集系统的形式化描述被引量：1
《微电子学与计算机》2010年第8期20-23,共4页赵正旭 张常有 刘立嘉 
国家自然科学基金项目(60873208);河北省自然科学基金项目(F2009000929)
为获得研究对象的描述特征,设计一种面向Internet的开放式采集系统.该系统的主要功能包括信息对象的登记、登记信息查询、对象信息录入、对象修改、对象浏览等.在此基础上,使用Z规范对系统需求进行了形式化描述,能够有效避免二义性,并...
关键词：信息对象 采集系统 Z规范 形式化 
生产型虚拟制造系统过程模型的Z规范技术被引量：2
《计算机集成制造系统》2010年第8期1634-1642,共9页赵晓峰 赵正旭 周以齐 杨超英 
国家863计划资助项目(2007AA040502)~~
为解决虚拟制造系统间过程信息的集成与共享,提出了一种基于虚拟制造过程元模型和形式化Z语言工具的过程模型规范研究方法。元模型以活动和连接弧为核心,关联制造过程中的产品、资源、转移条件和相关数据,并根据制造过程特点设计了三种...
关键词：虚拟制造 过程元模型 集成 Z规范 形式化 
一种基于Z规范的纯函数式程序设计方法
《计算机应用与软件》2008年第2期117-118,共2页袁华强 孙永强 
状态、输入和输出是Z规范的基础,引入Monad的纯函数式语言特别适合用来实现用Z规范说明的系统。通过将状态、输入和输出封装在一个Monad内,提出一种基于Z规范的纯函数式程序设计方法。
关键词：纯函数式语言 Z规范 MONAD 
传统BLP模型的Z规范
《湖州师范学院学报》2007年第1期53-58,共6页杨小明 
湖州师范学院校级课题(200623)
安全模型是安全系统开发的基石,而形式化方法则为准确理解安全模型提供了高保障依据.形式语言Z对经典的多级安全模型BLP模型进行了规范描述,并验证了模型的正确性,为安全模型的形式化建模提供了方法和依据.
关键词：安全模型 形式化方法 规范 
标量场效应的实验证据被引量：1
《河北师范大学学报（自然科学版）》2005年第3期253-256,共4页汤叔楩 赵素英 马银峰 白占国 
国家863计划项目(2002AA639300)
在经典电动力学的框架内,普遍自由选择涉及电磁势规范变换的任意规范条件.Lorentz规范条件考虑非均匀势波动方程的推导,但这同样表明电磁势的标量导数被认为是非物理的.这些标量表达式可以有新物理场S的意义.在这种情况下,需要广义经典...
关键词：场效应 实验证据 经典电动力学 波动方程 Gauss TESLA 规范变换 定量检测 非均匀 电磁势 Z规范 物理场 表达式 标量场 导数 广义 定律 预测 
基于Z规范的统一建模语言序列图语义分析方法被引量：3
《西安电子科技大学学报》2003年第4期519-524,共6页李景峰 陈平 
国家"九五"预研资助项目(6 2 1 4);"十五"预研资助项目(41306060106;413150501)
针对统一建模语言序列图,提出了一种利用Z语言对其进行语义分析的方法.该方法在序列图Z规范的基础上,用属性集表示对象状态,并将序列图的上下文表示为Z形式约束,通过检查上下文约束与对象状态间的一致性对序列图进行语义分析.通过一个...
关键词：Z规范 统一建模语言 序列图 语义分析 UML 
COM接口的Z规范
《计算机工程》2002年第12期104-105,133,共3页喻超 毋国庆 
对微软公司提出的COM组件模型中的接口规则给出了一个基于Z语言规范化描述，使其具有严格的语义基础，能通过形式化的分析来保证规则的相容性。在此基础之上对组件也给出了Z语言的定义，并对合法组件的性质作出了形式化分析。
关键词：COM接口 Z规范 软件开发 计算机 COM组件 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部