• Formal description system of checking information and its parse system.

    实现了阅卷信息形式化描述以及对应的语言解释系统。

    youdao

  • And, the expanded RBAC model-ERBAC model and the formal description are given.

    给出扩展RBAC模型—ERBAC模型,并给出了其形式化描述

    youdao

  • A transport protocol and its formal description techniques for local networks are discussed.

    本文研讨局部网络传输协议及其形式描述技术

    youdao

  • This paper presents a new hybrid model called FCA for communication protocol formal description.

    本文提出了适用于通信协议形式描述的一种新的混合模型,文中称之为FCA混合模型。

    youdao

  • Alternatively, the model could be processed into a WSDL fileagain a formal description of a Web service.

    或者模型处理wsdl文件同样Web服务正式描述

    youdao

  • Now the main methods of software architecture description are formal description and visual description.

    目前主流软件体系结构描述方法有两类,分别形式化描述可视化描述。

    youdao

  • With the formal description of the adaptor generating process, we can automatically generate the adaptor.

    通过适配器生成过程形式化描述可以自动生成适配器。

    youdao

  • A formal description of a system, or a detailed plan of the system at component level to guide its implementation.

    系统正式描述用于指导实现的组件级别的系统详细计划

    youdao

  • A formal description is designed for process chains, determined by the processing of complex 3d geometry models.

    描述过程模型设计复杂3D几何数据模型的制作说明了这些过程链。

    youdao

  • A formal description of hypercube is given, from which a recursive method of constructing a hypercube is derived.

    本文给出了超立方体计算机结构集合描述并由此导出了该结构的递归构造

    youdao

  • A formal description of process patterns is established in this paper by extending the semantics of the XPDL language.

    通过扩充XPDL语言语义建立一种过程模式描述技术。

    youdao

  • Formal description and automatic implementation play an important part in main developing work of protocol engineering.

    通信协议工程主要开发作业中,形式描述自动实现扮演重要角色

    youdao

  • A classic perception of liars is that they are more anxious, and the 'Anxiety Hypothesis' is a formal description of the idea.

    一种典型观点认为,撒谎者更为焦虑焦虑假说观点正式描述

    youdao

  • The precise formal description is the basement of the research, and all the analysis and verification behind are based on it.

    精确形式化描述整个研究基石,后面分析验证基于形式化描述。

    youdao

  • Formal description of emergency plans is the precondition and basis to establish the theoretical framework for emergency plans.

    应急预案形式化描述建立应急预案理论框架前提基础

    youdao

  • LOTOS is a specification language that aims at describing the dynamic behavior of complex systems (formal description language).

    LOTOS主要用来描述复杂系统动态性说明语言(形式描述语言),是可操作的。

    youdao

  • It is given and discussed the hierarchical structure of general distributed application system, and given its formal description.

    首先给出讨论了一般分布式应用系统层次化结构,并给出了形式化描述

    youdao

  • Quantum description, which is based on superstring description, is doomed to have some hard-dealt problems, as a formal description.

    量子描述建立量的基础之上,这种形式化描述本身会遇到难以处理的问题

    youdao

  • The idea and formal description of channel routing are introduced, and a mean field annealing neural network approach is adopted in the problem.

    介绍通道布线思想,给出相应的形式化描述,提出一种神经网络求解算法。

    youdao

  • After analysing the activity flow drawing of the users, the modeling tool generates a XML formal description file which is parsed by flow engine.

    流程建模工具用户绘制作业流程图进行分析生成一个可以流程引擎解析的基于XML形式化描述文档

    youdao

  • In this paper, gives a formal description of objects and attributes in TDBAM, then discusses the kinds and implement of limited-value attributes.

    该文给出tdbam数据对象形式化描述,讨论有限取值属性几种形式及其实现

    youdao

  • This paper gives the formal description of the two-party protocol, and discusses the security, authenticability and verifiability for two-praty protocols.

    论文首先给出协议形式化描述然后讨论了协议安全性、可鉴别性可验证性。

    youdao

  • Firstly a formal description of the problem is proposed, and then the problem is transformed into one kind of equivalent form about polygon motion planning.

    给出了此问题形式化描述问题归约关于多边形运动规划等价形式

    youdao

  • This method takes formal description of protocols as input, and is easy to be automated, also generates a shorter test sequence, promotes the test efficiency.

    这种方法协议形式化描述输入易于自动化实现同时生成测试序列短,提高测试效率。

    youdao

  • This paper gives a market based formal description on the multi-robot task allocation problem, and discusses the task allocation taxonomy and performance indexes.

    通过任务分配问题分析,建立了一套基于市场机制机器人任务分配问题形式化描述方法,讨论了多机器人任务分配的分类及评价指标。

    youdao

  • Information processing systems becoming large and complex, Formal description methods are needed for specification of systems and their efficient and reliable designs.

    信息处理系统规模化复杂化需要有效设计高可靠性系统的形式化规格描述方法

    youdao

  • An ontology is the entity which composes of the concept of knowledge, the relationship between the concepts and formal description language can be identified by computers.

    本体知识中的概念概念关系以及计算机可以识别形式化描述语言组成的实体

    youdao

  • The formal description techniques for intelligent network (IN) service and the theory and methods in IN's service verification are the key technologies in IN's realization.

    智能网业务形式化描述技术业务验证理论方法目前智能网(IN)业务实现过程中的关键技术

    youdao

  • Based on analyzing and studying dependency injection, a formal description for its execution with a kind of mathematical tool named complete lattice is given in this paper.

    本文分析研究依赖注入技术基础上,完全工具形式化描述依赖注入的执行过程

    youdao

  • It is a formal description of the normal usage and management of the network system and it is a rule that the operators and managing staffs of the network system must obey.

    正常使用管理网络系统正式描述,是网络系统使用管理人员必须遵守规则

    youdao

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定