基于子路径扩展的不可达路径检测方法

不可达路径是造成软件测试资源消耗的一个重要方面.在路径测试之前,检测程序中的不可达路径可以有效节约软件测试资源.提出了一种基于子路径扩展的不可达路径静态检测方法.该方法首先生成程序的子路径集,将路径的可达性问题转换为不等式组的求解问题.使用约束求解器判断子路径的可达性,可以分为:可达子路径,不可达子路径和无法判定三个部分,并对后面两部分的子路径扩展出的路径做二次可达性检测,最终获得程序中所有路径的可达性信息.可达性检测工作主要在子路径集上进行,因此有效地解决了路径爆炸问题.实验结果表明本文方法可以准确有效地检测出程序中的不可达路径.     

基于遗传算法的图像阈值分割的研究

图像分割是实用性很强的图像处理技术,也是各种图像处理工作的基础。图像分割方法中的阈值分割法能根据一定的阈值选取准则快速、简单地实现图像分割。文中将标准的遗传算法与OTSU法相结合应用于图像分割中,有效解决了传统OTSU法高耗时性的缺点,提高了系统的运行速度,是图像分割问题中一种新而有效的方法。     

关于高等数学中极限求解的若干方法

极限理论,作为高等数学学习的基础和开端,分为数列极限和函数极限两种,是高等数学最基本、最重要的概念之一.对于极限的计算,应用非常广泛.极限的求法更是多种多样,本文也将介绍几种求极限的方法.     

组合支承转子系统动力学的研究进展

转子系统是旋转机械的核心部件,在航空发动机、燃气轮机、压缩机和数控机床等众多机械装备中都有广泛应用.转子系统一般由旋转部件和支承部件构成,其中组合支承是转子系统中重要的承力部件.转子系统中的几何非线性、转定子碰摩、连接非线性等非线性因素与支承自身的非线性因素耦合产生的内部激励,使得转子系统动力学行为复杂,发生混沌现象.首先阐述了组合支承转子动力学的研究背景和意义,回顾了应用在航空发动机中组合支承转子系统的支承方案及其应用情况,系统的介绍了五种组合支承转子系统模型,现有的建模方法、应用在组合支承转子系统高维非线性动力学中的降维方法、非线性动力学微分方程的求解方法、组合支承非线性问题的机理研究以及对转子系统振动特性的影响,最后提出了在组合支承转子系统研究中值得关注的问题.     

基于惯性测量单元辅助的激光里程计求解方法

在同步定位与建图(SLAM)问题中,里程计部分的求解精度对后续建图起着至关重要的作用,惯性测量单元(IMU)可以为SLAM中里程计求解提供良好辅助。在考虑平面移动机器人运动特点及室内环境特征的基础上提出一种基于IMU松耦合的激光里程计求解方法,实现里程计部分的精准定位。第1阶段,机器人运动过程中实时处理点云信息,将地面点分割并提取有效关键点;第2阶段,将IMU信息引入卡尔曼滤波器,为帧间匹配提供位姿先验;第3阶段,滤波器输出位姿估计值后,利用非线性优化方法进行点云帧间匹配,实现里程计运动的求解。实验表明,所提方法在激光点云处理、运动求解,具有良好的稳定性和准确性,可将偏移量误差控制在0.4%以内,为后续建图提供有力数据保障。     

主动管理模式下分布式风电源选址定容规划

节能减排背景下,以分布式风电源(DWG)为代表的可再生能源发电得到了快速发展。考虑风速和负荷间的时序相关性,采用联合概率分布法对其进行多场景构建。在此基础上,考虑调节有载调压变压器抽头、削减DWG有功出力、调节DWG功率因数和需求侧管理4种主动管理措施,建立了主动管理模式下DWG选址定容双层规划模型,上层规划以年综合费用最小为目标,下层规划则以每个场景的配电网运行费最小为目标。提出改进差分进化算法和原对偶内点法相结合的混合策略对规划模型进行求解。IEEE 33节点配电网算例的仿真和分析验证了模型的可行性和所提求解方法的有效性。     

球面并联机构的结构降耦及其位置正解求解

基于一般结构的S+3-SPS球面机构的耦合度分析,通过动平台二球副重合的方法,使之结构降耦演变为0耦合度球面机构,并得到其位置正解的解析解;而对于k=1的一般结构的S+3-SPS,虚设一条支链使机构包含k=0的零耦合度机构,再在约束度为-1的支链上建立一个一元运动相容性方程,并采用一维搜索法求得全部正解数值解。这种基于耦合度分析的求解并联机构位置正解的程式化通用方法,易于实现计算机自动生成,并适用于其它含SPS支链并联机构位置正解的快速求解。     

三自由度3-PRS并联机构的运动学解析

对于并联机构位置正解极其复杂的求解特点,在求得3-PRS并联机构的位置逆解的基础之上,采用转化求解对象法对其位置正解进行了解析,并应用D'Alembert原理求解了被动关节的速度和加速度,避免了空间机构直接求导法的复杂性。通过对3-PRS并联机构进行实例分析,结果表明,转化求解对象法求解并联机构位置正解的方法简单而有效。同时指出了3-PRS并联机构中除3个主运动之外,还存在派生运动,该运动在3-PRS并联机构的实际应用中必须予以考虑。     

旋转体零件中心偏置时测点坐标值的求解方法

针对传统的测量旋转体零件参数时需要将被测零件基准孔(轴)圆心与分度台旋转中心调整重合的问题,受坐标系平移方法的启迪,提出在分度台上任意放置被测零件时测点坐标值的求解方法,这种方法省时、省力,效率高,且可达到精密测量的要求。     

屈服准则对DP600钢板各向异性行为的预测能力

采用Barlat89和Hill48屈服准则的两种参数求解方法,即应力各向异性数据求解法和变形各向异性数据求解法,分别推导与轧制方向成不同角度的单向拉伸加载下的屈服应力值和各向异性指数,并与NUMISHEET2014提供的DP600材料的实验数据进行比较。结果表明,在两种求解方法中,应力各向异性数据求解法在预测不同加载方向上的屈服应力时较为准确;变形各向异性数据求解法在预测不同加载方向上的塑性应变比时较为准确;Barlat89屈服准则对DP600材料各向异性的预测比Hill48屈服准则更准确。