管道在线检测技术及检测机器人研究

概述了管道检测技术发展现状,介绍了最新检测技术的原理,分析了管道内检测机器人的技术要点,概括介绍了课题组在差压式管内检测机器人周围流场建模与仿真、腐蚀环境下管道钢裂纹群演化的混沌动力学、差压式管内检测机器人的通过性能、管内检测机器人运行速度和姿态分析及运动状态控制、管内检测机器人小型化、小型化管内检测机器人检测精度、小型化管内检测机器人定位精度及管道剩余寿命的预测方法等方面的研究进展,为今后的研究打下了坚实的基础。     

惯性弹体运动预测建模

基于弹道方程的理论建立了来袭惯性弹体的运动预测模型和识别模型,一方面为防空作战从战术前沿拓展到中程以上拦截提供模型基础,另一方面为前沿防空中拦截榴弹、火箭弹类小型目标提供出精度更高的预测模型。最后,研究中成功给出了弹体运动状态预测及识别的计算结果,并得到了真实射表的验证。模型普遍适用于所有来袭惯性弹体的运动。     

韩贞的扁舟林聚与他的教育艺术

韩贞将王艮的乐学思想运用于自己的教学实践,他采用“舣舟讲学,编户熏陶”,“结庐湖于,聚徒讲学”、“弦诵吟唱,渔樵问答”等形式进行教学,努力使学生做到“学是乐,乐是学”。他坚持以诚育人,以诚化人,以诚讲学,并根据农村秋成农隙的特点,围绕贴近老百姓日常生活的问题,用老百姓容易理解的语言,举老百姓身边的事例随机指点迷津,取得了惊人的教育效果,受到了学生和平民的普遍欢迎。     

基于模型转换的异步空间配准算法

在分布式融合系统中,融合中心在对传感器发送过来的航迹数据进行融合处理前,需要采用空间配准算法来消除航迹数据中可能存在的系统误差.已有的空间配准算法未考虑滤波处理中的状态方程对配准过程的影响.对不同传感器具有不同状态方程条件下的异步空间配准实现进行了研究,采用将模型误差和系统误差合并处理的思路,提出了基于模型转换的异步空间配准(AMCBA)算法.仿真结果表明AMCBA算法能够实现对模型误差和系统误差的准确估计.     

一种基于模型的系统设计方法

提出一种面向功能需求,基于模型的"V"型系统设计方法,通过图形化行为建模技术对系统功能进行分解,运用多种仿真和验证技术,在设计过程中实现对系统功能、行为以及与需求规范的一致性和完整性进行实时验证,及时发现并纠正错误,从而避免在产品的物理原型阶段或测试阶段才发现系统设计的错误.     

基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述,给出了资源泄漏缺陷状态机,定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中,按照资源泄漏缺陷状态机给出的转换条件进行状态计算,如果计算结果为故障,则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试,发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。     

一类非完整系统的输出反馈控制问题研究

针对一类具有虚拟控制方向和非线性不确定项的非完整系统,研究了其输出反馈控制器的设计问题。采用状态转换技术和反推方法,设计了只依赖于输出值的输出反馈控制器。同时为了处理初值为零的情况,提出了基于第一个子系统输出值的切换控制策略,通过仿真算例说明了控制器的有效性。     

简论故意泄漏国家秘密罪

为完善国家秘密保护法律制度,现行《刑法》规定了故意泄漏国家秘密罪。在司法实践中,需严格把握本罪的构成要件,并以此为基础,准确区分此罪与彼罪,正确施以刑罚。     

大型装备费用预测中的系统分析

将大型装备连续建造的总成本及控制变量作为一个变化系统,并用灰色系统理论进行建模分析,采用龙格-库塔法求解微分方程组.通过对精度的分析,指出使用灰色系统预测结果不能采用统计分析方法的相关性检验标准,而要通过预测数列与原始数列的逼近情况来判断其预测精度.     

带有消声瓦的潜艇耐压壳的稳态振动和横向应力

采用混合分层理论和Ressiner混合变分原理,在壳的厚度方向取二次插值函数来描述位移沿厚度方向的变化规律;采用三次和四次插值函数来描述横向应力沿厚度方向的变化,线形处理筋条的变形,推导出粘弹加筋层合圆柱壳的动力学方程和协调方程组,并采用拉普拉斯变换,得出简支粘弹加筋层合圆柱壳稳态振动的响应解。对于自由阻尼层合圆柱壳,所给出的振动频率和结构损耗因子与解析解吻合良好.结果表明,较高的层间横向正应力是引起潜艇消声瓦脱落的主要因素,而采用较高模量的粘弹性阻尼材料将降低层间横向应力的幅值.