DeepOCL:A deep neural network for Object Constraint Language generation from unrestricted nature language

Object Constraint Language(OCL)is one kind of lightweight formal specification,which is widely used for software verification and validation in NASA and Object Management Group projects.Although OCL provides a simple expressive syntax,it is hard for the developers to write correctly due to lacking knowledge of the mathematical foundations of the first-order logic,which is approximately half accurate at the first stage of devel-opment.A deep neural network named DeepOCL is proposed,which takes the unre-stricted natural language as inputs and automatically outputs the best-scored OCL candidates without requiring a domain conceptual model that is compulsively required in existing rule-based generation approaches.To demonstrate the validity of our proposed approach,ablation experiments were conducted on a new sentence-aligned dataset named OCLPairs.The experiments show that the proposed DeepOCL can achieve state of the art for OCL statement generation,scored 74.30 on BLEU,and greatly outperformed experienced developers by 35.19%.The proposed approach is the first deep learning approach to generate the OCL expression from the natural language.It can be further developed as a CASE tool for the software industry.

经典OCL功放电路削顶失真的实验研究

针对经典OCL功率放大电路在实际应用时会出现动态范围小、削顶失真的现象,采用仿真和实验的方法对经典功放电路的失真现象进行了研究,对这一现象进行了理论分析,并提出了对经典OCL功放电路的改进措施,进一步通过仿真和实验验证了改进电路的可行性和实用性。研究结果对OCL功放电路的理论教学和工程设计应用都具有实际意义。

基于UML模型和OCL约束的类间交互测试用例生成方法研究

面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加OCL(Object Constraints Language)约束,做类间交互的软件测试.本文提出执行图EG生成算法,将顺序图SD转换为执行图EG,解决UML2.0顺序图新增特性中的alt、loop、opt、break四种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,本文提出了EG的遍历策略和测试路径生成算法;最后,根据测试路径确定测试场景,并删除无效场景,生成测试用例.经实验验证,此方法可以基于UML顺序图与OCL约束进行系统地测试.

基于角色访问控制模型约束的OCL描述

基于角色的访问控制模型(RBAC)凭借其灵活的授权机制、强大的管理功能和完善的安全策略越来越引起人们的研究兴趣,随着研究的不断深入,面向对象的研究方法也逐渐应用到这个模型中,促进了它的迅速发展。UML作为一种强大的建模语言,不只是局限于支持面向对象的分析与设计,还支持从需求分析开始的软件开发的全过程,通过UML的描述可以使理论模型更加直观地应用到实际系统开发。该文使用UML的对象约束语言(OCL)来描述RBAC中的相关约束,使约束描述更加标准化,更有利于系统开发人员对模型的理解和促进RBAC模型的系统开发。

近紫外激发具有颜色可调的Er^(3+)/Eu^(3+)共掺BiOCl荧光粉

本文采用固相法在500℃合成了Er^(3+)/Eu^(3+)共掺BiOCl荧光粉,并通过XRD,SEM,吸收,激发和发射光谱研究了其结构、形貌和发光特性.XRD和SEM结果表明在500℃下即可成功合成纯四方相片层结构的Er^(3+)/Eu^(3+)共掺BiOCl荧光粉.吸收光谱表明掺杂Er^(3+)/Eu^(3+)离子使BiOCl形成杂质能级;激发光谱显示该荧光粉具有来自于基质BiOCl价带(VB)到导带(CB)跃迁的优异宽带近紫外激发特性.在380 nm近紫外光激发下,同时获得了Er^(3+)离子和Eu^(3+)离子的特征发射峰,其中发光中心位于410 nm(~2H_(9/2)→~4I_(15/2)),525 nm(~2H_(11/2)→~4I_(15/2)),554 nm(~4S_(3/2)→~4I_(15/2)),673 nm(~4F_(9/2)→~4I_(15/2))的发射峰来自于Er^(3+)离子的跃迁,而581 nm(~5D_0→~7F_0),594 nm(~5D_0→~7F_1),622 nm(~5D_0→~7F_2),653 nm(~5D_0→~7F_3),699 nm(~5D_0→~7F_4)的发射峰则来自于Eu^(3+)离子的跃迁.值得注意的是,与传统Er^(3+)/Eu^(3+)掺杂的材料不同,该荧光粉还具有独特高效的紫光(Er^(3+))和长波红光(Eu^(3+))发射特性,分析表明这与BiOCl的结构有关;并且通过改变掺杂浓度,实现了发光颜色由黄绿光→黄光→橙红光的调节.研究结果表明Er^(3+)/Eu^(3+)共掺BiOCl荧光粉有望成为一种潜在的近紫外激发白光LED荧光粉.

OCL与Object-Z作为UML约束语言的分析比较

UML是目前广泛使用的标准的面向对象建模语言。为了提高建模的精确性,UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言加以补充说明。本文从多个方面分析比较了这两种语言的特点,并提出建模人员应充分利用这两种语言的特点,对系统进行精确的建模。

交叉注意力与质量优化结合的内外指纹融合

指纹作为一种应用广泛的生物特征,使用不同传感器采集的内部和外部指纹图像各有优缺点.本文提出了一种基于交叉注意力和质量优化内外指纹融合网络,旨在充分利用两者之间的优势,最大化提高指纹图像质量.该网络利用交叉注意力模块让两个分支交互作用,并关注彼此的细节信息,从而提高特征表征能力.同时,设计了基于质量指标OCL的损失函数,以保留高质量区域、减少低质量区域,实现质量优化.实验结果表明,本文融合方法在视觉效果、质量评分和匹配性能以及细节点提取等方面均具有优越性,等错误率达到了1.44%,并大大降低了时间性能.这项工作为今后残缺指纹的识别提供了参考和见解.

带OCL约束条件的类图到Object-Z规格说明的转换

如何提高软件的可靠性是目前软件研究领域的一个热点。将形式化方法和主流的软件开发方法相结合是一个可行的方法。本文研究UML语言和Object-Z语言相结合的方法,为主流的软件开发人员所使用的图形化规格说明技术与形式方法提供的精确的分析和验证技术架起了一座桥梁。本文定义如何将带OCL约束条件的类图转换到Object-Z规格说明的方法。这样不仅可以通过支持Object-Z语言的工具来对UML语言描述的系统性质进行验证和确认,而且能够帮助规格说明人员方便地构造Object-Z规格说明。

基于EMF和OCL的MDA软件工程方法研究

随着基于模型的软件工程方法的兴起,模型逐渐地变为软件工程中的重要元素,介绍了OMG规范MOF、XMI和OCL及在Eclipse软件工程环境下的相关实现EMF,说明了统一建模语言UML的使用方式和存在的问题,介绍了如何用EMF和OCL来设计建模语言,比较了基于EMF的建模语言和基于EBNF的计算机语言之间的区别与联系,给出了结合模板和OCL的模型转换方法,通过把UML类模型转换到O/R映射框架说明了此方法的有效性,分析了MDA软件工程方法的重用机制。

基于NI Multisim 12.0的OCL功率放大电路仿真测试

利用NI Multisim12.0仿真软件对OCL功放电路的输出功率和转换效率进行虚拟测试分析;通过改变输入信号大小让输出无交越失真且输出幅值最大时,观察输出电压的正、负峰值;测试功放电路中的电源直流电流值和负载的功率;将这两个值分别与理论计算的电源总功耗、输出功率相比较,发现仿真测试的结果与理论计算结果基本吻合;进一步验证了功放电路的仿真对电路设计有很好的指导意义;测试实例证实了将NI Multisim12.0合理引入到电子电路虚拟实验教学中,能大大提升理论课的教学效果,有利于学生在虚拟实验教学中更好地掌握电子电路设计方法。

MDA模型转换的OCL扩展

模型驱动架构(MDA)是继CORBA,UML之后由OMG推出的重要的软件开发方法学.MDA的核心是模型转换,模型转换语言又是实施模型转换的关键.本文从MOF元模型的角度首先对OCL进行动态特性的扩展,使其具备表达动态行为语义的能力;然后通过扩展相关关键字,定义了一个完整的模型转换程序框架;并提出创建中间转换对象实现了模型转换的可追溯性以及源模型和目标模型转换的同步性.

基于UML OCL、支持团队开发的企业组织元模型

组织模型不仅要支持传统的纵向的组织结构，而且还要支持以团队方式工作的横向组织结构。本文提出了包含组织纵向和横向结构的组织元模型，并采用UML对象约束语言(OCL)描述了元模型中实体与实体之间的联系和约束关系。除用OCL描述组织结构外，还显式地给出了组织规则的OCL表示方法。这样，便可将组织规则与组织结构相分离，从而在组织结构不变的情况下，通过修改组织规则，以达到提供企业敏捷性的目的。

基于OCL优化企业人力资源信息本体模型

在对企业人力资源信息进行本体论建模的基础上引入OCL约束,一方面消除了单纯使用本体描述语言时存在的不足,弥补了本体论建模时可能存在的属性不一致或是不相容的现象,而且通过扩充OCL约束集,采用一阶二元谓词的描述转换,实现了对企业人力资源领域状态的动态转移的描述,最终形成了对企业人力资源信息的静态和动态的形式化描述。

带OCL的活动图多态性测试用例生成方法

研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历,生成测试用例。实验结果表明,该方法能生成含多态性信息的测试用例,提高测试覆盖度。

OCL数据类型到B形式化规约的转换

研究了UML模型到B形式化规约的转换。提出了一套从OCL数据类型及定义在这些数据类型上的操作到B AMN的转换规则。OCL的Boolean类型和Integer类型分别对应于B中的BOOL类型和Z类型;OCL中的String类型需用B抽象机器重新定义新的数据类型Char_TYPE和String_TYPE来进行规约;OCL中的REAL类型采用B中的记录表达式进行近似模拟;OCL中的Collection类型(包括Set,Orderedset,Bag,Sequence)用B语言中的set,sequence,tree等进行近似模拟。

OCL 2.0表达式语义学比较研究

从语法、语义域和语义映射三个方面,给出了基于UML元模型和形式化的OCL表达式语义描述.并探讨了OCL表达式上下文、OCL表达式赋值环境的概念.在OCL表达式语义的形式化描述中,定义了对象模型和OCL表达式语法,给出OCL表达式语义解释和OCL后置条件表达式的语义解释.通过对OCL表达式语义二种描述方法比较,可以看到OCL表达式语义学描述的关键是反映OCL表达式本质的语法描述.

BiOCl的制备及其对苯酚的光催化氧化行为研究

以硝酸铋和氯化钾为原料,乙二醇为溶剂制备了BiOCl光催化剂。通过XRD,SEM和DRS对其结构、形貌和光吸收性能进行了表征。结果表明所得BiOCl为纯相四方晶系晶体,呈花球状,且带隙能为3.26 e V。以苯酚为目标物考察了BiOCl的光催化活性。在365 nm单波长光照射600 min后,苯酚的降解率达到了75%,但其矿化率只达到14.8%。这表明苯酚特征衍射峰强度的消失并不表明其被完全矿化。通过质谱分析,对苯酚的光催化反应机理进行了初步探究。

基于UML/OCL的C^4ISR效能概念建模分析

为了统一描述军事电子信息系统(command control communication computers intelligence surveil-lance and reconnaissance,C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language,UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。

旋涡氮吹浓缩法用于浓缩OCL和PCB1260影响实验研究

介绍了旋涡氮吹浓缩法用于浓缩七种有机氯农药和PCB1260,对浓缩的条件对目标物质回收率影响进行了探讨。

基于OCL约束建模的嵌入式软件安全性分析

目前已有多种模型驱动的软件安全性分析方法用于识别软件失效模式和系统危险,但较少将软件安全性约束与模型相结合,难以保证分析充分性与效率。针对该问题,基于对象约束语言(OCL)设计嵌入式软件安全性分析方法。借助OCL表达式对安全性相关的约束关系进行建模,形成OCL约束模型,并将其融入UML模型。在此基础上,结合嵌入式软件特点,依据约束违背原则进行失效模式识别。在某嵌入式发动机控制软件上的应用结果表明,该方法可自动识别软件失效模式,提高模型驱动安全性分析的充分性与效率,同时降低分析工作量。