面向系统能力的计算机系统结构课程教学内容设计

从系统观角度出发,根据近年来计算机系统结构和计算机操作系统以及相关课程的教学经历与思考,对比国内外名校计算机系统结构课程的教学内容划分与学时安排,从加强系统能力、构建知识体系、教学内容设计等方面提出一些思路,强调该课程教学中系统能力的培养。     

关于操作系统课程教学的几点思考

针对操作系统课堂教学过程中出现的问题,根据计算机操作系统课程特点,从新知识点引入、科学的教学内容体系构建和教学方法创新等方面提出一些观点和建议。     

基于精化的TrustZone多安全分区建模与形式化验证

TrustZone作为ARM处理器上的可信执行环境技术,为设备上安全敏感的程序和数据提供一个隔离的独立执行环境.然而,可信操作系统与所有可信应用运行在同一个可信环境中,任意组件上的漏洞被利用都会波及系统中的其他组件.虽然ARM提出了S-EL2虚拟化技术,支持在安全世界建立多个隔离分区来缓解这个问题,但实际分区管理器中仍可能存在分区间信息泄漏等安全威胁.当前的分区管理器设计及实现缺乏严格的数学证明来保证隔离分区的安全性.详细研究了ARM TrustZone多隔离分区架构,提出一种基于精化的TrustZone多安全分区建模与安全性分析方法,并基于定理证明器Isabelle/HOL完成了分区管理器的建模和形式化验证.首先,基于逐层精化的方法构建了多安全分区模型RMTEE,使用抽象状态机描述系统运行过程和安全策略要求,建立多安全分区的抽象模型并实例化实现分区管理器的具体模型,遵循FF-A规范在具体模型中实现了事件规约;其次,针对现有分区管理器设计无法满足信息流安全性验证的不足,设计了基于DAC的分区间通信访问控制,并将其应用到TrustZone安全分区管理器的建模与验证中;再次,证明了具体模型...     

可信执行环境访问控制建模与安全性分析

可信执行环境(TEE)的安全问题一直受到国内外学者的关注. 利用内存标签技术可以在可信执行环境中实现更细粒度的内存隔离和访问控制机制, 但已有方案往往依赖于测试或者经验分析表明其有效性, 缺乏严格的正确性和安全性保证. 针对内存标签实现的访问控制提出通用的形式化模型框架, 并提出一种基于模型检测的访问控制安全性分析方法. 首先, 利用形式化方法构建基于内存标签的可信执行环境访问控制通用模型框架, 给出访问控制实体的形式化定义, 定义的规则包括访问控制规则和标签更新规则; 然后利用形式化语言B以递增的方式设计并实现该框架的抽象机模型, 通过不变式约束形式化描述模型的基本性质; 再次以可信执行环境的一个具体实现TIMBER-V为应用实例, 通过实例化抽象机模型构建TIMBER-V访问控制模型, 添加安全性质规约并运用模型检测验证模型的功能正确性和安全性; 最后模拟具体攻击场景并实现攻击检测, 评估结果表明提出的安全性分析方法的有效性.     

基于证据推理的风电产业评价

根据风力发电产业特点,建立了风电产业评价体系.该模型属于复杂的不确定性定量和定性决策问题,并且评估过程中含有不完全信息.针对此问题,建立了基于证据推理方法的风电产业评价模型.对模型中的定性和定量信息转化成统一的分布式形式,通过集结较低层评价指标得到最上层指标的综合评价值,最后采用效用理论计算出确定数值.算例对所建指标体系进行了验证,计算了3个区域的风电项目方案的得分,以量化的结论直观地反映了其可行性水平.实际评价结果表明,该方法可以为决策者提供有效依据.     

异步电动机变频软起动器的研究与实现

本文提出了一种通用的变频软起动器，它采用两种不同的加减速曲线实现了对异步电动机平滑有效的控制，给出了详细的设计步骤，有效地减小了起车和停车时对电网和电气设备的电流冲击，从而实现了软起车和软停车功能。     

无轴传动技术在柔印机上的实现与研究

结合多机组柔印机生产的实际情况,采用无轴传动技术对该设备进行了改造,构造了以SYNA-X200为核心的无轴传动与电气控制系统。实现了纵向套准、裁单张、印刷过程中的张力控制等功能。经过试运行,表明系统套准精度高、张力控制稳定、裁单张误差小、运行可靠。     

印刷品质量智能控制平台

0引言印刷品质量的控制在于颜色的还原性。目前,印品质量控制还是采用手工控制,这是因为印品质量控制系统是复杂的多输入多输出的动态系统,具有实现目标的复杂性和不确定性,其中主要控制的参数有:印版、油墨、纸张、润版液、胶印机等。而每个主要的控制参量都存在着非线性、     

数字渗透

DADA2013系列活动“数字渗透”数字建筑展于2013年秋季举行,这一数字化设计领域的重要展览包含5个分展,分别为：国际建筑师建筑展、国际学生建筑设计作品展、中国数字筑造展、数字装置作品展、设计竞赛入围作品展。     

基于低密度分割密度敏感距离的谱聚类算法

本文提出一种基于低密度分割密度敏感距离的谱聚类算法, 该算法首先使用低密度分割密度敏感距离计算相似度矩阵, 该距离测度通过指数函数和伸缩因子实现放大不同流形体数据间的距离和缩短同一流形体数据间距离的目的, 从而有效反映数据分布的全局一致性和局部一致性特征.另外, 算法通过增加相对密度敏感项来考虑数据的局部分布特征, 从而有效避免孤立噪声和"桥"噪声的影响.文中最后给出了基于SC (Scattering criteria)指标的k近邻图k值选取办法和基于谱熵贡献率的特征向量选取方法.实验部分, 讨论了参数选择对算法性能的影响并给出取值建议, 通过与其他流行谱聚类算法聚类结果的对比分析, 表明本文提出的基于低密度分割密度敏感距离的谱聚类算法聚类性能明显优于其他算法.