划分测试中测试用例最优分配问题研究

研究了划分测试中每个子域错误率已知，测试资源受约束时，测试用例如何合理分配的优化问题．主要考虑了两类测试用例分配问题：测试资源受约束的测试用例分配及测试资源受约束且各个子域的可靠性要达到一定要求时测试用例的分配，证明了带约束的测试用例最优分配问题是一个NPC问题．给出了动态规划求解方法，从理论上证明了该方法是最优的，并通过随机模拟将该方法与其它常见的测试用例分配策略进行分析比较，用实验数据验证了该办法能合理利用有限测试资源，有效地提高缺陷检测能力．     

“汇编语言程序设计”课程的教学改革与探讨

在分析了“汇编语言程序设计”课程教学现状的基础上,提出了以Win32汇编语言程序设计为教学内容对课程进行改革,并阐述了改革的意义。针对该课程的培养目标,详细介绍了课程的内容、教授的难点及解决办法,并总结了教学改革与实践的经验。     

非计算机专业“C程序设计”课的教学体会

为搞好C程序设计课的教学工作,促进交流、学习,从案例教学、程序设计、加强实验、其他环节4 个方面介绍自己讲解C程序设计课的教学体会。     

归纳逻辑程序设计综述

归纳逻辑程序设计是逻辑程序设计和机器学习的一个交叉研究领域。先概述了归纳逻辑程序设计的历史及发展现状;对归纳逻辑程序设计学习器进行了分类和形式化定义,并给出了学习器的质量标准;按划分的类型分别讨论了归纳逻辑程序设计学习器的主要求解算法;进一步指出了归纳逻辑程序设计未来的发展前景,提出了归纳逻辑程序设计领域需要深入研究的若干问题。     

航天器能量/姿控一体化控制器设计及功率规划

研究航天器的能量/姿控一体化控制系统(IPACS)的设计问题。针对带有4个飞轮(3正交、1斜装)的航天器的IPACS,设计了一个滑动模态姿态控制器。设计了飞轮组的控制律,保证了在储能时,飞轮的转速变化不会对航天器的姿态造成扰动,而且不影响正常的姿态控制,同时实现了姿态控制与能量存储。针对太阳帆板的功率变化特性以及飞轮电机的输入功率限制,提出了一种新的储能功率的规划方案,使飞轮在每个轨道周期内储存和释放的能量达到平衡,同时尽量利用了太阳帆板提供的功率,从而可以有效地减少太阳帆板的面积,减轻太阳帆板的质量。为了验证所设计的IPACS的有效性,给出了一个仿真实例。     

关于一类不可微非线性规划的约束品性

就一类在凸集C上目标函数为黎普希兹连续的带有可微不等式约束的非线性规划问题(P),在广义Kuhn-Tucker约束品性或广义Arrow-Hurwicz-Uzawa约束品性的条件下,研究了问题(P)的Kuhn-Tucker型必要条件.并且说明了当C为开集时相应的规划问题是问题(P)的特殊情况;目标函数为可微函数与凸函数的和时的相应的不可微非线性规划问题也是问题(P)的特殊情况;以及目标函数由黎普希兹连续的函数的商式构成的相应的分式规划问题也是问题(P)的特殊情况.     

广义分式规划Dinkelbach型算法的推广

就一类目标函数中有无限个分式的广义分式规划问题,在已有的相应的D inkelbach型算法的基础上作了进一步的推广,使其成为一簇算法;讨论了一个参数规划的性质和该簇算法的收敛性.结果表明:改进的D inkelbach型算法是该簇算法的一个特例,并且该簇算法在每次迭代时参数的取法有很大的灵活性,因而在求解时可允许有较大的误差而无损于相应的收敛速度.     

随机资源分配问题建模和随机模拟遗传算法求解

为了最大限度地满足用户对紧缺随机资源的需求,对随机资源分配问题建立了相关机会多目标规划模型和相关机会目标规划模型,通过表示各个(级)目标事件的诱导约束,建立决策向量和机会函数之间的关系,并运用随机模拟遗传算法求解模型。     

区间有理曲线的降阶

针对用低阶区间有理曲线来界定高阶区间有理曲线的问题，提出了线性规划和最佳一致逼近两种不同的解决方法，并以实例验证，结果表明最佳一致逼近方法比线性规划方法有更佳的逼近效果并能提供更紧的界．     

模糊优选动态规划在二维资源分配中的应用

针对量纲不一既有定量指标又有定性指标的二维资源分配问题,引入了指标的相对优属度矩阵并建立数学模型;提出用拉格朗日乘子法降维,再通过多目标模糊优选动态规划分析法进行求解这一算法;最后给出一个具体应用算例,并取得了满意的结果.