基于符号模型检测的Web服务组合形式化验证

随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求。Web服务组合正是由于单个Web服务不能满足企业及用户的需求而产生的一种技术,而如何确保组合的正确性来实现服务增值是一个尚未完全解决的问题。针对此问题,提出了一种基于符号模型检测器NuSMV对Web服务组合进行验证的方法,并提出了基于消息会话的Web服务有限状态自动机的形式化定义。最后实例验证了Web服务组合交互的正确性和有无死锁状态现象,进一步证明了方法的可行性。     

考虑足地作用的足式机器人环境表征与路径规划

足式机器人在行走过程中,足端与地面之间的相互作用影响机器人的地面通过情况。足地作用与地表的几何形状和地面的物理特性息息相关,因此仅基于几何特性地图进行路径规划难以满足野外环境下规避松软沙土等非几何危险的需求。针对该问题,考虑足地作用力学提出包含几何与物理特性的环境模型进行足式机器人路径规划。通过简化和统一软硬地面下的足地作用模型,提出表征地面法向松软特性和切向摩擦特性的参数化指标,结合几何特性构建更全面的环境模型。综合考虑影响机器人通过性的地面几何与物理特征,重构路径规划的优化目标,通过图搜索算法实现最优路径规划。以六足机器人Elspider为对象进行仿真和试验,验证了所提出的方法能够有效规避非几何危险,实现了更安全、通过性更强的路径规划。     

基于GPIF的高速数据采集方案设计

介绍一种高速数据采集的方案。设计中使用USB传输，用GPIF实现和外围器件的握手逻辑。完成数据采集和传输的同时，让出CPU的资源供其他应用任务使用，既提高了采集速度，又充分利用了EZ—USB FX2单片机的资源。文章分析并验证了该方案的正确性，并提出一些调试中使用的方法、技巧。     

晶振芯片在高g值冲击下的失效机理分析

芯片是弹载存储测试系统的最基本的单元,它的抗强冲击能力直接影响测试系统的可靠性.为了研究芯片抗高过载能力,本实验利用Hopkinson杆对最典型的晶振芯片进行高g值冲击,以一维应力波理论估计芯片受到的加速度.对实验现象进行理论分析后得出与应力波传播方向平行放置的芯片抗冲击性能要高于与应力波传播方向垂直的芯片.     

血液中毒鼠强的气相色谱-质谱检验

对毒鼠强中毒死亡者血液样品进行了液 -液提取及气相质谱联用仪 ( GC/ MS)分析。考察了苯、乙醚、乙酸乙酯、氯仿、二氯甲烷、己烷、环己烷、丙酮等 8种有机溶剂对毒鼠强的提取效率。结果表明 :乙酸乙酯对毒鼠强的提取率 >90 % ,是一种理想的提取剂。获得的毒鼠强工作曲线为 y=1 2 5 43 .3 * x+5 1 6.2 ,相关系数 r=0 .9983 ,最小检出限为 2 μg/ L;对毒鼠强 GC/ MS图谱进行解析 ,推断出毒鼠强主要 GC/ MS碎片的归属 ,采用选择离子监测模式 ( SIM)对毒鼠强中毒死亡者血液样品进行了检测 ,提高了检测限并减少了干扰 ,建立了一个适合司法检验的毒鼠强提取分析方法     

给水管网的计算机辅助优化设计方法

根据给水管网的水力特性,建立以管段压力及管段流量为求解变量的动态优化计算目标函数,以简约梯度法与罚函数法相结合的优化手段,通过目标函数变换技术,直接解决了求解管径标准化的难题,经实例验证了计算效率高,可靠性强。     

一种半带滤波器的低功耗实现方法

半带滤波器常被用于实现数字变频中数字信号的2倍抽取过程。对于抽取半带滤波器的无乘法器实现结构,常使用移位相加代替乘法操作减少硬件资源的使用,利用多相分解技术降低整体滤波的运算量,降低硬件实现总体功耗。在此基础上进一步提出了一种低功耗的实现方法。通过Modelsim软件仿真验证功能正确后,最后由Design Complier软件的综合结果表明,与传统一般移位相加实现结构相比,所提出的结构有效地降低了半带滤波器的面积及功耗。     

基于参数不确定性的洪水概率预报研究

水文模型参数的选取通常依靠经验判断或者依赖历史库中的不完备数据集进行自动优选,所选参数并不一定能够准确反映流域降雨径流特点,更不足以反映不同洪水涨落阶段洪水特征的变化。基于水文模型的参数存在显著不确定性的客观事实,以随机参数驱动水文模型,并结合数值模型实现概率预报。通过东湾流域36场洪水模拟试验,揭示了水文参数不确定性对洪水预报结果的显著影响,验证了概率预报算法能够给出精确、可靠的预报结果,说明该算法能够降低水文模型参数所带来的洪水预报不确定性。     

景观理论在淅川县石质荒漠化治理中的应用

石质荒漠化是严重水土流失产生的后果,也是一种生态过程,景观格局和石质荒漠化关系密切,利用景观格局理论指导石质荒漠化治理具有重要的理论和现实意义。以淅川县为研究区,探讨了景观格局理论在石质荒漠化生态过程中的多尺度对应关系,利用水土保持景观格局理论揭示淅川县坡-沟尺度、小流域尺度、区域尺度石质荒漠化生态过程,通过对石质荒漠化景观格局的分析,将石质荒漠化景观划分为5种不同的类型,分别构建了石质荒漠化景观综合治理模式和县域尺度生态治理模式,并提出了坡-沟尺度和小流域尺度的综合治理技术措施。     

双向动荷载下振动频率对黄土动力特性的影响

采用TYS-20型电脑控制电液伺服土动三轴试验机对Q3黄土试样进行了一系列的动三轴试验,探究了双向循环荷载作用下振动频率对黄土动力特性的影响。动强度试验结果表明:当振动频率在0.2~3 Hz范围内变化时,黄土的动强度随振动频率f的增大而增大;对动强度与振动频率的关系在双对数坐标系上进行拟合发现:相同破坏振次下,两者近乎呈直线关系;在破坏振次分别为10,20,30次条件下,频率0.2,1 Hz相比3 Hz得到的动强度相对降低值最大可达到61.9%,最小为11.9%,且围压越小,降低程度越明显。动模量试验结果表明:动剪切模量随动剪切应变的增大而先增大后减小,在衰减过程中,频率越大衰减越缓慢,同一动剪切应变对应的动剪切模量也越大;在相位差为0°条件下,振动频率越小动剪切应变发展越快,侧向循环应力幅值的增大减慢了土体动剪应变的发展速度,在一定范围内侧向循环应力幅值越大越有利于土体稳定。