【摘 要】
：
控制软件往往是安全攸关系统的核心,其正确性对系统安全起着至关重要的作用。然而由于系统面对的环境因素越来越复杂,软件设计之初不可能考虑到所有可能面对的环境变化因素,
【机 构】
：
南京大学软件新技术国家重点实验室,南京大学计算机科学与技术系
论文部分内容阅读
控制软件往往是安全攸关系统的核心,其正确性对系统安全起着至关重要的作用。然而由于系统面对的环境因素越来越复杂,软件设计之初不可能考虑到所有可能面对的环境变化因素,系统的安全性面临新的挑战。因此在软件维护阶段,以环境变化为中心,增量式地增强软件的安全性显得非常重要。面向上下文编程方法（Context-Oriented Programming,COP）正是一种以软件运行上下文环境为中心的编程方法。现有的支撑COP思想的运行机制可以使得系统根据精确的上下文信息动态地调整系统的行为,但是有些上下文引发的系统行为调
其他文献
本文构造了一种新的统计量αAB，给出了一种简便易行的检验两个具有名义尺度的总体概率分布相等的方法，并用随机模拟的方法研究了这种检验的功效．
针对压缩传感中高维投影计算采用稀疏性较差的普通随机测量矩阵,从而导致计算复杂度高,重构性能不佳这一难题,提出一种基于二分图邻接矩阵的压缩传感图像快速重建算法。该算法在满足测量矩阵的RIP条件下,充分利用二分图邻接矩阵的稀疏性与二值性,将时间复杂度由传统算法的O(N·logN)降低至O(N)。实验结果表明,算法在保证图像重构质量情况下大大提高了运算性能,尤其对于色彩(灰度)变化平缓图像,该算法性能更
基于硬判决反馈的比特交织编码调制迭代译码（BICM-ID）系统解映射算法计算简单，复杂度低，易于工程实现，但在信噪比较低时，由于预先判决的错误较多，反馈时容易产生误码传播。针对这一
支持向量机在语种识别技术中获得了广泛的研究和应用，并且达到和传统混合高斯模型相当的性能。高斯超向量．支持向量机系统将高斯混合模型与支持向量机有效地结合起来，采用高斯超
在边折叠简化方法的基础上,提出一种用体积变化的平方作为误差度量的三角网格简化算法。算法中引入三角形法向约束因子的概念,并把它嵌入到边折叠误差矩阵中;能够自适应地分配简化网格的疏密,保持更多的模型几何特征。实验表明,该算法简化误差低,模型视觉质量高,简化效果较好。