嵌入式微处理器环境下视频流的采集与传输

提出了一种基于嵌入式技术的网络视频监控系统实现方案。系统以嵌入式Linux操作系统和嵌入式S3C2440微处理器为核心平台,建立基于TCP/IP协议的视频服务器,将摄像头采集来的图像数据压缩为MPEG-4视频流后,经过网络传输,完成对监控现场的网络视频监控任务。     

A trusted mobile payment environment based on trusted computing and virtualization technology

In this paper, we propose a trusted mobile payment environment （TMPE） based on trusted computing and virtualization technology. There are a normal operating system （OS） and a trusted OS （TOS） in TMPE. We store the image of TOS in a memory card to hinder tampering. The integrity of TOS is protected by means of a trusted platform module （TPM）. TOS can only be updated through a trusted third party. In addition, virtualization technology is applied to isolate TOS from normal OS. Users complete ordinary affairs in normal OS and security-sensitive affairs in TOS. TMPE can offer users a highly protected environment for mobile payment. Moreover, TMPE has good compatibility in different hardware architectures of mobile platforms. As the evaluation shows, TMPE satisfies the requirement of mobile payment well.     

分区操作系统内核中隔离性质的研究

为了达到经过形式化验证分区操作系统内核隔离性质的目标,采取形式化方法描述系统的顶层规范设计中描述隔离性质需求,通过将航空电子应用软件标准接口ARINC653与GWV定理相结合,实现了对分区操作系统需要满足的隔离性质的抽象描述,并通过使用类Z/Z++作为形式化描述语言。     

BYOD通信平台及语音接入网关的设计

为创建支持多设备、高性能、安全的网络,以提供低成本、综合性的通信服务,采用理论分析和实验的方法,构建一个典型的集有线、无线网络于一体的统一通信实验平台,给出语音接入网关的设计方案.语音网关以SIP协议为基础,分别以MPC850和嵌入式实时操作系统VxWorks为中央处理器和软件平台,以语音处理DSP、以太网控制器和SLIC为应用模块.研究结果表明:该通信平台设计方案是可行的;语音接入网关能有效控制用户,并完成模拟语音信号与IP分组包的转换.研究结论对小型综合通信平台的建设和相关嵌入式产品的开发有一定的参考价值和指导意义.     

XP，拜拜

2014年4月8日,XP正式退役。XP已经服务用户13年,是目前微软历史上最“长寿”、历史占有率最高的操作系统,也是许多中国用户心中的经典操作系统。     

一种无需操作系统的硬件级可信度量方法

针对云计算等新型计算环境下的可信度量问题,提出了一种无需操作系统的硬件级全盘任意文件可信度量方法.通过在U-key中放置可信度量代理(TMA),利用TMA自主解析文件系统获取磁盘中任意文件的扇区存储地址,从而能够在不存在Grub、未启动操作系统以及不需要其他任何硬软件支持的情况下,实现对全盘任意文件的可信度量.考虑到TMA的安全性,利用B方法实现了对TMA的形式化开发.与已有的工作相比,所提方法不仅能够应用在云计算等新型计算环境中,而且能够应用于不存在可信平台模块(TPM)等安全增强芯片的普通计算机上.实验证明了本方法是有效的.     

浅谈互联网技术在医院中的应用

现今,医院中的信息网络已经形成了一系列完整的体系,无论从硬件和操作系统,还是从具体的应用管理软件,都有了长足的进步和发展,网络功能以及安全保障设备的不断提升,以及his系统的逐渐完善,都让医院信息系统这个庞大复杂的体系发挥这越来越重要的作用。     

基于COMSOL的并行计算及应用

目前,COMSOL软件主要在Windows系统下进行串行计算,因而无法对复杂的问题进行有效的处理。本文基于Linux系统的高性能计算集群构建了COMSOL的并行计算平台,通过数值算例研究了并行计算中处理器个数对COMSOL加速性能的影响,通过分析给出了充分发挥现有硬件性能的一些建议。     

关于计算机操作系统教学趣味性开发的探究

在科学技术迅速发展的今天,计算机已成为人们日常生活、学习中的重要组成部分,计算机操作系统教学趣味性的开发,在提高学生计算机学习兴趣的同时,还能激发学生的创新能力与实际操作能力,使其更好地投入到今后的计算机操作学习中。     

基于可信第三方的Android应用完整性验证模型

提出一个基于可信第三方的Android应用完整性验证模型.采用特征选择算法、XML解析和反编译来获取Android系统完整性信息,终端通过与可信第三方进行验证来保证应用的完整性.对比实验结果表明了系统的有效性和可行性.