形式化
- 与 形式化 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
A new generalized object oriented Petri net model which can be used to evaluate the capability of equipment support was proposed. Its formal definition was given. The abstract place, abstract transition, message color and the message transferring function between objects were introduced in this model. This model has good modularity, inheritability, reusability, and maintainability, and can reflect flexibility and dynamic features of complex system. An example was given in the paper.
提出了一种可用于装备保障能力评估的增强型扩展的面向对象Petri网模型,给出了该模型形式化描述,引入了抽象库所、抽象变迁、消息颜色以及对象间的消息传递函数等新的概念,更好地体现了面向对象的思想,具有很好的模块性、继承性、重用性和可维护性,能够反映复杂系统的动态柔性特点,最后给出实例。
-
Formalized policies and procedures are typically used to establish and institutionalize a cyber security program.
形式化的政策和程序通常用于建立和制度化的网络安全程序。
-
All the research on divergence microtheory is the basis for a number of decisions that are made during the design and construction of KCM, including the definitions of primitives, the structure of interlingua, a definition of a parametrizes semantic-syntactic mapping, organization of the dictionary.
在语言泛处理模式的结构设计中,异化现象的分类研究,形式化定义及定性分析为原语定义、中间语言结构定义、词典组织、语义-句法参数映射的定义等许多决策提供了依据。
-
In order to introduce the formal techniques such as stepwise refinement, automatic transformation and testing based on formal specification to the multimedia field, we first present a powerful subset of Allen's interval algebra as the temporal specification language to multimedia program.
为了在多媒体领域中应用逐步求精、程序自动生成和面向形式规范的并发系统测试等形式化技术,本文首先研究一个表达能力足够的Allen区间代数的子集合,以它作为多媒体对象时序关系的描述语言。
-
Alone with them, and based on the conception of time interval, and the Function Net, a rule for correctness is present, which correctness is also proved.
提出了活动状态、前序后继活动以及工作流实例状态、状态转换及状态转换图的定义和工作流运行重配置结构和数据正确性规则,在此基础上提出了进行工作流运行重配置的理论基础,形式化描述了一个完备最小的工作流模型修改操作集合WMOL,并给出了这些操作可以进行的时机。
-
Evolution is an intrinsic property of software, and the process of software evolution consists of a series of activities.
王炜,博士生,主研领域:软件工程,形式化方法,软件演化演化性是软件的固有属性。
-
Mathematics source in intuitionist and the practice.
数学源于直观和实践,数学无论怎样地形式化,实验都是重要的数学方法。
-
As a powerful formal tool for data organization and data analysis, the concept lattice theory is very important both in theories and actual application, and has been widely and successfully used in many fields.
概念格理论作为一种知识表示和数据分析的形式化工具,无论在理论研究还是在实际应用中都具有重要意义,它在众多的领域已经获得了成功的应用。
-
Concept lattice is an effective tool for data analysis and knowledge discovery.
概念格是数据分析与知识发现的一种有效的形式化工具。
-
Setting out from symbolic logic, Russell was the first philosopher who destroyed the law of excluded middle in classical logic, and provided leads for the research into formalized fuzzy logic o...
皮尔斯是西方哲学史上确认"语言本身的模糊性"的第一位哲学家;维特根斯坦强调语言确定性与模糊性的并存关系,并试图将二者统一;罗素从符号逻辑的水平上首次打破了古典逻辑的排中律,开辟了形式化模糊逻辑或多值逻辑的研究道路。
- 推荐网络例句
-
With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.
随着死亡的吉他手Schuldiner接受主唱的职务,乐队在现实中树立了重要的影响。
-
But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.
不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐,因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。
-
Closes the eye, the deep breathing, all no longer are the dreams as if......
关闭眼睛,深呼吸,一切不再是梦想,犹如。。。。。。