摘要：当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS和WS-CDL规范的重要行为在模型中作了映射。最后通过例子说明,基于局部和全局的设计方法在提出的模型中的映射是一致的。提出的描述模型直接用来进行Web服务组合的设计时,可以更好地描述动态的体系结构。

摘要：无缝钢管的轧制变形区作为轧制过程的工作界面,其动力学特性对连轧管机的轧制振动有决定性影响。文中分析了动态情况下轧制界面上的界面摩擦、轧制变形参数、轧辊运动等行为机理及其耦合特性,建立了轧制界面的动力学模型。通过模型研究轧制工艺参数与轧制力能参数的关系,分析了连轧管机自激振动发生的原因,并用数值模拟方法分析了不同轧制条件下轧制变形区的工艺参数与连轧管机自激振动的关系,为解释连轧管机的自激振动机理提供了理论基础。

摘要：为了提高碾压混凝土坝施工仿真模型的可信度,以适应其大面积、多坝段合仓浇筑的特点,运用三维实体建模技术、数据库技术等,在碾压混凝土坝施工进度全过程仿真中耦合了动态合仓的模拟方法,即:在仿真过程中综合考虑了各项约束条件,实现可浇筑坝块的动态选择与施工仓面的动态划分.同时,以VC++为开发平台,引入面向对象的仿真建模思想和方法,结合循环网络模拟技术以及排队服务系统建模技术,实现了面向对象的施工动态仿真和施工过程的一体化仿真,使仿真结果更贴近实际施工.研究成果应用于云南某水电站工程中,为该工程的设计与施工提供了决策依据.

摘要：抗血栓药物种类繁多,但主要以血液中血小板和凝血因子为靶点,因而可能破坏正常凝血系统平衡而导致出血风险.针对该问题,前期以胶原蛋白为靶点,通过仿生设计已获得七肽LWWNSYY,经实验验证该七肽能够抑制血小板表面整联蛋白α_2,β_1与胶原蛋白的结合,从而抑制血小板的黏附及后续血栓形成.但是,LWWNSYY的疏水性较高导致其生物利用度较低.因此,利用两亲性的单甲氧基聚乙二醇-丁醛(m_(5k)-BAD)修饰LWWNSYY,构建血栓纳米抑制剂m_(5k)-BAD-L,并考察其与胶原蛋白的结合特性以及抑制血小板黏附的实际效果.结果表明,m_(5k)-BAD-L能有效改善LWWNSYY的生物利用度,且有效结合胶原蛋白,Kd为(0.60±0.28),μmol/L,因而有效抑制血小板黏附.研究结果有助于推动新型血栓纳米抑制剂的开发和利用.

摘要：针对脉冲发生器输出信号极性不易调节、功耗较大等弊端，设计一种低功耗多通道差动脉冲信号发生器.该发生器由电源模块、主控模块、脉冲发生模块组成，与其他脉冲发生器相比，电路更为简单，并解决了输出信号极性可控的难题，且可实现输出信号的幅值、脉宽、频率等参数可调.通过实际电路实验得出，实验结果与理论分析结果吻合，且幅值可调范围为1.7~10 V，频率可调范围为10~1000 Hz，脉宽可调范围为50~5000μs，并可实现任意两通道的差动脉冲输出，且功耗较低.因此所设计的电路具有实际意义，可应用于植入式刺激器等领域.

摘要：前期开发的海藻酸辅助法制备氧化铝小球,具有颗粒在水中成型、能耗低与生产过程绿色无污染等特点。在此基础上,结合广泛应用于介孔及大孔材料制备上的乳液模板法,对γ-Al2O3小球进行扩孔,制备了总孔容及平均孔径较大的球形γ-Al2O3,以氮吸附-脱附、机械强度测定仪、XRD、SEM、TG等方法对样品进行表征,考察了乳液类型、乳液用量对γ-Al2O3小球孔结构及其他理化性质的影响。结果表明:乳液质量分数为10%(以PB质量为100%)时,所制备的γ-Al2O3小球的总孔容可达0.7 cm3/g左右,平均孔径可达10 nm左右,孔径分布较集中;少量乳液的添加不会影响γ-Al2O3小球的晶相,此外,在高温煅烧过程中,所添加乳液较易充分燃烧,因此不会引入积炭问题。

摘要：掺砾土心墙堆石坝施工过程复杂且不确定因素众多,设计阶段的全过程仿真系统难以面向动态的施工过程。在详尽分析建模理论与方法的基础上,应用系统仿真、数据库动态链接等技术,构建基于监控与预测信息的掺砾土心墙堆石坝施工动态仿真系统,重点分析系统开发的总体构架,提出监控与预测信息对动态仿真系统的影响机制,并详细阐述系统各个功能模块的实现模式。通过工程实例的应用,将该仿真系统的计算结果与传统仿真计算结果进行对比分析,证明该仿真系统的有效性和合理性,为掺砾土心墙堆石坝施工进度的预测及分析提供有效的技术支持。

摘要：提出一种可站立式电动轮椅机构的设计方案,分析其工作原理,建立了数学模型。根据人机工程学中的人体结构测量数据及机构几何关系,设计了各杆参数。运用UG NX5对机构进行了运动仿真,得到各铰链点的位移曲线,验证了机构设计的合理性和方案的可行性。

摘要：针对单一移动机器人远程监控系统精度差和复杂度低的问题,提出基于移动机器人网络的嵌入式Web系统设计方案。应用ZigBee技术构建移动机器人网络,搭建以Cortex-M3为处理器的嵌入式Web服务器硬件平台。软件设计基于μc/OS-Ⅱ操作系统,移植LwIP协议栈,通过应用层程序实现移动机器人网络的监控。实验结果表明,该设计可初步完成对移动机器人网络的监控。

摘要：酮醇酸还原异构酶(keto-acid reductoisomerase,KARI或称作乙酰羟基酸异构还原酶(acetohydroxyacid isomeroreductase,AHIR))是植物、微生物中的支链氨基酸生物合成途径中第二步的关键酶。由于哺乳动物和人体内不存在这种酶,因此靶向KARI酶的抑制剂具有安全、高效等特点,成为农用除草剂以及医药抗真菌药物的一个引人注目的研究方向。本文综述了KARI的酶学、KARI抑制剂及其抑制机理和理论研究进展,并对其发展趋势进行了展望。