论文部分内容阅读
为设计高防危性的安全关键系统,阐述了安全关键系统防危性的本质含义.并从设计方面研究防危性的实现机制,其中重点研究了基于防危核的高防危保障技术.同时提出了基于反射式技术的编程语言-OpenC++的实现机制,为防危核的实现探索了新的途径,也为安全关键系统探索了有效的防危新机制.
安全关键系统的防危性技术研究
【摘 要】
：
为设计高防危性的安全关键系统,阐述了安全关键系统防危性的本质含义.并从设计方面研究防危性的实现机制,其中重点研究了基于防危核的高防危保障技术.同时提出了基于反射式技
【机 构】
：
电子科技大学计算机科学与工程学院
【出 处】
：
电子科技大学学报
【发表日期】
：
2003年2期
【基金项目】
：
总装备部预研项目
其他文献
在单峰需求情形下最优产量确定的基础上,针对厂商面对多峰不确定情形下的需求情况,研究了多峰需求情形下最优产量的决策问题,建立了多峰需求情形下最优产量确定的决策模型,得
针对移位型计数器存在状态利用不足这一问题,提出了全状态移位计数器.从四位扭环移位计数器状态图中两个有效循环出发,分析了四位全状态移位计数器的设计.通过讨论拆环、链合
针对面向对象设计与关系数据库设计之间的不匹配问题,介绍了一种映射方法O/R Mapping.在使用对象模型时,常常通过对象之间的关系来进行访问;而根据关系理论,则通过表的连接、
教学质量监控与评价是提高教学质量的保证。目前各高校的教学质量监控与评价大多仍采用传统的模式,存在着多方面的问题,影响监控与评价的信度与效度,只有结合高校特点构建科
当代大学后继续教育是我国高等教育的进一步发展和延伸,在此过程中具有自身特点,同时也存在诸多问题,解决好这些问题,才能确保当代大学后继续教育的健康发展。
根据波长资源预约的原理,在光突发交换边缘节点的设计中讨论了波长状态袁在其中的应用.重点阐明了流水线技术在状态表的筛选和改写中的应用及其FPGA实现.分析结果表明,流水线
成功的评传著作难写，对当代优秀作家加以“传”和“评”，更是难上加难。窃以为，评传最根本的特点是“传”得真实，“评”得真切。但现实学风的浮躁肤浅，文化生态的乡愿盛行，使得具有
<正>中国艺术不同于西方艺术,它不以摹仿自然、酷肖自然为最高境界,而力求实现主客融合、相互贯通的整体性,追求充满感性生命的人生体悟和对宇宙人生独特真切的感受。艺术的
成人继续教育因为种类较多,形式多样,在中国取得了一定的发展。但是,随着社会发展的步伐加快,对于人才的要求也不断提高,而成人继续教育并没有完全跟上时代发展节奏,其发展受
采用加权GS迭代算法,以高斯光束均匀化为例,模拟计算了算法中权因子的大小对所设计的BOE整形效果的影响;利用最佳权因子设计了16阶的二元光学元件,并与权因子为其他值时进行