期刊文献+
共找到12篇文章
< 1 >
每页显示 20 50 100
一种基于Object-Z的面向方面建模方法
1
作者 虞慧群 许浩 +1 位作者 刘冬梅 邵志清 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第3期383-388,共6页
提出一种基于Object-Z的形式化面向方面建模语言及其建模方法。方面规范提供了观察基本模块和方面模块的行为、描述它们相互关系的手段,编织机制将两类模块系统地集成为一个完整的系统模型。该方法能有效地简化系统建模,提高系统模型的... 提出一种基于Object-Z的形式化面向方面建模语言及其建模方法。方面规范提供了观察基本模块和方面模块的行为、描述它们相互关系的手段,编织机制将两类模块系统地集成为一个完整的系统模型。该方法能有效地简化系统建模,提高系统模型的可复用性,也为进一步验证系统性质提供了理论基础。 展开更多
关键词 面向方面 形式化方法 object-z 建模
在线阅读 下载PDF
基于Object-Z与Markov链的校园卡系统测试用例
2
作者 仲晓敏 侯建花 杨长青 《微电子学与计算机》 CSCD 北大核心 2012年第3期73-77,共5页
针对提高校园卡系统准确性和可靠性测试的要求,提出了Object-Z与Markov链结合的测试用例自动生成算法.使用Object-Z对系统进行形式化规约,生成测试场景和操作顺序图;将操作顺序图转换为Markov链使用模型;根据测试场景和Markov链使用模... 针对提高校园卡系统准确性和可靠性测试的要求,提出了Object-Z与Markov链结合的测试用例自动生成算法.使用Object-Z对系统进行形式化规约,生成测试场景和操作顺序图;将操作顺序图转换为Markov链使用模型;根据测试场景和Markov链使用模型生成数量相对合理的测试用例.该方法无需对系统进行运行,在需求分析与测试阶段就能对系统的功能进行测试.生成的校园卡系统测试用例证明该方法是有效的,并且在提高测试覆盖率的同时,使用Markov链也能保证对系统的可靠性测试. 展开更多
关键词 校园卡系统 object-z 测试场景 MARKOV链 使用模型 测试用例
在线阅读 下载PDF
基于Real-Time Object-Z语言的铁路交叉道口系统的形式化描述
3
作者 魏艳鸣 《郑州轻工业学院学报(自然科学版)》 CAS 2009年第3期32-36,共5页
形式化语言Object-Z的实时扩展Real-Time Object-Z可以对实时系统进行形式化描述.以铁路交叉道口系统的应用证明了这一点.
关键词 REAL-TIME object-z 铁路交叉道口系统 形式化描述
在线阅读 下载PDF
基于Object-Z的带OCL约束的UML类图形式化描述
4
作者 江春 《沈阳工程学院学报(自然科学版)》 2008年第4期372-375,共4页
UML2.0 OCL是基于一阶谓词逻辑和集合论的形式化语言,用它对UML类图进行条件约束后,类图便具备了严格的语法和精确的语义,同时也具备了演绎验证的基本条件.但由于目前的建模工具还无法对缺乏精确语义的UML类图进行有效的演绎验证,因此... UML2.0 OCL是基于一阶谓词逻辑和集合论的形式化语言,用它对UML类图进行条件约束后,类图便具备了严格的语法和精确的语义,同时也具备了演绎验证的基本条件.但由于目前的建模工具还无法对缺乏精确语义的UML类图进行有效的演绎验证,因此提出了将带OCL约束的UML类图通过Object-Z进行形式化描述的方法,这样便可以充分利用Object-Z强大的演绎验证能力来验证UML类图的正确性和是否具有某种性质等。 展开更多
关键词 统一建模2.0 对象约束语言 面向对象Object—Z语言
在线阅读 下载PDF
基于MDA的MARTE模型形式化转换 被引量:2
5
作者 王立杰 刘昌禄 俞烈彬 《指挥控制与仿真》 2012年第6期128-133,共6页
非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MD... 非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。 展开更多
关键词 模型驱动 MARTE模型 object-z规约 元模型 模型转换
在线阅读 下载PDF
信息对象开放式采集系统的形式化描述 被引量:1
6
作者 赵正旭 张常有 刘立嘉 《微电子学与计算机》 CSCD 北大核心 2010年第8期20-23,共4页
为获得研究对象的描述特征,设计一种面向Internet的开放式采集系统.该系统的主要功能包括信息对象的登记、登记信息查询、对象信息录入、对象修改、对象浏览等.在此基础上,使用Z规范对系统需求进行了形式化描述,能够有效避免二义性,并... 为获得研究对象的描述特征,设计一种面向Internet的开放式采集系统.该系统的主要功能包括信息对象的登记、登记信息查询、对象信息录入、对象修改、对象浏览等.在此基础上,使用Z规范对系统需求进行了形式化描述,能够有效避免二义性,并有利于系统的进一步模型检测. 展开更多
关键词 信息对象 采集系统 Z规范 形式化
在线阅读 下载PDF
生产计划的双目标混合整数规划模型及其求解 被引量:12
7
作者 于丽英 杨雷 《上海交通大学学报》 EI CAS CSCD 北大核心 2001年第7期1100-1102,共3页
为解决实际生产中一种无调整费用的生产计划问题 ,给出了一个双目标混合整数规划模型 .通过把这类问题转化为一般的多目标线性规划问题 ,并利用交互规划的修正 Z- W法进行求解 ,从而有效地解决这类问题 .
关键词 多目标规划 生产计划 交互规划算法 修正Z-W法 运筹学 双目标混合整数规划
在线阅读 下载PDF
城市道路交通与居住地选择的模糊多目标规划模型
8
作者 刘睿 李华 张惠玲 《西安航空学院学报》 2016年第3期70-75,共6页
首先建立了以家庭月生活成本不高于月收入和基本不高于预算等为约束,以基本实现家庭月交通时间最小、月生活成本最小和小区周边居住环境最优为目标的模糊多目标模型,其次,引入Z-隶属度函数来描述模糊数据,并将模糊多目标模型转换为单目... 首先建立了以家庭月生活成本不高于月收入和基本不高于预算等为约束,以基本实现家庭月交通时间最小、月生活成本最小和小区周边居住环境最优为目标的模糊多目标模型,其次,引入Z-隶属度函数来描述模糊数据,并将模糊多目标模型转换为单目标线性规划模型。最后,通过改变城市道路交通状况得到了小区入住率的变化,从而获得了城市交通与居住地选择之间的内在联系。 展开更多
关键词 模糊多目标规划 月交通时间 Z-隶属度函数
在线阅读 下载PDF
强类型面向对象动态SQL生成器的设计与实现 被引量:1
9
作者 谷敏 胡静远 《信息技术》 2016年第9期114-120,共7页
文中介绍了一个Java开发环境中通过SQL与关系数据库交互的便利工具(Wiz)。该工具的特点是基于JDBC和SQL,与具体数据库无关,充分利用强类型高级面向对象语言的特性,消除了采用拼凑字符串生成动态SQL语句的笨拙编程方式,提高了开发效率并... 文中介绍了一个Java开发环境中通过SQL与关系数据库交互的便利工具(Wiz)。该工具的特点是基于JDBC和SQL,与具体数据库无关,充分利用强类型高级面向对象语言的特性,消除了采用拼凑字符串生成动态SQL语句的笨拙编程方式,提高了开发效率并提高了数据库访问的安全性。同时,借助开发平台通用的智能感知(Intellisenese)技术,实现了数据库字段的便捷键入,进一步提高了开发的效率,并降低了程序员发生低级失误的可能。该框架由纯Java编码完成,无须第三方插件,适用于JDK1.5以上版本的Java开发环境,已经在实际项目中使用,反馈效果良好。该框架的设计思想同样适用于其他高级面向对象语言(如C#),可以方便地实现移植。 展开更多
关键词 Wiz SQL 数据库 面向对象
在线阅读 下载PDF
Theory of Z-scan technique using Gaussian-Bessel beams with a phase object
10
作者 金肖 税敏 +5 位作者 王玉晓 李常伟 杨俊义 张学如 杨昆 宋瑛林 《Chinese Physics B》 SCIE EI CAS CSCD 2010年第7期251-255,共5页
This paper reports the theoretical study of combining Z-scan technique with Gauss-Bessel (GB) beams beside a phase object (PO) to measure the third-order nonlinear susceptibility components. By using this method, ... This paper reports the theoretical study of combining Z-scan technique with Gauss-Bessel (GB) beams beside a phase object (PO) to measure the third-order nonlinear susceptibility components. By using this method, the sign of refractive index which depends on the shape of the close aperture Z-scan curve can be easily determined. Meanwhile, the magnitude of nonlinear coefficients can also be deduced by theoretical fit. The proposed method is advantageous for high sensitivity and imposes a lower stress in the cases of fragile materials, since small pulse energy is enough for the measurement of nonlinear coefficients. Predictions of the models are compared with Gaussian Z-scan measurement and GB Z-scan measurement. By using GB beams with a PO, the sensitivity of Z-scan measurements is found to be a factor of over 60 times greater than for Gaussian beams and 2 times greater than for Gaussian-Bessel beams. 展开更多
关键词 Gaussian-Bessel beams phase object Z-SCAN
在线阅读 下载PDF
框架类建筑自保温一体化墙体技术系统的研究 被引量:1
11
作者 康玉范 《建筑节能》 CAS 2013年第2期59-63,共5页
以各种填充砌块为填充砌体的自保温墙体存在裂、渗及热桥等问题。自保温墙体技术应保证节能墙体工程基本技术目标,应系统地解决砌块性能、砌体配套产品、混凝土梁柱等热桥、应用工艺中的难点,形成整体技术。Z型砌块自保温墙体技术采用... 以各种填充砌块为填充砌体的自保温墙体存在裂、渗及热桥等问题。自保温墙体技术应保证节能墙体工程基本技术目标,应系统地解决砌块性能、砌体配套产品、混凝土梁柱等热桥、应用工艺中的难点,形成整体技术。Z型砌块自保温墙体技术采用系统工程理念,系统研究了Z型砌块的配方和块型设计、配套砂浆性能、热桥部位应用保温材料、砌体及墙体技术、墙体热工特性分析等,形成了完整的、具有广泛应用性的自保温墙体技术。完善的自保温墙体技术具有广阔的发展前景。 展开更多
关键词 自保温墙体 基本技术目标 系统研发 Z型砌块墙体技术
在线阅读 下载PDF
光伏离网型SL-qZSI多目标优化排序模型预测控制
12
作者 吕哲 罗韡 潘永久 《太阳能学报》 EI CAS CSCD 北大核心 2023年第3期475-481,共7页
开关电感型准Z源逆变器能提高光伏发电系统的可靠性和能量转换效率,其有限集模型预测控制(FCS-MPC)存在多个控制变量,权重系数调整困难,提出一种基于多目标优化排序的光伏离网型开关电感型准Z源逆变器模型预测控制策略。首先根据电感电... 开关电感型准Z源逆变器能提高光伏发电系统的可靠性和能量转换效率,其有限集模型预测控制(FCS-MPC)存在多个控制变量,权重系数调整困难,提出一种基于多目标优化排序的光伏离网型开关电感型准Z源逆变器模型预测控制策略。首先根据电感电流的预测值来判断下一个控制周期的状态,若为非直通状态时,分别计算负载电流和电容电压的代价函数,并将其按照从小到大的顺序进行排序,再将这两个排序值进行相加得到排序和,最小的排序和所对应的开关状态将被应用到逆变器的下一周期的开关状态,有效消除了传统FCS-MPC策略的权重系数。仿真分析和实验结果表明,所提控制策略具有良好的稳态特性和动态特性。 展开更多
关键词 光伏发电 开关电感型准Z源逆变器 模型预测控制 权重系数 多目标优化排序
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部