基于MFI的企业业务模型互操作能力度量方法研究

业界存在多种企业业务模型,模型的定义、描述、结构、功能及支持工具通常存在差异,这些差异导致业务模型间的部分语义互操作存在较大困难。绝大部分企业业务模型都能够通过4个维度(Role,Goal,Process,Service)来描述,因此,一个企业业务模型实际上是一个具体的RGPS模型,依此提出企业业务模型互操作能力度量方法。首先基于互操作性元模型框架MFI构建RGPS互操作性特征框架,再将特征框架定义为RGPS模型互操作性特征集;其次对业务模型特征所属类型与所具有的性质进行分析,定义数学方法,并基于互操作性特征集对模型特征进行标识与量化,得到模型实例;再次通过数据相似性算法计算模型实例间的相似性,得出RGPS模型集中任意两个模型间的互操作能力值,从而构建RGPS模型集的互操作能力度量矩阵;最后,采用该方法对不同领域间典型的企业业务模型互操作能力进行度量,分析并讨论度量结果,从而在一定程度上验证了互操作能力度量方法能促进并引导不同领域企业业务模型的有效协作。     

基于本体的多媒体信息的组织技术研究

为了有效利用多媒体资源,挖掘资源背后语义内容并分析它们,本文通过本体理论来建立一个统一描述多媒体资源框架。选用了OWL(Web Ontology Language)作为本体形式化描述语言,而多媒体信息资源适合于网络传播和浏览。另外RDF(S)资源描述框架提供了一种标准化的,具有互操作性的多媒体元数据模型。在实际中,本框...     

Web本体语言的分析与比较

本语言用于形式化描述Web文档中词汇的含义,在语义Web的7层模型中占有重要的位置。目前不同的组织提出了多种本体建模语言：RDF,RDFS,OIL,DAML OII和OWL。在介绍这些本体语言的基础上对它们进行了分析和比较,指出了它们相对某些关键特性的差异。     

面向语义的本体构建方法研究与应用

在传统信息检索方式下,由于信息资源缺少统一的语义描述,使得用户难以查到与其所需的相关资源。知识本体是共享概念模型的明确形式化规范说明,能够以一种明确的、形式化的方式来表示领域知识,提高异构系统之间的互操作性,促进知识共享。本文对基于语义的本体构建进行分析研究,提出面向语义的本体构建方法,并针对功能性纺织品的具体领域进行本体和信息检索相结合的应用研究。     

基于描述逻辑的物资管理领域本体模型研究

为解决企业异构数据的共享问题, 提出利用本体模型和描述逻辑对元数据进行形式化的方法, 通过形式化元数据交互实现异构数据的共享。以大型单件小批制造企业为研究对象, 首先对物资管理领域数据模型进行分析, 抽象出相关概念类构建领域本体模型。然后, 结合描述逻辑对物资管理领域本体模型进行形式化描述。最后, 以领料申请为实例说明物资管理领域本体模型在异构数据共享中的应用。实证表明, 构建的本体模型能有效解决企业异构数据的共享问题。模型具有一定的通用性可重用于企业的其他主题领域, 为企业业务信息的无歧义共享提供了一种有效途径。     

面向领域的语义搜索引擎的应用研究

针对基于关键字的搜索引擎缺乏语义的问题,提出了一种面向专业领域的语义搜索引擎模型.以领域本体形式化描述为基础,构建本体语义框架,进而给出语义搜索模型.在模型中,以概念、概念-实例以及关键字等3种扩展特征项作为基础,对查询扩展算法和文档语义标注算法进行了研究,并且构建了语义索引,通过引入向量空间模型判定扩展检索词与语义文档的相似度.实验结果表明,该模型较传统模型较大提高了检索的查准率和查全率.     

面向Web服务发现的本体知识库

本文探讨了面向Web服务发现的本体知识库的构建方法及其形式化描述。作为语义Web服务的发现框架中数据层和语义层,面向Web服务的本体知识库与一般的常识知识库不同,它既要表达领域本体的知识(本文涉及旅游领城知识),又涉及到Web服务的形式化描述以及个人兴趣模型的描述,以支持形式化的规范查询请求,并应用本体间的关系最终实现Web服务智能发现。本文通过一个Web服务发现实例说明此模型的应用价值,并与传统的本体知识库进行了对比。     

面向对象软件度量技术

提出了OO度量评价规则和标识一组OO度量套件的方法，一组切实可行的OO度量套件及其形式化描述方法，评价OO关键概念和结构特性。质量度量模型是软件质量评价体系中的关键技术，采用层次结构的度量模型。通过质量度量模型，就建立了软件内部属性和外部属性间的客观的定量的联系。OO软件度量框架用以规范化地帮助评测软件产品质量的过程。     

基于网格的面向Agent建模方法中的本体研究

AOMG作为一种针对网格体系结构的面向Agent 的系统建模方法,在网格环境中建立可视化的系统抽象模型,采用XML对建立模型进行描述。提出了在AOMG中建立本体并且对建立的本体进行形式化描述。     

名词点击

[名词注释] 企业建模 enterprise modeling 是根据企业相关知识(包括以前建立的模型、参考模型及领域本体),使用模型表示语言建立一个企业的整体或部分模型的过程(如过程模型、数据模型、资源模型、新的本体),它为企业知识的获取、客观化、形式化、结构化和重用提供了相应的机制。 计算机集成制造系统 computer integrated manufacturing system(CIMS) 是在信息技术自动化技术与制造的基础上,通过计算机技术把分散在产品设计制造过程中各种孤立的自动化子系统有机地集成起来,形成适用于多品种、小批量生产,实现整体效益的集成化和智能化…     

Only connect: teaching, technology and telesis

Abstract This paper describes an approach to the design of interactive multimedia materials being developed in a European Community project. The developmental process is seen as a dialogue between technologists and teachers. This dialogue is often problematic because of the differences in training, experience and culture between them. Conditions needed for fruitful dialogue are described and the generic model for learning design used in the project is explained.     

European Community policy and the market

Abstract This paper starts with some reflections on the policy considerations and priorities which are shaping European Commission (EC) research programmes. Then it attempts to position the current projects which seek to capitalise on information and communications technologies for learning in relation to these priorities and the apparent realities of the marketplace. It concludes that while there are grounds to be optimistic about the contribution EC programmes can make to the efficiency and standard of education and training, they are still too technology driven.     

一种自适应子融合集成多分类器方法

融合集成方法已经广泛应用在模式识别领域,然而一些基分类器实时性能稳定性较差,导致多分类器融合性能差,针对上述问题本文提出了一种新的基于多分类器的子融合集成分类器系统。该方法考虑在度量层融合层次之上通过对各类基多分类器进行动态选择,票数最多的类别作为融合系统中对特征向量识别的类别,构成一种新的自适应子融合集成分类器方法。实验表明,该方法比传统的分类器以及分类融合方法识别准确率明显更高,具有更好的鲁棒性。     

Avoiding semantic and temporal gaps in developing software intensive systems

Development of software intensive systems (systems) in practice involves a series of self-contained phases for the lifecycle of a system. Semantic and temporal gaps, which occur among phases and among developer disciplines within and across phases, hinder the ongoing development of a system because of the interdependencies among phases and among disciplines. Such gaps are magnified among systems that are developed at different times by different development teams, which may limit reuse of artifacts of systems development and interoperability among the systems. This article discusses such gaps and a systems development process for avoiding them.     

Designing economic np control charts: A programmed simulation approach

This paper presents control charts models and the necessary simulation software for the location of economic values of the control parameters. The simulation program is written in FORTRAN, requires only 10K of main storage, and can run on most mini and micro computers. Two models are presented - one describes the process when it is operating at full capacity and the other when the process is operating under capacity. The models allow the product quality to deteriorate to a further level before an existing out-of-control state is detected, and they can also be used in situations where no prior knowledge exists of the out-of-control causes and the resulting proportion defectives.     

The development of robot art

Going through a few examples of robot artists who are recognized worldwide, we try to analyze the deepest meaning of what is called “robot art” and the related art field definition. We also try to highlight its well-marked borders, such as kinetic sculptures, kinetic art, cyber art, and cyberpunk. A brief excursion into the importance of the context, the message, and its semiotics is also provided, case by case, together with a few hints on the history of this discipline in the light of an artistic perspective. Therefore, the aim of this article is to try to summarize the main characteristics that might classify robot art as a unique and innovative discipline, and to track down some of the principles by which a robotic artifact can or cannot be considered an art piece in terms of social, cultural, and strictly artistic interest. This work was presented in part at the 13th International Symposium on Artificial Life and Robotics, Oita, Japan, January 31–February 2, 2008     

Explanation and prediction: an architecture for default and abductive reasoning

Although there are many arguments that logic is an appropriate tool for artificial intelligence, there has been a perceived problem with the monotonicity of classical logic. This paper elaborates on the idea that reasoning should be viewed as theory formation where logic tells us the consequences of our assumptions. The two activities of predicting what is expected to be true and explaining observations are considered in a simple theory formation framework. Properties of each activity are discussed, along with a number of proposals as to what should be predicted or accepted as reasonable explanations. An architecture is proposed to combine explanation and prediction into one coherent framework. Algorithms used to implement the system as well as examples from a running implementation are given.     

Three Process Perspectives: Organizations, Teams, and People

This paper provides the author's personal views and perspectives on software process improvement. Starting with his first work on technology assessment in IBM over 20 years ago, Watts Humphrey describes the process improvement work he has been directly involved in. This includes the development of the early process assessment methods, the original design of the CMM, and the introduction of the Personal Software Process (PSP)^SM and Team Software Process (TSP){^SM}. In addition to describing the original motivation for this work, the author also reviews many of the problems he and his associates encountered and why they solved them the way they did. He also comments on the outstanding issues and likely directions for future work. Finally, this work has built on the experiences and contributions of many people. Mr. Humphrey only describes work that he was personally involved in and he names many of the key contributors. However, so many people have been involved in this work that a full list of the important participants would be impractical.     

基于复小波噪声方差显著修正的SAR图像去噪

提出了一种基于复小波域统计建模与噪声方差估计显著性修正相结合的合成孔径雷达(Synthetic Aperture Radar,SAR)图像斑点噪声滤波方法。该方法首先通过对数变换将乘性噪声模型转化为加性噪声模型,然后对变换后的图像进行双树复小波变换(Dualtree Complex Wavelet Transform,DCWT),并对复数小波系数的统计分布进行建模。在此先验分布的基础上,通过运用贝叶斯估计方法从含噪系数中恢复原始系数,达到滤除噪声的目的。实验结果表明该方法在去除噪声的同时保留了图像的细节信息,取得了很好的降噪效果。     

基于QTE的蒙古文显示机制研究与实现

蒙古语言是中国蒙古族使用的通用语言,由于蒙古文区别于其他文字的书写方式和其自身变形机制等特点,在很多通用的文字处理引擎中都不被支持。在嵌入式产品开发与应用领域中Linux加QTE已经成为流行方式。该文给出了一种在QTE环境上实现基于标准Unicode的蒙古文点阵显示和变形算法, 并自定义了支持蒙古文的QTE组件,扩展了QTE功能,为在Linux加QTE方式的嵌入式体系结构中处理蒙古文提供了一种解决方法。