组态描述语言CDL的研究与设计

本文介绍了作者自行研究并设计的用于工控软件中描述组态信息的组态描述语言CDL。该语言的设计参考了目前工控软件中普遍使用的填表式语言、结构化文本语言等，以及流行的面向对象程序设计语言的特性和操作系统批处理命令的执行方式，具有紧凑、实用的优点。本文对于该语言的实现要点作了说明。

面向方面的体系结构描述语言AC2-ADL

体系结构描述语言(ADL)是基于体系结构的软件开发的基础,传统的ADL由于缺乏对混杂与分散在软件体系结构多个单元中的各种设计决策的描述能力,导致软件体系结构设计方案难以理解、难以演化和难以重用。通过设计面向方面的软件体系结构描述语言AC2-ADL,使用方面组件明确地描述系统的横切关注点;并引入方面连接件以及抽象出软件体系结构语境中的注入点,呈现结构之间复杂的交互,以解决不同关注点的分散和交织等问题,试图为设计和描述面向方面的软件系统的软件体系结构提供一种有效的解决方案。研究结合电子商务领域的网上拍卖系统,讨论了该语言的主要应用过程,具有一定的参考作用。

REAL:面向可靠性评估的软件架构描述语言

为提高软件质量减少软件开发成本,从软件可靠性评估的角度出发,对软件架构描述语言进行了研究,提出了一种基于XML和软件可靠性评估的软件架构描述语言(reliability evaluation oriented architecture description language,REAL),主要目的是用于描述软件架构以便进行给予架构的软件可靠性评估。REAL重点关注软件架构的构成关系及各组件、子架构的可靠性描述和计算。同时,实现了基于REAL语言的编译系统,并通过实例进行了测试。

用于可靠性评估的软件架构描述语言研究

软件架构的设计正确与否直接影响着最终软件产品的质量,而软件架构描述语言(ADL)是设计软件架构的基础。通过对已有的ADL的研究,本文提出了一种用于可靠性评估的架构描述语言,该语言具备大多数ADL描述软件系统高层结构的能力,还支持便于可靠性评估的架构分割。

扩充CDL支持基于构件的系统组装与演化

基于构件的软件开发方法适应了软件构造性和演化性的特征 ,也对软件配置管理提出了新要求 .在基于构件的软件配置管理模型基础上 ,提出了在构件描述语言 CDL上扩充系统演化信息的方法 ,使构件组装系统与配置管理系统形成有机的整体 ,为基于构件的软件开发方法提供了良好的技术支持 .不仅可以有效地支持基于构件的系统构造定义 。

硬笔汉字书写特征的理解、描述、计算实现和应用介绍

既有字符描述语言CDL仅实现了对汉字字形的描述,在汉字书写与书写文化的表现力上有很大的局限性。文章提出一种从汉字书写开始的汉字描述技术,即汉字书写描述语言WDL的思想,使得汉字书写过程中诸多特征的记录与表征成为可能,并且极大丰富了汉字描述的功能及文化表现力。文章介绍了以WDL为指导思想的正确性和工整性两个层面的特征分类方案,为进一步说明其价值,还就这种思想指导下的基于模版匹配的汉字书写质量评价、传统书法书写复现及其他可能拓展的应用进行了简单介绍和讨论。

微机电系统光学组件的系统级建模

为提高微机电系统(MEMS)中光学系统整体仿真的准确性和效率,解决光学组件系统级建模存在的问题,提出了一种光学组件系统级建模方法,该方法可同时支持与MEMS系统级机械组件和电路组件共同仿真。首先,介绍了多端口组件网络方法、高斯光束特点和空间坐标系变换理论。接着,以微平面镜为例,介绍了光学组件系统级建模方法的流程。最后,采用Verilog-A硬件描述语言建立了包含多个典型光学组件的系统级光学库。使用该库的光学组件在MEMS集成设计工具MEMS Garden中搭建微扫描系统进行了仿真与测试。与商业软件CoventorWare的分析结果相比,提出的建模方法解决了扫描盲区问题,且非差分电压分析的误差小于3%。结果显示,本文提出的建模方法精确有效,对MEMS的系统级设计有参考价值。

一种基于多端口组件网络的MEMS系统级建模方法

以多端口组件及其网络的研究作为理论基础,创建了专门针对MEMS的系统级建模方法———用单个组件 表示MEMS的各功能结构部件,组件的端口表征与部件有关的各种物理量,依据一定规则联结组件形成的网络表 征整个微系统。该方法采用常微分和代数方程描述组件的行为,混合信号硬件描述语言作为组件及其网络的建模 语言。以梁为例,阐述了如何建立其行为方程,以得到参数化、可供重用的组件模型。上述研究结合微加速度计的 系统级设计应用实例,表明该方法是实现MEMS系统级建模的有效手段,能针对MEMS固有的多能量域耦合行为 等进行快速建模与仿真。

基于CNC系统的嵌入式PLC组件的设计与实现

以LGCNC数控系统为开发平台,以日本FANUC系统的PMC指令为描述语言,讲述了一种嵌入式PLC组件的设计与实现方法,为准柔性生产设备的生产奠定了坚实的基础,同时为不同数控系统的PLC模块提供了一个统一的编程组件。

VxWorks组件技术的研究

VxWorks是一种高性能的嵌入式实时操作系统,其最重要的特点之一是可裁剪性。组件技术的应用使得构建VxWorks更加高效。本文针VxWorks的组件技术进行了分析,详细地论述了组件的管理、创建和发布,同时也结合一些实例进行了说明。

面向方面的实时系统形式化开发方法

实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统的可信性要求采用形式化方法来开发实时系统。本文试图建立一种面向方面的实时系统形式化开发方法,这种方法对RT-Z进行了面向方面和面向部件的扩展,并通过实时组件模型在需求和设计阶段提供了对基于部件的系统开发方法(CBSD)和面向方面的系统开发方法(AOSD)的支持。本文给出了面向方面的实时Z(AO-RT-Z)的组件模型的框架结构、语法要求、方面的联结和功能接口和非功能接口的定义,重点讨论并证明了面向方面的实时Z(AO-RT-Z)作为规格描述语言的健全性。

振子框架式微机械陀螺设计优化

采用多端口组件网络方法对振子框架式微机械陀螺(CGMG)进行设计,分析了主要结构尺寸对其固有频率的影响。根据陀螺驱动模态频率和检测模态的频率匹配,优化了陀螺的结构尺寸。结果表明,该方法可以实现MEMS整体行为的快速仿真,并能分析局部尺寸参数对系统性能的影响。

COM和CORBA的桥接与应用

根据CORBA规范,阐述了桥接组件的体系结构和六种桥接模型,并引申出八种桥接方式,比较了各种桥接方式的性能差异,利用自定义桥接组件,把建立在UNIX平台上的系统扩展为跨UNIX和Windows平台的分布系统。经测试验证,系统符合设计的要求,改善了原系统的不足。

并发TTCN的操作语义及相关算法

TTCN作为一种形式化的测试集描述语言，已经得到了广泛的应用。在介绍了并发TTCN的基本概念之后，接着介绍TTCN2的操作语义及相关算法，然后结合TTCN执行机的实现给出了并发测试组件的调度算法。

体验XUL

界面的描述一般是 Java 程序员比较头疼的事情,面对那些对计算机所知无几的用户,如何才能达到最好的效果,让人和机器充分沟通?今天,XUL 来了。

在．NET中调用Google的API

面向服务架构(SOA)并非仅仅是个时髦术语：它是一种高效的设计模式．可以解决许多开发方面的问题。SOA的核心思想是Web Service．组件化的程序模块通过互联网依照标准的XML规范进行通信。Google(不用再介绍了吧？)已经发布了一组API供开发者通过Web Service来访问它的某些强大功能。本文撰写之时．这些API还只是Beta 1版本．但已经可以让你通过简单对象访问协议(SOAP)和Web Service描述语言(WSDL)来查询超过80亿的网页信息。