您要查找的是不是：
- formal model description 形式模型描述
- Finally, the author proposes a formal model of discourse construal from a generative holistic perspective. 最后，文章提出了一个语篇整体性识解的形式模型。
- This paper introduces an evidential reasoning-based approach for recognizing and extracting manufacturing features from solid model description of objects. 本文介绍了一种为识别和提取对象的实体模型描述，基于证据推理的方案。
- And then based on the framework, this paper fatherly researched CMMS based data-collection, ECA rules based scheduling formatted description, and UML based scheduling formal modeling. 基于该建模框架,面向兵力调度本文进一步研究了基于CMMS的数据搜集、基于ECA规则的兵力调度格式化描述以及基于UML的兵力调度形式化建模,在此基础上给出了基于工作流的兵力调度模型。
- In meson-exchange model description of nuclear force, themost important one is the pseudoscalar meson pions, which provide the longest range force between to nucleons. 重新开这栋楼所发表的主贴，跟那个帖子已经完全不同，你只用针对这栋楼发表的主贴回复。
- TUGEN integrates the features of data-flow and control-flow test and is based on a formal model called EBE, which specifies only the external behavior of a protocol. 测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支。 提出了一种基于EBE模型，集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现TUGEN。
- A feedforward adaptive control system based on ARX model description has been developed and applied to the control of structural vibration excited by Pseudo-periodic signals. 摘要发展一种基于ARX模型描述的实时自适应前馈控制系统，并将其应用到具有拟周期扰力的结构振动控制中。
- The definitions of 3A (Any time, Any place and Any device) utilization mode are presented and a formal model of user and service grid system (USG) is built using ASM. 给出了用户3A (Anytime, Anyplace and on Anydevice)使用模式的定义,利用抽象状态机(ASM)理论对用户和服务网格系统进行形式化建模,并证明了服务网格3A使用模式定理。
- According to the requirement of extending application protocol, a geometric model description methods of the cone gear for final driver of automobile driving axle system based on STEP were presented(ZCAP203,ZCAP42). 根据扩展应用协议的要求,提出一种基于STEP标准的汽车后桥主传动器中圆锥齿轮类零件的几何模型描述(ZCAP203、ZCAP42)。
- ESTELLE LOTOS SDL UML and MSC are introduced. After analyzed SDL system structure communication mechanism and data type, we use SDL toolkit Telelogic Tau to develop our formal model. 然后本文采用SDL规范,利用Telelogic Tau软件对传输协议进行形式化开发,包括协议形式化描述、仿真、和验证。
- According to the requirement of extending application protocol,the geometric model description methods of the cone gear for final driver of automobile driving axle system based on STEP were presented(ZCAP203,ZCAP42). 根据扩展应用协议的要求 ,提出一种基于STEP标准的汽车后桥主传动器中圆锥齿轮类零件的几何模型描述 ,如ZCAP2 0 3、ZCAP42。
- Once again, the "soft" nature of these constraints has prevented their inclusion in formal models. 这的制约因素的“伸缩”性质再一次使它们不能包括在正式模型里。
- Timothy K. Shih, Lain-jinn Huang, Jich-yan Tsai, "Formal model of temporal properties underlying multimedia presentations," 1997 international conference of multimedia computing and systems, 1997. 洪文斌;黄连进;"使用类神经网路来作文件自动分类之研究;"1998分散式系统技术及应用研讨会;1998/05/14.
- The formal modeling for cryptographic protocols, namely security protocols, is the basis of their analysis and design. 摘要密码协议分析与设计的基础是对其进行形式化建模。
- Such tinkering is anathema to pure theorists, who see experiments as a rickety crutch for those who cannot build good formal models. 纯理论学家对这种修修补补的办法深恶痛绝，他们认为只有无法建立良好正规模型的人，才会想出实验这种不牢靠的办法。
- Power Load Dynamic Model Description 电力负荷动态模型综述
- This thesis proposes a CASE tool ACASE which is an integration of different techniques for the formal modeling and simulation of Active Networks. 本论文是利用电脑程式作为逻辑电路的模拟实验，并且采用包括类神经网路与模糊逻辑控制推论方法，来实现全加器与全减器的真值表。
- E language is a data model descriptive language for the power system developed by National Electric Power Dispatching and Communication Center. 语言是由国家电力调度通信中心开发的电力系统数据模型描述语言。
- FORMAL MODEL OF BACKTRACKING ALGORITHMS 回溯算法的形式模型
- We were invited to a formal luncheon. 我们被邀参加一次正式的午宴。
