程序挖掘中需求描述的研究

随着基于构件的程序挖掘思想犤1犦的提出,正确获取用户需求描述成为程序挖掘的关键。通用建模语言UML(U-nifiedModelingLanguage)作为用户需求建模的重要工具,成为用户需求描述的工业化标准。文章在分析需求描述在程序挖掘中的特性的基础上,研究UML的优点和缺陷,提出一种基于UML的构件化的用户需求获取方法CBU(ComponentBasedUML),给出了CBU的XML描述。文中论述了程序挖掘的基本概念、程序挖掘中需求描述的特点、UML的缺陷等方面的问题。     

灰指数模型在事件发展趋势预测中的应用

灰色系统既含有已知的信息,又含有未知的非确定性信息犤1犦,广泛存在于社会生活的各个领域。利用灰色系统理论犤1犦,预测灰色系统的演变,预测效果一般较好犤2,3犦。文章采用灰色模型GM(GreyModel)对诸如交通阻塞一类社会事件的发展进行预测,把预测结果作为中间值,再运用残差模型犤1犦加以修正,最后得到比仅限于灰指数模型更为精确的预测数据。     

UML动态建模方法在DDSS模型访问中的应用

统一建模语言(unified modeling language,UML)是面向对象软件开发方法的重要技术.决策支持系统中的模型库管理对于整体决策支持系统来说尤其重要,在分布式环境下,如何实现模型库中模型的查询、修改、增加和删除对于整体系统的性能起到决定作用,使用UML的动态建模技术,设计并实现了基于C/S模式下的DSS模型库管理系统的模型访问,并描述了通过UML来进行动态建模的详细过程.     

中国专利

发明专利(17)犤51犦Int.Cl.7G 08C 19/28犤11犦公开号CN 1669064AG08C 17/02 G08C 23/04犤21犦申请号03816924.X犤22犦申请日2003.7.16犤43犦公开日2005.9.14犤30犦优先权犤32犦2002.7.16犤33犦IT犤31犦BS/2002/A/000064犤51犦国际申请PCT/IT2003/000441 2003.7.16犤87犦国际公布W O2004/008412英2004.1.22犤85犦进入国家阶段日期2005.1.17犤71犦申请人杰内西斯责任有限公司地址意大利布雷西亚犤72犦发明人P·迪佩佩犤74犦专利代理机构北京市中咨律师师事务所代理人杨晓光于静犤54犦发明名称用于器具遥控的方法和系统犤57犦摘要用…     

亚稳态处理模式和时基对准问题

两个异步单元之间的联接、或是一个信号引入一与之异步的系统时,可能会引起亚稳态而导致故障。用同步器进行延迟是处理亚稳态的一个常见方法犤2犦犤6犦,该法是输出前先进行较长时间的等待。另一个必须提到的方法是“暂停时钟”法犤1犦犤2犦犤3犦犤4犦,即采样用的时钟是可暂停的。该文就这些亚稳态处理方法给出了一个统一的描述,引入了关联性概念来描述系统之间的联接,并提供了自动数字对时这一应用实例。另外,文章还指出选择亚稳态处理方法时应考虑具体应用场合。     

中国专利

发明专利(3)犤51犦Int.Cl.7G05B11/00犤11犦公开号CN1240952A犤21犦申请号99108584.1犤22犦申请日1999.6.24犤43犦公开日2000.1.12犤30犦优先权犤32犦1998.7.1犤33犦KR犤31犦26470/98犤71犦申请人三星电子株式会社地址韩国京畿道犤72犦发明人金圭犤74犦专利代理机构柳沈知识产权律师事务所代理人马莹犤54犦发明名称选择输入变量的最佳值的方法犤57犦摘要一种选择输入变量的最佳值的方法,包括(a)将采样基因算子设在可用范围内;(b)选择其目标函数值最接近最佳值的基因算子;(c)若目标函数值不在所需范围内,偏差宽度设为收敛度;(d)在偏差宽…     

IARS-MAS模型中的通信及合作

文章在为搜索服务的多智能Agent系统(IARS-MAS)模型的基础犤1犦上,进一步探讨了如何在各子Agent之间分配子任务以便高效地完成某项检索任务,以及如何通过学习让系统能在各Agent之间协调以最大化系统的效率。为此,在描述了总体构思的基础上,形式化了协调能力学习的方法。     

基于同态映射的从UML导出可综合Verilog算法

UML建模因其可显著提高开发效率和代码质量已经成为软件开发领域的一大热点，而硬件设计的日益复杂性也要求我们在更高层次抽象上分析和验证系统行为，故更精细的系统级建模方法变得日趋重要。本文构建了UML元模型与可综合Verilog间的同态映射，定义了一个从UML模型子集导出可综合Verilog描述的算法，为UML模型对于建模硬件系统提供了形式化的语义，从而使运用UML进行硬件系统级建模和系统级上验证系统性能和功能正确性成为可能。     

基于UML的安防监控终端系统的分析设计

通过基于统一建模语言(UML)对安防监控系统的分析与设计,从整体上建立了系统模型.在介绍了UML和安防监控系统结构的基础上,着重阐述了运用UML在用例分析、动态分析与设计、静态设计等不同阶段,通过用例图、协作图和类图描述系统的方法,以及通过基于UML对安防监控系统的分析与设计,实现了系统结构和功能的直观展示,提高了软件的设计和实现的效率、质量、维护性和扩展性.     

基于UML的安防监控终端系统的分析设计

通过基于统一建模语言(UML)对安防监控系统的分析与设计,从整体上建立了系统模型。在介绍了UML和安防监控系统结构的基础上,着重阐述了运用UML在用例分析、动态分析与设计、静态设计等不同阶段,通过用例图、协作图和类图描述系统的方法,以及通过基于UML对安防监控系统的分析与设计,实现了系统结构和功能的直观展示,提高了软件的设计和实现的效率、质量、维护性和扩展性。     

UML在学生选课系统中的应用

UML是以对象模型为基础的适用于编制软件蓝图的标准化语言,它提供了软件过程和方法的描述基础。本文介绍UML的主要内容,并以学生选课系统为实例,探讨了基于UML的建模过程。     

基于MDA的WSDL建模及实现

描述了使用可扩展的统一建模语言(UML)对Web服务描述语言(WSDL)的建模过程,以及从UML模型向WSDL进行转换的规则.     

基于本体规则的模型转换的研究

本文实现了统一建模语言(UML)描述的模型与企业过程建模系统(EPMS)模型之间的转换。UML的特点是便于建模,主要用于对软件的描述,不能进行模拟执行和优化。EPMS对业务过程进行建模,用于过程模型建造和过程模型模拟,支持过程仿真、分析和优化。模型之间的转换需要建立相应的转换规则,采用本体的思想描述规则,将编写规则的程序从映射程序中分离出来,实现规则与映射的解耦。源模型通过基于本体规则的映射程序处理转换为目标模型,领域专家就可管理、维护和修改基于本体的规则,减少了专业编程人员维护映射程序的工作。     

基于UML技术的数据库建模分析研究

本文介绍了UML（Unified Modeling Language）的发展情况、基本概念、建模的基本过程,阐述了一种基于UML技术的关系数据库建模方法,以学籍管理系统作为案例分析了UML类到关系数据库表及表访问操作之间的映射方案。     

基于IEC 61850标准的GOOSE信息模型的构建研究

通用面向对象的变电站事件(GOOSE)是IEC 61850标准中用于快速和可靠传送变电站自动化系统中实时性要求高的信息事件的通信模型,对于实现不同厂家设备间的互操作具有重要意义。首先详细讨论了GOOSE模型,并在此基础上针对GOOSE模型通信的特点,用统一建模语言(UML)构建服务器类模型、逻辑设备类模型、逻辑节点类模型和数据类模型,采用IEC 61850标准GOOSE信息建模技术及方法对GOOSE信息模型建模并构建GOOSE报文通信结构。     

基于UML的精品课程远程教育网站模型设计

UML是面向对象的统一建模语言,所设计的软件模型具有可重用性的特点。使用UML新方法开发精品课程网站,用UML用例图做需求分析,用UML类图和顺序图进行系统静态和动态设计,最终用PHP程序语言和MYSQL数据库来实现网站软件。经UML建模后的精品课程远程教育网站模型可以多次应用,从而提高网站软件的开发效率。     

UML在高校科研管理系统中的应用

分析了统一建模语言（UML）的语言结构及其建模体系。以某高校科研管理系统的开发为例，详细介绍了统一建模语言（UML）各图形之间的内在联系及其在需求分析和系统设计中的应用。     

基于UML和组件技术的软件开发环境IUMLSE的研究与实现

统一建模语言UML（Unified Modeling Language）正逐步成为面向对象技术领域内占主导地位的建模语言。而组件（Component）技术的蓬勃发展使基于组件组装的软件开发成为可能。两者正无可争议地成为当今和未来软件开发的主流技术。文章对UML和组件技术进行了描述,探讨了两者在软件开发中的作用和相互之间的联系,以及新一代的软件开发环境应该如何对两者提供支持,然后详细介绍了基于UML和组件技术的软件开发环境IUMLSE的设计和实现。     

一种顺序图的形式化描述与推理过程

以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图的形式化定义和语法描述,并进一步分析了对象消息发送和接收之间的一致性问题.最后,通过对实例推理过程的分析,对UML顺序图的特性作进一步的解释.这为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,可用于对软件...     

CTCS-2级列控系统的形式化建模与验证

由于 CTCS-2级列控系统设计复杂,因此提出一种将统一建模语言(UML)与符号模型检验相结合的形式化建模与验证方法。分析CTCS-2级列控车载设备的模式转换场景,对其进行UML建模得到UML类图和状态图,制定转换规则对UML模型进行扩展和抽象,使其转化为NuSMV模型。将待验证的系统性质和转化后的检验程序输入符号模型检验系统进行验证,验证结果都为true,表明CTCS-2级列控车载设备的模式转化场景具有活性、可达性和安全性。