多元数据的多点表示模型

提出了多元数据的多点表示模型.该模型采用多个平面矢量来表示多元数据的各个属性变量.每个平面矢量用一个复变函数来描述,整个数据集表达为一个复变函数矩阵.该模型可以统一描述多种常用的图表示方法,如平行坐标、雷达图、星座图等.该表示模型的参数可以利用机器学习算法进行优化,从而有效地揭示,数据结构并进行可视化模式识别.     

一种基于相似度评分的设计模式识别方法

使用软件工具自动识别UML(Unified Modeling Language)模型中包含的设计模式,可以帮助软件开发人员理解、维护和重构大型软件项目.现有设计模式识别方法大多是将所考虑的若干个特征分别进行匹配,准确率和时间性能不高.为此,提出了一种基于相似度评分的设计模式识别方法.首先,给出该方法的基本流程;然后,提出一种基于有向图/矩阵的设计模式和系统的表示;接着,详细讨论了基于相似度评分的模式实例搜索算法;最后,实现了该方法的支撑工具,并使用该工具对一个开源项目进行了设计模式的识别.该方法不是将所考虑的若干个特征分别进行匹配,而是使用总特征矩阵进行匹配.实验结果表明,相对于将所考虑的若干个特征分别进行匹配的方法,该方法的识别准确率和时间性能更高.     

Verilog HDL与SystemC的语法等效性

针对电子系统设计中使用不同语言制约设计效率的问题,研究了SystemC2.0与VerilogHDL的语法在基本语法结构、时间模型、等待和事件模型、调度模型等方面的等效性,得出如下结论:对于门级以上级别的描述,所有的VerilogHDL的描述总可以在SystemC中找到对应描述;开发EDA设计工具,实现从VerilogHDL描述的知识产权自动转换到SystemC描述是可行的.     

基于构件的分布式软件构架求精

目的消除在软件构架（SA）指导的基于构件的开发（CBD）中软件构架和面向对象设计与实现间存在的断层。方法根据软件开发各阶段的特点，采用规则映射方法对构架描述语言（ADL）ADEAG描述的SA进行求精，将其转换为UML描述的OOD层次。结果制定了一组ADEAG—UML的转换规则，并实现了一个工具支持转换的完成。结论所提出的SA求精方法和实现工具的使用有助于发挥SA在CBD中的指导作用，从而实现软件的规模化、工程化生产。     

使用Command设计模式实现编辑器的RedoUndo

设计模式是对于共性问题成功的解决方案,采用设计模式可以减少系统设计的复杂度,提高系统开发的效率[1]。Command模式是常用的23种设计模式中的一种。Command模式是将动作进行抽象,将与动作有关的所有信息进行封装,从而实现调用操作的对象与知道如何实现该操作的对象解耦。RedoUndo是现代编译器中必不可少的一种工具,可以提高工作效率。详细探讨了如何使用Command模式实现RedoUndo以及各种扩展。     

用Python实现从XMI到SMV的程序转换器

在使用NuSMV模型检验工具时,常常先使用UML的状态图对系统进行行为建模,然后再使用NuSMV输入语言的语法描述该模型,这个过程繁琐,有时会出现人为的转换错误.为此,设计了XMI2SMV代码转换器,并用Python编程语言实现了这个工具,降低了模型检验工具的使用难度.     

CELTS中的工具/代理通信协议标准研究

在研究工具／代理通信协议标准的基础上，结合资源信息的描述技术和基于XML的信息表示技术，提出工具与代理通信中消息的XML绑定策略，研制出工具／代理通信应用原型系统，该系统完全符合工具与代理通信协议标准对工具、代理及其之间通信方式的描述和定义，旨在实现分布式工具、代理通信系统间远程消息的规范化传输，探讨其对促进网络教育的规范化、标准化发展的实际作用．     

基于《全国报刊索引》平台的异构数据库数据转换工具

针对目前《全国报刊索引》底层异构数据库之间数据交换存在的问题,提出了异构数据库SQLServer到Oracle之间数据交换的设计模型,并基于设计模型开发实现了这两个数据库之间的数据转换工具,设计了Groovy动态语言脚本引擎,支持数据迁移转换和数据合并转换;建立了版本控制模式,便于描述数据交换的状态和管理数据的安全。该工具满足了《全国报刊索引》平台数据的日益增长的数据交换需求。     

JAVA设计模式之工厂方法模式的研究与应用

设计模式是面向对象的软件设计与实现的关键技术,如何根据设计要求和上下文选择适当的设计模式,是实现高效编程的关键。工厂方法模式是程序设计中被广泛使用的设计模式之一。本文重点介绍,使用工厂方法模式的一般原则,同时结合具体的实例来描述它的应用。     

基于OBDD的描述逻辑ALCIO判定算法

给定描述逻辑ALCIO中的任一知识库,应用NNF变换和FLAT规则对其进行预处理,通过一个重构过程将知识库中TBox模型转化为布尔函数,然后将布尔函数转换为有序二叉决策图(OBDD)表示形式,从而调用已有的OBDD软件包进行可满足性判定,实现描述逻辑ALCIO的判定算法。该算法在实现描述逻辑的推理方面与经典的Tableau判定算法在性能上可以相互弥补和配合。     

抽象工厂模式探讨

工厂模式是常用的设计模式,一般分为简单工厂模式、工厂方法模式、抽象工厂模式三类．工厂方法模式是对简单工厂模式推广,抽象工厂模式是对工厂方法模式推广．简单工厂模式和工厂方法模式是针对单个产品族的问题,如果对应于多个产品族,则不宜解决．针对这一问题,本文通过Java语言实现了抽象方法模式来解决多个产品族的问题．     

VBScript和Active Server Pages在Internet上的应用

通过美国Ｍｉｃｒｏｓｏｆｔ公司的ＡｃｔｉｖｅＸ技术,可以将现有的开发工具和开发方案直接运用到Ｉｎｔｅｒｎｅｔ和Ｉｎｔｒａｎｅｔ的开发中。ＶＢＳｃｒｉｐｔ是Ｖｉｓｕａｌ Ｂａｓｉｃ语言家族中的最新成员,使用它可以在多种Ｉｎｔｅｒｎｅｔ环境下进行编程,包括在客户端ＩＥ有脚本编程和在服务器ＩＩＳ或ＰＷＳ中的脚本编程。而Ａｃｔｉｖｅ Ｓｅｒｖｅｒ Ｐａｇｅｓ是一种服务器端的脚本编程环境,可以用它来创建和运     

一种形式化的构件模型框架

构件理论在软件工程领域正扮演着越来越重要的角色。为了规范化地描述和设计构件 ,提出了一种形式化的构件模型框架 ,利用偏序事件多集来表示构件的行为模式 ,取代了常用的形式语言表示法 ,使顺序进程控制的构件和并发控制的构件能够在该框架下得到一致的处理。论文关于构件模型、任务合同及系统模型的概念 ,结合构件完备性、服务可满足性和系统一致性的检验方法 ,可以直接被用于设计构件支撑环境的仿真算法。     

XML及其应用

可扩展标记语言XML体积小 ,易于编辑 ,可以进行网络信息交换和网上数据库查询 ,优于另一个十分流行的置标语言HMTL .数学置标语言是XML的应用之一 ,它以文本的形式描述了数学的信息 ,它的设计遵守XML家族的协议 ,因而能够和XML的相关工具紧密协作 .本文还给出了一个创建数学方程的实例 ,并提到了XML的其他一些应用     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

网络考试系统分析及实现

软件工程在现代软件开发中的作用越来越大，并且发展出了很多行之有效的软件工程方法和建模语言．UML(Unified Modeling Language，统一建模语言)是一种非常流行的，支持面对对象建模方法的建模语言．本文就采用面对对象的方法以UML为建模语言，使用PowerDesigner这个case工具分析设计一个分布式的B／S结构的基于COM 和XML的网络考试系统．并使用Delphi，VBScript，ADO，XML，HTML等编程工具、语言和技术实现了这个系统．     

A Reference Framework for Concurrent Engineering

Considering the diversity of methods and tools offered to concurrent engineering, the aspects playing important roles in the concurrent engineering c ontext have been pinpointed as being four core elements which are Activity, Meth od, Object and Information. Based on these four elements, a reference framework called AMOI is proposed to be the guideline for the systematic concurrent produc t design. Using the AMOI reference framework, concurrent product development sys tem can be structured into four function models (including the activity model, m ethod model, object model and information model) which are interconnected with e ach other.     

正则表达式匹配IP地址的实践与研究

正则表达式语言是世界上最流行的字符串匹配语言，它被许多编程语言或工具所支持。运用正则表达式匹配IP地址，比较了一些模式的写法，分析了某些模式在不同正则表达式引擎下的差异，得出了一个精确、通用的模式。     

一种基于分布组件协调的脚本语言Concerto

针对现有脚本语言只适合顺序计算的缺点,提出了协调脚本语言Concerto.Concerto脚本既适合描述分布组件系统的协调问题,又统一了现有的计算脚本,提供了一个多种脚本语言混合编程的解决方案,在运行方面,提出Concerto协调代码作为脚本语言编译器的目标代码。以Petri网为基础,由Concerto引擎对协调代码解释生成Petri网模型,对分布组件系统进行并发死锁验证,并与计算系统交互,控制分布组件的运行。     

基于关系数据模型代码生成器的设计与实现

在以多层架构实现的数据库应用系统中,大量程序代码与其关系数据模型直接相关,采用一种以关系数据模型为输入的自动代码生成工具,可以大幅度地降低编程工作量,提高软件质量.现有基于模板的代码生成工具具有良好的设计框架,但其脚本语言由于与关系数据模型关联不紧密,导致代码模板编写和维护比较困难,难以快速应用.文中设计一种与关系数据模型紧密结合的迭代式代码脚本语言RDM CodeMark,保留基于模板的代码生成技术通用性的同时,简化代码模板编写难度.结果表明:基于RDM CodeMark语言的代码生成工具在针对J2EE平台和.Net平台的软件项目开发实践中能取得较为理想的效果.