论文部分内容阅读
研究了高安全性的应用程序开发环境—SCADE软件的特点和作用。阐述了SCADE软件中的两个重要的基础概念,在此基础上总结了SCADE软件三种建模方式:数据流图方式、平面状态机和安全状态机。
SCADE软件开发方法研究
【摘 要】
：
研究了高安全性的应用程序开发环境—SCADE软件的特点和作用。阐述了SCADE软件中的两个重要的基础概念,在此基础上总结了SCADE软件三种建模方式:数据流图方式、平面状态机和
【机 构】
：
一航第一飞机设计院6所,
【出 处】
：
系统仿真学报
【发表日期】
：
2008年S2期
其他文献
中等职业学校的教学目标应该是培养全面发展的高素质和高技术人才,对于学生的评价至关重要,该文以浙江省建筑安装技术学校为例,研究了中职学校的学生评价体系的主要组成,包括
据世界黄金协会１９９８年７月２３日新闻报道：亚洲金融危机爆发后，虽然对中国大陆市场的实际影响较少，但为了保持金饰对消费者的吸引力，特别是在上海这个全国最大的金饰市场，世界黄金协会在第一
一、教育的生态价值与生态语文的核心价值取向我们的教育,在某个意义上说,其实是一种以价值选择在先的、具有价值导向性的人为事业。因而,教育的价值取向问题就成为了教育的
凝视红外成像技术是凝视红外成像制导武器中的一项新技术，凝视红外成像制导武器的成像系统在性能指标和使用环境方面与一般的热像仪存在差别。本文对凝视红外成像系统的技术特点进行了分析，给出了影响凝视红外成像制导武器成像性能的因素，对主要性能指标进行了分析，提出了凝视红外成像制导武器成像性能的指标体系。在指标体系中提出了环境条件、大气传输模型等约束条件，同时考虑制导武器的实际使用需求，将作用距离指标拓展到指
Effect of Ga_2O_3 buffer layer thickness on the properties of Cu/ITO thin films deposited on flexibl
Cu and Cu/ITO films were prepared on polyethylene terephthalate(PET) substrates with a Ga2O3 buffer layer using radio frequency(RF) and direct current(DC) magne
胃肠道肿瘤占我国恶性肿瘤的半数以上,胃癌的发生率始终占第一位,早期诊断是提高治愈率的关键,手术治疗是效果最明确的方法,如何防止转移复发是急待研究的重要领域,个体化综
1 JB-QBZL-TF2000火灾报警控制器(联动型)1.1概述JB-QBZL-TF2000火灾报警控制器(联动型,见图1)是集中区域兼容型自动火灾报警控制器,符合GB4717-2005《火灾报警控制器》(以下
顿涅茨工学院所做的分析表明,在施工中采用繁重的及不便操作的钢筋混凝土支架是顿巴斯矿井井底车场巷道建设中技术经济指标低的主要原因。这种支架保证不了在其整个使用期限
平邑县建立了完整的水利执法体系山东省平邑县根据《水法》要求,建立了一支人员精干、运行有力、内外协同、专兼职结合,县、乡、村配套的水利执法队伍,卓有成效地开展水利执