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约束条件的类图到Object-Z规格说明的转换

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

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

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

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

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

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%。这表明苯酚特征衍射峰强度的消失并不表明其被完全矿化。通过质谱分析,对苯酚的光催化反应机理进行了初步探究。

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

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

基于OCL功率放大电路的研究及其应用

在音频范围内低频端的的信号通过耦合电容时,由下列公式分析可得:会有很大的衰减。在O C L(Output Capacitor Less)功率放大电路中,若输出端耦合电容为200μF左右时,则1000HZ的音频信号的容抗约为0.08Ω,100HZ的音频信号对应的容抗为8Ω左右,10HZ的音频信号的容抗是80Ω。由此可知,用它传输宽频音乐信号时,低频段衰减较大,扬声器重放音乐时就会显得低频不够丰富。为了改善耦合低频的电容影响,就得采用大容量的电解电容,电解电容是线圈绕制而成的,电容越大则绕制的线圈就越多,这样线圈边缘就会产生不可避免的一种附加电感,对不同频率的信号就会产生不同的相移,从而引起附加失真。为了消除这样的问题,在高保真音响系统中,广泛采用无输出耦合电容的OCL(Output Capacitor Less)功率放大电路。

形式化语言B与UML／OCL的比较

该文介绍了形式化方法中B语言和UML／OCL语言，从软件开发生命周期的角度对B语言和OCL语言进行了比较，归纳了这两种形式化语言的异同和各自的适用范围。

搜索引擎系统:UML/OCL模型驱动开发

介绍一个搜索引擎系统的开发。运用UML用例图做系统的需求分析,运用UML类图、状态图、包图进行系统设计。以OCL表达式丰富状态图。使用C#语言和ASP.NET编程,SQLServer存储信息,系统运行在微软.NET环境上。遵循面向对象方法,如逐步求精和模块化,建立UML/OCL模型、组织程序,将系统逐层分解成具有特定功能的模块。系统由收集器、索引器、检索器三大部分组成,分别负责数据收集、数据分析和索引构建、用户检索接口。论文报告系统分析、设计和实现的思想和过程。

OCL互补对称功率放大器的性能分析

本文主要对OCL互补对称功率放大电路的输出功率、效率、功放管耗散功率、交越失真等电路性能进行了分析。

基于OCL技术的Oracle数据库数据快速存取研究

为了满足电力系统仿真软件中的Oracle数据库对数据快速存取的要求,提出了一种基于OCL(Oracle Class Library)技术访问Oracle数据库的方法。详细介绍了OCL技术的特点。和普遍使用的ADO数据库访问技术相比,OCL技术在大批量数据的存储和读取方面具有优越性,数据库开销小,数据的读取和写入速度快。通过分析OCL的数据加载机制,对传统的OCL直接路径加载方法进行改进。当将大批量的数据频繁地导入到数据库时,改进的直接路径加载方法减少了冗余操作,数据的加载速度更快,较好地满足了电力系统仿真的实时性要求。最后给出仿真算例和部分程序代码。

基于TLE2037的新型OCL功率放大器的设计

文章对制约集成运算放大器应用于OCL功放电路中的原因进行了讨论和分析,介绍了一种在OCL功率放大电路中应用运算放大器的新方案,并根据新方案的原理提出了采用高性能运算放大器TLE2037的OCL功放电路的设计方案。

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

随着科学技术的发展,软件工程开始广泛运用于各行各业中,比如说在机械设备上运用软件工程来改进机械。软件工程自20世纪60年代产生以来就受到了广泛关注,软件工程方法是软件工程的核心,目前影响力较高的软件工程方法主要有:结构化方法、面向对象方法和形式化方法。伴随着基于模型的软件工程方法的兴起,MDA软件工程方法开始出现在人们的视野中。MDA软件工程方法是为了软件开发的重要方向。本文从EMF和OCL的角度来分析探讨建模语言,探讨结合模板和OCL的模型转换方法,促进模型到代码的转换方法的开发。

一种基于OCL的体系结构一致性验证环境

在软件体系结构的相关研究中,如何保证软件体系结构的一致性成为了很重要的课题。提出了一种基于OCL的体系结构一致性验证方法,通过建模之前的对体系结构的约束进行定义,建模过程中和建模过程后对体系结构模型的一致性验证,来保证最终的模型符合用户所定义的一致性约束,提高了环境的易用性和可靠性。设计并实现了原型体系结构建模工具Artemis-GODE。