模型检验器造句

• 模型检验器    在讲述服务组合时，引入了动作时序逻辑（TLA）的概念，提出了用TLA形式化描述、组合及验证Web服务的思想，并对Web服务描述语言（WSDL）进行了动态扩展，给出了从WSDL到TLA规范的转换算法和具体的实现，并使用TLA的模型检验器TLC对组合服务流程进行验证，以保证系统的安全性、活性与公甲性。
• 假设检验模型    给出了一次使用信道的安全条件，研究了随机性的统计检测方法，主要是贝努利试验二项分布情况下的统计检测，给出了基于相对熵的假设检验模型下关于多次使用信道安全性的一些结果。
• 模型检验    进行模型检验，确定了计算模型。 用砂泥岩互层模型检验垂向分辨率 模型检验中迁移关系的分组策略 时间自动机的模型检验中消除无关原子约束 分布式状态机的代数模型及其模型检验算法 可以概括为先对模型检验，然后再对残差进行检验。 模型检验( modelchecking )是一种重要的自动验证技术。 本文提出了对umlstatecharts进行模型检验的方法。 本课题的研究目的是采用...
• 做好检验质量分析报告，推广应用检验新技术    做好检验质量分析报告，推广应用检验新技术。
• 检验指示器    检验指示器指令
• 检验指示器指令    检验指示器指令
• 检验器    诺贝尔炸药公司生产的绝缘检验器，能够用来在爆破地点直接进行量测而没有任何危险。 从本质上说，我是在实现自己的字节码即时检验器。 您可以在最后用任何xml检验器检验此消息的有效性。 用英国摆锤检验器测定表面摩擦性能的方法 乳品检验器械.测定含脂量的mojonnier型提取瓶 用鲁兵逊地面检验器评价陶瓷地面砖铺盖装置标准试验方法 用碳化钙气压检验器法现场测定土壤中水含量的标准试...
• 自动空气检验器    自动空气检验器
• 色盲视力检验器    色盲视力检验器
• 加速器模型    伯南科和格特勒等人在提出金融加速器模型之后，1996年他们把金融加速器机制引入到新凯恩斯标准动态模型中，提出了BGG模型(Bernanke，Gertler和Gilchfist model，1999年正式称此模型为BGG模型)。
• 反应器数学模型    ８０年代完成了我国第一套２万吨／年甲基叔丁基醚装置反应系统的设计，开发了拟均相一维的反应器数学模型。 在此期间，开发出用反应动力学数据通过反应器数学模型计算合成氨反应器的计算方法，并借助计算机进行反应器计算。 化学反应工程以工业反应器中进行的反应过程为研究对象，运用数学模型方法建立反应器数学模型，研究反应器传递过程对化学反应的影响以及反应器动态特性和反应器参数敏感性，以实现...
• 女性的生殖器模型    在大量第一手数据的基础上，终于第一个完成了日本女性的生殖器模型。 女性的生殖器模型\n由于人种、民族、个体、年龄等的差别，女性生殖器尤其是外生殖器存在千差万别的个体差异。
• 存储器模型    实际上，由于在扁平存储器模型中，RAM通常位于物理地址的零页面，因此甚至NULL指针引用的解除都无法检测到。 第1章介绍GPU通用计算的发展历程，介绍并行计算的历史、现状以及面临的问题；第2章介绍CUDA的使用方法，帮助读者理解CUDA的编程模型、存储器模型和执行模型，掌握CUDA程序的编写方法；第3章探讨CUDA硬件架构，深入分析Tesla GPU架构与CUDA通用计算的...
• 客户服务器模型    系统的实现上采用基于客户服务器模型的三层结构模式。 作业管理系统具有典型的客户服务器模型结构，由客户、通讯代理agent 、服务器三层体系结构实现。 基于作业流的作业管理系统具有典型的客户服务器模型结构，由客户、通讯代理agent 、服务器三层体系结构实现。 在第2章中介绍了web编程模型，从最基本的两层客户服务器模型开始对web编程模型进行了分析并提出了一些改进。接着，就...
• 客户机服务器模型    但传统的客户机服务器模型已不能适应现代计算的需要。 多层应用体系结构作为新一代web计算模型，和传统的客户机服务器模型相比，增加了一个中间层部件，用于处理应用系统中的商业逻辑部分。 首先，在综合分析客户机服务器模型中通信系统整体要求的基础上，引入了可扩展标记语言，制定了一个适用于异步、低可靠网络环境的跨平台消息传输协议，用以封装所有传输在tcp ip套接字上的数据。 然后在...
• 推进器模型    吊舱式推进器模型试验方法中的一些问题
• 模型分离器    模型分离器就是可完好无损的把已拼装在一起的模型零部件拆开。
• 模型视图控制器    在设计模式上采用了模型视图控制器( model - view - controller ， mvc ) ，通过struts框架(一种基于mvc设计模式的web应用框架)来实现，在该模式设计中具体用到了三个主要的实现技术? ? javabean 、 jsp和servlet 。 在实现过程中，采用j2ee企业计算平台，引入了基于模型视图控制器mvc的设计模式，很好地实现了数据层...
• 模型跟踪控制器    先后设计了航空发动机变结构最终滑动模态控制器和完全模型跟踪的航空发动机最终滑动模念变结构模型跟踪控制器。 本文的创新之处主要有以下四点： l 、山模型跟踪控制器设计原理和混合灵敏度成形原理，提出了基于互补行庭成形和h 。 此外，文中对控制器中的可调参数对控制效果的影响及最终滑动模态变结构模型跟踪控制器在飞行包线范围内的适应性等工程应用问题进行了讨论。 仿真结果表明，所设计的...
• 航空器模型    航空模型是各种航空器模型的总称。
• omron传感器与温度控制器    《OMRON传感器与温度控制器》是“omron工业自动化丛书”之一。 《OMRON传感器与温度控制器》分为传感器技术篇和温度控制及plc温度模块篇。 《OMRON传感器与温度控制器》理论与实务相结合，通过图文并茂的方式介绍omron传感器与温度控制器的相关技术。 《OMRON传感器与温度控制器》可作为工科院校电气工程及自动化、工业自动化、应用电子、计算机应用、...
• 互感器校验用升流器    1、互感器校验用升流器是由输入绕组、输出绕组及穿心绕组组成。 互感器校验用升流器用于校验电流互感器时，作为供给电流互感器一次电流的电源或其它50Hz单相电流电源设备。
• 互感器检定用升流器    1、互感器检定用升流器是由输入绕组（220V、±）、输出绕组（100A以下）及穿心绕组组成。 互感器检定用升流器用于校验电流互感器时，作为供给电流互感器一次电流的电源或其它50Hz单相电流电源设备。
• 交流接触器节电器    交流接触器节电器 低压断路器检测、低压开关检测、隔离器检测、隔离开关及熔断器组合电器检测、低压机电式接触器和电动机起动器检测、控制电路电器和开关元件检测、交流半导体电动机控制器和起动器检测、铜导体的接线端子排检测、铜导体的保护导体接线端子排检测、控制与保护开关电器（设备）检测、接近开关检测检测、自动转换开关电器检测、非电动机负载用交流半导体控制器和接触器检测、具有确定功能的...
• 优势器-调变器理论    优势器-调变器理论(dominator modulatortheory)格兰尼特（R．A．Granit，1943）以单一视神经纤维的峰形放电为指标而提出的有关脊椎动物网膜光感受和色感受机制的理论。