检索结果-维普期刊中文期刊服务平台

程序执行时间的静态预估与可视化分析方法被引量：9: 1; 作者孙昌爱金茂忠 +1 位作者刘超靳若明《软件学报》 EI CSCD 北大核心 2003年第1期68-75,共8页; 软件时间性能分析与评估技术是实时软件开发中的一个重要课题.提出了一种基于控制流程图的程序执行时间的可视化分析框架,研究了中间代码段与源程序中语句的对应关系的自动分析、源程序语句行的CPU周期数的提取和计算方法、基于控制流... 展开更多; 关键词程序执行时间静态预估可视化分析方法程序控制流程图实时软件软件测试软件工程软件开发; 在线阅读下载PDF 职称材料

实时系统程序最差情况执行时间(WCET)的分析被引量：2: 2; 作者姬孟洛齐治昌《计算机科学》 CSCD 北大核心 2006年第10期238-241,共4页; 事先获知系统中程序最差情况的执行时间(Worst-CaseExecutionTime,WCET),是设计和验证实时系统调度及可调度性分析的前提,也是确定周期性任务是否满足其性能目标,从而发现系统性能瓶颈的基础。本文概述了程序WCET的分析方法,描述了WCET... 展开更多; 关键词程序流事实分析最差情况执行时间wcet分析实时系统软件工程; 在线阅读下载PDF 职称材料

包含依赖输入分支程序的符号化WCET分析被引量：2: 3; 作者姬孟洛齐治昌王怀民《软件学报》 EI CSCD 北大核心 2006年第3期628-637,共10页; 符号化WCET(worst-caseexecutiontime)分析是用符号表达式表示任务的最大执行时间:表达式中包含了参数.通过在运行时刻快速确定表达式值,符号化WCET分析可以更精确地估算WCET.提出了一种针对其分支直接依赖于输入数据的程序的符号化WCE... 展开更多; 关键词参数化最大执行时间wcet分析 wcet分析程序分析实时系统软件工程; 在线阅读下载PDF 职称材料

基于灰色关联分析法的驾驶室结构轻量化优化设计: 4; 作者汤金帅刘夫云 +1 位作者刘凯扬邓聚才《现代制造工程》 CSCD 北大核心 2022年第7期64-68,126,共6页; 针对汽车结构轻量化优化时间长、变量筛选客观性差的问题,以某商用车驾驶室为研究对象,提出一种基于灰色关联分析法的驾驶室结构轻量化优化方法。首先,在隐式参数化建模软件SFE-Concept中建立商用车驾驶室隐式参数化模型,利用OptiStruc... 展开更多; 关键词优化时间隐式参数化结构灵敏度分析灰色关联分析法混合近似模型; 在线阅读下载PDF 职称材料

翼伞系统最优归航轨迹设计的敏感度分析方法被引量：16: 5; 作者梁海燕任志刚 +1 位作者许超言金《控制理论与应用》 EI CAS CSCD 北大核心 2015年第8期1003-1011,共9页; 本文对三自由度翼伞系统归航轨迹优化问题进行了研究,采用控制变量参数化与时间尺度变换相结合的优化算法对翼伞系统的最优控制问题进行数值求解.该方法是基于灵敏度分析的优化算法,将控制量以及控制量转换时间转化为一系列参数优化问... 展开更多; 关键词翼伞轨迹优化时间尺度变换参数化优化灵敏度分析; 在线阅读下载PDF 职称材料

流体管道水锤抑制的时间尺度变换控制被引量：7: 6; 作者陈特欢任志刚《控制理论与应用》 EI CAS CSCD 北大核心 2018年第2期198-206,共9页; 在流体管道运行中,打开的阀门突然关闭会造成管道内部流体对阀门及管壁的巨大压力冲击,这种现象叫做水锤效应,严重威胁流体管道的健康运行.基于此,本文研究了阀门关闭过程中抑制水锤效应的最优边界控制问题.水锤模型由一组非线性时空演... 展开更多; 关键词水锤模型分段一次线性控制变量参数化时间尺度变换敏感性分析; 在线阅读下载PDF 职称材料

用于动态序列合成的基于核密度估计的隐马尔科夫模型被引量：1: 7; 作者王天树郑南宁 +2 位作者李岩徐迎庆沈向洋《计算机学报》 EI CSCD 北大核心 2003年第2期153-159,共7页; 提出了一种用于动态序列合成的统计模型———基于核密度估计的隐马尔可夫模型 .给定一个输入动态序列 ,该模型可以自动产生被控的输出动态序列 .文中提出的模型是一种以非参数化概率密度估计作为观测模型的隐马尔可夫模型 .该模型对输... 展开更多; 关键词动态序列合成隐马尔科夫模型计算机动画时间序列分析非参数化统计; 在线阅读下载PDF 职称材料

题名程序执行时间的静态预估与可视化分析方法被引量：9: 1; 作者孙昌爱金茂忠刘超靳若明; 机构北京航空航天大学计算机科学与工程系; 出处《软件学报》 EI CSCD 北大核心 2003年第1期68-75,共8页; 基金 (国家自然科学基金)No.60073005 (国家高技术研究发展计划)No.2001AA110244~; 文摘软件时间性能分析与评估技术是实时软件开发中的一个重要课题.提出了一种基于控制流程图的程序执行时间的可视化分析框架,研究了中间代码段与源程序中语句的对应关系的自动分析、源程序语句行的CPU周期数的提取和计算方法、基于控制流程图的点到点最大时间分析算法和CPU周期的绝对时间估计方法.设计并实现了一个实用的基于控制流程图的程序执行时间静态分析与评估工具.最后,对研究工作进行了相关比较和总结.; 关键词程序执行时间静态预估可视化分析方法程序控制流程图实时软件软件测试软件工程软件开发; Keywords program execution time evaluation worst case execution time program flowchart real-time software software testing software engineering; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名实时系统程序最差情况执行时间(WCET)的分析被引量：2: 2; 作者姬孟洛齐治昌; 机构国防科技大学计算机学院; 出处《计算机科学》 CSCD 北大核心 2006年第10期238-241,共4页; 基金国家自然科学基金(No.60303013)资助项目。; 文摘事先获知系统中程序最差情况的执行时间(Worst-CaseExecutionTime,WCET),是设计和验证实时系统调度及可调度性分析的前提,也是确定周期性任务是否满足其性能目标,从而发现系统性能瓶颈的基础。本文概述了程序WCET的分析方法,描述了WCET分析的定义和组成,重点总结其中的程序流事实分析方法,并指出程序流事实分析存在的问题和WCET分析的研究热点。; 关键词程序流事实分析最差情况执行时间wcet分析实时系统软件工程; Keywords Worst-case execution time analysis, Real-time system, Software engineering; 分类号 TP31 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名包含依赖输入分支程序的符号化WCET分析被引量：2: 3; 作者姬孟洛齐治昌王怀民; 机构国防科学技术大学计算机学院; 出处《软件学报》 EI CSCD 北大核心 2006年第3期628-637,共10页; 基金国家自然科学基金~~; 文摘符号化WCET(worst-caseexecutiontime)分析是用符号表达式表示任务的最大执行时间:表达式中包含了参数.通过在运行时刻快速确定表达式值,符号化WCET分析可以更精确地估算WCET.提出了一种针对其分支直接依赖于输入数据的程序的符号化WCET分析方法.首先对Blieberger方法进行扩充,使得WCET符号表达式能够表达依赖输入分支,然后利用程序的控制依赖图对符号表达式进行化简,从而产生带条件的WCET符号表达式,即不同的条件对应不同的符号表达式.与已有方法不同,符号化WCET公式直接依赖于输入参数,使得运行时的WCET估算更加简单直接.; 关键词参数化最大执行时间wcet分析 wcet分析程序分析实时系统软件工程; Keywords parametric worst-case execution time （wcet） analysis wcet analysis program analysis real-time system software engineering; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于灰色关联分析法的驾驶室结构轻量化优化设计: 4; 作者汤金帅刘夫云刘凯扬邓聚才; 机构桂林电子科技大学东风柳州汽车有限公司; 出处《现代制造工程》 CSCD 北大核心 2022年第7期64-68,126,共6页; 基金广西新能源物流商用车协同创新研发及成果转化应用项目(AA18242036) 广西创新驱动发展专项项目(AA18242037)。; 文摘针对汽车结构轻量化优化时间长、变量筛选客观性差的问题,以某商用车驾驶室为研究对象,提出一种基于灰色关联分析法的驾驶室结构轻量化优化方法。首先,在隐式参数化建模软件SFE-Concept中建立商用车驾驶室隐式参数化模型,利用OptiStruct求解器对驾驶室模型进行基础性能分析;其次,结合有限元前处理软件HyperMesh重新划分驾驶室结构,以弹性模量为设计变量进行驾驶室结构灵敏度分析;再次,采用灰色关联分析法在试验设计之前筛选出33个零件厚度、截面变量;最后,构建径向基-响应面混合近似模型,利用序列二次规划算法进行驾驶室结构轻量化优化。优化结果表明:在弯扭刚度、一阶扭转模态频率基本不变的条件下,驾驶室质量降低24.5 kg,减轻了8.0%,一阶弯曲模态频率提升了13.9%,驾驶室结构轻量化优化效果较佳。; 关键词优化时间隐式参数化结构灵敏度分析灰色关联分析法混合近似模型; Keywords optimization time implicit parameterized structure sensitivity analysis grey relational analysis mixed approximation model; 分类号 U469.21 [机械工程—车辆工程]; 在线阅读下载PDF 职称材料

题名翼伞系统最优归航轨迹设计的敏感度分析方法被引量：16: 5; 作者梁海燕任志刚许超言金; 机构浙江大学智能系统与控制研究所工业控制技术国家重点实验室中航工业航宇救生装备有限公司; 出处《控制理论与应用》 EI CAS CSCD 北大核心 2015年第8期1003-1011,共9页; 基金国家高技术研究发展计划项目("863"计划)(2012AA041701) 国家自然科学基金项目(61473253) 赛博(CYBER)协同创新中心项目资助~~; 文摘本文对三自由度翼伞系统归航轨迹优化问题进行了研究,采用控制变量参数化与时间尺度变换相结合的优化算法对翼伞系统的最优控制问题进行数值求解.该方法是基于灵敏度分析的优化算法,将控制量以及控制量转换时间转化为一系列参数优化问题同时进行求解.仿真结果表明,相对于基于两端边值优化算法而言,灵敏度分析法只需要正向积分进行求解,因而具有计算简单、耗时短等优点,其控制效果良好,距离偏差和方向偏差均满足实际需求,有效地提高了翼伞系统的着陆精度,验证了该优化算法的可行性.; 关键词翼伞轨迹优化时间尺度变换参数化优化灵敏度分析; Keywords parafoil trajectory optimization time-scaling transformation parameterization optimization sensitivity analysis; 分类号 O224 [理学—运筹学与控制论]; 在线阅读下载PDF 职称材料

题名流体管道水锤抑制的时间尺度变换控制被引量：7: 6; 作者陈特欢任志刚; 机构宁波大学机械工程与力学学院浙江大学工业控制技术国家重点实验室广东工业大学自动化学院; 出处《控制理论与应用》 EI CAS CSCD 北大核心 2018年第2期198-206,共9页; 基金国家自然科学基金项目(61703217 61703114 +3 种基金 61473253) ICT170288) 宁波大学科研基金(XYL17024)资助~~; 文摘在流体管道运行中,打开的阀门突然关闭会造成管道内部流体对阀门及管壁的巨大压力冲击,这种现象叫做水锤效应,严重威胁流体管道的健康运行.基于此,本文研究了阀门关闭过程中抑制水锤效应的最优边界控制问题.水锤模型由一组非线性时空演化方程描述,本文首先通过半离散方法得到一个有限维模型.然后,采用分段一次线性控制变量参数化方法及灵敏度分析方法,结合时间尺度变换方法,推导其梯度形式.最后,结合非线性优化求解器,完成边界最优控制设计.仿真结果显示时间尺度变换方法能够更有效地抑制水锤效应.考虑到实际工程中的控制量为阀门相对开度,在得到阀门处的流量和压力的最优变化过程后,本文给出了阀门相对开度随时间的演化关系.; 关键词水锤模型分段一次线性控制变量参数化时间尺度变换敏感性分析; Keywords water hammer model piecewise-linear control parameterization time-scaling technique sensitivity analysis; 分类号 TP273 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名用于动态序列合成的基于核密度估计的隐马尔科夫模型被引量：1: 7; 作者王天树郑南宁李岩徐迎庆沈向洋; 机构西安交通大学人工智能与机器人研究所微软亚洲研究院; 出处《计算机学报》 EI CSCD 北大核心 2003年第2期153-159,共7页; 基金国家自然科学基金 ( 6 0 175 0 0 6 6 0 0 2 430 1)资助 .; 文摘提出了一种用于动态序列合成的统计模型———基于核密度估计的隐马尔可夫模型 .给定一个输入动态序列 ,该模型可以自动产生被控的输出动态序列 .文中提出的模型是一种以非参数化概率密度估计作为观测模型的隐马尔可夫模型 .该模型对输入和受控输出序列的联合概率分布进行建模 ,并利用基于核函数的概率密度估计来学习联合概率分布的细节信息 .文中详细地讨论了该模型的学习和合成算法 .并利用该模型实现了一个虚拟指挥系统 .即给定一段音乐 ,系统可以自动生成相关的乐队指挥动作 .该文利用该系统对不同风格和节拍的音乐做了实验 .实验结果验证了算法的有效性 .; 关键词动态序列合成隐马尔科夫模型计算机动画时间序列分析非参数化统计; Keywords Learning systems Probability density function Sampling Time series analysis; 分类号 TP391.41 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	程序执行时间的静态预估与可视化分析方法	孙昌爱金茂忠刘超靳若明	《软件学报》 EI CSCD 北大核心	2003	9	在线阅读下载PDF 职称材料
2	实时系统程序最差情况执行时间(WCET)的分析	姬孟洛齐治昌	《计算机科学》 CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
3	包含依赖输入分支程序的符号化WCET分析	姬孟洛齐治昌王怀民	《软件学报》 EI CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
4	基于灰色关联分析法的驾驶室结构轻量化优化设计	汤金帅刘夫云刘凯扬邓聚才	《现代制造工程》 CSCD 北大核心	2022	0	在线阅读下载PDF 职称材料
5	翼伞系统最优归航轨迹设计的敏感度分析方法	梁海燕任志刚许超言金	《控制理论与应用》 EI CAS CSCD 北大核心	2015	16	在线阅读下载PDF 职称材料
6	流体管道水锤抑制的时间尺度变换控制	陈特欢任志刚	《控制理论与应用》 EI CAS CSCD 北大核心	2018	7	在线阅读下载PDF 职称材料
7	用于动态序列合成的基于核密度估计的隐马尔科夫模型	王天树郑南宁李岩徐迎庆沈向洋	《计算机学报》 EI CSCD 北大核心	2003	1	在线阅读下载PDF 职称材料