彩色图像扫描工具中调色板的生成

调色板的生成是彩色图像的数据格式转换的关键问题，本文描述了调色板生成的原理，对生成算法是遇到的问题进行了分析，提出了解决的方法，对算法给出了具体的描述，并且论述了算法的正确性。     

一种新和消息传递型处理机系统中总线接口的设计

多处理机系统分为共享存储器型和消息传递型。本文提出了一种新的消息传递型多处理机系统的总线接口的设计方法。区别于以往的总线接口的方法，引入了口的概念。优点是使得接收方也有权决定信息包接收与否，算法更灵活，可用广播传送方式，还可以动态地进行了进程转移。     

无线社会网路由缓存管理和服务质量的研究

提出一种针对缓存容量受限的容迟移动网络的多复制路由和缓存管理的方法。该方法能充分利用有限的网络资源,实现更高的传送成功率,降低平均发送延迟,同时实现不同重要性报文的服务质量分级。     

嵌入式Linux和Qtopia下矩阵键盘输入的实现

详细介绍了基于嵌入式Linux和Qtopia的矩阵键盘输入实现方法。通过重载Qt的事件过滤器,结合信号和槽机制,利用两级状态处理及有效输入的界定,来简化输入过程,减少按键次数,提高输入效率。同时利用Qtopia的图形显示,使输入界面清晰,更适用于嵌入式终端设备。     

面向对象模型与形式化方法

本文在分析面向对象和形式化方法两种重要系统建模方法的基础上,论述了两种方法的关系,指出二者互补、组合的优越性,概述了各种领域里的组合应用,并进一步设想未来的发展方向可能是二种方法的优点的活用和统一。     

基于P2P的SIP用户定位研究

针对利用P2P算法实现SIP用户定位的时延比较大的问题,提出了一种降低SIP用户定位时间的方法.利用底层网络的拓扑结构将P2P网络分层,SIP用户同时在自己所在的低层逻辑网络和整个P2P覆盖网上进行注册;查找用户时,在每一层上应用Chord算法并辅以常用被叫用户表.为了实现简单,所有P2P和SIP操作都由SIP消息完成.模拟表明,该方法能极大的减小查找用户的时间,进而大大缩短平均的会话建立时间.     

从命题逻辑的需求描述到状态转移图的形式规格

信息处理系统的规模和复杂化,需要有效设计高可靠性系统的形式化的规模描述方法,本文针对以上功能,提出了基于命题逻辑的信息处理系统的新的需求描述方法,描述了通过使用逻辑ＰｅｔｒｉＮｅｔ（ＬＰＮ）,把命题逻辑的需求描述变换成状态转移图的过程,并且给出了由ＬＰＮ自动生成状态的转换图的算法。     

Petri网展开图法的分析和应用

Petri网的展开图是一种特殊的并发系统状态空间搜索方法，它不需要重复考虑并发事件的所有可能的交集，从而大大缩减状态空间爆炸给验证分析带来的空间复杂度和时间复杂度。使用展开图分析Petri网的行为属性与传统的Petri网分析方法相比，具有自己的特点。该文首先介绍了Petri网展开图的构造算法，在此基础上使用展开图分析方法对一个典型Petri网的活性，有界性和可逆性等行为属性进行了分析，并与传统的Petri网分析方法作比较。     

一种动态的协议一致性测试方法

目前常用的协议一致性测试的测试都是采用先生成固定的测试集 ,然后逐条执行这个测试集 .这种方法可能会造成执行效率不高和实际测试范围被缩小的问题 ,提出一种动态的协议一致性测试方法 ,以提高测试集的执行效率 ,同时从与协议实现无关的角度扩大协议的实际测试范围     

WSN中一种最优的汇聚节点移动方案

研究了无线传感器网络中,如何在不同的候选位置放置数据汇聚节点来最大化网络生命周期。通过定义＂放置模式＂这一概念,对数据流通模式进行分类,从而从量级上降低了需要调度的因素的数目。基于这样的理念,对问题建立了线性优化模型,来构建一种最佳的放置策略。最后,通过具体的试验验证了提出方法的有效性,说明了即使使用一个移动位置受限的汇聚节点,也会极大地提升网络生命周期。