查询词典 requirements specification

Helicopter Design Institute of China Aviation Industry deputy chief designer, AC313 helicopter designer Xu Chaoliang description, AC313 helicopter innovation embodied in the eight key technology breakthroughs: 30 minutes drive to meet the "dry run" security requirements ; fuel system and body structure to meet the anti-crash and lightning safety requirements; driver and passenger seat crashed through the anti-dynamic security testing; body structure, control systems and meet the bird impact rotor system security requirements; airborne equipment to meet the lightning and high strength radiation protection design requirements; cockpit layout to meet the crew emergency evacuation safety requirements; rotor and composite material structure to meet the fatigue assessment based on damage tolerance requirements; mechanical systems to meet the design requirements of high energy rotor burst protection.

中航工业直升机设计研究所副总设计师、AC313直升机总设计师徐朝梁介绍，AC313型直升机的自主创新具体体现在八项关键技术的突破上：传动系统满足30分钟的&干运转&安全性要求；燃油系统和机体结构满足抗坠毁及雷击安全性要求；驾驶员和乘员座椅通过抗坠毁动态安全测试；机体结构、操纵系统及旋翼系统满足鸟撞安全性要求；机载设备满足雷击和高强辐射场防护设计要求；座舱布局满足乘员应急撤离安全性要求；旋翼和复合材料结构满足基于损伤容限疲劳评定要求；机械系统满足高能转子破裂防护设计要求。

There are special requirements, companies have professionals on the design of user requirements, product used for aluminum extrusion for the high-strength aluminum, rubber Qiantiao imported SANTOPRENE thermoplastic rubber, the SANTOPRENE for the continuous extrusion products, the scene without Mosaic, a color choice requirements under the shade guide can be selected to produce the products to be waterproof, fire safety requirements, reprovisioning Zhishui Dai, fire zone, to meet special requirements of the product.

有特殊要求的，公司有专业人员按用户要求进行设计，产品所用铝型材为连续挤出的高强度铝合金，橡胶嵌条采用进口SANTOPRENE热塑性橡胶，该SANTOPRENE为连续挤出成品，现场不需拼接，有色泽选择要求，可根据色板选定进行生产，该产品需防水、防火要求，可另配止水带、防火带，满足该产品特殊要求。

First design a reasonable XML Schema structure and under the restriction of XML Schema use XML to describe the UML class diagram and the related specification, and then extract the test specification of method from XML test script. Test specification refers to predicate sequences in the form of conjunctive normal form, extracted from basic constraint conditions of variables included in test scripts and expected outputs. Each conjunctive normal form can be transformed to an inequation set, and adopt 1×1 domain test strategy to every inequation set to produce the domain test matrix, which in turn produce the test case.

首先设计合理的XML Schema结构，并在该XML Schema的有效性约束下，用XML对UML类图及相关性约束进行脚本描述；其次对XML测试脚本进行分析，提取方法的测试规约说明，所谓测试规约说明就是从测试脚本中包含的变量的基本约束条件以及期望输出中抽取得到的以合取范式形式存在的谓词序列；每一合取范式对应一个不等式组，对每一个不等式组采用1×1域测试策略，生成域测试矩阵，最终得到测试用例。

A change of the specification may be considered small if it affects only a small number of specification modules; to ensure continuity, there must be a direct correspondence between specification, design and implementation modules.

如果一个规格的变化只影响小部分的规格模块，那么这可能会被认为无关紧要；为了确保连续性，在规格，设计和实现模块之间必须有直接对应。

The last one: Produced the application method of LOTOS specification styles in network service and protocol design, the concept of formal structural model and its design approach, Macro-oriented specification style and its implementation, the transformation of LOTOS specification to C or C++. Then an example is taken to illustrate how to use the ADT to describle a protocol.

第四部分：提出了LOTOS规范风格在网络服务和协议设计中的应用方法、形式结构模型的概念及实现方法、面向宏的概念及实现方法、LOTOS规范的C、C++实现方法；并举一案例说明基于LOTOS技术的协议设计方法。

The formal description technology based on LOTOS, the formal transformation, the formal validation and implemenation are generalized. Constructions of communication service and communication protocol, transformation from service specification into protocol specification based on bisimulation equivalence are also stated in detail. Application of LOTOS specification styles and architecture concept in service and protocol design is studied as an emphasis.

归纳总结了基于LOTOS的形式化描述方法、形式化的转换、验证和实现等方法理论，以及通信服务和协议的构造方法及服务规范到协议规范的等效性转换方法，重点研究了规范风格和结构概念在服务和协议设计中的应用。

According to the definition of technical specification by ISO and WTO and the relationship between technical specification and laws and regulations, in fact technical specification is a peremptory technical document, it has the characters both of technology and laws.

根据ISO和WTO对技术法规的定义以及技术法规与法律法规的关系，技术法规本质上是一种需要强制遵守的技术性文件，具有技术和法律两方面的规定性。

Architecture description languages and their accompanying toolsets have been proposed as the answer. The XYZ/E is an executable linear temporal logic language. It can represent both dynamic and static semantics of systems. Basing on XYZ/E, the executable linar temporal logic language, we provide an architecture description language XYZ/ADL, which can represent both high-level abstract specification and the concrete implementation, thereby provides premise for the smooth transition from specification to implementation. And it can represent both the specification and the inner structure of a component under the unified logic framework, owing to the representability of the XYZ/E.

本项目研究旨在根据XYZ系统的特性，在时序逻辑语言XYZ/E的基础上，提出一种支持在XYZ系统中设计软件体系结构的描述语言XYZ/ADL，使之不仅能够对软件体系结构进行精确的形式化描述，而且为对其进行求精、验证、演化和分析提供基础，从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构，并逐步过渡到最后的算法实现，从而能够支持软件开发设计的逐步求精全过程，把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。

Its basic idea is to adopt formal or semi-formal method to develop the component. The developer provide the component with a formal specification with a given structure firstly, then build the component from this specification, and produces the description of component by this specification and other information.

其基本思想是：采用形式化或半形式化的方法来开发组件，首先为组件提供一个特定结构的形式规格说明，开发者根据该规格说明构造组件，并根据该规格说明及相关信息获得组件描述。

Arc cutting;Arc welding;Arc welding cables;Arc-welding equipment;Blowpipes;Connectored joints;Construction requirements;Definitions;Degrees of protection;Dimensioning;Electric contact protection;Electrical engineering;Electrical safety;Environmental condition;Equipment;Feed;Feeder units;Feeding devices;Filler wire;MAG welding;Manual arc welding;Marking;MIG welding;Operating instructions;Performance requirements;Plasma arc cutting;Plasma-arc welding;Protection against electric shocks;Protective measures;Safety;Safety devices;Safety requirements;Specification;Temperature range;Test conditions;Testing;Testing conditions;Welding;Welding engineering;Welding equipment;Welding power supply;Wire guiding;Wires

中文标题弧焊设备。第5部分：焊丝进料装置中文主题词电弧切割；电弧焊接；弧焊电缆；电弧焊接设备；焊枪；连接器的连接件；结构要求；定义；防护等级；尺寸选定；电接触保护；电气工程；电气安全；环境条件；设备；进给量；进料装置；供片装置；填充金属丝；MAG焊接；手动弧焊；作标记；金属极惰气保护焊；操作说明书；性能要求；等离子体电弧切割；等离子电弧焊；防电击；保护措施；安全；安全装置；安全要求；规范；温度范围；试验条件；测试；测试条件；焊接；焊接工程；焊接设备；焊接电源；校正铜网；金属线

But this is impossible, as long as it is engaging in a market economy, there are risks in any operation.

但是，这是不可能的，只要是搞市场经济，是有风险的任何行动。

We're on the same wavelength.

我们是同道中人。