三维姿态实时显示的小型无人机飞控仿真系统 被引量：8

1

作者 张云洲 胡禹超 +1 位作者 吴成东 宋云宏 《实验室研究与探索》 CAS 北大核心 2015年第1期73-78,83,共7页

本文设计并实现了一种小型无人机飞行控制仿真系统,规划了合理的系统架构,由在环程序、飞行动力学模型、地面站程序及三维可视化显示等部分共同构成仿真系统。针对实际问题,提出了飞行姿态的三维直观显示、动力学仿真模拟的方法,结合硬... 本文设计并实现了一种小型无人机飞行控制仿真系统,规划了合理的系统架构,由在环程序、飞行动力学模型、地面站程序及三维可视化显示等部分共同构成仿真系统。针对实际问题,提出了飞行姿态的三维直观显示、动力学仿真模拟的方法,结合硬件在环和软件在环等两种方式建立了数据链路,构建了三维飞行器模型并导入仿真系统。仿真与实际飞行数据表明,所构建的仿真系统能够很好地满足小型无人机姿态控制和飞行仿真,实现了较高的精度和良好的实时性。 展开更多

关键词 无人机 飞行控制 仿真系统 三维姿态 数据链路 在环程序

下载PDF 职称材料

单分支线性约束循环程序的终止性分析

2

作者 李轶 唐桐 《软件学报》 EI CSCD 北大核心 2024年第3期1307-1320,共14页

秩函数法是循环终止性分析的主要方法,秩函数的存在表明了循环程序是可终止的.针对单分支线性约束循环程序,提出一种方法对此类循环的终止性进行分析.基于增函数法向空间的计算,该方法将原程序空间上的秩函数计算问题归结为其子空间上... 秩函数法是循环终止性分析的主要方法,秩函数的存在表明了循环程序是可终止的.针对单分支线性约束循环程序,提出一种方法对此类循环的终止性进行分析.基于增函数法向空间的计算,该方法将原程序空间上的秩函数计算问题归结为其子空间上的秩函数计算问题.实验结果表明,该方法能有效验证现有文献中大部分循环程序的终止性. 展开更多

关键词 循环程序 线性秩函数 增函数 终止性 多阶段秩函数

下载PDF 职称材料

基于数学归纳法抽取循环程序研究 被引量：1

3

作者 郑怡文 白云晖 《电脑编程技巧与维护》 2009年第14期5-6,共2页

广义上,程序设计过程就是定理证明过程,因而程序综合与机器定理证明关系密切。由于归结原理的反证法本质,不能保证其证明是构造性的,因此不能保证能够抽取循环程序,但是利用数学归纳法可以使用归结原理来抽取循环体,从而抽取循环程序。... 广义上,程序设计过程就是定理证明过程,因而程序综合与机器定理证明关系密切。由于归结原理的反证法本质,不能保证其证明是构造性的,因此不能保证能够抽取循环程序,但是利用数学归纳法可以使用归结原理来抽取循环体,从而抽取循环程序。文中利用数学归纳法进行了循环程序的提取。 展开更多

关键词 数学归纳法 抽取 循环程序

下载PDF 职称材料

VLIW处理器循环指令缓冲器设计与实现

4

作者 李勇 胡慧俐 杨焕荣 《计算机应用》 CSCD 北大核心 2014年第4期1005-1009,共5页

数字信号处理软件中循环程序在执行时间上占有很大比例,用指令缓冲器暂存循环代码可以减少程序存储器的访问次数,提高处理器性能。在VLIW处理器指令流水线中增加一个支持循环指令的缓冲器,该缓冲器能够缓存循环程序指令,并以软件流水的... 数字信号处理软件中循环程序在执行时间上占有很大比例,用指令缓冲器暂存循环代码可以减少程序存储器的访问次数,提高处理器性能。在VLIW处理器指令流水线中增加一个支持循环指令的缓冲器,该缓冲器能够缓存循环程序指令,并以软件流水的形式向功能部件派发循环程序指令。这样循环程序代码只需访存一次而执行多次,大大减少了访存次数。在循环指令运行期间,缓冲器发出信号使程序存储器进入睡眠状态可以降低处理器功耗。典型的应用程序测试表明,使用了循环缓冲后,取指流水线空闲率可达90%以上,处理器整体性能提高10%左右,而循环缓冲的硬件面积开销大约占取指流水线的9%。 展开更多

关键词 超长指令字处理器 循环程序 循环缓冲器 软件流水

下载PDF 职称材料

联合下标循环的并行执行方法

5

作者 曾国荪 陆鑫达 《计算机工程与应用》 CSCD 北大核心 1999年第11期9-11,共3页

所谓联合下标循环是指循环体中，数组下标的引用由多个循环索引联合决定。这是一种常见的循环程序，且数据相关模式复杂，循环空间没有规律。能否开发这类程序的并行性，是一个重要的研究课题。文章针对联合下标循环程序，系统地提出了... 所谓联合下标循环是指循环体中，数组下标的引用由多个循环索引联合决定。这是一种常见的循环程序，且数据相关模式复杂，循环空间没有规律。能否开发这类程序的并行性，是一个重要的研究课题。文章针对联合下标循环程序，系统地提出了一套有效的并行执行方法。 展开更多

关键词 循环程序 联合下标 软件流水 并行执行

下载PDF 职称材料

基于数组元素视图的并行化和特征

6

作者 曾国荪 陆鑫达 《计算机科学》 CSCD 北大核心 2001年第5期15-19,70,共6页

1 引言近年高性能并行计算研究领域已转到异构计算[1,2],因为一个复杂的计算问题,如Grand challenge问题[3],往往存在多种计算需求,任何单一的计算模式,如: SISD, SIMD, MIMD,数据流等,都不能使求解过程顺利进行.只有按需分配计算模式,... 1 引言近年高性能并行计算研究领域已转到异构计算[1,2],因为一个复杂的计算问题,如Grand challenge问题[3],往往存在多种计算需求,任何单一的计算模式,如: SISD, SIMD, MIMD,数据流等,都不能使求解过程顺利进行.只有按需分配计算模式,才能取得计算性能最优.异构计算的关键是并行性特征的提取.我们已经提出了基于程序结构和基于程序运行性能分析的两种方法[4～6],但还不完善.本文希望通过数组元素视图作深入的研究. 展开更多

关键词 数组元素视图 并行化 异构计算 算法

下载PDF 职称材料

量子马尔可夫链安全性模型检测 被引量：7

7

作者 林运国 雷红轩 李永明 《电子学报》 EI CAS CSCD 北大核心 2014年第11期2191-2197,共7页

本文定义了量子线性时间属性,包括量子安全性,量子不变性,讨论了它们的关系和性质.结合测量一次、测量多次的单向量子有穷自动机,构建了两类乘积量子马尔可夫链,提出了基于自动机技术的量子正则安全性检测方法.通过验证乘积量子马尔可... 本文定义了量子线性时间属性,包括量子安全性,量子不变性,讨论了它们的关系和性质.结合测量一次、测量多次的单向量子有穷自动机,构建了两类乘积量子马尔可夫链,提出了基于自动机技术的量子正则安全性检测方法.通过验证乘积量子马尔可夫链的可达终状态来判断量子正则安全性的可满足性,并给出了可满足性的概率计算公式.作为应用,分析了广义量子loop程序,将程序终止归结为验证量子正则安全性的可满足性. 展开更多

关键词 量子马尔可夫链 模型检测 安全性 量子有穷自动机 广义量子loop程序

下载PDF 职称材料

基于PLC的矿井排水控制系统设计 被引量：7

8

作者 陆奎 李虎 汪洋 《煤矿机械》 2015年第7期302-303,共2页

介绍了一种西门子S7-300 PLC的矿井排水控制系统,硬件采用先进的超声波水位传感器实现对水仓水位的测量,软件程序采用STEP7-V5.3的模块化设计。实践表明此系统可实现对水泵设备的自动控制,满足了无人值守要求,改进了设备的自动化水平。

关键词 矿井 水位传感器 主循环程序

下载PDF 职称材料

基于机器学习的多面体模型下的循环置换

9

作者 彭畅 陈长波 《信息技术》 2023年第12期22-32,共11页

针对现有多面体编译器默认调度性能欠佳的问题,提出了一种在给定问题规模下为循环程序预测最佳置换的方法。扩展Pluto以支持循环置换功能,构建决策树模型以在问题规模变化较大时预测最佳置换,构建回归模型以在问题规模相对集中时预测并... 针对现有多面体编译器默认调度性能欠佳的问题,提出了一种在给定问题规模下为循环程序预测最佳置换的方法。扩展Pluto以支持循环置换功能,构建决策树模型以在问题规模变化较大时预测最佳置换,构建回归模型以在问题规模相对集中时预测并行环境下的最佳置换,同时构建统一模型和泛化模型以提高方法的实用性。实验结果表明,决策树模型在并行环境下相较于Pluto取得了最大3.99倍和几何平均2.25倍的加速比,在并行和串行环境下分别达到了Oracle的92%和99%;回归模型的性能达到了Oracle的97%。 展开更多

关键词 机器学习 循环置换 循环程序优化 循环自动并行化 多面体模型

下载PDF 职称材料

新一代运载火箭闭式增压控制技术研究 被引量：5

10

作者 胡海峰 《航天控制》 CSCD 北大核心 2015年第4期28-33,共6页

提出一种闭式增压控制方案,三模冗余增压控制装置录取推进剂贮箱冗余设置的数字压力传感器信号,基于闭式增压控制方程,采用3取2表决输出控制指令对多路电磁阀实施开闭控制,使贮箱压力控制在理想范围;然后介绍了闭式程序增压和备保固定... 提出一种闭式增压控制方案,三模冗余增压控制装置录取推进剂贮箱冗余设置的数字压力传感器信号,基于闭式增压控制方程,采用3取2表决输出控制指令对多路电磁阀实施开闭控制,使贮箱压力控制在理想范围;然后介绍了闭式程序增压和备保固定时序增压的控制算法。工程应用和试验结果表明,闭式增压控制技术方案可行,增压控制方法合理。本文方案产品通用性好,增压控制可靠性高,系统适应性强,具有良好的推广应用价值。 展开更多

关键词 新一代 液体运载火箭 闭式增压控制技术 闭式程序增压 备保固定时序增压

下载PDF 职称材料

广义量子Loop程序的若干性质 被引量：5

11

作者 雷红轩 席政军 李永明 《电子学报》 EI CAS CSCD 北大核心 2013年第4期727-732,共6页

本文首先就广义量子loop程序(简记为GQLoop)的主体由比特翻转、去极化、幅值阻尼、相位阻尼等信道描述时,对它的终止(几乎终止)问题进行了研究.其次,讨论了两类GQLoop程序相互嵌套时loop程序的终止(几乎终止)的问题.研究表明:以量子运... 本文首先就广义量子loop程序(简记为GQLoop)的主体由比特翻转、去极化、幅值阻尼、相位阻尼等信道描述时,对它的终止(几乎终止)问题进行了研究.其次,讨论了两类GQLoop程序相互嵌套时loop程序的终止(几乎终止)的问题.研究表明:以量子运算的嵌套为主体的GQLoop程序终止(几乎终止)的条件依赖于刻画量子信道的参数.最后,当开放量子系统与其环境在酉运算下做为loop程序的主体时,讨论了在酉运算后去掉环境时的主系统上量子程序的执行过程. 展开更多

关键词 广义量子loop程序 量子运算 终止 几乎终止 复合量子系统

下载PDF 职称材料

多循环程序框架的单轴运动控制系统设计 被引量：3

12

作者 姜晓俊 李智 《机械设计与制造工程》 2013年第2期58-60,共3页

以单轴运动控制系统为例,介绍了多循环程序框架,并结合事件响应机制,论述了基于此机制的控制系统的设计思路和实现过程。基于多循环架构的运动控制系统,可以对不同任务进行分类处理,使得程序有良好的可扩展性,并易于维护,事件响应机制... 以单轴运动控制系统为例,介绍了多循环程序框架,并结合事件响应机制,论述了基于此机制的控制系统的设计思路和实现过程。基于多循环架构的运动控制系统,可以对不同任务进行分类处理,使得程序有良好的可扩展性,并易于维护,事件响应机制可以控制程序执行流程的改变,且又不占用、浪费CPU的资源,能够很好地响应前面板动作。 展开更多

关键词 LABVIEW 运动控制 生产者 消费者结构 多循环程序框架

下载PDF 职称材料

循环程序的界函数合成

13

作者 谭旺 李轶 《计算机应用》 CSCD 北大核心 2022年第2期565-573,共9页

作为循环程序终止性分析的主流方法,当前的秩函数方法大多局限于线性或多项式秩函数的求解。针对循环程序若不存在对应的线性或多项式秩函数,现有秩函数方法就无法证明其终止性的问题,提出一个新的方法来合成给定循环程序对应的界函数... 作为循环程序终止性分析的主流方法,当前的秩函数方法大多局限于线性或多项式秩函数的求解。针对循环程序若不存在对应的线性或多项式秩函数,现有秩函数方法就无法证明其终止性的问题,提出一个新的方法来合成给定循环程序对应的界函数。对于给定的循环程序,倘若能找到其界函数,则表明该循环程序是可终止的。首先将界函数的求解问题转化为一个线性二分类问题,并在选定界函数模板后,根据模板建立映射关系以构建训练集;然后利用所得训练集通过支持向量机(SVM)获取分类超平面进而求解得到模板系数,从而得到候选的界函数;最后利用现有的符号验证工具Redlog对该候选界函数进行验证。实验结果表明,相较于现有的秩函数方法,所提方法不仅能够应用于更多的循环程序,而且所得界函数在形式上相较于秩函数更加简化。具体表现为,对于某些没有线性秩函数的循环,该方法可以得到其对应的线性界函数;同时,对于某些只有多阶段线性秩函数的循环,该方法可以求解得到全局的线性界函数。 展开更多

关键词 程序验证 循环程序终止性 支持向量机 界函数 秩函数

下载PDF 职称材料

基于安全性检测的广义量子Loop程序终止验证 被引量：1

14

作者 林运国 李永明 《中国科学：信息科学》 CSCD 北大核心 2015年第12期1615-1631,共17页

针对广义量子Loop程序的终止问题,首先介绍终止和几乎终止的两种定义,说明它们在刻画程序终止问题上的能力不足.为了弥补这种缺陷,引入另外两种定义:以一定概率在第n步终止和可终止,并且对这四种终止定义进行比较.其次,量子(正则)安全... 针对广义量子Loop程序的终止问题,首先介绍终止和几乎终止的两种定义,说明它们在刻画程序终止问题上的能力不足.为了弥补这种缺陷,引入另外两种定义:以一定概率在第n步终止和可终止,并且对这四种终止定义进行比较.其次,量子(正则)安全性是量子Markov链中重要的一类线性时间属性,证明出量子正则安全性的可满足概率等于乘积量子Markov链终状态不可达的概率,从而给出量子正则安全性检测技术.运用该检测技术,将广义量子Loop程序的终止问题归结为量子正则安全性的可满足性问题,并给出算法来计算第n步终止、可终止的概率和量子终态.针对多(单)量子比特系统、复合系统、嵌套系统,推导出第n步终止、可终止的终态和概率,并提供计算的显式表达式.最后证明广义量子Loop程序有限步内终止和可终止的充要条件. 展开更多

关键词 量子loop程序 量子Markov链 量子自动机 程序终止 安全性

原文传递

三袢两针单孔微型腹腔镜小儿腹股沟疝高位结扎术(附56例报告) 被引量：2

15

作者 蒲建元 《腹腔镜外科杂志》 2016年第7期507-510,共4页

目的：探讨三袢两针单孔微型腹腔镜技术治疗小儿腹股沟疝的疗效与优势。方法：为56例腹股沟疝患儿行三袢两针单孔微型腹腔镜手术,分析术中操作流程及术后疗效。结果：56例共64侧小儿腹股沟疝手术顺利完成,手术时间6-15 min,平均（9.5
... 目的：探讨三袢两针单孔微型腹腔镜技术治疗小儿腹股沟疝的疗效与优势。方法：为56例腹股沟疝患儿行三袢两针单孔微型腹腔镜手术,分析术中操作流程及术后疗效。结果：56例共64侧小儿腹股沟疝手术顺利完成,手术时间6-15 min,平均（9.5±1.8）min/侧。术后患儿均恢复顺利,无术后出血、阴囊积液、阴囊血肿等并发症发生,均于术后第2-3天出院。随访6-9个月,无复发病例。结论：三袢两针单孔微型腹腔镜小儿腹股沟疝高位结扎术具有操作简单、流程稳定、安全可靠、疗效良好的特点,既实现了结扎线的可选择性,又实现了双重结扎,值得临床推广。 展开更多

关键词 疝 腹股沟 高位结扎术 腹腔镜检查 三线袢法 儿童

下载PDF 职称材料

基于Dixon结式和逐次差分代换的多项式秩函数探测方法

16

作者 袁月 李轶 《计算机应用》 CSCD 北大核心 2019年第7期2065-2073,共9页

秩函数探测是循环程序终止性分析的重要方法,目前,已有很多研究者致力于为线性循环程序探测对应的线性秩函数,然而,针对具有多项式循环条件和多项式赋值的多项式型的循环,现有的秩函数探测方法还有所不足,解决方案大多是不完备的、或者... 秩函数探测是循环程序终止性分析的重要方法,目前,已有很多研究者致力于为线性循环程序探测对应的线性秩函数,然而,针对具有多项式循环条件和多项式赋值的多项式型的循环,现有的秩函数探测方法还有所不足,解决方案大多是不完备的、或者具有较高的时间复杂度。针对现有工作对于多项式秩函数探测方法不足的问题,基于扩展Dixon结式(KSY方法)和逐次差分代换(SDS)方法,提出一种为多项式循环程序探测多项式型秩函数的方法。首先,将待探测的秩函数模板看作带参数系数的多项式,将秩函数的探测转换为寻找满足条件的参数系数的问题;然后,进一步将问题转换为判定相应的方程组是否有解的问题,至此,利用KSY方法中的扩展的Dixon结式,将问题更进一步简化为带参系数多项式(即结式)严格为正的判定问题;最后,利用SDS方法,找到一个充分条件,使得得到的结式严格为正,此时,可以获取满足条件的参数系数的取值,从而找到一个满足条件的秩函数,通过实验验证该秩函数探测方法的有效性。实验结果表明,利用该方法,可以有效地为多项式循环程序找到多项式秩函数,包括深度为d的多阶段多项式秩函数,与已有方法相比,该方法能够更高效地找到多项式秩函数,对于基于柱形代数分解(CAD)方法的探测方法因时间复杂度问题无法而应对的一些循环,利用所提方法能够在几秒内为这些循环找到秩函数。 展开更多

关键词 循环程序终止性 多项式循环程序 多项式秩函数 多阶段秩函数 Dixon结式 逐次差分代换

下载PDF 职称材料

用Petri网分析循环程序的并行性 被引量：1

17

作者 乐晓波 汪琳 黄敏 《计算机应用与软件》 CSCD 北大核心 2002年第4期51-55,共5页

为分析循环程序的并行性,最重要且最基本的工作是数据相关性分析,而数据相关性分析最主要的内容之一是循环程序中数组元素间的数据相关性分析。传统的分析方法是通过数组的下标进行分析计算,但这种计算每次只能对两个语句间的相关性作... 为分析循环程序的并行性,最重要且最基本的工作是数据相关性分析,而数据相关性分析最主要的内容之一是循环程序中数组元素间的数据相关性分析。传统的分析方法是通过数组的下标进行分析计算,但这种计算每次只能对两个语句间的相关性作出结论,而无法知道是否有第三个或更多的语句在这同一数据处相关,从而很难确定这两个语句是否可以并行。将Petri网用于数据相关性分析理论中,可以从全局的观点分析出同一数据处所有语句的相关性,从而可以提出将循环程序转换为并行程序的有效方法。 展开更多

关键词 PETRI网 数据相关性 循环程序 并行程序 并行性

下载PDF 职称材料

多分支单变量循环程序的终止性分析

18

作者 李轶 李传璨 吴文渊 《软件学报》 EI CSCD 北大核心 2015年第2期297-304,共8页

对多分支单变量循环程序的终止性问题进行了研究.证明了在适定的条件下,该类循环程序不可终止性的充分必要条件是迭代映射在循环条件形成的区域中有不动点.特别地,当这类循环程序是多项式循环程序时,在给定条件下,其在实数域上的终止性... 对多分支单变量循环程序的终止性问题进行了研究.证明了在适定的条件下,该类循环程序不可终止性的充分必要条件是迭代映射在循环条件形成的区域中有不动点.特别地,当这类循环程序是多项式循环程序时,在给定条件下,其在实数域上的终止性问题是可判定的. 展开更多

关键词 可信计算 多分支循环程序 终止性分析

下载PDF 职称材料

电力电容器过电压周期试验主回路技术方案分析

19

作者 魏新劳 杨永明 +2 位作者 王永红 陈庆国 孙文祎 《哈尔滨理工大学学报》 CAS 北大核心 2010年第1期9-14,共6页

从国标对电力电容器过电压周期试验的波形要求出发,对进行电力电容器过电压周期试验的串联谐振法和并联谐振法进行了深入的理论分析,并利用Matlab/Simulink对这两种方法进行了仿真,理论分析和仿真均表明:串联谐振法在减少试验电源容量... 从国标对电力电容器过电压周期试验的波形要求出发,对进行电力电容器过电压周期试验的串联谐振法和并联谐振法进行了深入的理论分析,并利用Matlab/Simulink对这两种方法进行了仿真,理论分析和仿真均表明:串联谐振法在减少试验电源容量和满足国标规定的试验电压波形两方面存在矛盾,而且不容易进行折中选择,不适合作为电力电容器过电压周期试验的主回路方案;而并联谐振法在减少试验电源容量和满足国标规定的试验电压波形两方面不存在任何矛盾,是电力电容器过电压周期试验最合理的主回路方案.低压验证性试验进一步验证了并联谐振法作为电力电容器过电压周期试验的主回路方案的正确性. 展开更多

关键词 电力电容器 过电压周期试验 主回路方案

下载PDF 职称材料

多项式循环程序的秩函数探测

20

作者 李轶 冯勇 《软件学报》 EI CSCD 北大核心 2019年第11期3243-3258,共16页

秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序,这类程序的秩函数计算问题被证明可归结为单形上正定多项式的探测问题,从而便于利用线性规划工具Simplex去计算这类程序的秩函数.不同于现有基于柱形代数分解的... 秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序,这类程序的秩函数计算问题被证明可归结为单形上正定多项式的探测问题,从而便于利用线性规划工具Simplex去计算这类程序的秩函数.不同于现有基于柱形代数分解的量词消去算法,该方法能够在可接受的时间内计算更为复杂的多项式秩函数. 展开更多

关键词 可信计算 多分支循环程序 终止性 秩函数

下载PDF 职称材料