优势区相图的计算机软件开发及应用

根据国内外的优势区相图计算机研究状况，作者采用化学势最小约束原理开发了一种新算法，并给出了新算法的程序框图和应用实例．新算法通用性强，效率高，便于计算机处理，能自动回收数据．     

矿用牙轮钻头原理图生成的数学模型

根据矿用牙轮钻头的布齿原则，利用坐标变换的方法，建立了其生成原理图的数学模型，并开发了相应的ＣＡＤ软件．该软件还可进行覆盖系数分析，提供优化布齿的依据     

非完整约束对于运动规划问题的影响

本文回顾了机器人无碰撞运动规划的若干有代表性的工程方法，分析了非完整约束对于这些方法所产生的影响及其主要矛盾，得到了一些有意义的结论。     

混水泵压差控制法的分析与参数计算

当分户热计量低温供暖系统与原供热管网直接连接时,室内用户的自主调节会影响供热管网的平衡。为了解决这种情况下供热管网的平衡问题,根据流体力学和热力学基本原理提出了混水泵压差控制法,并利用能量方程及水压图对其调节原理和调节过程进行了分析,由热平衡方程推导出有关参数的计算公式,为混水泵压差控制法的应用提供了必要的技术支持。     

基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.     

四档位行星变速箱传动方案综合法

为了探讨四档位行星变速箱传动方案综合方法，应用图论理论综合行星齿轮变速箱传动方案，研究了4个行星排变速箱传动方案拓扑图综合方法，该方法通过4个行星排拓扑图中基本构件的不同方式的相互结合，能综合出不同的变速箱传动方案；推导了依据给定的变速箱外传动比，计算了每个行星排内传动比的表达式，并编写了计算机辅助综合变速箱传动方案软件。该软件在给定不同的输入输出和依次固定不同的基本构件时，能得出所有可能的4个行星排变速箱传动方案。实例结果印证了该综合方法的有效性。     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

等截面单跨超静定梁固端弯矩的一种解法

以力法为基础,用简支梁作为基本结构,通过简支梁弯矩图的面积及其形心位置推导得出固支梁固端弯矩计算的一般公式,并指出该公式在其它单跨超静定梁计算中的应用。     

海底管线用钢焊接接头的安全评定及寿命预测

焊接接头是海底油气输送管道焊接结构中的薄弱环节，作者在给定裂纹尺寸和载荷条件下，根据裂纹尖端张开位移CTOD试验结果，采用欧共体提出的结构完整性评定方法SINTAP，对API5LX65管线钢焊接接头焊趾处的表面裂纹进行评定，根据拉伸试验结果，给出了X65管线钢焊接接头焊缝和母材的一级与三级评定曲线，结果表明，不论采用一级还是三级评定，各评定点均在评定曲线定义的范围内，说明该结构是安全的，根据评定结果对结构进行疲劳寿命估算具有工程实际意义和经济价值。     

基于事件响应event-response的动态工作流系统

提出了一种在企业工作流管理系统中运用由协作的各企业提供的对事件的响应(event-response)的方案来实现动态的工作流系统。通过工作流引擎灵活地调度、控制，利用基于约束的动态绑定机制动态地将事件的响应请求绑定到合适的event-response和响应提供者(provider)，从而柔性地，协同地完成共同的目标。