论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
为了保证可信计算机核心模块的实现质量,对其进行详尽的测试和验证是十分必要的。可信计算机的符合性测试可以证明该产品是符合规范并且是功能完备的。然而,可信芯片的符合性
【机 构】
：
北京工业大学
【出 处】
：
北京工业大学
【发表日期】
：
2011年期
其他文献
本课题依托于中华人民共和国住房和城乡建设部关于全国房屋登记信息系统的可行性研究。
随着信息技术的快速发展,电子政务在全球范围内收到越来越多的重视。为了应对这
随着计算机技术的发展，信息化在农业生产中的应用越来越广泛，生理生态模型主要用数学模型模拟作物与外界条件对作物生长的影响，成功的生理生态模型可广泛应用于理解、预测和调控
煤矿安全生产一直是关系到煤炭工业持续健康发展的头等大事。近年来,煤矿事故频发,每年都有成千上万人在煤矿事故中丧生。因此提高煤矿安全生产迫在眉睫。目前,煤矿企业使用
随着互联网上网页数量的爆炸式增长,网页中知识挖掘的研究成为热门话题。命名实体是网页中人们感兴趣的专有名词和特定的数量词,表示现实世界中具体的或抽象的实体。网页中的
可信计算作为一种行之有效的信息安全解决方案,目前已经成为信息安全领域研究的一个重要方向。软件的可信性度量是可信计算领域的研究分支之一,分为静态可信度量与动态可信度
信息化管理是提高企业竞争力的重要手段,使用数据库系统来进行管理已经非常普遍。通用数据库系统不仅开发和维护成本低于普通的订制软件,而且在功能和使用上也可以根据企业的
无线传感器网络(Wireless Sensor Network，WSN)是一种集成了传感器、嵌入式计算、网络和无线通信等技术的新型无基础设施的无线网络，它由部署在监测区域内的大量廉价微型传感器
随着科学实验规模和精度的不断提高,很多科学工程领域产生了大量的实验数据,这些数据的规模往往呈GB、TB甚至PB级别,并且在以更大的规模不断增长。当前,大跨度建筑和桥梁、高
生物种群资源是一种可再生资源。人类在发展社会经济的同时,却在不断破坏赖以生存的生态环境,过度开发导致自然资源趋于枯竭,严重制约人类社会、经济的发展。为使生物种群资