本文提出一种变异分析技术来测试基于XML的网络异构组件交互的语义正确性。
互联网摘选
Strength checking calculation of partial penetrated butt weld in the box component
箱形钢构件半熔透对接焊缝的强度验算
互联网摘选
为了使测试更加精确, 很多测试设备可以构成两线 、 三线或四线测量.
互联网摘选
WindowsDNA是Microsoft用于构建三层 、 基于组件的应用程序的策略性框架结构.
互联网摘选
Rational Rose is OO tool, which supports software developing thinking based on component.
Rational ROSE是面向对象的分析设计工具,支持基于组件的软件开发思想。
互联网摘选
Research on encapsulation of service component based on service-oriented architecture
基于SOA的服务构件封装技术研究
互联网摘选
本文针对构件的不同类型,对不同的构件采用不同的封装策略,并在此基础上,根据构件之间的语义联系,提出了一种构件组装的抽象机制。
互联网摘选
模型的结构语义由类型范畴图表来指代,行为语义则由范畴附带的进程行为迹来表示,模型间的映射关系用范畴理论中的态射和函子来形式化描述。
互联网摘选
具体如下:首先,本文结合构件的静态结构特征和动态行为特征,基于谓词逻辑、集合论以及进程代数π演算,提出了一种构件的形式语义模型。
互联网摘选
提出包含功能属性,非功能属性和质量属性的构件描述模型。
互联网摘选
封装于壳体内的各部件包括鼓风机、抽吸泵、膜组件和曝气系统。
互联网摘选
介绍了乙烯裂解炉金属催化结焦、自由基结焦和非催化缩合结焦3种结焦机理以及国内外采用的添加结焦抑制剂、炉管涂覆及改变炉管表面的机械构件等结焦抑制技术。
互联网摘选
基于精确的悬链线索元模型,本文推导了一种反映索原长和索张力水平分量之间关系的协调方程式,以及适用于动力松弛法找形分析的索元弦向刚度表达式。
互联网摘选
这些存款叫做准备金余额,与通货一起作为基础货币或中央银行货币的重要组成部分,最终将带来更广泛货币供应衡量指标的变化。
互联网摘选
提出了分量函数矩阵和广义二次型函数等新的概念,讨论了广义二次型函数定号性的判定方法。
互联网摘选
对可撤除掌纹构件的描述,提出了从基本信息,功能信息和非功能信息三个刻面对构件进行描述的方法,并给出了这几个刻面需要描述的详细信息。
互联网摘选
在自然语言处理系统(包括机器翻译系统)中,语法、语义信息词典是必不可少的构件。
互联网摘选
但在运行中周围的电气负荷略有变化便会冲程序,使其无法正常工作,干扰严重的工业环境中甚至会引起集成元件及CPU芯片损坏。
互联网摘选
