一种基于UML 2.0活动图的Web服务业务流程测试方法

UML2.0已经成为最重要的建模语言,BPEL是描述Web服务业务流程的事实标准。本文提出了基于UML2.0活动图对BPEL建模并进行测试的方法。该方法扩展了活动图,给出其形式化定义以及测试覆盖准则的定义,对测试用例生成算法加以约束,提高了测试的效率和精确性。最后结合实例探讨了Web服务业务流程自动化测试方法的可行性。     

广义序统计量的竞标模型

在符合顺序统计量竞价函数的卖者竞标中,以最后1个未成交价与成交价差作为竞标行的收入,竞标行的期望收入是投标者数量的减函数.在此基础上假设竞标函数是连续凹函数,竞价概率密度函数是减函数,研究了符合广义序统计量竞价函数的卖者竞标中,最后1个未成交价、成交价差的期望与投标者数量的关系.在广义序统计量的竞价函数中,随着投标者数量的增加,竞价的增长率减小,最后1个未成交价与成交价差的期望值下降.将符合顺序统计量竞价函数的结论推广到广义序统计量的竞价函数,为竞标模型的研究提供了方法和理论的借鉴.     

基于复刚度法的浮筏隔振系统有限元分析

针对船用浮筏隔振系统,采用有限元分析法,建立了两种筏体结构的浮筏隔振系统的有限元分析模型.提出了采用复刚度法模拟隔振器的阻抗,并由试验测得的隔振器阻抗求得了其随频率变化的刚度和结构阻尼系数.在此基础上,采用振级落差方法估算了浮筏隔振系统的隔振效果,并与试验结果进行了对比,理论预测与实测值基本一致.     

胆固醇电化学氧化反应的研究

本文研究了胆固醇在均相及两相体系中的电化学氧化反应。在无隔膜电解池中、Pt电极上,进行恒电流电解(电流密度:3.3mA/cm~2)。借助于IR、MS、TLC和HPLC等对电解产物做鉴定。其电氧化产物为3β,5α,6β—羟基胆固醇,7α—羟基胆固醇,7β—羟基胆固醇,5,6—环氧胆固醇和7—酮胆固醇等。     

电动车高速轮边齿轮传动动态特性分析与优化

针对某电动汽车高速轮边减速器振动大、噪声强度高等关键问题,建立该减速器齿轮传动系统动态啮合分析模型,对额定功率、最高转速与最大转矩3种工况的各级齿轮副的啮合特性与动态响应进行计算,分析系统振动结构噪声幅值及其分布规律,研究关键重合度设计参数对系统动态啮合性能的影响,基于MASTA提出传动系统宏观几何参数优化方案。研究结果表明:各工况下输出级齿轮副的传动误差峰峰值偏大,高速输入轴轴承处的结构噪声最大;与轴向重合度为非整数设计工况相比,当齿轮副的轴向重合度接近整数时,齿轮副接触线长度变化率较小,啮合过程中接触载荷波动较小,啮合刚度变化率明显降低,齿轮箱各轴承处结构噪声得到明显降低;宏观几何参数优化方案使得各齿轮副动态性能得到一定的提升。     

对私营企业主入党问题的思考

私营企业主入党问题不仅是一个可不可以入党的问题，更是一个怎样吸收他们入党的问题。从深层次本质上看，它还是一个涉及到我国社会主义初级阶段政治体制的根本改革的问题。我们必须抓住时机，沉着以对，以新时期党的建设为契机，推动政治体制改革健康发展。     

油橄榄施肥与灌溉技术

根据武都地区近20年的油橄揽种植试验,总结出施肥、灌水两方面的管理技术。分5个阶段对N、P、K、有机肥使用时间、用量进行了阐述;在1年内,按不同的生长发育阶段规定了5次灌水时间。     

兆瓦级风电机组传动链动态特性分析

由于风力发电机组安装在柔性支撑塔架上,传动链承受着变风向、变载等恶劣工况,其故障率一直较高,成为风电发展的瓶颈。研究考虑风机塔筒摆动与传动链扭转振动的耦合效应,利用集中参数法建立基于柔性支撑的兆瓦级风机传动链耦合动力学分析模型,开展兆瓦级风电机组传动链动态特性研究,揭示其动态特征及变化规律,利用坎贝尔图对潜在共振点进行分析,得到切入转速与传动链之间潜在共振频率。基于Simpack有限元法对传动链动态特性进行分析,验证分析方法的正确性。     

连续拉弯矫直机承载能力分析

针对目前连续拉弯矫直机延伸率达不到设计要求,V型带磨损严重,并出现打滑这一问题,在分析连续拉弯矫直机构成和矫直原理的基础上,推导出了矫直机传动系统速比及理论延伸率的计算公式.对传动系统承载能力进行了分析,得出了无级变速器额定输出扭矩偏小是连续拉弯矫直机延伸率达不到要求的主要原因.提出了增加弹簧刚度以增加无级变速器输出扭矩的改进措施,使矫直机实际延伸率满足生产要求,具有一定的理论和工程实用价值.     

基于知识工程的图形化网络拓扑诊断系统开发

针对目前智能诊断系统缺乏有效的知识库开发工具、推理功能单一等问题,需要一套自动化、智能化水平高,能适应多变量、多过程的复杂系统的故障诊断系统.系统将人类的思维能力、系统的物理规律和数学模型有机地结合,开发了一套基于知识工程的图形化网络拓扑诊断系统,其特有的图形化网络拓扑专家知识表达使专家知识的建立、修改、扩充和维护于一体,不需编写专门代码,节约了时间减少了人为出错的可能性;集专家规则、模糊逻辑和神经网络于一体的组合智能推理机使系统适应于多变量、多参数、多目标及多过程的复杂系统.在Bently模拟转子试验台上对系统的有效性进行了验证,取得了较好的效果.