足球机器人决策子系统设计与分析

足球机器人系统目前已成为人工智能应用技术研究的重要实验平台，系统的核心部分就是决策子系统。本文介绍了一种决策子系统的分层控制结构设计，它由协调层，运动规划层和基本动作层组成，这三层在逻辑上紧密联系又相对独立，使该决策子系统具有适应性强，扩展性好等特点。  

基于DSP控制的足球机器人小车的设计与实现

足球机器人是人工智能领域一个新的典型问题，为人工智能的理论学习与研究及多种技术的集成应用提供了相当好的实验平台。本文介绍了以数字信号处理器TMS320F240为控制器核心的足球机器人小车的设计与具体实现。  

第二代小波在医学图象无损压缩中的应用

研究了第二代小波在医学图象中的方法，并在计算机上用软件模拟实现了相应的算法，最后给出了实验结果以及与其他压缩方法的比较，从中可以看出这一新方法在医学图象无损压缩中具有良好潜力和巨大的应用前景。  

智能化搜索引擎原理及实现

文中在分析指出传统搜索引擎存在的缺陷和不足的基础上,介绍了一种基于概念搜索的搜索引擎,并对其中的基本实现进行了说明.  

基于SAA6752的MPEG-2编码系统

介绍了PHILIPS公司的第二代实时MPEG-2编码芯片SAA6752的主要功能及性能特点,提出了一种基于SAA6752的MPEG-2编码系统,并且对该编码系统的硬件框图和软件编程进行了简要说明。  

面向基于场景规约的Web服务消息流分析与验证

采用UML顺序图构成基于场景的规约、WS-BPEL作为Web服务的描述语言,提出了一种面向基于场景规约对Web服务消息流进行分析与验证的方法:首先,对WS-BPEL消息流进行分析并将其自动抽象为基于Petri网的模型;同时,为了缩小状态空间、提高验证效率,在不影响消息交互顺序的前提下,对WS-BPEL源码和基于Petri网的模型分别进行化简,即面向基于场景规约将与验证无关的活动和元素删除;最后,通过遍历基于Petri网的模型以验证WS-BPEL消息流与基于场景的规约之间的一致性(消息交互顺序的存在/强制一致性).文中通过一个贯穿整个分析与验证过程的实例加以说明.该方法已经实现成为一个原型工具.  

基于物理隔离的网络安全研究

物理隔离技术要解决的是目前网络安全存在的最根本问题。其优点为中断直接连接、强大的检查机制和最高的安全性。本文说明了物理隔离技术的基本原理，并介绍了基于物理隔离技术的网络安全模型。保证在数据通信的基础上，从物理上把内网与外网相互隔离．以提高原有系统的安全性。  

基于单目CCD摄像机的三维点云数据重建研究

提出一种基于单目CCD摄像机反求系统的三维数据的获取方法熏首先对单目CCD摄像机拍摄的单幅图像进行滤波、细化等手段处理得到单像素宽度的激光条纹熏通过摄像机标定和激光投影平面标定建立激光条纹上的像素点与空间上的三维点之间一一对应的函数映射,获取物体的外轮廓信息。通过试验分析证明其可行性。  

基于威胁分析的多属性信息安全风险评估方法研究

根据信息系统风险评估模型中资产、威胁和脆弱性等基本要素,提出基于威胁分析的多属性定量风险评估方法.建立以威胁为核心的风险计算模型,通过威胁识别,威胁后果属性计算及威胁指数计算等多个步骤对信息系统的安全风险进行定量分析和评估.基于威胁的多属性风险计算模型利用多属性决策理论和方法,计算安全威胁的概率以及各种威胁后果属性值及其权重,对安全风险进行排序,提高信息系统风险评估的客观性和可度量性,为建立信息系统安全保障体系提供科学依据.  

嵌入式软件技术的现状与发展动向

嵌入式系统是计算机的一种应用形式，通常指埋藏在宿主设备中的微处理机系统，此类计算机一般不被设备使用者在意，亦称埋藏式计算机，典型机种如微控制器、微处理器和DSP等。本文着重讨论新一代嵌入式系统软件技术现状与未来。文中讨论三个问题。一、标志性的嵌入式产品已露头角。计算机应用的普及、互联网技术的实用以及纳米微电子技术的突破，正有力推动着21世纪工业生产、商业活动、科学实验和家庭生活等领域自动化和信息化进程。全过程自动化产品制造、大范围电子商务活动、高度协同科学实验以及现代化家庭起居，为嵌入式产品造就了…