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

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

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

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

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

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

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

基于遗传算法的直觉模糊C均值聚类算法

 针对一般直觉模糊C均值聚类算法在寻优过程中易陷入局部最优解的问题,利用遗传算法具备全局寻优的优点,提出了一种基于遗传算法的直觉模糊C均值聚类算法。在该算法中聚类中心为直觉模糊数,这使得遗传过程中个体信息变得复杂,进而增大了约束问题的处理难度。本文对产生的个体采用适时分段的归一化方法,很好地解决了该问题。仿真结果表明该算法所得聚类结果不仅准确而且更为细致。     

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

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