可信计算语义证明模型的研究

针对现有的可信计算平台体系认证技术是静态的、一次性的,并不基于语义等问题,提出了语义远程认证抽象模型,该模型由代码特征化部件、安全监测部件、安全控制部件、应用接口部件、知识库组成。其中关键问题知识库采用离线创建规则的学习模式,供在线检测。     

基于HMSVM模型的中文浅层句法分析

隐马尔科夫支持向量机(HMSVM)是一种新颖的结构化支持向量机模型,该模型在序列标注学习任务比如英文组块分析中的有效性已经被证明,将该模型用于中文浅层句法分析识别任务,实验结果表明,该模型获得了较好的准确率和召回率。     

未来武器系统检测设备研制方法

检测设备的使用伴随于武器系统研制周期的整个过程,某型号火控系统检测设备的成功应用,为未来武器系统检测设备的研制提供了可借鉴和推广的技术成果及经验积累,以此为鉴,提出一些未来武器系统检测设备研制的方法和原则.     

Linux下数据库PostgreSQL分析与应用

PostgreSQL是一种非常复杂的对象—关系型数据库管理系统(ORDBM S),也是目前功能最强大,特性最丰富和最复杂的自由软件数据库系统。分析了PostgreSQL在体系结构,用户管理和可扩展性方面的特点,介绍了PostgreSQL数据库应用开发接口以及编译方法。对在L inux下使用PostgreSQL数据库进行开发的科技人员有一定的帮助。     

计算机监控系统在无人值守换热站中的应用

无人值守换热站是供热控制的关键节点,随着计算机控制技术的成熟,换热站运行控制与计算机控制的结合度越来越高。通过应用计算机控制系统能够使得换热站在不同的热力工况下,按照相应的负荷运行,提高无人值守换热站的运行效率。运行控制系统通过采集温度、流量、压力等运行参数实现了自动调控与运行。