1) description method
描述形式
1.
New description method of Berlekamp-Massey algorithm;
Berlekamp-Massey算法的新描述形式
3) formal description
形式描述
1.
In order to effectively support distributed development and make software collaborative development environment more effective and comfortable to use,collaborative theory and application tool were integrated with formal description.
为了有效地支持软件分布式开发,提高软件协同开发环境的易用性和有效性,从协同理论和应用工具两方面入手,在集成了多种协同应用软件的同时,融入了对参与者的形式描述,提高了开发环境的智能性和可定制性,进而提高了协同开发的质量和效率。
2.
This paper give a method based on a formal description language to implement the encode and decode program.
提出一种基于形式描述的网络帧编解码实现方法,用形式化的方法在一定程度上实现网络帧编解码程序的自动生成。
3.
The modeling, formal description and correctness verification of online static and dynamic stock trading systems, based on Shanghai Stock Exchange, are shown by using temporal Petri nets in order to make online stock trading systems more effective and rational.
基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证。
4) specification
[英][,spesɪfɪ'keɪʃn] [美]['spɛsəfə'keʃən]
形式描述
1.
Linear visual specification and parser of form;
表格的线性直观形式描述及其解析
2.
It is pointed out that FTS model provides a better basis for specifications of concurrent systems with temporal logic.
本文概述了目前用于并发系统形式描述的几个重要的基本模型:FSM、Petri网、FTS以及CSP、CCS、Statechart等,并分析了上述一些模型的特点和不足之处,指出FTS模型为时态逻辑用于并发系统形式描述提供了良好的基础。
5) formal specification
形式化描述
1.
The formal specification of railway crossing system based on Real-Time Object-Z
基于Real-Time Object-Z语言的铁路交叉道口系统的形式化描述
2.
Based on physicality and design,a new agent model is put forward,whose formal specification is given.
基于物理和设计立场,提出一种新的Agent结构模型,并作了形式化描述。
3.
The formal specification of architecture is on the assumption of static system interaction and configuration.
体系结构的形式化描述大都基于系统的静态的交互和配置。
6) formal description
形式化描述
1.
Network fault management formal description based on Communication Sequential Processes(CSP);
基于通信顺序进程的网络故障管理形式化描述
2.
XML-Based Formal Description and Its Application in Exam.System;
基于XML的形式化描述及其在考试系统中的应用
3.
Research of protocol formal description based on RSL;
RSL在协议形式化描述中的应用研究
补充资料:内部形式与外部形式
标示形式自身相互区别的一对哲学范畴,即表现事物内容的两种不同的方式。内部形式是内容的内在组织结构,内容诸要素间的本质联系;外部形式是内容的外在的非本质的联系方式,是使不同内容的事物相互区别的外部形态、外部表现。内部形式和内容不可分割,和内容一起表现着事物的本质方面,其发展变化直接影响着内容的发展变化。它包含在内容自身之中,在一定意义上是内容的组成部分、因素和环节,和内容是直接统一的。外部形式同事物的现象相联系,是内容的外观,它以外在的表现形式对内容发生影响。外部形式同内容的联系不具有内部形式那样的内在性、直接性,它和内容不是直接统一的。
内部形式和外部形式的区分对于文学艺术具有重要意义。文学艺术内容的内部结构性、组织性,形象联系的合理性、协调性和完整性等,直接表现着文学艺术作品的思想主题,它们是和文学艺术内容直接统一的内部形式。在此意义上,内部形式也就是内容的组成部分。文学艺术作品的内容又要通过物质材料,通过文学艺术思想的物化形态表现出来,以供观赏。物质材料等文学艺术思想的物化形态,构成文学艺术的外部形式。对于文学艺术来说,其外部形式具有重要的作用。事物的外部形式具有不同的层次,其中,有些同事物的内容存在着一定联系,有些则同事物的内容并不直接相关。
唯物辩证法首先重视事物的内部形式,认为内部形式和内容一起共同表现着事物的本质,它对于理解和把握事物的发展具有重要意义。与此同时,也注意事物的外部形式,认为它是影响事物发展的一个因素。
内部形式和外部形式的区分对于文学艺术具有重要意义。文学艺术内容的内部结构性、组织性,形象联系的合理性、协调性和完整性等,直接表现着文学艺术作品的思想主题,它们是和文学艺术内容直接统一的内部形式。在此意义上,内部形式也就是内容的组成部分。文学艺术作品的内容又要通过物质材料,通过文学艺术思想的物化形态表现出来,以供观赏。物质材料等文学艺术思想的物化形态,构成文学艺术的外部形式。对于文学艺术来说,其外部形式具有重要的作用。事物的外部形式具有不同的层次,其中,有些同事物的内容存在着一定联系,有些则同事物的内容并不直接相关。
唯物辩证法首先重视事物的内部形式,认为内部形式和内容一起共同表现着事物的本质,它对于理解和把握事物的发展具有重要意义。与此同时,也注意事物的外部形式,认为它是影响事物发展的一个因素。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条