论文部分内容阅读
简要介绍同步语言SIGNAL,并讨论了一种在POLYCHRONY平台下的嵌入式系统设计方法,同时以有限LIFO堆栈为例进行说明。方法主要是利用SIGNAL进行组件建模,它强调把形式化技术放到验证、分析以及代码生成中。
基于同步语言SIGNAL的一种系统设计方法
【摘 要】
：
简要介绍同步语言SIGNAL,并讨论了一种在POLYCHRONY平台下的嵌入式系统设计方法,同时以有限LIFO堆栈为例进行说明。方法主要是利用SIGNAL进行组件建模,它强调把形式化技术放
【机 构】
：
中国航空计算技术研究所
【出 处】
：
航空计算技术
【发表日期】
：
2009年5期
其他文献
采用三维Euler方程为控制方程，耦合静气动弹性平衡方程，进行机翼静气动弹性数值模拟；在机翼静气动弹性分析的基础上，结合Takanashi余量修正方法对三维大展弦比机翼进行气动外形反
即将筹建的跟踪及数字中继卫星系统(TDRSS)是国防和载人航天的重要支撑系统.介绍了TDRSS正反向通信链路的信号设计技术,根据K波段单址勤务、S波段单址勤务、S波段多址勤务,在
【摘 要】阅读能力是人类生活必备的核心能力，是终身教育的核心目标之一，中小学时期是阅读能力发展的主要时期，发展学生的阅读能力既是中小学语文教育的核心培养目标，也是中小学生全面发展的重要内容。阅读环境是影响中小学生阅读能力发展的根本依据，建设阅读环境应从阅读精神环境和阅读物质环境入手，对阅读生理环境、阅读心理环境、阅读交往环境、阅读符号环境、阅读空间环境、阅读色彩环境、阅读光环境、阅读空气环境、阅
针对市场上现有记录仪采集串行口通道数少,采集速率低,且价格昂贵等问题,提出了基于PC104单板机为架构的INS/GPS组合导航设备数据采集系统设计方案,给出了设计原理、系统组成以及实现方法。飞行试验结果表明该记录仪具有存存储容量大、高采样率,多串口通道,体积小和成本低等特点,满足了对INS/GPS组合导航设备进行性能评估的需要。
【摘 要】学前教育是人生至关重要的启蒙阶段，老师要保护孩子对世界的好奇心、激发孩子对各种事物的兴趣，培养孩子对生活的探索欲望。在学前教育教学过程中如何培养孩子实践能力，需要教师通过对孩子的日常观察和随时鼓励关爱孩子，然后随时创新各种教育措施。 【关键词】兴趣引导 观察力 活动实践 中图分类号：G4 文献标识码：A DOI：10.3969/j.issn.1672-0407.2018.2
利用某型发动机地面试验数据作为学习样本，采用改进BP神经网络的方法，建立了航空发动机起动过程动态模型。利用所建立的模型对起动性能进行了估算，估算结果与试验数据基本相符。
幼儿学生的教学,有基础学科知识的教授,像是语文数学学科的引导,为学生下一阶段的学科学习做铺垫。更有拓展性学科知识的指导,例如音乐科学知识和技能的传授。前者能促进学生
介绍了软件复用技术和监控软件的内容及特点,重点讨论了复用技术在监控领域软件设计中的应用,提出了基于软件复用思想,建立适用于监控软件设计开发的标准元件类库和适用于监