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

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

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

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

地震时作用于深水桥墩上的动水力及对桥墩动力响应的影响

基于势流体理论,针对一典型实体矩形截面桥墩,分析了不同水深时,动水对桥墩自振特性的影响.研究了不同水深和地震波类型等条件下,作用于桥墩上动水压力的分布规律及其合力作用点位置,并分析了动水对矩形截面桥墩在地震作用下动力响应的影响.结果表明,由于动水和结构相互作用的影响,矩形截面桥墩的自振周期、墩底弯矩及剪力的峰值会随着水深的增加而不断增大.动水使墩底弯矩和剪力分别最多增大了31%和50%,因此动水对桥墩动力反应的影响不可忽略.并且,不同类型地震波对作用于桥墩上的动水压力分布的影响也不相同.根据日本规范计算作用于矩形截面桥墩上的动水力的结果与本文的结果更为接近.     

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

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

前驱体碳化复合等离子熔覆涂层

以钛铁粉、铬粉、铁粉和碳的前驱体（蔗糖）等为原料,通过前驱体碳化复合技术制备了碳化复合粉,并利用等离子熔覆技术在Q235钢表面制备了Fe-Cr-C和Fe-Cr-C-Ti涂层.采用X射线衍射和扫描电镜对涂层的相组成和显微组织结构进行了分析.结果表明:Fe-Cr-C涂层由（Cr,Fe）₇C₃初生碳化物和菊花瓣状分布共晶碳化物（Cr,Fe）₇C₃与奥氏体组织组成;Fe-Cr-C-Ti涂层由原位合成的TiC相和（Cr,Fe）₇C₃共晶相与奥氏体相构成.这两种涂层与基体之间都是冶金结合.涂层中碳化物TiC的体积分数呈现梯度分布,并且涂层的熔合区和中部区域TiC颗粒形状多为等轴状颗粒,涂层的表层区域部分TiC颗粒多为树枝晶颗粒.与Fe-Cr-C涂层相比较,Fe-Cr-C-Ti涂层的抗开裂性更好.Fe-Cr-C和Fe-Cr-C-Ti两涂层的平均显微硬度约是750HV_0.2,是基体金属的3.2倍,从涂层表面到熔合区相差不大.     

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

针对含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%,但枪击感度大幅度降低,说明两试样在能量损失较小的情况下安全性大幅度提高,使能量和安全性俱佳,证明了本配方设计方法的可行性.     

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

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

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

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

浸没式膜生物反应器处理微污染水的工艺强化

对比了单独膜与膜生物反应器(MBR)对微污染原水的处理效果,并研究了投加氯化铵、葡萄糖和粉末活性炭等强化措施对MBR处理效果的影响。结果表明,单独膜工艺对CODMn和氨氮去除率只有16%和5%;而以粉末活性炭为生物载体的MBR工艺对CODMn和氨氮去除率提高到35.3%和44.5%;提高原水有机物浓度和氨氮浓度对CODMn和氨氮去除效率提高作用有限;更换10%的PAC后,提高了MBR对CODMn的去除效果,其去除效率可由原来的35.3%提高到50% 。     

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

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