您要查找的是不是：
- The principle and method for the definition of sport include multidimensionality, broad sense, narrow sense, formal nature, and non formal nature. 体育概念界定的原则和方法包括多维性、广义性和狭义性、正式性和非正式性。
- The formal modeling for cryptographic protocols, namely security protocols, is the basis of their analysis and design. 摘要密码协议分析与设计的基础是对其进行形式化建模。
- Finally, the author proposes a formal model of discourse construal from a generative holistic perspective. 最后，文章提出了一个语篇整体性识解的形式模型。
- This thesis proposes a CASE tool ACASE which is an integration of different techniques for the formal modeling and simulation of Active Networks. 本论文是利用电脑程式作为逻辑电路的模拟实验，并且采用包括类神经网路与模糊逻辑控制推论方法，来实现全加器与全减器的真值表。
- 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使用模式定理。
- 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的兵力调度形式化建模,在此基础上给出了基于工作流的兵力调度模型。
- 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软件对传输协议进行形式化开发,包括协议形式化描述、仿真、和验证。
- 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.
- Such tinkering is anathema to pure theorists, who see experiments as a rickety crutch for those who cannot build good formal models. 纯理论学家对这种修修补补的办法深恶痛绝，他们认为只有无法建立良好正规模型的人，才会想出实验这种不牢靠的办法。
- This non sequitur invalidates his argument. 他不根据前提推理因而论证无效。
- FORMAL MODEL OF BACKTRACKING ALGORITHMS 回溯算法的形式模型
- A Formal Model of a Spatial Economy 一个空间经济的正式模型
- Patience is a sine qua non for a good teacher. 做个优秀教师必不可少的条件是要有耐心。
- The diplomat was declared persona non grata. 这位外交家被宣布为不受欢迎的使节。
- We were invited to a formal luncheon. 我们被邀参加一次正式的午宴。
- Reputation Formal Model for Wireless Sensor Network 基于无线传感器网络的信誉形式化模型
- He is declared personal non grata and forced to leave the country. 他被宣布为不受欢迎的人而被迫离开该国。
- He cast his last remark in more formal wording. 他用更正式的措词表达了最后一句话。
