形式化造句

用形式化造句(精选34个句子)：

1、给出了此问题的形式化描述，并将问题归约为一种关于多边形运动规划的等价形式。

2、但适当的合同参数下，使用这种形式化策略，通过供需双方博弈供需链能够达到稳定状态。

3、论文探讨了如何将可视化建模语言uml和形式化描述语言z集成而得到一种新的求精方法，寻求一种在软件体系结构求精过程中uml到z的映射与转换机制。

4、第五章对比了常用软件测试方法，讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。

5、这些观察允许我们形式化反射的定义：反射是欧几里得空间的对合等距同构，它的不动点集合是余维度为1的仿射子空间。

6、可拓学是用形式化的模型研究事物拓展的可能性和开拓创新的规律与方法，并用于解决矛盾问题的新学科。

7、盘算机科学家用完全形式化的方式来证明程序同功能归约的一致性，保证程序的准确性。

8、基于霍尔的“通信顺序进程”和相关的网络形式化的理论研究结果，提出了一种网络故障管理的形式化方法。

9、给出了数据分布树的形式化定义，构造了基于数据分布树的数据均衡分布机制、抗数据偏斜的join算法。

10、非形式化平衡设计图上的各元素，用不对称的方式做成平衡的效果。亦称不对称平衡，动态平衡。

11、但是，在现今的语文课堂中，互动教学出现了形式化、客观化、垄断化的互动等等。

12、并给出了线性表的严密的描述性定义和形式化定义。

13、本文利用树突树的冲激响应对分布参数突触联接进行了形式化描述。

14、首先定义选择函数并给出理性选择函数的形式化描述。

15、进一步的工作是在公共语义模型的基础上，用形式化的方法和统一的数据格式表达零件库信息，建立零件库信息模型，以实现零件库资源共享。

16、它使归纳逻辑向形式化和数量化的研究方面前进了一大步。

17、标举自然与清丽，强调性情本体的恰当形式化，是刘勰诗学观的重要美学命题。

18、所谓形式化，是指虽然了解农户的发展需要，但在流域规划的内容中并没有体现出农户共同的发展愿望。

19、在许多情况下，两者都产生外部元数据：从单调的英语到结构化或非结构化数据，到更形式化rdf表达方法，但所有数据都参考使用了uri。

20、针对映射整体定义了一种域映射规则，给出了域映射过程的数学语言形式化描述。

21、逻辑演算对推理形式有效性的研究，比传统逻辑更抽象、更严格，其原因是形式化方法的运用。

22、空间方向关系是描述空间目标间位置分布的一类基本空间约束，在gis中是由形式化模型描述的。

23、本文在介绍模态逻辑的基础上，提出了一种对知识和信念进行形式化研究的汉语信息过滤新算法。

24、并通过将更新操作算子定义为原子事件，将每次地籍图形变更的更新处理操作过程定义为一个复合事件，尝试用epl语言对地籍图形变更的更新操作过程进行了形式化描述.

25、为满足联锁软件黑箱测试的要求，对联锁软件安全性需求进行了分级形式化表达。

26、文中所提出的控制归约与或图，实际上为设计专家控制器示范了一种形式化的方法。

27、usbd所描述的开发的另一方面是如何通过简洁，而完全的形式化文档集支持生产者和消费者之间的沟通渠道。

28、如果把否定之否定规律作为出发点并进行适度抽象而予以形式化，那么，否定之否定过程的“三段式”模式就表现为一个以环节为其结构成分的周期链。

29、无论库萨支持还是反对迈格拉希事件，他在2009年当上了外交部长，这是个明升暗降的职位。在这个位置上他的外交手段，公共行为都会更形式化，削弱了主动性。

30、形式化公理学为研究可能世界的存在条件提供了新的基础。

31、首先，正是生成语义学最先开始了对于转换规则所不能形式化的句法现象的深入探讨。

32、北方农村的传统信仰形式虽然较多较杂，但无法自成体系和自圆其说，留存的枝节性信仰也已经形式化和去神圣化，难以满足农村对宗教信仰的庞大需求。

33、文传会主委林奕华说，论坛规模较以往精简，随行官员不像以往高阶政务官，而是改以相关业管官员，就是盼降低形式化安排，不要沦为“大拜拜”。

34、领导贵族化，员工奴隶化，人际复杂化，加班日夜化，上班无偿化，收入保密化，竟聘内定化，检查形式化，待遇民工化，加薪?tmd神话!!