论文部分内容阅读
针对属性计算框架可客观地计算安全的度,但某些属性难以计算的问题。提出了转义性概念,研究公平性与无干扰之间的语义关系。仿真表明,采用转义方式计算安全度的合理性,这为属性计算框架从理论走向应用提供了一种方法。
面向属性计算的转义性计算研究
【摘 要】
：
针对属性计算框架可客观地计算安全的度,但某些属性难以计算的问题。提出了转义性概念,研究公平性与无干扰之间的语义关系。仿真表明,采用转义方式计算安全度的合理性,这为属
【机 构】
：
桂林电子科技大学广西可信软件重点实验室,广西混杂计算与集成电路设计分析重点实验室
【出 处】
：
桂林电子科技大学学报
【发表日期】
：
2011年6期
【基金项目】
：
国家自然科学基金（61100186）
其他文献
【摘 要】课堂教学的有效性是指提高教师的课堂教学效益、强化教学过程评价和教学目标落实的一种现代教学理念。职业学校体育教学应根据专业特点，学生的身心、进行教学设计，教学内容要结合职业特点，教学目标要明确，教学组织、教学策略要科学。以培养学生未来职业需要和所具有的职业技能为目标，发展学生的身体素质、心理素质及终身体育的能力和社会适应性。 【关键词】职业学校 体育教学 有效性 一、关于教学的有效
【摘 要】在高中体育教学过程中，体育教师应根据高中生的身心发展特点，掌握合适的训练强度及训练量，才能不断提高教学效果。同时，还要不断研究分析高中生田径训练模式，从训练强度、训练量两方面着手，制定出一套科学合理的田径训练制度，才能切实提高高中生田径训练成绩，提高体育教学质量。 【关键词】高中体育 田径 训练强度 训练量 田径运动是一切体育运动的基础，也是高中体育课程的重要组成部分，对促进高中生身
产品质量不仅仅是企业的品牌,更是企业生存之本。提高产品质量,增强企业竞争力,对扩大市场需求、保持经济平稳较快增长具有重要意义。改善产品质量是企业在竞争中求得生存的
基于连通支配集构造虚拟骨干网可以大幅度降低无线传感器网络的广播开销和路由操作，分析了TsaiYaopin等提出的连通支配集算法，针对其支配节点可能被多个邻节点覆盖以及闭合环路
在当前房地产市场环境下,房地产营销策划己成为关系到房地产项目开发成功与否的最重要环节。由于我国房地产策划业发展尚未成熟,仍然存在一些问题和误区。本文在分析房地产营
《中共中央国务院关于加强青少年体育增强青少年体质的意见》很早就指出：广大青少年身心健康、体魄强健、意志坚强、充满活力，是一个民族旺盛生命力的体现，是社会文明进步的标志
21世纪是知识经济和高科技时代，各国之间的竞争归根到底是人才的竞争。高等学校是培养人才的重要基地，高校辅导员是开展大学生思想政治教育的骨干力量，是大学生思想政治教育和管
针对最低限度通信中多普勒频偏估计范围不足、估计精度较低的问题,提出一种改进的基于相关FFT的直扩信号同步捕获算法。该算法通过补零运算提高算法的估计精度、采用正交扩频