1) Metric formulation
度规形式
2) normal form
规范形式
1.
By analyzing the essence of iteration on the dual simplex algorithm and based on Linear Programming with normal form,this paper gains another improved dual simplex algorithm without bringing in surplus variables,which results in the same number of variables and reduced operational size.
通过分析对偶单纯形法迭代的实质,就所给LP问题的规范形式,不引进剩余变量而直接得出另一种改进的对偶单纯形法,使变量个数不增且运算规模缩小。
2.
We proved that a cost allocation function can be expressed by normal form if and only if it has anonymity, additionality and equivalency.
该文以数学方法论证了一类网络成本分配函数的性质,证明了成本分配函数具有规范形式的充要条件是它满足无记名性,可加性和等价性。
3) The regularities of form
形式规律
1.
We cann t underestimate the significance of the regularities of form of calligraphy for package design and must study these regularities to improve our package design.
形式规律在21世纪的今天,越来越显示出它的重要性。
4) formal specification
形式规范
1.
The formal specifications in assembly code certification are usually complicated.
与传统的高级语言程序验证相比,汇编代码验证中所需要的形式规范往往比较复杂,通常的做法是要求程序员手写形式规范,或是牺牲形式规范的表达能力以期能够自动生成规范。
2.
This paper presents a method,which extends PLS(partial least square) algorithm from two_LV(latent variable) to multi_LV based on two_LV PLS algorithm,including detailed formal specification and iterative procedure.
在两个潜变量的偏最小二乘法(PLS)基础上,研究了如何将PLS算法从两个潜变量扩展到多个潜变量的一套完整方法(包括具体的形式规范和迭代步骤);以及在多个潜变量PLS算法上的符号检验。
5) formal specifications
形式规约
1.
As an important part of pervasive computing environment, many RFID security protocols have been brought forward recently, which have no formal specifications and analyses.
首次利用形式规约语言Z对RFID安全协议HB进行形式规约,并对HB协议应该满足的安全性质进行形式化描述,使用Z模式推理从协议及其运行环境两个方面验证了协议的关键安全属性,发现了HB协议在设计方面的缺陷,提出了HB协议的一种改进方法。
补充资料：内部形式与外部形式
标示形式自身相互区别的一对哲学范畴，即表现事物内容的两种不同的方式。内部形式是内容的内在组织结构，内容诸要素间的本质联系；外部形式是内容的外在的非本质的联系方式，是使不同内容的事物相互区别的外部形态、外部表现。内部形式和内容不可分割，和内容一起表现着事物的本质方面，其发展变化直接影响着内容的发展变化。它包含在内容自身之中，在一定意义上是内容的组成部分、因素和环节，和内容是直接统一的。外部形式同事物的现象相联系,是内容的外观,它以外在的表现形式对内容发生影响。外部形式同内容的联系不具有内部形式那样的内在性、直接性，它和内容不是直接统一的。
内部形式和外部形式的区分对于文学艺术具有重要意义。文学艺术内容的内部结构性、组织性，形象联系的合理性、协调性和完整性等，直接表现着文学艺术作品的思想主题，它们是和文学艺术内容直接统一的内部形式。在此意义上，内部形式也就是内容的组成部分。文学艺术作品的内容又要通过物质材料，通过文学艺术思想的物化形态表现出来，以供观赏。物质材料等文学艺术思想的物化形态，构成文学艺术的外部形式。对于文学艺术来说，其外部形式具有重要的作用。事物的外部形式具有不同的层次，其中，有些同事物的内容存在着一定联系，有些则同事物的内容并不直接相关。
唯物辩证法首先重视事物的内部形式，认为内部形式和内容一起共同表现着事物的本质，它对于理解和把握事物的发展具有重要意义。与此同时，也注意事物的外部形式，认为它是影响事物发展的一个因素。
内部形式和外部形式的区分对于文学艺术具有重要意义。文学艺术内容的内部结构性、组织性，形象联系的合理性、协调性和完整性等，直接表现着文学艺术作品的思想主题，它们是和文学艺术内容直接统一的内部形式。在此意义上，内部形式也就是内容的组成部分。文学艺术作品的内容又要通过物质材料，通过文学艺术思想的物化形态表现出来，以供观赏。物质材料等文学艺术思想的物化形态，构成文学艺术的外部形式。对于文学艺术来说，其外部形式具有重要的作用。事物的外部形式具有不同的层次，其中，有些同事物的内容存在着一定联系，有些则同事物的内容并不直接相关。
唯物辩证法首先重视事物的内部形式，认为内部形式和内容一起共同表现着事物的本质，它对于理解和把握事物的发展具有重要意义。与此同时，也注意事物的外部形式，认为它是影响事物发展的一个因素。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条