多通道FULMS自适应前馈振动控制算法分析与验证 被引量：10

1

作者 朱晓锦 黄全振 +2 位作者 高志远 高守玮 姜恩宇 《振动与冲击》 EI CSCD 北大核心 2011年第4期198-204,共7页

柔性结构振动主动控制的核心问题之一是控制策略与方法,针对FXLMS自适应滤波前馈振动控制方法参考信号不易选取问题,给出一种多通道FULMS自适应滤波前馈振动控制方法;首先进行控制器结构的分析与构建,概括描述和推导了多通道FULMS控制... 柔性结构振动主动控制的核心问题之一是控制策略与方法,针对FXLMS自适应滤波前馈振动控制方法参考信号不易选取问题,给出一种多通道FULMS自适应滤波前馈振动控制方法;首先进行控制器结构的分析与构建,概括描述和推导了多通道FULMS控制算法过程;为验证所分析算法的可行性和优越性,基于MATLAB软件包进行仿真分析,并与FXLMS算法分别进行单通道和多通道控制效果对比,分析结果表明多通道控制优于单通道控制,FULMS算法优于FXLMS算法。在此基础上,以航天器柔性帆板结构为理想模拟对象,构建压电机敏柔性板结构和测控系统进行实际算法控制实验;实验过程与验证结果表明,采用的FULMS控制器设计方法与控制算法是有效可行的,并具有较快的收敛速度和较好的控制效果。 展开更多

关键词 振动主动控制 智能压电柔性结构 FXLMS算法 FULMS算法 实验分析与验证

在线阅读 下载PDF 职称材料

CTCS-3列控系统RBC切换的形式化建模、分析与验证 被引量：4

2

作者 潘登 郑应平 《计算机应用研究》 CSCD 北大核心 2013年第2期443-446,453,共5页

针对影响RBC切换质量的列车速度、RBC切换时间等诸因素,以及澄清对RBC交接协议安全性在认识上的一些误区,利用随机Petri网形式化描述工具,建立了CTCS-3列控系统RBC切换模型。通过理论分析和仿真实验,验证了不同速度条件下高速列车越区运... 针对影响RBC切换质量的列车速度、RBC切换时间等诸因素,以及澄清对RBC交接协议安全性在认识上的一些误区,利用随机Petri网形式化描述工具,建立了CTCS-3列控系统RBC切换模型。通过理论分析和仿真实验,验证了不同速度条件下高速列车越区运行RBC交接协议A、B的可靠性、安全性和合理性。交接协议B作为协议A的冗余措施,由于考虑了RBC切换过程中通信中断时间,从RBC切换成功概率上讲,并不存在安全上的问题,但降低了RBC切换效率,对行车效率有所影响;列车速度进一步提高时,RBC切换的可靠性下降,可考虑适当增加RBC重叠覆盖区域、场强和列车间隔时间裕量。 展开更多

关键词 CTCS-3列控系统 RBC切换 通信协议 形式化建模 PETRI网 分析与验证

在线阅读 下载PDF 职称材料

物联网边缘计算服务容灾算法分析与验证 被引量：3

3

作者 黎明 李露 郭荣佐 《计算机工程与设计》 北大核心 2020年第7期1926-1934,共9页

物联网边缘计算服务部署的密集性和多样性等,导致服务存在数据保护和服务可靠性方面的问题,为此设计物联网边缘计算的服务容灾架构和容灾算法。对物联网边缘计算架构及服务容灾框架进行设计,对物联网边缘计算的服务容灾算法进行设计,提... 物联网边缘计算服务部署的密集性和多样性等,导致服务存在数据保护和服务可靠性方面的问题,为此设计物联网边缘计算的服务容灾架构和容灾算法。对物联网边缘计算架构及服务容灾框架进行设计,对物联网边缘计算的服务容灾算法进行设计,提出物联网边缘计算的服务容灾算法;对算法的时间、空间和可靠性等进行分析与实验验证,对算法在负载变化的适应性和数据丢失率等容灾特性进行验证。对所提物联网边缘计算服务容灾算法的分析与验证结果表明,该算法在时间和可靠性等方面具有一定的先进性。 展开更多

关键词 服务容灾 算法 分析与验证 边缘计算 物联网

在线阅读 下载PDF 职称材料

军用指挥控制软件可信性分析与验证技术 被引量：3

4

作者 许婧祺 董龙明 郝丽波 《火力与指挥控制》 CSCD 北大核心 2015年第8期176-180,共5页

随着武器装备信息化程度越来越高,军用指挥控制软件的可信性直接关系到装备整体效能的发挥。在对传统软件质量保证技术研究的基础上,结合军用指挥控制软件的特点,提出了基于形式化方法的软件分析与验证技术。分别从安全性质形式化规约... 随着武器装备信息化程度越来越高,军用指挥控制软件的可信性直接关系到装备整体效能的发挥。在对传统软件质量保证技术研究的基础上,结合军用指挥控制软件的特点,提出了基于形式化方法的软件分析与验证技术。分别从安全性质形式化规约技术、基于模型检验的指挥软件验证技术和基于静态分析的控制软件分析技术三方面保证军用指挥控制软件的可信性,最后,提出了适用于指挥控制软件全生命周期开发的形式化分析与验证集成环境。 展开更多

关键词 军用指挥控制软件 分析与验证技术 模型检验 静态分析

在线阅读 下载PDF 职称材料

安全数据库顶层规范中SQL操作的形式化分析与验证 被引量：1

5

作者 汪志鹏 杨明慧 +1 位作者 陈兵 王福 《计算机应用研究》 CSCD 北大核心 2015年第6期1751-1756,共6页

介绍了安全数据库形式化顶层规范,定义了顶层规范中SQL操作的描述,在此基础上给出简单SQL操作的定义,并对其进行分析验证,最后将一般SQL操作的分析验证转换为多个简单SQL操作的分析验证。验证过程表明,该方法既对SQL操作作了完整清晰的... 介绍了安全数据库形式化顶层规范,定义了顶层规范中SQL操作的描述,在此基础上给出简单SQL操作的定义,并对其进行分析验证,最后将一般SQL操作的分析验证转换为多个简单SQL操作的分析验证。验证过程表明,该方法既对SQL操作作了完整清晰的描述,又简化了证明。 展开更多

关键词 形式化顶层规范 安全数据库 SQL操作 形式化分析与验证

在线阅读 下载PDF 职称材料

环境减灾-1A卫星对发射力学环境适应性的分析与验证

6

作者 邓卫华 《航天器工程》 2009年第6期106-109,共4页

针对HJ-1A卫星发射状态的特殊性,使用有限元计算和相似性类比推算的方法,详细分析了正样状态HJ-1A卫星对于运载力学环境的适应性,得出HJ-1A卫星正样状态能够满足运载的力学条件的结论,并根据分析结果,改进了试验条件,最终通过试验验证,... 针对HJ-1A卫星发射状态的特殊性,使用有限元计算和相似性类比推算的方法,详细分析了正样状态HJ-1A卫星对于运载力学环境的适应性,得出HJ-1A卫星正样状态能够满足运载的力学条件的结论,并根据分析结果,改进了试验条件,最终通过试验验证,并顺利发射成功。 展开更多

关键词 卫星 运载火箭 力学环境 分析与验证

在线阅读 下载PDF 职称材料

某随动系统执行电机冲击载荷强度分析与验证 被引量：1

7

作者 杨军 郭晶 +3 位作者 宁变芳 赵昕 刘攀玲 刘妙 《火炮发射与控制学报》 北大核心 2019年第2期62-65,共4页

随动系统作为火炮的重要组成部件,其中执行电机结构强度对火炮性能有很大影响。为满足执行电机冲击载荷强度要求,以某随动系统执行电机为对象,建立有限元模型,通过有限元分析计算发现,执行电机设计结构强度有一定余量。通过冲击试验验证... 随动系统作为火炮的重要组成部件,其中执行电机结构强度对火炮性能有很大影响。为满足执行电机冲击载荷强度要求,以某随动系统执行电机为对象,建立有限元模型,通过有限元分析计算发现,执行电机设计结构强度有一定余量。通过冲击试验验证,执行电机状态完好,电气性能工作正常,达到某随动系统的设计要求。该研究结果为执行电机结构和电气性能进一步优化设计提供了仿真分析和试验支撑。 展开更多

关键词 随动系统 执行电机 冲击载荷 分析与验证

在线阅读 下载PDF 职称材料

基于C语言程序分析验证技术的Verilog代码验证方法

8

作者 邓茜 范广生 +2 位作者 陈立前 李暾 王戟 《计算机工程与科学》 CSCD 北大核心 2023年第12期2146-2154,共9页

传统的硬件验证方法将RTL设计综合成门级网表并使用SAT求解器进行验证,没有有效利用其字级结构,导致部分性质不能验证。近年来,软件分析验证技术和SMT求解技术取得了长足的发展,为将最新的软件分析验证技术迁移到硬件验证上来,提出一种... 传统的硬件验证方法将RTL设计综合成门级网表并使用SAT求解器进行验证,没有有效利用其字级结构,导致部分性质不能验证。近年来,软件分析验证技术和SMT求解技术取得了长足的发展,为将最新的软件分析验证技术迁移到硬件验证上来,提出一种基于C语言程序分析验证技术的Verilog代码验证方法。首先设计一个基于综合语义的Verilog到C的转换系统;然后使用当前软件分析验证领域典型的技术与工具对转换后的C语言程序进行分析验证,以判定原Verilog代码是否满足性质断言。实验结果表明了将C语言程序分析验证技术迁移到Verilog代码验证上的可行性和有效性。 展开更多

关键词 软件分析与验证 硬件验证 综合语义 程序转换

在线阅读 下载PDF 职称材料

新型仿生六足机器人步行足运动学分析与研究 被引量：11

9

作者 杨立辉 罗庆生 +1 位作者 王秋丽 毛新 《机械设计与制造》 北大核心 2006年第9期119-121,共3页

通过对六足步行机器人步行足的运动学分析,按照坐标系的建立原则,选取机构中的转动副作为关节变量,推导出各关节的广义变换矩阵,得到了步行足足端的运动学方程,求出步行足足端点运动学的正解坐标系,利用paul等人提出的代数解法进行了运... 通过对六足步行机器人步行足的运动学分析,按照坐标系的建立原则,选取机构中的转动副作为关节变量,推导出各关节的广义变换矩阵,得到了步行足足端的运动学方程,求出步行足足端点运动学的正解坐标系,利用paul等人提出的代数解法进行了运动学逆解分析,并借助计算机对其逆解进行了验证,为后续的运动学分析和轨迹规划奠定了基础。 展开更多

关键词 六足机器人 运动学 分析与验证

在线阅读 下载PDF 职称材料

多核处理器架构下面向监控的软件运行时验证方法研究 被引量：3

10

作者 张剑 胡军 郭丽娟 《小型微型计算机系统》 CSCD 北大核心 2012年第1期102-109,共8页

面向监控的软件运行时验证(Monitor-oriented Runtime Verification:MRV)方法可以有效的提高系统可靠性,但是在传统基于单核处理器架构的嵌入式系统中采用MRV方法会给目标系统性能造成较大的影响.本文对基于多核处理器架构的MRV方法进... 面向监控的软件运行时验证(Monitor-oriented Runtime Verification:MRV)方法可以有效的提高系统可靠性,但是在传统基于单核处理器架构的嵌入式系统中采用MRV方法会给目标系统性能造成较大的影响.本文对基于多核处理器架构的MRV方法进行了初步研究,分析并设计了在线验证、离线验证以及单监视器设计与多监视器设计等多种模式的MRV方法,给出了相应的MRV实现方案,并在几个开源项目中进行了MRV实例应用.实验数据分析表明,在不同模式下,基于多核处理器架构的MRV方法能够从不同程度上有效提高系统运行时验证的性能.本文工作为进一步设计有效的多核架构下MRV方法提供了基础. 展开更多

关键词 面向监控的运行时验证 嵌入式软件 多核程序设计 软件分析与验证

在线阅读 下载PDF 职称材料

载人月球探测任务初期多视角分层分析方法

11

作者 倪庆 彭祺擘 张海联 《宇航学报》 EI CAS CSCD 北大核心 2023年第10期1483-1495,共13页

针对载人月球探测任务构成系统多、系统交互关系复杂的特点,提出了一种基于模型的多视角分层分析方法。在任务前期(任务概念研究和初步开发阶段),从不同视角对任务层和系统层进行描述,建立任务层和系统层黑盒模型。与基于文档的任务分... 针对载人月球探测任务构成系统多、系统交互关系复杂的特点,提出了一种基于模型的多视角分层分析方法。在任务前期(任务概念研究和初步开发阶段),从不同视角对任务层和系统层进行描述,建立任务层和系统层黑盒模型。与基于文档的任务分析方法相比,多视角分层分析方法采用系统建模语言(SysML)对任务进行模型化描述,在任务初期从不同视角对任务和系统进行全面分析。方法采用以模型为中心的思想,支持系统模型快速迭代设计,提高了设计和分析效率。以载人月球探测任务为应用案例,验证了任务内各系统接口匹配情况,并检验了任务逻辑和系统状态设计的正确性。 展开更多

关键词 载人月球探测 多视角分层 黑盒模型 任务分析与验证

在线阅读 下载PDF 职称材料

50SiMnVB钢椭圆凹坑疵病原因分析 被引量：3

12

作者 李忠麟 宋瑞华 +6 位作者 姜春茂 刘有江 王波 吴忠江 李东华 王威威 赵东升 《精密成形工程》 2013年第4期74-76,80,共4页

基于某产品壳体用50SiMnVB钢在冲拔过程中毛坯内膛出现椭圆形凹坑疵病的现象,采用理化检测和工艺试验等手段对该疵病产生的原因机理进行了系统分析与验证,准确地找到了该疵病产生的原因,使生产顺利进行,有效保证了产品质量。

关键词 凹坑 理化检测 工艺试验 分析与验证 质量

在线阅读 下载PDF 职称材料

浅谈某产品用50SiMnVB钢横向断裂原因分析 被引量：3

13

作者 姜春茂 潘玲 +4 位作者 赵广军 刘有江 张常玲 赵东升 周宇航 《精密成形工程》 2012年第1期78-81,共4页

通过对某军工产品用50SiMnVB钢在加热过程中,横向断裂疵病产生的原因机理进行了分析与验证,准确地找到了该问题产生的原因,并在后续生产中增加无损检测技术,可有效地剔除该类缺陷,保证产品质量。

关键词 横向断裂 分析与验证 质量 无损检测

在线阅读 下载PDF 职称材料

某产品823钢壳体内膛疵病原因分析

14

作者 夏克祥 姜春茂 +4 位作者 赵广军 刘有江 李东华 朱小英 柳燕 《精密成形工程》 2014年第1期54-58,62,共6页

目的研究某产品关键零件用壳体823钢在冲拔过程中,毛坯内膛出现侧壁拉裂和底部缩孔疵病的原因。方法通过理论分析毛坯在冲拔过程中的变形机理和金属流动规律,结合理化检测和工艺试验等手段,对该疵病产生的原因进行了系统分析与验证。结... 目的研究某产品关键零件用壳体823钢在冲拔过程中,毛坯内膛出现侧壁拉裂和底部缩孔疵病的原因。方法通过理论分析毛坯在冲拔过程中的变形机理和金属流动规律,结合理化检测和工艺试验等手段,对该疵病产生的原因进行了系统分析与验证。结果准确找到了该疵病产生的原因。结论 823钢原材料存在缩孔残余及二次缩孔,是造成弹体毛坯底部缩孔疵病和侧壁拉裂疵病的根本原因;通过靶场射击动态考核试验和增加超声波探伤检验工序的产品,即使存在缩孔残余及二次缩孔,也不影响产品使用性能。 展开更多

关键词 拉裂 缩孔 分析与验证 质量

在线阅读 下载PDF 职称材料

选区激光熔化成型金属零件上表面粗糙度的研究 被引量：27

15

作者 刘睿诚 杨永强 王迪 《激光技术》 CAS CSCD 北大核心 2013年第4期425-430,共6页

为了改善成型件表面质量,从微观上研究了决定选区激光熔化成型金属零件的上表面粗糙度的主要因素,通过研究单熔道成型,从熔道搭接的角度理论分析了成型件的上表面粗糙度,基于自主研发的成型设备Dimet-al-280加工实体零件进行了实际测量... 为了改善成型件表面质量,从微观上研究了决定选区激光熔化成型金属零件的上表面粗糙度的主要因素,通过研究单熔道成型,从熔道搭接的角度理论分析了成型件的上表面粗糙度,基于自主研发的成型设备Dimet-al-280加工实体零件进行了实际测量对比,获得表面粗糙度的轮廓算术平均偏差Ra的理论值为3.21μm,微观不平度十点高度Rz的理论值为12.79μm,其实测值Ra=7.36μm,Rz=40.01μm;进行喷砂和电解抛光处理后,表面粗糙度减小,即Ra=2.34μm,Rz=10.86。结果表明,成型件的上表面粗糙度主要受熔道宽度、扫描间距和铺粉层厚3个因素的共同影响;粗糙度实测值与理论值有偏差,主要是由于熔道不稳定、表面出现球化、粉末粘附等缺陷造成;成型件经过电化学处理后表面质量有较大的改善。选区激光熔化成型金属零件可达到良好的表面粗糙度,此项研究为进一步提高表面质量和应用于生产加工提供了参考依据。 展开更多

关键词 激光技术 选区激光熔化 理论分析与验证 表面粗糙度 单熔道 电解抛光

在线阅读 下载PDF 职称材料

基于齿轮齿条传动的新型二冲程发动机的设计 被引量：1

16

作者 杨泽 李建永 +2 位作者 高兴华 王明旭 罗春阳 《中国农机化学报》 2017年第1期85-90,共6页

介绍了一种新型基于齿轮齿条传动的二冲程发动机的设计方案,它是以一双齿条和一对不完全齿轮以及锥齿轮系为核心结构,通过不完全齿轮与齿条的间歇啮合作用,将活塞的直线运动经过锥齿轮系合成输出为连续回转运动;并对其输出速度、转矩和... 介绍了一种新型基于齿轮齿条传动的二冲程发动机的设计方案,它是以一双齿条和一对不完全齿轮以及锥齿轮系为核心结构,通过不完全齿轮与齿条的间歇啮合作用,将活塞的直线运动经过锥齿轮系合成输出为连续回转运动;并对其输出速度、转矩和侧压力进行了理论分析,然后通过ADAMS动力分析软件对新型发动机和传统曲柄连杆式发动机进行了建模和仿真,并对其动力输出特性进行对比分析,突出其输出无侧力、动力输出平稳且结构简单高效的特点。 展开更多

关键词 齿轮齿条 锥齿轮系 ADAMS软件 分析与验证

在线阅读 下载PDF 职称材料

应对量表(COPE)测评维度结构研究 被引量：45

17

作者 张卫东 《心理学报》 CSSCI CSCD 北大核心 2001年第1期55-62,共8页

该文旨在对应对量表（COPE）　的测评维度结构进行进一步的鉴别分析和验证研究。研究一对736名大学生的应对量表中文修订本（C－COPE）测评数据进行探索性二阶因素分析；研究二根据已有研究关于应对量表测评维度组构模式的不同结论，以... 该文旨在对应对量表（COPE）　的测评维度结构进行进一步的鉴别分析和验证研究。研究一对736名大学生的应对量表中文修订本（C－COPE）测评数据进行探索性二阶因素分析；研究二根据已有研究关于应对量表测评维度组构模式的不同结论，以及研究一的结果，提出十个假设模型，采用验证性因素分析测试这些模型与另一大学生样本（N＝465）测评数据的拟合度。研究结果支持C-COPE八因子斜交模型。该量表如何进一步修订也在文中予以讨论。 展开更多

关键词 应对测评维度 应对量表(COPE) 探索性与验证性因素分析 拟合优指数

在线阅读 下载PDF 职称材料