摘要：多策略融合是访问控制技术研究的重要内容.可信恢复是高等级安全操作系统的必需功能.为解决过于严格的安全策略难以推广应用的局限性,提出了一种可确保完整性策略恢复后有效性的可信恢复模型.首先给出了模型的框架结构,利用多模型融合方法,通过对类型实施模型(type enforcement,TE)和基于角色的访问控制(role-based access control,RBAC)模型的重新构造和配置,实现了形式化的Clark-Wilson完整性策略模型及其扩展模型PCW(Poveys Clark-Wilson).然后,结合文件系统的具体特点,提出静态和运行时两类恢复算法,通过分析系统日志,撤销恶意操作,使文件系统恢复到原先的一致状态.该恢复方法增强了系统的可用性,对设计和实现我国自主高等级安全操作系统的可信恢复机制进行了重要探索.

摘要：扫描已装订的积厚文档时 ,由于页面不能紧贴于扫描平面 ,会产生两个问题 :(1)扫描图像中离装订线较近的一侧出现黑色的阴影区域 ;(2 )阴影区域中的文本产生扭曲 基于图像信息和几何变形信息 ,提出一种去除阴影和校正文本的算法 首先采用分块自动阈值算法去除阴影 ;然后通过垂直投影函数、有效包围盒和标记点提取文本行中心线 ,中心线被用于全局几何参数的估计 ;最后 ,扭曲的文本通过估计的几何参数和分片四边形映射进行校正

摘要：针对目前的航空航天遥感平台成本高、采样精度低、实时性不强的特点,提出了带有采集装置的四旋翼飞行器作为采样农田信息的低空平台。总结了农田土壤信息获取的主要方式与特点,指出四旋翼飞行器将是适合高密度、实时性强等特点的农田信息采集新平台。同时讨论了四旋翼飞行器的国内外研究进展,分析了带有采集装置低空平台的结构构成、惯性测量系统,研制了重量为1 200g,续航时间大于20min的低空平台样机,并提出了远地面无线传感器获取、近地面旋翼风作用和直接接触地面采集的3种新采集方式。

摘要：计算的无处不在使得计算机已成为儿童学习、娱乐的工具,而设计和开发面向儿童的互动系统的主要瓶颈在于如何设计界面隐喻,使其更易于儿童理解和使用.通过对现有界面隐喻的分析,针对儿童的认知特征提出一个基于儿童卡通读物的界面隐喻——3IBook,并从结构设计、操作设计和实效设计3个方面描述3IBook的设计特征;同时分析了基于3IBook的交互模型.最后通过一个互动游戏系统的实现来评估该隐喻在面向儿童的交互式软件中应用的合理性和有效性.

摘要：针对基于WIMP范式的图形用户界面工具不能解决多触点交互桌面的多指手势识别、界面组件朝向等问题,提出基于自然用户界面通用隐喻OCGM(objects,containers,gestures and manipulations)的多触点交互桌面界面工具箱——MTBuilder.首先用层次化多触点数据表示模型存储多触点数据,然后对多指手势识别器进行动态管理以加速识别处理,最后基于OCGM设计并实现界面组件库.通过多人信息浏览、城市规划等原型系统的开发和实验评估可以看出,MTBuilder能够为交互桌面界面构造与快速原型系统开发提供强有力的支持.

摘要：传输函数是实现体数据特征分类与可视化的重要手段,随着维度的升高,传输函数设计过程趋于复杂且难以实时交互;而在基于视线方向上特征分析的体数据特征可视化方法中,复杂的特征分析过程占用GPU硬件资源,降低了体绘制效率.为此提出一种快速的、不完全依赖于传输函数设计的体数据特征增强可视化算法.利用视线方向上采样点标量值变化率,快速识别视线方向上的重要特征,通过降低不重要特征的不透明度以增强重要特征在绘制结果图像中的可见性;引入反锐化掩模技术对视线方向上重要特征进行加权处理,在保证体绘制效率的同时增强了体数据特征的视觉感知.在绘制过程中,文中算法利用简单而有效的特征分析操作,在传输函数映射的基础上对感兴趣特征的视觉元素再次优化,实现不完全依赖于复杂传输函数设计的体数据特征增强可视化.最后通过大量实验,进一步验证了该算法的有效性与实用性.

摘要：针对自动化单元测试中面向路径的测试用例生成问题,通过改进传统的基于符号执行的测试用例生成方法,提出"符号化区间"来表示和分析变量的静态取值范围,并给出简单表达式和逻辑表达式中"区间可能集"和"区间必然集"的计算方法.提出了面向路径的值区间分析算法,通过对给定路径进行前向数据流分析来计算各条边上的区间上下文环境以及各符号的必然取值区间,在路径出口处的符号值区间必然集中任意取值,可得到覆盖给定路径的测试用例.与基于约束求解的传统方法相比,文中方法省去了表达式变换及调用约束求解器的过程,对输入变量弱关联的情况能够快速、准确地生成测试用例.

摘要：如何在保障准确性的前提下以较低的负载快速发现失效节点是失效检测器的设计目标,为此提出一种GA-FD的改进算法F-AFD.首先分析了P2P系统中节点的失效规律,基于对节点在线概率的预测实现对检测周期的动态调整,有效地降低了检测速度对检测周期的限制;在此基础上,为了以更低的检测负载同时满足多种应用定量描述的准确性及检测速度需求,提出了F-AFD.最后通过实验对F-AFD的正确性及检测性能进行了验证和分析,并证明了在部分同步模型下F-AFD可实现一个◇P类的失效检测器,具备解决一致性等分布式基础问题所需要的完整性和准确性.

摘要：为了给操作系统提供实时的芯片热点和功耗统计信息,以便进行快速、准确的实时功耗管理,基于龙芯2号处理器核,提出一个基于门控时钟统计的实时功耗监控系统.通过记录处理器门控时钟的翻转信息来获得芯片热点分布状态,并使用在芯片设计流程中由门级网表仿真而建立的功耗模型进行硬件计算,最终获得向操作系统提供的实时功耗数据.文中提出的实时功耗监控系统具有硬件集成、结构无关、快速、自身开销小、对处理器性能影响小、准确性高等优点.实验结果表明,将该实时功耗监控系统应用在FPGA平台上的功耗估测速度比传统仿真速度提高近40倍,精确度与Synosys公司的EDA工具测量相比可以保持在5%以内.

摘要：为解决多变量体数据高效绘制时操作复杂、不易分析和表达的问题,将平行坐标与交互操作应用到传递函数设计中,并通过引入平行坐标主维度概念提出一种平行坐标与传递函数曲线相结合的设计方法.针对目前基于平行坐标的高维传递函数设计方法不灵活、调节烦琐的问题改进强度梯度直方图,并提取主维度数据特征;实现平行坐标自适应范围选择并进行指导性范围调节;把满足平行坐标各维度条件的采样点空间位置映射至主维度,提取数据范围实时生成传递函数曲线.实验结果表明,该方法能有效地降低高维传递函数设计的复杂度,提高传递函数调节灵活度,在实现实时交互的同时还可有效地增强绘制效果.