|
|
|
说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
|
|
|
1) formal CM
形式化概念模型
1.
The hiberarchy method include informal CM development which oriented to domain user and formal CM development which oriented to system developer.
在分析上述问题的基础上,提出了分层次概念模型开发方法,即面向领域用户的非形式化概念模型开发和面向技术人员的形式化概念模型开发。
2) informal CM
非形式化概念模型
1.
The hiberarchy method include informal CM development which oriented to domain user and formal CM development which oriented to system developer.
在分析上述问题的基础上,提出了分层次概念模型开发方法,即面向领域用户的非形式化概念模型开发和面向技术人员的形式化概念模型开发。
3) formal concept lattice model
形式概念格模型
4) formal concept analysis
形式化概念分析
1.
An approach to the formal concept analysis driven by use case is then presented based on the proposed framework,with the aim of conversely recovering the crosscutting attributes on the level of requirement models.
为解决软件遗产系统中横切特性的理解和进化问题,提出了面向侧面的逆向工程框架模型,并以此为基础给出了一种用例驱动的形式化概念分析方法,对需求分析模型层面上的系统横切特性进行逆向恢复。
2.
This paper gave a new solution: an algorithm based on formal concept analysis.
基于此,提出了一种利用形式化概念分析的XMLSchema映射算法。
3.
Based on it,an approach to use case driven formal concept analysis is discussed.
为解决软件遗产系统中横切特性的理解和进化问题,提出了面向侧面(aspect-oriented)的逆向工程框架模型,并以此为基础给出了一种用例驱动的形式化概念分析方法,对需求分析模型层面上的系统横切特性进行逆向恢复。
5) formal concept
形式概念
1.
Given a formal concept,this algorithm can produce all the children and identify all successors from them.
对于任一形式概念,该算法能产生它的全部后代,并确认哪些后代为后继。
2.
Foreword technology points and future technology points are introduced Combined with the theories of formal concept,technology points with the partially ordered relations among the different knowledge poi.
如何查找前序知识点和预测后续知识点,并结合了形式概念对具有偏序关系的知识点进行了研究。
3.
The theory of Concept lattice (also called formal concept analysis), proposed by Wille in the same year, is a tool for creating and arranging of concepts.
概念格理论(也叫形式概念分析)是德国数学家Wille在同一年提出的描述概念与概念之间层次关系的形式化工具。
6) Ideational Form
概念形式
补充资料：虚拟企业集成模型的形式化方法
文 摘： 为开发正确、可靠、基于模型驱动的虚拟企业信息系统，满足虚拟企业对于可伸缩性、可重构性、可重用性以及互操作性的要求，在虚拟企业建模与开发过程中引入形式化RAISE (工业软件工程严格方法)，分析了在虚拟企业组建中应用形式化方法的优点，讨论了RAISE与有着广泛应用的传统IDEF(集成计算机辅助制造定义方法)的结合，并给出了运用形式化方法进行虚拟企业建模的方案。该方法是虚拟企业建模与实现技术的重要研究方向。 关键词： 虚拟企业； 企业模型； 形式化方法； 工业软件工程严格方法(RAISE)； 集成计算机辅助制造定义方法(IDEF) CIMS的研究与开发正处于企业集成阶段，虚拟企业研究正是这一阶段的重要研究课题和使能技术之一。对于虚拟企业的建立与运作，尤其是在作为其基础与要素的虚拟企业模型以及相应的信息系统实现问题上，还不存在成熟的理论、方法与规范。本文应用形式化的工业软件工程严格方法(RAISE)与集成计算机辅助制造定义方法(IDEF)相结合的手段建立虚拟企业模型，并探讨有关模型驱动的系统集成与系统实现问题。 1、虚拟企业建模 1.1 虚拟企业模型 虚拟企业是一组企业的临时组织或联盟，其目的是通过联合的成本与技术开拓适应快速变化的市场。建立具有指导意义的虚拟企业模型，以模型为驱动，实现虚拟企业信息系统，是当前解决虚拟企业集成问题普遍认可的方法。因此，建立虚拟企业模型，尤其是建立企业生产过程与经营过程模型，是分析企业过程，进而有效的组建虚拟企业系统的必需。 1.2 虚拟企业建模面临的问题 虚拟企业的集成和企业模型的构建很复杂，建模需要着重解决以下问题： 1) 企业模型必须能从高层抽象企业功能、结构、特性，以便企业级的过程重组； 2) 企业模型必须适应动态虚拟企业的特点，做到易于重构(即有可重构性)； 3) 可重用性与可伸缩性； 4) 建模方法必须简单易用，这是因为一般企业，尤其是中小型企业，不具备专业的建模人员； 5) 企业建模过程应该融合企业的不同层次，使虚拟企业涉及的各层次人员能够广泛参与。
虚拟企业的复杂性使得一些单一信息系统中低层次的问题也必须提高到模型(抽象)层次才能解决。这使虚拟企业建模问题更加复杂化。以IDEF为代表的传统企业建模方法在处理虚拟企业建模问题上逐渐暴露出自身的某些局限性。为了解决上述问题，增加系统实现的自动化程度、减少系统的不一致性，更快、更好、更可靠的实现虚拟企业系统，尝试在企业模型建立与系统实现的过程中引入形式化方法作为传统建模方法的补充。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条
|