OCL相关论文
开展机务维修模块的研究,对于完善安全管理理论体系,降低飞机事故率具有多重意义。从系统控制的角度出发,对某型直升机机务维修模......
在音响电路中,将集成电路运放用于音频功率放大的驱动段,已不鲜见。这种设计大大地简化了驱动电路,给制作者带来了方便。 但集成......
由于和现有的应用的兼容性好,功能强大,拥有成熟的理论基础支持等等诸多因素,目前关系数据库仍然是大多数面向对象应用持久数据层......
UML是一种通用的可视化建模语言，用于对软件进行描述、可视化处理、构建软件系统的文档。作为UML标准的一部分，对象约束语言(Object ......
瞬态互调失真是影响OCL电路性能的重要原因,降低大环路负反馈的深度、取消滞后补偿电容是减小瞬态互调失真的重要途径之一,而这一......
Near-ultraviolet Incoherent Broadband Cavity Enhanced Absorption Spectroscopy for OClO and CH20 in C
本文通过对荣华二采区10...
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
在电力系统规划环节中,为了进一步满足仿真操控程序Oracle数据库内部的存取速率提升目标,设计人员决定利用OCL技术进行机理协调管......
通过对一种典型OCL电路的原理进行讲解，和对九种电路调试中出现的故障进行列举，通过各种检查过程、分析并得出结论来排除电路故障，通......
采用形式化方法对软件模型进行自动验证在模型驱动架构开发方法中发挥重要的作用．本文提出一种对面向对象软件设计模型的静态结构进......
虚拟空间模型是由空间对象及其之间的空间关系构成,它为虚拟场景的构建提供了重要的语义信息。然而,由于空间对象和空间关系本身的......
模型转换语言是实施MDA的关键，在整个MDA体系中必须要有明确完备的转换语言。首先对模型转换语言的特性和现有的主要模型转换语言进......
Alloy是一种具有简洁语法结构的形式语言（formal language），它能够对众多不同类型的系统建模、规范并进行自动化分析。而作为半形式语......
尤记儿时，在古城墙下的电器摊上，第一次从耳机中听到电台播放的美妙音乐时，那种不可言状的喜悦，虽已过去了半个世纪，仍历历在目。从此，耳......
组织模型不仅要支持传统的纵向的组织结构，而且还要支持以团队方式工作的横向组织结构。本文提出了包含组织纵向和横向结构的组织元......
元建模发生在模型驱动架构中的元元模型、元模型和模型层中，传统的元建模采用统一建模语言UML描述。但是实践证明，UML无法提供与对象......
UML是目前广泛使用的标准的面向对象建模语言.为了提高建模的精确性,UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言......
随着基于模型的软件工程方法的兴起，模型逐渐地变为软件工程中的重要元素，介绍了OMG规范MOF、XMI和OCL及在Eclipse软件工程环境下的......
在软件体系结构的相关研究中,如何保证软件体系结构的一致性成为了很重要的课题。提出了一种基于OCL的体系结构一致性验证方法,通......
从语法、语义域和语义映射三个方面,给出了基于UML元模型和形式化的OCL表达式语义描述.并探讨了OCL表达式上下文、OCL表达式赋值环......
笔者从事业务电子维修制作20余年．组装维修过OCL、OTL、BTL分立件功放、集成电路功放，对快速检修功放机故障掌握了一定的技巧，写出来......
文章对制约集成运算放大器应用于OCL功放电路中的原因进行了讨论和分析,介绍了一种在OCL功率放大电路中应用运算放大器的新方案,并......
摘要：软件复用被认为是改善软件质量和提高软件生产力最有希望的技术。为了支持复用，软件开发过程必须考虑两个方面的问题：为复用开发......
今天为大家介绍一套采用TDA2030A制作的功放,并提供相应的制作套件,让大家有更多动手制作的机会。TDA2030A是目前性价比最高的功放......
期刊
基于角色的访问控制模型(RBAC)凭借其灵活的授权机制、强大的管理功能和完善的安全策略越来越引起人们的研究兴趣，随着研究的不断深......
在对企业人力资源信息进行本体论建模的基础上引入OCL约束，一方面消除了单纯使用本体描述语言时存在的不足．弥补了本体论建模时可能......
将MDA中模型驱动的软件代码自动化生成思想应用于模型驱动的软件测试用例自动化生成。从UML／OCL模型出发，采用缺陷测试理论、变异分......
UML的Use Case模型由Use Case图和OCL描述两部分构成。设计者可在模型中使用较大的用例和较少的用例间的联系．形成较简单的用例图和......
面向对象的数据库开发框架对大型数据库应用的开发有重要作用,本文首先介绍了面向数据库开发框架的基本要求,然后介绍了UML对面向......
UML被MDA用来描述各种模型，成为建模语言事实上的标准。但是，由于UML类图中缺少对关系数据库的实现的约束，使得类图转换到的关系数据......
面向对象的软件测试应该也只能被设计所指导。提出了一种方案:在使用UML进行面向对象的设计阶段为类和方法加入OCL约束,然后由一种......
在科技的不断发展与进步下,软件工程被应用于各个领域,最常见的要属机械设备的改进,软件工程在上个世纪1960年就得到了社会各界的......
电气化铁路接触网是电力机车的供电通道,但其工作环境十分恶劣。接触网覆冰是较常见的外部气象条件导致的自然灾害,其影响面积广、......
期刊
...
接触网正馈线是保障接触网可靠性的重要结构。以武汉天兴洲大桥为例,分析公铁两用钢桁梁桥正馈线故障特点,指出其根本原因是钢桁梁......
由于传统形式化语言的复杂性以及当前变异分析系统性能问题,基于规格的变异分析一直没有得到广泛的应用。介绍辅助UML建模的对象约......
Various technologies have recently been developed for high-speed railways,in order to boost commercial speeds from 300 k......
本文采用固相法在500℃合成了Er^3＋/Eu^3＋共掺BiOCl荧光粉,并通过XRD,SEM,吸收,激发和发射光谱研究了其结构、形貌和发光特性.XRD和S......
基于高速铁路施工经验,总结利用接触网安装作业车及线索架设辅助装置进行接触网附加线双线同步架设的施工工艺,分析了双线同步架设......
随着列车速度的提高,弓网关系越来越受到关注,接触网硬点使不稳定的弓网关系变得更加恶劣,容易造成弓网接触不良,发生离线或形成火......
硬横跨支撑结构形式在电气化铁路中被广泛采用,硬横跨的横梁截面不仅承受轴力,节点位置还承受部分弯矩和剪力,将这两种荷载归结为......
高速铁路的特殊运营环境要求牵引供电系统中无备用的接触网系统在服役期间高安全、高可靠。本文基于在试验过程中发现试制样件在批......
在欧洲标准计算条件下,通过Midas Civil有限元模拟,计算了5种不同条件下的接触网圆管柱受力;进一步研究分析了中国荷载标准与欧洲......
兰渝铁路兰州北枢纽大沙坪车站位于四线桥上,大桥其中有6孔采用连续梁,接触网硬横跨立柱底座在梁体上一体制作,列车通过时引起接触......
建立受电弓轮廓模型和弓网受力模型,计算受电弓通过无交叉线岔时两支接触线异侧布置和同侧布置两种情况下的形变,分析无交叉线岔接......
