基于顺序图的Web组合服务属性验证

为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相关属性;用顺序图对业务流程构建动态模型,以形象易理解的方式刻画组合服务的行为...     

Web服务对等联盟组织演化机制

为提高分布式非结构化对等网络中Web服务发现的效率和稳定性,设计了一种以Web服务提供者的服务内容为评价依据的对等联盟演化机制.根据该机制,服务提供者依据各自提供的Web服务内容之间的相似程度,自发形成联盟.每个提供者维护的同盟表用来保存部分盟友列表,从全局形成服务联盟.服务提供者根据盟友关系将Web服务的描述信息发布...     

装药缺陷对熔铸炸药爆速影响的实验研究

为研究装药缺陷对熔铸炸药爆速的影响,采用缺陷分类的研究方法对含有不同缺陷的RDX/TNT熔铸混合炸药进行了爆速实验研究.实验结果表明存在于不同组分中的缺陷会对爆速产生不同程度的影响,TNT中的缺陷使爆速降低幅度最大,若对炸药爆速有较高要求则应重点去除TNT内缺陷,并且推断缺陷尺寸大小可能是影响爆速的决定性因素.对现有ω-Г爆速计算公式进行改进使其能够体现装药缺陷对爆速的影响.     

最大熵原理在钝感熔铸炸药配方设计中的应用

针对含HMX或RDX的熔铸炸药降低冲击感度、提高使用安全性的需要,以最大熵为评价准则提出了钝感熔铸炸药的配方设计方法,并以此方法获得了能量和安全性俱佳的钝感熔铸炸药配方.选取NQ/HMX/TNT-36.1/33.9/30.0和NQ/RDX/TNT-34.5/25.5/40.0配方制备熔铸装药试样并进行爆速和枪击感度测试,结果显示两试样分别相对Octol 70/30和Cyclotol 60/40爆速仅降低2%～4%,但枪击感度大幅度降低,说明两试样在能量损失较小的情况下安全性大幅度提高,使能量和安全性俱佳,证明了本配方设计方法的可行性.     

水下爆炸载荷作用下舰用齿轮箱强度极限数值仿真研究

考虑到设备冲击极限载荷作为舰艇抗水下爆炸冲击设计与评估的重要基础,为了获取舰用设备冲击极限载荷特性,建立了某舰用齿轮箱的有限元模型,采用容许应力法分析了该设备的冲击极限载荷特性.结果表明,容许应力法是一种直接、有效获取舰用设备冲击极限载荷的计算方法,舰用齿轮箱的冲击极限载荷与输入载荷的加速度峰值和脉宽相关.     

目标减速机动对穿甲弹命中概率的影响分析

分析现代坦克的火控系统及高速穿甲弹的技术特点,提出目标方采用减速机动来减少高速穿甲弹命中概率的方法.在此基础之上,建立了基于传统炮兵射击理论的命中概率模型,并研究了在此对抗过程中影响命中概率的因素.研究结果表明,利用这一方法降低命中概率是可行的,减少反应时间是目标方降低命中概率的最有效途径.     

共归纳数据类型上的共递归操作及其计算定律

范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律;同时,利用双函子及类型函子对参数化共归纳数据类型进行抽象描述,并结合自然转换给出类型函子上的单元和融合等计算定...     

柘林水电站扩建工程直流系统的计算与选型

以柘林水电站扩建工程为例,对直流系统进行详细的计算并选型,为直流系统的计算和选型提供了参考.     

基于Y型多针孔干涉仪的三维绝对坐标测量

提出一种利用Y型多针孔干涉仪测量三维绝对位置坐标的新方法.这种方法是通过提取多针孔板上各测量孔的相位信息进而计算出待测点绝对位置坐标的.文章详细介绍了该方法的测量原理,并通过理论分析给出了测量公式.通过计算机模拟实验的方法验证了该方法的可行性.与现有的点衍射干涉测量法相比,该方法不需要任何相移装置,对测量环境的要求低,...     

Photonic integrated technology for multi-wavelength laser emission

We summarized the design, fabrication challenges and important technologies for multi-wavelength laser transmitting photonic integration. Technologies discussed include multi-wavelength laser arrays, monolithic integration and modularizing coupling and packaging. Fabrication technique requirements have significantly declined with the rise of reconstruction-equivalent-chirp and second nanoimprint mask technologies. The monolithic integration problem between active and passive waveguides can be overcome with Butt-joint and InP array waveguide grating technologies. The dynamic characteristics of multi-factors will be simultaneously measured with multi-port analyzing modules. The performance of photonic integration chips is significantly improved with the autoecious factors compensation packaging technique.