期刊文献+
共找到260篇文章
< 1 2 13 >
每页显示 20 50 100
嵌入式软件自动化测试系统研究 被引量:20
1
作者 夏佳佳 邹毅军 +2 位作者 周江伟 王天民 曹胜莉 《计算机测量与控制》 2016年第4期22-25,共4页
嵌入式软件系统的测试通常需要对其被控对象或者环境进行仿真,以进行硬件在环的闭环验证,在软件测试中很有必要将被控对象的实时仿真模型与被测系统连接起来进行闭环测试;在总结分析嵌入式测试领域新需求的基础上,提出了一种基于分布式... 嵌入式软件系统的测试通常需要对其被控对象或者环境进行仿真,以进行硬件在环的闭环验证,在软件测试中很有必要将被控对象的实时仿真模型与被测系统连接起来进行闭环测试;在总结分析嵌入式测试领域新需求的基础上,提出了一种基于分布式仿真测试环境的嵌入式软件自动化测试系统;该系统具有较强的测试管理能力,以实时仿真机为核心,以及接口的模块化定制,实现了对系统动态特性的半实物仿真软硬件环境,很好地解决了嵌入式系统内存资源较少,与硬件紧密相关等问题。 展开更多
关键词 嵌入式软件 闭环测试 自动化测试 实时仿真机
下载PDF
迭代算子及其在可重用软件研究中的应用 被引量:4
2
作者 薛锦云 吴云峰 万剑怡 《软件学报》 EI CSCD 北大核心 1997年第2期145-152,共8页
迭代算子在循环控制机制抽象和可重用软件研究中有十分重要的作用,已有10多年研究历史,然而,至今对什么是迭代算子尚无确切和统一的定义,严重影响了对这一概念的理解,也阻碍了它的广泛应用,本文在分析研究现有各种迭代算子概念... 迭代算子在循环控制机制抽象和可重用软件研究中有十分重要的作用,已有10多年研究历史,然而,至今对什么是迭代算子尚无确切和统一的定义,严重影响了对这一概念的理解,也阻碍了它的广泛应用,本文在分析研究现有各种迭代算子概念局限性的基础上,将迭代算子定义为包含于组合数据类型内部的抽象数据类型,得到了一种通用迭代算子模式,并给出了分立迭代算子和集成迭代算子的概念和模式。 展开更多
关键词 迭代算子 可重用软件 循环机制 软件开发
下载PDF
基于反馈控制的软件适应性需求的识别与分析 被引量:11
3
作者 刘春 张伟 +1 位作者 赵海燕 金芝 《软件学报》 EI CSCD 北大核心 2015年第4期713-729,共17页
适应性需求的识别与分析是开发自适应软件系统的基础,它将明确软件系统在运行过程中所可能面临的环境变化以及应对这些变化系统应采取的措施.但是,当前的适应性需求识别与分析方法一方面缺乏对环境的分析导致无法系统性地识别环境变化,... 适应性需求的识别与分析是开发自适应软件系统的基础,它将明确软件系统在运行过程中所可能面临的环境变化以及应对这些变化系统应采取的措施.但是,当前的适应性需求识别与分析方法一方面缺乏对环境的分析导致无法系统性地识别环境变化,另一方面也缺乏有效的框架来同时考虑如何应对已知的环境变化和未知的环境变化.针对这些问题,提出了基于反馈控制的适应性需求识别与分析方法.该方法将自适应软件与其作用的环境看作为一个自适应控制系统,将适应性需求的识别与分析转化为对该控制系统所应具有的反馈回路的识别与分析.通过将环境看作软件的控制对象,它不仅突出了软件的环境,同时还可以通过确定环境感知反馈回路和需求感知反馈回路来分别应对已知的环境变化和未知的环境变化.最后,用一个实例说明所提出方法的可行性. 展开更多
关键词 自适应软件 适应性需求 需求分析 反馈控制回路
下载PDF
软件锁相环的设计与应用 被引量:6
4
作者 屈强 刘东华 +1 位作者 杨君 杜汪洋 《遥测遥控》 2007年第1期10-14,共5页
根据虚拟无线电技术的特点和锁相环的基本原理,提出一种适于计算机软件化实现的锁相环数学模型,分析不同参数对锁相环捕获和跟踪性能的影响,得出不同情况下参数设定的基本准则。计算机仿真结果表明,软件锁相环在加性高斯白噪声信道下具... 根据虚拟无线电技术的特点和锁相环的基本原理,提出一种适于计算机软件化实现的锁相环数学模型,分析不同参数对锁相环捕获和跟踪性能的影响,得出不同情况下参数设定的基本准则。计算机仿真结果表明,软件锁相环在加性高斯白噪声信道下具有较好的捕获与跟踪性能。最后提出软件锁相环在测控系统中实现信号实时处理的优化方法。 展开更多
关键词 虚拟无线电 软件锁相环 鉴相器 环路滤波器 压控振荡器
下载PDF
PCM设备的维护与管理 被引量:8
5
作者 郭玉松 蔡登荣 《电力系统通信》 2009年第5期65-68,共4页
结合实际运行维护工作,描述了PCM设备的基本配置和功能,重点介绍了2种接口模块的测试方法,并对常见的故障现象进行了分析处理;针对不同厂家的PCM设备,给出了可供实施的应急预案,为维护管理工作提供了一种可借鉴的方法。
关键词 PCM 软件测试 自环
下载PDF
DSP实时图像处理软件优化方法研究 被引量:7
6
作者 雷涛 周进 吴钦章 《计算机工程》 CAS CSCD 2012年第14期177-180,共4页
为提高高速图像处理系统中数字信号处理器(DSP)软件的实时性,分别提出面向算法与代码2个层次的优化方法。算法级优化通过重新设计算法的实现流程,充分利用处理器资源,完成算法到处理器上的高效映射;代码级优化使用汇编语言,对固定算法... 为提高高速图像处理系统中数字信号处理器(DSP)软件的实时性,分别提出面向算法与代码2个层次的优化方法。算法级优化通过重新设计算法的实现流程,充分利用处理器资源,完成算法到处理器上的高效映射;代码级优化使用汇编语言,对固定算法的代码进行优化,使循环核形成高效的软件流水,达到实时性能要求。实验结果表明,2种优化方法均能提高DSP软件中关键模块的处理速度。 展开更多
关键词 实时图像处理 算法级优化 代码级优化 数字信号处理器 软件流水 循环核
下载PDF
PAR平台中若干软件构件形式化验证技术研究 被引量:8
7
作者 胡启敏 薛锦云 +1 位作者 游珍 程着 《计算机工程与科学》 CSCD 北大核心 2018年第2期268-274,共7页
PAR平台是本团队研制成功的支撑软件形式化和自动化开发的软件平台。该平台充分体现了功能抽象和数据抽象的优越性,使得软件开发变得便捷和可靠,达到这一性能的关键要素是一批可重用软件构件。为保证整个软件平台的正确性和可靠性,确保... PAR平台是本团队研制成功的支撑软件形式化和自动化开发的软件平台。该平台充分体现了功能抽象和数据抽象的优越性,使得软件开发变得便捷和可靠,达到这一性能的关键要素是一批可重用软件构件。为保证整个软件平台的正确性和可靠性,确保其中软件构件的正确性和可靠性就显得十分重要。选取PAR平台中若干典型软件构件,用形式化方法对构件的语义进行形式化描述,并借助Coq定理证明系统,对构件的正确性进行形式化验证,大幅度提高了软件构件形式化验证的效率。 展开更多
关键词 软件构件 形式语义 定理证明 PAR平台 循环不变式
下载PDF
同轴等大方形线圈的互感系数 被引量:8
8
作者 岑敏锐 《武汉工程大学学报》 CAS 2007年第4期90-92,共3页
根据方形线圈的磁场分布公式,通过数值计算,得到了两个长度为2l、相互距离为d的同轴等大方形线圈的互感磁通量与电流、长度和相互距离之间的数值关系,并利用绘图软件Origin7.5强大的线性回归和曲线拟合功能,给出了两个同轴等大方形线圈... 根据方形线圈的磁场分布公式,通过数值计算,得到了两个长度为2l、相互距离为d的同轴等大方形线圈的互感磁通量与电流、长度和相互距离之间的数值关系,并利用绘图软件Origin7.5强大的线性回归和曲线拟合功能,给出了两个同轴等大方形线圈的互感系数的近似解析式.计算结果表明,互感系数由方形线圈的长度和相互距离决定,而与电流无关. 展开更多
关键词 ORIGIN软件 方形线圈 互感系数
下载PDF
A Software-in-the-Loop Implementation of Adaptive Formation Control for Fixed-Wing UAVs 被引量:5
9
作者 Jun Yang Ximan Wang +2 位作者 Simone Baldi Satish Singh Stefano Fari 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2019年第5期1230-1239,共10页
This paper discusses the design and software-in-theloop implementation of adaptive formation controllers for fixedwing unmanned aerial vehicles(UAVs) with parametric uncertainty in their structure, namely uncertain ma... This paper discusses the design and software-in-theloop implementation of adaptive formation controllers for fixedwing unmanned aerial vehicles(UAVs) with parametric uncertainty in their structure, namely uncertain mass and inertia. In fact, when aiming at autonomous flight, such parameters cannot assumed to be known as they might vary during the mission(e.g.depending on the payload). Modeling and autopilot design for such autonomous fixed-wing UAVs are presented. The modeling is implemented in Matlab, while the autopilot is based on ArduPilot, a popular open-source autopilot suite. Specifically, the ArduP ilot functionalities are emulated in Matlab according to the Ardupilot documentation and code, which allows us to perform software-in-the-loop simulations of teams of UAVs embedded with actual autopilot protocols. An overview of realtime path planning, trajectory tracking and formation control resulting from the proposed platform is given. The software-inthe-loop simulations show the capability of achieving different UAV formations while handling uncertain mass and inertia. 展开更多
关键词 ArduPilot ADAPTIVE formation control FIXED-WING UAVs software-in-the-loop simulations
下载PDF
基于SUMO的智能网联汽车软件在环测试系统开发
10
作者 秦琴 吕沁元 +1 位作者 谷文军 单体健 《计算机仿真》 2024年第6期192-197,204,共7页
针对目前智能网联汽车测试软件在环测试环节尚未成熟的问题,提出一种基于SUMO的智能网联汽车测试环境。上述测试环境依托交通流仿真软件SUMO(Simulation of Urban Mobility)平台,使用MATLAB/Simulink对车辆动力学进行仿真;使用罗技方向... 针对目前智能网联汽车测试软件在环测试环节尚未成熟的问题,提出一种基于SUMO的智能网联汽车测试环境。上述测试环境依托交通流仿真软件SUMO(Simulation of Urban Mobility)平台,使用MATLAB/Simulink对车辆动力学进行仿真;使用罗技方向盘与Simulink采集驾驶员操作信息;在Unity3D中与SUMO同步环境场景并实现3D视觉效果。使用虚拟驾驶设备和联合汽车电子公司成熟的智能网联功能对环境进行了验证,结果表明,新开发的测试系统建立的虚拟车辆可以遵循驾驶员驾驶意图,同时能够给通用智能网联汽车软件提供软件在环测试环境,进行模块化测试,测试结果准确,试验数据可靠,整套系统反应灵敏、操作安全、沉浸感较强。 展开更多
关键词 智能网联汽车 软件在环 虚拟仿真系统
下载PDF
电子机械制动汽车稳定性控制电控单元软件开发及硬件在环试验 被引量:6
11
作者 李静 张建 +3 位作者 杨坤 王坤 魏青 吴振昕 《吉林大学学报(工学版)》 EI CAS CSCD 北大核心 2011年第4期893-897,共5页
针对电子机械制动(EMB)汽车,基于目标电控单元进行了汽车稳定性控制系统(VSC)的软件开发。首先分析了软件功能,搭建了开发架构和软件流程图,然后采用C语言手写代码的方式进行程序的编写,并构建了基于XPC Target技术和CAN网络的硬件在环... 针对电子机械制动(EMB)汽车,基于目标电控单元进行了汽车稳定性控制系统(VSC)的软件开发。首先分析了软件功能,搭建了开发架构和软件流程图,然后采用C语言手写代码的方式进行程序的编写,并构建了基于XPC Target技术和CAN网络的硬件在环测试平台。最后通过硬件在环试验验证了汽车稳定性控制(VSC)电控单元与EMB系统的匹配性能及VSC系统的控制效果。 展开更多
关键词 车辆工程 电子机械制动 汽车稳定性控制 电控单元软件 硬件在环
下载PDF
基于模型的嵌入式C代码的实现与验证 被引量:5
12
作者 徐超坤 朱婷 李威宣 《单片机与嵌入式系统应用》 2011年第12期15-18,共4页
以51芯片为例,讲述了模型的建立、调试与验证,以及基于模型的嵌入式C代码的自动生成及软硬件在环测试。实践表明,该基于模型的设计方法可显著提高工作效率、缩短研发周期、降低开发成本,并且增加了代码的安全性与鲁棒性,有效降低了产品... 以51芯片为例,讲述了模型的建立、调试与验证,以及基于模型的嵌入式C代码的自动生成及软硬件在环测试。实践表明,该基于模型的设计方法可显著提高工作效率、缩短研发周期、降低开发成本,并且增加了代码的安全性与鲁棒性,有效降低了产品软件开发的风险。 展开更多
关键词 Matlab/Stateflow RTW MBD 软件在环仿真 自动代码生成 快速原型
下载PDF
车辆姿态控制系统悬架阻尼控制策略 被引量:5
13
作者 李静 吴云平 +4 位作者 杨宗昂 郭立书 王军 李幼德 李春峰 《吉林大学学报(工学版)》 EI CAS CSCD 北大核心 2006年第S2期24-28,共5页
提出了车辆姿态控制系统的悬架阻尼控制策略。介绍了调试控制算法的软件在环仿真平台,采用软件在环仿真的方法进行了典型工况阻尼控制算法的调试。结果表明:车辆姿态阻尼控制算法能有效抑制转向“横摆”、“侧偏”与“侧倾”、制动“点... 提出了车辆姿态控制系统的悬架阻尼控制策略。介绍了调试控制算法的软件在环仿真平台,采用软件在环仿真的方法进行了典型工况阻尼控制算法的调试。结果表明:车辆姿态阻尼控制算法能有效抑制转向“横摆”、“侧偏”与“侧倾”、制动“点头”及高速行驶时过大的的悬架动行程和车轮动载荷,改善车辆的操纵稳定性和平顺性。 展开更多
关键词 车辆工程 姿态控制 悬架阻尼 控制算法 软件在环
下载PDF
基于Matlab/Simulink的软件在环仿真技术研究 被引量:5
14
作者 钱振天 徐晓轶 +1 位作者 谌平平 姚文熙 《电力电子技术》 CSCD 北大核心 2016年第10期5-7,共3页
利用Matlab/Simulink和代码编译器(CCS)建立了软件在环(SIL)仿真系统,并利用该系统对单相脉宽调制(PWM)逆变器主电路模型和基于TMS320F28335型数字信号处理器(DSP)的控制系统进行了SIL仿真和实验验证。仿真和实验结果表明,所建立的SIL... 利用Matlab/Simulink和代码编译器(CCS)建立了软件在环(SIL)仿真系统,并利用该系统对单相脉宽调制(PWM)逆变器主电路模型和基于TMS320F28335型数字信号处理器(DSP)的控制系统进行了SIL仿真和实验验证。仿真和实验结果表明,所建立的SIL仿真系统能模拟DSP控制软件的实际控制效果。利用该系统进行控制算法开发,能大幅缩短开发周期,降低开发成本。 展开更多
关键词 仿真 软件在环 代码编译器
下载PDF
Model-based robustness testing for avionics-embedded software 被引量:3
15
作者 Yang Shunkun Liu Bin +1 位作者 Wang Shihai Lu Minyan 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2013年第3期730-740,共11页
Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness t... Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop (HIL) testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems. 展开更多
关键词 Embedded software HARDWARE-IN-loop Model-based testing Robustness testing Testing environment
原文传递
软件锁相环的设计与仿真 被引量:1
16
作者 高广军 梁俊明 尤永祥 《中国新通信》 2008年第19期63-66,共4页
根据软件无线电技术的特点和锁相环的基本原理,提出了一种适于计算机软件实现的锁相环数学模型,并分析了不同参数对锁相环捕获和跟踪性能的影响,得出不同情况下参数设定的基本准则。计算机仿真结果表明,软件锁相环在加性高斯白噪声信道... 根据软件无线电技术的特点和锁相环的基本原理,提出了一种适于计算机软件实现的锁相环数学模型,并分析了不同参数对锁相环捕获和跟踪性能的影响,得出不同情况下参数设定的基本准则。计算机仿真结果表明,软件锁相环在加性高斯白噪声信道下具有较好的捕获与跟踪性能。 展开更多
关键词 软件无线电 软件锁相环 鉴相器 环路滤波器 压控振荡器
下载PDF
软件流水循环缓冲的设计与实现 被引量:4
17
作者 陈纪孝 李勇 《计算机科学》 CSCD 北大核心 2013年第4期35-37,共3页
设计了一种软件流水循环缓冲,用于存储和派发循环体指令,减少执行循环程序时的访存次数,从而减少访存延迟对性能的影响。在详细研究软件流水和循环展开的基础上,完成了软件流水循环缓冲的设计。所设计的循环缓冲可以存储112条32位指令,... 设计了一种软件流水循环缓冲,用于存储和派发循环体指令,减少执行循环程序时的访存次数,从而减少访存延迟对性能的影响。在详细研究软件流水和循环展开的基础上,完成了软件流水循环缓冲的设计。所设计的循环缓冲可以存储112条32位指令,用循环专用指令来控制循环程序的执行。对设计进行了模拟验证,并用Design Com-plier对设计进行了综合。 展开更多
关键词 软件流水 循环缓冲 模调度 储存延迟
下载PDF
基于Prescan的智能驾驶辅助系统在环研究 被引量:3
18
作者 赵伊齐 张引 +1 位作者 申成刚 王严 《汽车实用技术》 2019年第9期47-49,59,共4页
为在短时间内完成大量验证高级驾驶辅助系统的产品性能,利用Prescan对控制器进行软件在环研究。首先对产品的性能及功能规范提出开发需求,作为测试依据;利用仿真软件Prescan完成测试场景及动力学模型的搭建;运用Matlab/Simulink实现自... 为在短时间内完成大量验证高级驾驶辅助系统的产品性能,利用Prescan对控制器进行软件在环研究。首先对产品的性能及功能规范提出开发需求,作为测试依据;利用仿真软件Prescan完成测试场景及动力学模型的搭建;运用Matlab/Simulink实现自动化测试。结果表明,利用Prescan进行软件在环测试,可缩短开发周期,减少开发成本,有效提高产品性能。 展开更多
关键词 高级驾驶员辅助系统 软件在环 自动化测试
下载PDF
Real-time multibody modeling and simulation of a scaled bogie test rig 被引量:3
19
作者 Sundar Shrestha Maksym Spiryagin Qing Wu 《Railway Engineering Science》 2020年第2期146-159,共14页
In wheel–rail adhesion studies,most of the test rigs used are simplified designs such as a single wheel or wheelset,but the results may not be accurate.Alternatively,representing the complex system by using a full ve... In wheel–rail adhesion studies,most of the test rigs used are simplified designs such as a single wheel or wheelset,but the results may not be accurate.Alternatively,representing the complex system by using a full vehicle model provides accurate results but may incur complexity in design.To trade off accuracy over complexity,a bogie model can be the optimum selection.Furthermore,only a real-time model can replicate its physical counterpart in the time domain.Developing such a model requires broad expertise and appropriate software and hardware.A few published works are available which deal with real-time modeling.However,the influence of the control system has not been included in those works.To address these issues,a real-time scaled bogie test rig including the control system is essential.Therefore,a 1:4 scaled bogie roller rig is developed to study the adhesion between wheel and roller contact.To compare the performances obtained from the scaled bogie test rig and to expand the test applications,a numerical simulation model of that scaled bogie test rig is developed using Gensys multibody software.This model is the complete model of the test rig which delivers more precise results.To exactly represent the physical counterpart system in the time domain,a real-time scaled bogie test rig(RT-SBTR)is developed after four consecutive stages.Then,to simulate the RT-SBTR to solve the internal state equations and functions representing the physical counterpart system in rigs used are simplified designs such as a single wheel or wheelset,but the results may not be accurate.Alternatively,representing the complex system by using a full vehicle model provides accurate results but may incur complexity in design.To trade off accuracy over complexity,a bogie model can be the optimum selection.Furthermore,only a real-time model can replicate its physical counterpart in the time domain.Developing such a model requires broad expertise and appropriate software and hardware.A few published works are available which deal with rea 展开更多
关键词 Bogie modeling Scaled bogie test rig Realtime simulation Wheel-rail adhesion software in loop
下载PDF
利用循环展开最大化软件流水线性能(英文) 被引量:3
20
作者 廖继荣 董海涛 《纯粹数学与应用数学》 CSCD 2004年第3期285-290,共6页
软件流水线通过重叠连续的循环实体来实现有效的精细调度 .然而 ,其性能可能受限制于循环里缺乏足够的并行操作或者资源需求 .“先展开后调度”技术在进行软件流水线调度之前先展开循环 ,从而能够发现更多的并行操作和充分利用关键资源 ... 软件流水线通过重叠连续的循环实体来实现有效的精细调度 .然而 ,其性能可能受限制于循环里缺乏足够的并行操作或者资源需求 .“先展开后调度”技术在进行软件流水线调度之前先展开循环 ,从而能够发现更多的并行操作和充分利用关键资源 .研究循环展开如何影响软件流水线的性能和资源利用 。 展开更多
关键词 软件流水线 循环展开 并行操作
下载PDF
上一页 1 2 13 下一页 到第
使用帮助 返回顶部