查询词典 formal model

Based on the above analysis, and on the foundation of analyzing the existing probability reputation model, especially beta distribution reputation model, a formal reputation model based on Gaussian distribution has been discussed.

仿真实验表明，基于高斯分布的形式化信誉模型更接近最新的信誉，信誉振荡幅度小，在抵抗合谋攻击、诋毁攻击、身份攻击等典型的信誉攻击方面具有更强的抵御能力。

Based on the comparison of current fault propagation models, bipartite graph model is adopted as fault propagation model, of which the formal definition is given.

对现有的网络故障传播模型进行比较分析，采用二分图作为故障定位的故障传播模型，提出了二分图故障传播模型的形式化定义。

Related with the traffic status of our country, the content of this paper is combined with practical application. The paper studies how to investigate traffic status in urban signal intersection, By field observing and videography, this paper get the geometry formal、traffic control and traffic running state of Xingtan road and Wenhuiyuan north road intersection, which can be support database for model building and model testing. On currently basic design principles of signal phase, through deep study of signal phase and canalization design.

本文结合我国目前的交通状况，着力将所要研究的内容与实际应用结合起来，研究了城市信号交叉口交通调查的方法，通过实地观测和摄像的手段获得杏坛路与文慧园北路交叉路口的几何形式、交通管理和交通运行状况的信息，以此作为建立模型和验证模型的支持数据，并在现有信号相位设计基本原则的基础上，深入研究了混合通行情况下的相位方案及渠化设计。

This idea is different from formal models such as projection-based model and cone-based model.

这个思想是与MBR、CONE等模型思想的一个显著不同。

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网模型，给出了该模型形式化描述，引入了抽象库所、抽象变迁、消息颜色以及对象间的消息传递函数等新的概念，更好地体现了面向对象的思想，具有很好的模块性、继承性、重用性和可维护性，能够反映复杂系统的动态柔性特点，最后给出实例。

Combined with the application of OOD in formal specification of distributed multimedia system, a scheme building on ground of LOTOS/QTL (or Esterel/QL) and adopting the idea of OOD has been given. This method can be used to construct time model and synchronization model in distributed multimedia systems.

结合对面向对象技术在分布式多媒体的形式化描述中应用的方法分析，本文提出了一种以LOTOS/QTL或Esterel/QL为基础，融合面向对象技术的形式化描述方案，该方案可用于建立分布式多媒体系统的时间模型和同步模型。

To study the limit behavior of computations, the procedure scheme (Li, 1992, 1999) is generalized to model convergent infinite computations for analyzing how an infinite computation interacts and evolves in changing environments and what the limit of the evolution might be. The model is based on classical computation model Turing machine and Li's limit theory of sequences of formal systems.

收敛无穷计算的模型过程模式：本文将李未提出的过程模式推广为更一般的刻画收敛无穷计算的模型，该模型是基于经典计算模型Turing机和形式系统序列及其极限的理论的，可以用过程模式刻画网络上长期运行程序的计算特性与动态行为。

So, establishing the evaluation and framework of Regional indigenous innovation capability and analyzing the relationship between the formal measurement and other regional development quality is becoming an important and practical task. A conceptual model of regional indigenous innovation capability is set up based on the all kinds of capability development theory from macro perspective and focusing on reform and open policy in China. Through the concrete evaluation of regional indigenous innovation capability, we propose the research hypothesis of relationship between regional economic development quality and regional indigenous innovation capability. In reference of new development theory, the measurable analysis model is set up to further multi-level demonstration and draws corresponding conclusion and policy.

本文在总结目前各种宏观层次上能力发展理论包括国家技术能力、国家创新能力、社会能力、国家吸收能力等的基础上，针对我国改革开放以来的发展实际，建立了我国各地区自主创新能力评价的概念模型，对各地区自主创新能力进行了具体评价，提出了其与地区经济增长质量关系的研究假设；在此基础上，参考新经济增长理论有关成果，建立了分析地区自主创新能力和经济增长质量关系的计量模型，并进行了多层次逐步推进以及考虑主解释变量内生性问题的实证研究，得到了相应的结论和政策启示。

Choosing different class exponent to get an evaluation model from above research. Then using analogism, flexible quotiety methods to analyze the statistics comparison and get the standard statistics , put these statistics in to the model mentioned above, a formal evaluation system will be established.

然后根据天津市公路现代化研究的理论体系框架，运用系统论的观点和层次分析法等科学方法搭建天津市公路现代化评价指标体系的结构，选取体系中的各级指标，并确定各指标的权重，从而得到天津公路现代化评价指标体系的基本模型。

Firstly, the thesis analyzes the content of behavior consistency of C~4ISR system requirement, researches the theory of behavior consistency validation based on executable model. Secondly, it analyzes the extense form of basic state chart, researches the grammar rules and formal description method of the transition-oriented state chart. Lastly, it brings forward the method for transforming TO_StateChart to Object Petri Net model, and based on executable model, researches the method of validation for behavior consistency between the state chart and sequence diagram.

论文首先对C~4ISR系统需求行为一致性验证的内容进行了分析，研究了基于可执行模型进行行为一致性验证的原理；其次分析了基本状态图的扩展形式，研究了面向转移的状态图(简称为TO_StateChart)的语法规则及其形式化描述方法；最后研究了TO_StateChart转换为对象Petri网模型的方法，并以此为基础，深入研究了基于可执行模型进行状态图和时序图之间行为一致性验证的方法。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。