您要查找的是不是：
- The principle and method for the definition of sport include multidimensionality, broad sense, narrow sense, formal nature, and non formal nature. 体育概念界定的原则和方法包括多维性、广义性和狭义性、正式性和非正式性。
- Finally, the author proposes a formal model of discourse construal from a generative holistic perspective. 最后，文章提出了一个语篇整体性识解的形式模型。
- 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。
- 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使用模式定理。
- 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软件对传输协议进行形式化开发,包括协议形式化描述、仿真、和验证。
- 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.
- Once again, the "soft" nature of these constraints has prevented their inclusion in formal models. 这的制约因素的“伸缩”性质再一次使它们不能包括在正式模型里。
- 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. 纯理论学家对这种修修补补的办法深恶痛绝，他们认为只有无法建立良好正规模型的人，才会想出实验这种不牢靠的办法。
- This thesis proposes a CASE tool ACASE which is an integration of different techniques for the formal modeling and simulation of Active Networks. 本论文是利用电脑程式作为逻辑电路的模拟实验，并且采用包括类神经网路与模糊逻辑控制推论方法，来实现全加器与全减器的真值表。
- FORMAL MODEL OF BACKTRACKING ALGORITHMS 回溯算法的形式模型
- This non sequitur invalidates his argument. 他不根据前提推理因而论证无效。
- A Formal Model of a Spatial Economy 一个空间经济的正式模型
- Reputation Formal Model for Wireless Sensor Network 基于无线传感器网络的信誉形式化模型
- Patience is a sine qua non for a good teacher. 做个优秀教师必不可少的条件是要有耐心。
- Safety Assessment of Interlocking Formal Model 联锁系统形式化模型的安全性评估
- The diplomat was declared persona non grata. 这位外交家被宣布为不受欢迎的使节。
- Formal Model of Object-oriented Architecture 面向对象软件体系结构的形式化模型
- He is declared personal non grata and forced to leave the country. 他被宣布为不受欢迎的人而被迫离开该国。
- We were invited to a formal luncheon. 我们被邀参加一次正式的午宴。
