-
公开(公告)号：CN102831065B
公开(公告)日：2015-02-04
申请号：CN201210340190.2
申请日：2012-09-13
Applicant: 北京航空航天大学
IPC: G06F11/36
Abstract: 一种面向巧合一致性问题的统计学软件缺陷定位方法，它包括五个步骤：（1）对含有缺陷的程序插桩；（2）加载程序的测试用例，运行插桩后的程序；（3）收集程序运行成功和运行失败时桩函数的输出信息；（4）对收集到的谓词动态执行信息进行分析，包括计算谓词成功与失败执行谱分布的交叠程度、计算谓词执行谱分布的标准化类间距离、计算谓词可疑程度以及对谓词排序这四小步；（5）根据第四步中得到的谓词排序表，对谓词依序进行查找，直到找到缺陷相关谓词为止。该方法能有效避免巧合一致性的影响，定位效率高，而且方法简单，容易实现。
-
公开(公告)号：CN102831065A
公开(公告)日：2012-12-19
申请号：CN201210340190.2
申请日：2012-09-13
Applicant: 北京航空航天大学
IPC: G06F11/36
Abstract: 一种面向巧合一致性问题的统计学软件缺陷定位方法，它包括五个步骤：（1）对含有缺陷的程序插桩；（2）加载程序的测试用例，运行插桩后的程序；（3）收集程序运行成功和运行失败时桩函数的输出信息；（4）对收集到的谓词动态执行信息进行分析，包括计算谓词成功与失败执行谱分布的交叠程度、计算谓词执行谱分布的标准化类间距离、计算谓词可疑程度以及对谓词排序这四小步；（5）根据第四步中得到的谓词排序表，对谓词依序进行查找，直到找到缺陷相关谓词为止。该方法能有效避免巧合一致性的影响，定位效率高，而且方法简单，容易实现。
-
公开(公告)号：CN102831064A
公开(公告)日：2012-12-19
申请号：CN201210323335.8
申请日：2012-09-04
Applicant: 北京航空航天大学
IPC: G06F11/36
Abstract: 一种面向可靠性评估的软件自适应测试方法，它用五大步骤：步骤一、根据可控马尔可夫链模型，得到测试过程的控制器方程；步骤二、由控制器方程，在软件测试过程中，每一步选取的测试决策应满足期望目标函数值最小；步骤三、如果被测软件参数已知，就可直接根据上述方式求得测试决策，从而逐步把测试进行下去；步骤四、如果被测软件参数未知，利用自适应测试，在每步测试中通过在线估计系统参数；步骤五、利用估计值求得最优测试决策，逐步把测试进行下去，直到满足测试停止条件。本发明在可靠性评估中充分考虑了不同失效对软件可靠性的影响的不同，通过引入反馈和自适应控制的思想，对测试过程进行在线的控制和优化，从而提高可靠性评估的精度。
-
公开(公告)号：CN101963508B
公开(公告)日：2012-06-06
申请号：CN201010264907.0
申请日：2010-08-27
Applicant: 北京航空航天大学
Abstract: 本发明涉及一种基于反馈模糊推理的无人机实时航路规划方法，其步骤如下：第一步无人机航路的更新模式；第二步模糊规则库的建立；第三步模糊前件的获取；第四步反馈模糊推理方法的设计；第五步解模糊；第六步确定其余参量；第七步确定无人机的下一个位置；第八步设计结束。本发明与现有的无人机实时航路规划方法相比，本发明通过应用反馈模糊推理方法使无人机具备了初步的自主学习能力，从而提高了航路规划的效果。按本发明设计的实时航路规划方法不仅航路短、路径平滑，而且具有全局收敛性，并且容易实现，为工程应用提供了一种更加实用和可靠的无人机实时航路规划方法。
-
公开(公告)号：CN102147255A
公开(公告)日：2011-08-10
申请号：CN201110005488.3
申请日：2011-01-12
Applicant: 北京航空航天大学
IPC: G01C21/24
CPC classification number: G05D1/104
Abstract: 一种威胁信息共享环境下的无人机群实时航路规划方法，该方法有七大步骤：步骤一：初始化；步骤二：目标点规划；步骤三：计算ΔθPS和wPS；步骤四：解模糊；步骤五：确定其余参量；步骤六：确定无人机的下一个位置；步骤七：设计结束。本发明解决了威胁信息共享导致的模态转换混乱问题，消除了信息共享环境下不能收敛到极点的现象，改善了威胁信息共享环境下多无人机协同航路规划的效果。它通过引入虚拟目标技术将威胁信息共享环境下的无人机航路规划进行分段处理，通过虚拟目标和全局目标的切换引导机群中的无人机同时到达全局目标点。本发明构思科学，容易实现，为工程应用提供了一种简便实用和可靠的无人机实时航路规划方法。
-
Patent Agency Ranking
公开(公告)号：CN101750978B
公开(公告)日：2011-07-27
申请号：CN200910236217.1
申请日：2009-10-23
Applicant: 北京航空航天大学
Abstract: 本发明一种支持电传飞行控制系统设计、验证与确认的开放平台，由五个功能模块组成，它们是：1)电传飞行控制系统需求分析、验证与求精的环境模块；2)电传飞行控制系统设计、验证与确认环境模块；3)电传飞行控制系统硬件设计环境模块；4)飞行控制软件工程化研制环境模块；5)电传飞行控制系统系统级全数字化、全任务仿真测试和验证环境模块。本发明能辅助飞行控制系统工程师进行电传飞行控制系统的需求分析与确认、系统整体设计与设计方案的验证、系统硬件设计、系统软件工程化研制和系统级全数字化、全任务仿真测试和验证以克服现有研制环境带来的研制周期长、成本高、风险大等问题。它在系统工程技术领域具有广泛地实用价值和应用前景。
-
公开(公告)号：CN101339404B
公开(公告)日：2010-08-18
申请号：CN200810118220.9
申请日：2008-08-07
Applicant: 北京航空航天大学
IPC: G05B11/42
Abstract: 本发明一种飞行器姿态动力学简化模型增益切换比例-微分控制的设计方法，采用一种非线性增益切换PD控制方案，依据设计的切换规律，让设计的两个参数不同且性能互补的PD子控制器(快速PD子控制器和强阻尼PD子控制器)分阶段配合作用，在保证闭环控制系统全局稳定性的基础上，同时实现了系统阶跃响应无超调，并能灵活调整阶跃响应的调节时间以满足快速性的设计要求。该设计方法的技术方案为：第一步 设计闭环控制系统的结构；第二步 设计增益切换决策环节；第三步 设计两个PD子控制器的增益参数；第四步 阶跃响应快速性的检验与调节；第五步 闭环系统全局稳定性的验证；第六步 设计结束。
-
公开(公告)号：CN101625550A
公开(公告)日：2010-01-13
申请号：CN200910090413.2
申请日：2009-08-04
Applicant: 北京航空航天大学
Abstract: 本发明一种航天器舱内温度控制系统的周期扰动补偿设计方法，该方法有四大步骤：步骤一：设计闭环控制系统的结构；步骤二：设计前馈信号自适应学习控制器参数；步骤三：设计决策器；步骤四：进入设计结束阶段。本发明在原有控制方案的基础上，自适应学习出更为准确的前馈信号用于干扰动补偿，以提高温度控制精度，并且保证温度控制系统的稳定性。这种方法实施方便，所设计的前馈信号自适应学习控制器结构简单，在航天器温度控制技术领域内具有广泛的实用价值和应用前景。
-
公开(公告)号：CN101549754A
公开(公告)日：2009-10-07
申请号：CN200910083100.4
申请日：2009-04-29
Applicant: 北京航空航天大学
Abstract: 一种旋定翼复合式飞行器，它由共轴反桨、反向传动装置、发动机输出轴、带起动发电机的发动机、机翼、尾部桨叶、着陆架、涵道、舵机、整流片、机身、电机、电机驱动轴、机翼小迎角控制机构、副翼舵面、尾翼舵面组成。共轴反桨位于该飞行器上部，它与发动机输出轴相连；反向传动装置安装在共轴反桨之间；电机与电机驱动轴连接，由发动机上的起动发电机供电；机翼位于飞行器中部两侧与机身连接；尾部桨叶位于飞行器尾部，它安装在电机驱动轴后部；着陆架位于机身下部并与之固接；涵道与着陆架连接；整流片装在涵道内，与舵机相连；机翼小迎角控制机构装在机翼上。该飞行器设计的方法有六大步骤，其构思科学严谨；本发明有广泛的实用价值和应用前景。
-
公开(公告)号：CN100407161C
公开(公告)日：2008-07-30
申请号：CN200410009530.9
申请日：2004-09-09
Applicant: 北京航空航天大学
IPC: G06F11/36
Abstract: 软件动态聚类测试方法：(1)划分测试用例库为3类，第0类称为无效类，第1类为初始类，第2类称为有效类。开始时所有测试用例在第1类，其它两类均为空；(2)如果第2类不为空，则从第2类中随机选取一个测试用例进行测试，否则从第1类中随机选取一个测试用例进行测试；(3)如果从第I类(I＝1，2)中选出的测试用例发现缺陷，则把这个测试用例放入第2类；否则将其放入第I-1类，如果I-1＜0则放入第0类；(4)如果测试用例发现一个缺陷就立即剔除这个缺陷，如果测试用例发现多个缺陷，则随机选取一个缺陷剔除；(5)如果所有缺陷均已剔除或到达规定的测试步数就停止测试，否则转第(2)步。本发明方法简单，测试效率高。
-
-
-
-
-
-
-
-
-
Search Results
86
records
(took 0.045 seconds)
