Influence of impact energy on pile integrity test in dynamic test for piles
动力试桩中冲击能量对桩身完整性检测的影响
互联网摘选
国际法体系化机制包括静态体系化机制和动态体系化机制,前者使国际法体系整体纵横有序,后者的作用是维护国际法律体系的现有秩序,使国际法体系保持张力。
互联网摘选
提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型,并对该模型的正确性和可靠性进行了证明;
互联网摘选
用照像、制版和腐蚀的方法制造一种三极板单片式电容传感器,用于在介质薄膜的生产线上动态测厚。
互联网摘选
计算结果表明副元素间呈现出连续弹性变形现象,在连续变形接触处,动态磨损量较大使磨损加剧,并出现非均匀磨损。
互联网摘选
The Web Service Semantic Description Model for Dynamic Application Integration
支持动态应用集成的WEB Service语义描述模型
互联网摘选
中间产品C~4ISR体系结构动态行为语义一致性验证方法
互联网摘选
给出了Bichon语言原型的核心语法,构件动态连接的运行时语义描述,类型系统。
互联网摘选
So, this paper addresses how to define program semantics on dynamic data structures.
本文针对这种情况,研究了如何正确刻划动态数据结构的程序语义问题。
互联网摘选
为解决这一问题,该文首先构造一个能够用于软部件动态语义检测的抽象描述模型;
互联网摘选
Graphical Workflow Process Modeling and its Automata-Based Dynamic Semantics
工作流过程图形建模及基于自动机的动态语义
互联网摘选
Axure RP Pro 5. 5 now includes the Dynamic Panel Manager (see section 4 below).
Axure反相临5.5现在包括了动态管理委员会(见下文第4节)。
互联网摘选
本文分析了传动系统的弯曲振动及扭转振动的动态特性.
互联网摘选
Dynamic response analysis of steel frame for tower type boiler under seismic action
塔式锅炉钢架在地震作用下的动力响应分析
互联网摘选
