【摘 要】
：
由于受到系统资源和实时性的限制,对于嵌入式实时系统的安全扩展很难延用通用计算机系统的安全设计方法,因此需要对其进行专门的研究。为了在确保实时性的前提下使嵌入式实时
【机 构】
：
南通大学计算机科学与技术学院,许昌职业技术学院
论文部分内容阅读
由于受到系统资源和实时性的限制,对于嵌入式实时系统的安全扩展很难延用通用计算机系统的安全设计方法,因此需要对其进行专门的研究。为了在确保实时性的前提下使嵌入式实时系统的安全性达到最优,本文提出了一套完整的安全设计方法,包括安全任务图模型和安全评估模型,在此基础上,又提出了一种基于整数线性规划的安全策略优化生成方法ILPOS。该安全策略优化生成方法同时解决了安全算法选择和实时可调度性检测两方面的问题,克服了一般分阶段优化方法的不足,从而充分地利用系统可用时间来实现安全扩展。仿真实验结果表明,与传统的启发式安
其他文献
去年新接手一个班级，3个特别的孩子引起了我的注意：小艳、小玉、小泉。他们有着相同的家庭背景和遭遇：3个孩子都是父母离异后，被放在老家由爷爷奶奶代管。 他们都是有父母的孩子，却没有得到父母的呵护和爱。面对3个可怜的孩子，我的思绪久久不能平静！ 3位成长导师，伴孩子茁壮成长 看着这3个孩子，我灵机一动，何不在班级科任教师中为他们各自寻找一位成长导师？这样可以弥补他们人生路上缺失的父母之爱。通过与
第八届CCF中国计算机大会(CCF CNCC2011)将于2011年11月24—26日在深圳市会展中心举行。CCF CNCC旨在探讨计算机及相关领域最新进展和宏观发展趋势,展示中国学术界、企业界最重要的学术、技术事件和成果。CCF CNCC2011现公开征集会议论文,优秀论文(不超过50篇)将发表在同期出版的CCF会刊《计算机学报》2011年第11期。
为了做好2019年全国两会宣传报道和安全播出,广西广播电视台专门在北京广西大厦租了两间工作室来搭建融媒体演播中心。本文介绍演播室系统的整体架构。
利用两三次的K—Means迭代得到初始簇的中心，选择一组具有良好区分度的方向构建IMIC坐标系，在该坐标系下，构造出各坐标轴的重新标度函数用以提高聚类决策的有效性。算法IMIC经过
1998年6月12日放养平均尾重5－6g的当年建鲤夏花鱼种，12月1日出箱，平均尾重785g，产量151.43kg/m^2，饵料系数1.92，群体增重倍数83，利润414.48元/m^2。其中最好的箱平均尾重达1030g，产量
随着移动互联技术的逐渐普及,运动健身类APP由于当前恶劣的环境、"全民健身"热潮以及对健康传播研究具有巨大价值和意义等因素而备受关注。本文结合运动健身类APP中热度较高
近年来,广播级高清数字化摄像机行业高清视频摄录功能发展迅速。与之相比,高清数码单反相机行业全画幅视频技术也在突飞猛进,其所拍摄的视频因景深、画面效果接近电影的画风
针对关节式物体检测的复杂性,本文提出一种新颖的视觉推理方法。该方法基于可变形的物体模型,同时利用图像中所包含的边缘信息特征(不依赖于局部特征,如肤色等)及各子部件的空间位置关系,迭代地进行关节式物体检测和定位估计。实验证明,该方法有较强的抗背景干扰能力,视觉上能大幅度改进关节式物体检测、定位的结果。
通过分析频率合成器的基本原理,阐述采用小数分频的ADF4153芯片完成频率合成器的设计。详细介绍元器件的选型以及采用ADIsim PLL来对环路滤波器进行仿真和优化设计。最后通过
在机会网络中,为了更合理地选择消息传输中继节点并提高消息投递效率,设计了消息转发效用,并给出了对应的消息副本转发算法。首先,从节点历史相遇信息入手,重点分析了节点的间接相遇概率及其对应的时效性问题,提出了评估相遇信息价值的时效指标;然后,结合节点运动相似性分析了消息重复扩散问题,并提出节点移动偏离指标,用于评价节点重复扩散消息的可能性。仿真实验结果表明:与Epidemic、ProPHET、Maxp