云计算视角下可验证计算的分析研究

云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。     

活血止痛胶囊的三维荧光指纹图谱研究

本实验采用荧光光谱法对活血止痛胶囊的荧光性质进行了研究,优化了荧光图谱测定的实验条件,在最佳实验条件下,测定了不同厂家不同批号的活血止痛胶囊的三维荧光图谱,采用聚类分析法对活血止痛胶囊的三维荧光图谱的一致性进行分析,结果表明2个厂家7个批号的21个活血止痛胶囊样本的三维荧光图谱一致性良好。采用平均值法建立了活血止痛胶囊的三维荧光指纹图谱。     

采用CCD电荷积累技术提取微弱潜指纹图像效果分析

文章说明了潜指纹在特定波长光波照射下，吸收激发光能量发出较长波长固有荧光，阐述了CCD电荷积累图像增强技术用于微弱潜指纹痕迹增强提取的效果与激发光波长、滤色片波段和指纹粉等因素的关系，介绍了去背景光斑影响的典型方法。     

基于扫描数据零件轮廓特征自动识别的方法

主要研究基于扫描数据自动识别零件轮廓特征的方法与技术．首先给出了零件轮廓特征自动识别的工作流程，然后提出了零件轮廓特征自动识别的原理与算法，最后通过具体实例验证了本方法的优点及可行性。     

初探银行指纹保管箱管理系统解决方案

采用指纹识别技术能够克服现行银行保管箱管理系统中由于密码的不安全性和可失性给用户带来的不便和损失的弊端，同时也会加快银行电子化的进程。介绍了银行指纹保管箱管理系统的系统环境、系统功能和系统结构。     

极低硫钢的精炼脱硫动力学模型

通过对影响脱硫反应限制性环节的分析,将持续接触和瞬时接触两种反应模式综合考虑,建立了精炼脱硫动力学模型,并通过实验室"极低硫钢精炼脱硫"实验数据对模型进行验证.结果表明,本模型的预测结果与实验结果比较吻合.     

高压CMOS管工艺的设计、模拟和验证

模拟和验证了一种低成本的，以标准CMOS工艺为基础，无需对原工艺流程进行改动的高压工艺技术。讨论了低压器件中的各种击穿机理，相应提出了高压器件中所做出的改进，列举了该工艺技术中所用的特殊版图；对此工艺的应用性进行了二维的工艺和器件模拟；将模拟结果与实际测试结果进行了比较，验证了这种高压工艺技术的实用性。     

滚动工具在Windows应用程序对话栏中的使用

介绍了用Visual C 6.0编写基于文档视图结构的单文档或文档Windows应用程序时在对话栏中使用各种滚动工具的方法，通过上引入基于CDialogBar类的派生类，解决了对话栏中滚动工具发出的滚动消 响应问题，使得对话栏中各种控件的数据交换和验证变得更加容易。     

指纹图像的分割算法

图像分割是指纹图像预处理中的重要步骤，单独使用常用的方差法和方向法，效果往往不是很好，但它们各有所长．优缺点互补．本文介绍了一种基于方差法和方向法的合成分割算法，实验结果验证了此方法的有效性．     

智能科学系介绍

智能科学系前身是1985年成立的信息科学中心。是国内大学中第一个创办智能科学与技术本科专业的系,主要从事智能与信息科学技术领域的教学和科研,包括机器感知、智能机器人、智能信息处理和机器学习等前沿研究。智能科学系具有多学科交叉和综合特点,基础研究与成果转化相结合,有力推动社会经济发展。该系拥有北京大学第一个国家重点实验室(视觉与听觉信息处理) ,有教授(包括院士和长江学者)、副教授近2 0名( 50岁以下全部具有博士学位)。十多年来培养2 0 0多名博士和硕士,2 0 0 4年开始招收本科学生。智能科学系承担和完成一大批国家973、86…