排序方式： 共有10000条查询结果，搜索用时 15 毫秒
嵌入式系统开发与传统软件开发有着很大不同.嵌入式系统具有内核小、专用性强、高时效性、高可靠性、目标平台复杂等特点,这就对系统设计者提出更高的要求.面对目前嵌入式系统开发过程中的这些问题,尤其针对开发过程复杂,程序自动化程度不高等问题,提出一种基于Esterel代码自动生成的方法.该方法主要利用Esterel语言来对目标系统进行建模,实现将同一个Esterel模型编译为多个目标平台的代码.通过操作系统(OS)抽象层的设计,使系统开发人员不用关心目标平台相关的实现细节,更加容易进行多目标平台程序设计,从而实现嵌入式系统的程序设计自动化.通过实验表明,Esterel模型可以正确、高效地编译为多目标平台的代码,实现目标平台代码的自动生成. 相似文献
862.
航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性. 相似文献
为了提高中继协作系统的整体性能,设计了基于QC-LDPC(Quasi-Cycle Low-Density Parity-Check)码联合分层译码的混合转发协作系统,给出了用于源节点和中继节点编码的QC-LDPC系统码的构造方法,并提出了适用于该协作系统的联合分层译码新算法.根据传统译码转发和编码协作的特点,采用了中继混合转发协作策略,无论中继是否译码成功,中继节点都发送一定形式的冗余信息给目的节点,从而提高协作系统的编码增益和分集增益.仿真结果表明:所提出的混合转发协作系统可以充分发挥中继的分集和编码优势;与非协作系统相比,可以显著提高中继协作系统译码性能. 相似文献
生物系统全时滞稳定性表明系统对于时滞具有很好的可靠性,因此一直是学者们研究的热点,该研究通常采用传统的数学方法或数值计算方法.针对高维非线性含参数的生物系统,利用Hurwitz判据和多项式完全判别系统提出了带参数的非线性生物系统全时滞稳定性的一个充要代数判据.在此基础上,研究了如何利用Grbner基、三角化分解和实解分类等符号计算方法来处理得到的代数问题,并提出了一个利用符号计算方法系统化、算法化和自动化分析生物系统全时滞稳定性问题的方法.该方法使用的计算均是精确的,这为生物学家以及工程师研究某些生物系统的稳定性提供了理论基础.最后,通过对实际生物模型,比如时滞Lotka-Volterra模型和SIR传染病模型全时滞稳定性问题分析得到的有效结果,证明了符号计算方法分析生物系统全时滞稳定性的可行性及其相较于传统数学方法的优越性. 相似文献
865.
针对拓扑结构为无向连通的多机械臂系统,提出了一种自适应与迭代学习相结合的分布式控制协议来实现整个系统对给定期望参考轨迹的一致性跟踪.通过引入一个适当的自适应迭代学习参数,所提自适应迭代学习控制协议能够克服机械臂系统中的干扰和模型不确定性,并且每个机械臂的自适应迭代学习控制(AILC)律仅需要利用其与邻居机械臂的相对交互信息.进一步,在只有一部分机械臂具有期望参考轨迹信息的前提下,该控制协议可以实现整个系统对期望参考轨迹的跟踪,同时能够保证轨迹跟踪误差与控制输入的有界性.此外,利用李亚普诺夫分析方法证实了所得结论的正确性,并且通过一个实例验证了所提自适应迭代学习控制协议的有效性. 相似文献
866.
针对时间频率实验室设备实时监控的需求,在Microsoft NET平台上结合C++语言和Microsoft SQL server数据库技术,构建了时间频率设备自动监控系统。该系统可以实时监测设备的运行状态,并远程设置相关参数,在设备运行异常时,系统可自动弹出报警信息。实际应用表明系统具有较好的实用性、可维护性,为时间频率实验室的有序运行提供了保障。 相似文献
867.
根据航空供氧系统高空性能的工作原理,利用理论简化结构模型和气体动力学知识,建立了供氧系统部分高空性能参数的数学模型.在Matlab/Simulink系统仿真环境下,对高空部分性能参数进行了数值仿真计算,分析了高空性能中的充氧时间控制以及供氧面罩余压与拉力管内压力的比值特性和各种结构参数对面罩余压大小的影响.通过对仿真计算结果与试验结果的对比分析,表明所建立的数学模型是有效的,采用的仿真计算方法符合计算精度要求,对供氧系统高空性能的设计和改进工作具有一定的参考作用. 相似文献
868.
利用热流体系统仿真分析平台Flowmaster和计算流体力学软件Fluent进行联合仿真,对机翼热气防冰系统进行了设计和性能分析.设计参数包括防冰系统笛形管热气喷口孔径、孔数及孔间距等参数.基于Flowmaster对所设计的供气管路进行供气流量分配计算.基于Fluent模拟防冰腔内流动与换热,计算了防冰腔的热效率.根据防冰热载荷及热效率结果预测每段缝翼防冰所需热气流量,引入参数供气余度来分析防冰系统热性能.所提出的热气防冰系统设计方法可为热气防冰系统的工程设计与优化提供重要的帮助. 相似文献
869.
建立了针对空气系统强瞬变过程的控制方程及模块化仿真模型,该模型包括构成瞬态空气系统网络的4类基本元件:容腔元件、节点元件、管道元件和节流元件。上述基本元件及其组合单元的仿真结果与公开的文献数据能够较好的吻合,证明该模型能够模拟容积效应、惯性力作用占主导的强瞬变空气系统演化。在此基础上,仿真分析了某型航空发动机高压涡轮(HPT)轴断裂失效条件下的空气系统强瞬变过程。结果表明,涡轮轴的断裂失效能够引起空气系统内部复杂响应过程,并能导致涡轮盘所受的轴向力反向。该瞬态空气系统模型成功模拟了气流参数毫秒时间量级的动态响应,为深入研究航空发动机内部复杂空气系统的瞬变机理提供了有效的技术手段。 相似文献
870.
正2月16日,欧洲呼啸公司的俄制"呼啸"KM型运载火箭在普列谢茨克发射场发射了欧洲"哥白尼"对地观测计划下的"哨兵"3A对地观测卫星。"哨兵"3系列卫星由泰雷兹·阿莱尼亚空间公司主承包,发射质量1146千克,载有"海洋与陆地表面温度辐射计"、"海洋与陆地颜色仪"、"合成孔径雷达测高计"、"星基多普勒轨道确定与无线电定位组合系统"和"微波辐射计"等仪器,将开展海面地形、海洋 相似文献
|
