【摘要】目前随着科技的发展人类对安全的需求也越来越广泛,视频监控因其能够实时记录、存储拍摄的画面在安防、采矿、交通、通信、远程监控等领域得到了巨大的发展。但目前应用最广的还多是有线的监控设备,即摄像头安装到一个固定的地方采集实时的画面并存储或者传输到通过电线连接的监控终端显示器上,视频的处理主要是通过专用的视频处理机或者通用的PC机来进行的,这样的监控设备一般造价比较昂贵而且摄像头一旦固定到一个地 […]

【摘要】对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前 […]

【摘要】本文主要介绍在原操作系统能正常进入的情况下,如何在其他人的帮助下为自己重新安装操作系统,从而实现足不出户的进行操作系统的更换。 【作者】曹艳龙；雷鸣；王奇；赵平； 【机构】华北理工大学冀唐学院； 【关键词】远程控制；虚拟光驱；操作系统；镜像； 【参考文献】 [1]么婷婷.短期盐碱与干旱胁迫对羊草幼苗生长的影响[D].东北师范大学,生态学,2012,硕士. [2]陈书娴.农产品质量安全的源头 […]