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

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

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

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

游戏与艺术--席勒"游戏冲动"说的合理内核、历史局限与文化意义

席勒富有创造性地提出“游戏冲动”说，将艺术判断与艺术创造视为沟通现实和理想，平衡感性和理性的桥梁和中介，从而使“游戏”与自由，与艺术具有了内在的相关意义和强烈的“超越性”追求。同时，席勒的“游戏冲动”说仍然受制于当时的社会历史条件而与德国古典美学，尤其是康德的美学思想有着千丝万缕的联系，其对现实的“超越”往往以一种逃避乃至背向现实的精神慰藉为目的，带有精神“乌托邦”性质。因此，席勒的“游戏冲动”说又蕴涵着某种矛盾因子。就当代文化意义而言，游戏更接近于后现代的话语场，而有别于席勒以降的古典和现代主义美学理念和话语体系。     

浅谈Linux内核的重编译

Linux的内核承担着Linux操作系统的最为核心的任务,是其它程序和硬件等运行过程中的仲裁者:它要管理所有进程的内存,保证它们都能平等得到处理器的时隙。此外,它还提供程序和硬件之间的接口等功能。通常,更新的内核会支持更多的硬件,具备更好的进程管理能力,运行速度更快、更稳定,并且一般会修复老版本中发现的许多漏洞等。经常性地选择升级更新的系统内核是Linux使用者的必要操作内容。     

Homology Priority Task Scheduling in μC/OS-Ⅱ Real-Time Kernel

μC/OS-Ⅱ is an open source real-time kernel adopting priority preemptive schedule strategy. Aiming at the problem of μC/OS-Ⅱ failing to support homology priority tasks scheduling, an approach for solution is proposed. The basic idea is adding round-robin scheduling strategy in its original scheduler in order to schedule homology priority tasks through time slice roundrobin. Implementation approach is given in detail. Firstly, the Task Control Block （TCB） is extended. And then, a new priority index table is created, in which each index pointer points to a set of homology priority tasks. Eventually, on the basis of reconstructing μC/OS-Ⅱ real-time kernel, task scheduling module is rewritten. Otherwise, schedulability of homology task supported by modified kernel had been analyzed, and deadline formula of created homology tasks is given. By theoretical analysis and experiment verification, the modified kernel can support homology priority tasks scheduling, meanwhile, it also remains preemptive property of original μC/OS-Ⅱ.     

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

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

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

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

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

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

犯罪嫌疑人手上的炸药残留物检验

本文通过两例案件，利用现场快速检验和实验室验证的方法，检验犯罪嫌疑人手上的炸药残留物，以期为办理类似案件提供参考。     

基于Protel的通信电子线路仿真分析

简要介绍了Protel的主要组成及其仿真特性，分析了它在通信电子线路实验教学中的应用前景一实用、安全、高效、所见即所得．通过对MC1496双差分对平衡调制电路的仿真分析，直观、清晰、实用、简明而严谨的对理论进行了验证，做到了理论联系实际．