英语人>网络例句>specification statement 相关的网络例句
specification statement相关的网络例句

查询词典 specification statement

与 specification statement 相关的网络例句 [注:此内容来源于网络,仅供参考]

In order to introduce the formal techniques such as stepwise refinement, automatic transformation and testing based on formal specification to the multimedia field, we first present a powerful subset of Allen's interval algebra as the temporal specification language to multimedia program.

为了在多媒体领域中应用逐步求精、程序自动生成和面向形式规范的并发系统测试等形式化技术,本文首先研究一个表达能力足够的Allen区间代数的子集合,以它作为多媒体对象时序关系的描述语言。

LOM Specification and "Educational Resources Construction Technology Specification" are produced under such situation.

LOM规范和"教育资源建设技术规范"就是在这种条件下产生的。本文对LOM规范和"教育资源建设技术规范"作了简要的介绍。

All steel framed structures shall be designed as "rigid frame"(AISC Specification Type 1) or "simple" space frames (AISC Specification Type 2), utilizing single-span beam systems, vertical diagonal bracing at main column lines and horizontal bracing at the roof and major floor levels.

所有的钢框架结构应该设计成"钢架"或者"简易的"空间框架,采用单跨梁系统,在柱杆线上使用对顶撑杆并在顶部和主要的楼板平面上使用水平联条。

Seller expressly warrants that a11 the materials and articles covered by this order or other description or specification furnished by Buyer will be in exact accordance with such order,description or specification and free from defects in material and/or workmanship,and merchantable.

供方确保按本订单或供方所提供的其他说明书所提供的一切物品完全符合规定,在材料、工艺及适销方面没有缺陷。

This paper introduces a convenient reengineering assistanttool which was developed by the author and other researchers in De Montfort University,UK,and can be used to abstract a specification from a pro-gram(i.e.from source code text to specification source text),and give a case study with RA.

因为程序设计和规约是在更高的抽象层次上,这一层次更简洁或易于理解。从源代码中成功抽取面向语义的规约,将有利于理解,从而有助于对遗留系统进行再工程。从

At present, the products of the company have the specification of the k100-wd140 , k100-wd160, k100-wd180 specified environmental protection type carpet special used to heat up belt and various of specification nog strip , carpet glue , antislipery cushion, the aluminium closing in strip , carpet heating up and little surporting tools and so on.

我公司拥有自营进出口权,目前公司产品有k100-wd140,k100-wd160,k100-wd180等规格的环保型地毯专用烫带,以及各种规格的木钉条,地毯胶垫,防滑垫,铝收口条,地毯烫斗和小撑子等。

Must understand the meaning of 'performance specification' and thus be able to competently handle itemized equipment specification.

必须了解性能规格的意义,从而能够胜任处理逐项的设备技术规范。

The fourth aspect is about authentication protocols analysis in special systems. We gave out the security analysis of AKE protocol and reauthentication protocol in the POD copy protection specification. We also gave out the security analysis of AKE protocols in DTCP specification.

在特定系统中认证协议分析方面,给出了配置点拷贝保护系统中认证密钥交换协议和重新认证协议的安全分析;给出了数字电视拷贝保护规范中的完全认证协议的安全分析。

The reauthentication protocol in POD copy protectionspecification can not defend the protocol against a simplest replay attack. The AKE protocol in the specification has unwelcome security attributes on implementation. The AKE protocol in DTCP specification has the sender mismatching or receiver mismatching attributes, which can threat the integrity goal of DTCP system and may affect possible application scenarios.

指出配置点拷贝保护系统中的重新认证协议不能抵抗简单的重放攻击,其中的认证密钥交换协议具有实现上不受欢迎的安全属性;指出数字电视拷贝保护规范中的完全认证协议具有发送者失配或者接收者失配属性,这些属性会威胁该规范的完整性目标,并影响该规范可能的应用场景。

Forth, depending on a limited syntax language, a research on the method and process of the semi-formal specification of the top level function is developed. This top level specification paves the way for the system verification and the covert channel analysis.

第四,借助一种受限的句法语言,研究了对系统顶层功能进行半形式化规范的方法和过程,而顶层功能规范则为系统验证、隐蔽通道分析等后继工作奠定了基础。

第5/437页 首页 < 1 2 3 4 5 6 7 8 9 ... > 尾页
相关中文对照歌词
Lights Out
Petrified Life And The Twice Told Joke (Decrepit Bricks)
U Want It
We're Together
Ribbons
Soundtrack To Your Life
Porn Wars
Letters To The President
Robots One, Humans Zero
Come Along
推荐网络例句

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他,我不喜欢他的这种性格。

As we know the price of traditional product is composed of the cost and the profit of the company involving market competition, monopolizes and many other factors.

我们知道作为传统的商品,定价的模式往往是在成本的基础上增加厂商的预计利润而形成其价格,当然也要考虑到市场竞争、垄断等其他方面的因素。