以可用度为目标的功能检测模型

依据产品潜在故障的概念,将产品划分为“正常”、“潜在故障”和“功能故障”三种状态,并将产品从“新的”发展到“潜在故障”时间间隔和从“潜在故障”发展到“功能故障”时间间隔分别作为随机变量进行处理,利用可靠性数学的方法,建立了以可用度为目标的功能检测模型,包括基本模型和实际应用中变化时的模型,举例给出了模型输出结果的特征和敏感性。     

基于对偶四元数的航天器六自由度相对运动输入有界控制

利用对偶四元数的理论来分析航天器六自由度的相对运动,设计了一种考虑输入有界的姿轨一体化控制器。在介绍对偶数和对偶四元数的基础上推导六自由度相对运动的姿轨耦合模型;利用双曲正切函数绝对值小于1的特性来显式地构造有界控制器,分别设计两个相互耦合的自适应调节律来动态地改变控制器的输出,并基于李雅普诺夫稳定性理论严格证明了闭环系统的全局渐近稳定性;利用数学仿真实验来验证该控制器和控制力满足给定的约束条件,能够实现航天器六自由度相对运动的精确稳定控制,并且对模型参数不确定性和外界扰动具有鲁棒性。与其他方法相比,由该控制器计算得到的控制力矩器的收敛速度更快,输出的控制力矩和控制力的最大幅值更小,且消耗的能量也更少。     

一种有效的XML-TO-SQL查询翻译优化算法

在研究XML数据处理问题上,XML查询与SQL查询的转换是一重要论题。在常规XML-TO-SQL查询转换算法基础上,分析了“翻译后优化”和“直接优化”两种不同的查询转换策略,提出了一种将Xpath路径表达式直接优化成SQL的算法。该算法将XML-TO-SQL查询转换分为两个主要阶段:预处理阶段和运行时翻译阶段。预处理阶段通过识别“双射映像”,计算“最小可辩识祖先”进行翻译前准备;运行时翻译则利用预处理阶段的结果进行路径约简。两个阶段的协作使得算法整体效率得以提高,达到翻译优化的目的。根据大数据量查询翻译对比实验的结果,该算法优于一些典型的传统翻译算法譬如Silk-Route、Xperanto等。     

基于SAT的电路错误定位方法研究进展

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。     

沟通——思想政治工作的有效手段

用感情输入获得沟通最高境界。真正的教育是心与心的交汇,是灵魂与灵魂的告白,让群众在感性的快活和心灵的愉悦中不知不觉受到教育。如果想在沟通中扮演成功的角色,就必须随时对别人“感情输入”。温家宝总理善于与各行各业的人沟通,他使用的“工具”就是“感情输入”,即深情的握手、激情的词句、温情的眼神和真情的语言。他在“非典”期间与大学生握手,视察农村时与农民握手,出访时突破“警戒”与华人华侨握手,都给人留下了美好的回忆。出访时,他对华人华侨多次发表演说,经常引用“谁言寸草心,报得三春晖”和“为什么你眼里总含着热泪,因为…     

高中信息技术教学方法的初探

目前,在各种教育杂志上都能看到"信息技术整合"几个大字.各个学科都开始了与信息技术整合的过程,作为信息技术教师,我们应该怎样让学生学好信息技术课呢?信息技术课程已被列为我国中小学的一门必修课,它具有基础性、操作性和实践性等特点.基于这些特点,在教学方法上就不能完全等同于其它学科.教师要确保信息技术教育在培养新型人才方面的应有作用,就必须探索出适合本学科教学的方法.良好的教学方法是学生能充分理解、牢固掌握知识的重要条件.     

线性回归模型系数岭估计的改进研究

对作者提出的c-k型估计,进行了进一步的研究.证明利用Stein式压缩技术可以改进岭估计(在均方误差意义下);同时给出了参数的最优值满足的条件.证明了c-k型估计的可容许性.文中的方法为病态线性回归模型系数的有偏估计提供了改进的技术途径.     

资讯——基层

南航为学子开通“境外留学直通车”,诺贝尔化学奖获得者克鲁岑教授到北航演讲,东方集团公司推行中层经营管理者年薪制,六0二所激情决战重点工程,新型可展缩移动房车开发成功     

火力分配的优化算法

火力分配问题可以看成是一个 0-1规划问题,传统的 0-1规划算法比较复杂、运算量大,优化算法对 0-1规划问题经过枚举、可重复排列和m位n进制数的转换,使运算次数从 2m×n次减少到nm次。该算法有两个特点:一是精简幅度大,将 0-1规划问题转化为可重复排列数的问题时,可以将 2m×n个情况转化为nm个情况;二是通用性强,利用可重复排列数转化为m位n进制数,将不通用的不定次循环问题转化为一次循环问题。利用优化算法可以很容易地解决任务分配、火力分配、弹药运输等问题。     

运用统计能量分析法解决高频声振问题的研究

为了得出统计能量分析法的适用范围和成功应用的关键因素,应用模态理论对系统的输入功率和耦合损耗因子进行了研究,挖掘了统计能量分析法中“统计”的更深层次的含义.通过对统计能量分析法原理的分析,提出增大系统的特征尺寸和系统阻尼、增大分析带宽和采用宽带激励均可提高统计能量分析的精度.