ELNF演算的解释技术

ＥＬＮＦ演算是我们在ＬＮＦ演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言ＲＦＵＮＬＯＧ的基础．本文介绍ＥＬＮＦ演算的解释实现技术，包括数据结构、系统结构以及各个模块的设计思想．最后给出了在此解释系统下，几个典型程序的运行时间．     

在汉化FoxBase中实现下拉式菜单的一种方法

FoxBase 2.10具有很强的下拉式菜单和弹出式菜单功能、为用户开发良好的用户界面提供了有利的工具。但是汉化FoxBase却没有能够处理好下拉式菜单的功能,使得用户在汉字系统下使用FoxBase无法利用这一功能;另外,由于FoxBase本身在设计下拉式菜单和弹出式菜单时没有采用制表符,因此画出来的菜单边框是不连续的,十分影响美观效果。     

带跳周期模式的高效升压DC/DC变换器

基于UMC0.6μmBCD工艺设计了一种峰值电流模式的PWM控制升压DC/DC变换器,通过引入跳周期模式实现轻负载下变换器的高效率。仿真结果显示,引入跳周期模式的DC/DC变换器在轻载下(负载电流小于5mA)效率仍达到45%以上。     

单向突发错误的系统检测码

本文通过构造一类单向突发错误的系统检测码来说明ｂ（ｒ）的值可以大于２＾ｒ－１，同时还给出了这类检测码的编码和译码方法。     

基于工作流的图像处理网格平台及其遥感应用

图像处理网络平台基于工作流实现资源共享和协同计算,是一个灵活、动态的图像处理问题解决环境.其中,网格工作流技术可满足灵活多变的应用需求,通用服务请求代理能实现异构网格服务的简单调用,动态工作流模型利用具有较强描述功能的扩展有向无环图建模语言进行定义.该平台已成功地应用于遥感图像处理.     

SS-RTUDP:轻量级实时网络通信协议在集群系统中的实现

轻量级实时网络通信协议对于科学计算集群与视频服务集群至关重要．SS—RTUDP以UDP协议为基础，通过以下途径在集群系统得到实现：静态分配网络资源、用户空间到内核空间的数据零拷贝操作、添加实时平滑层以及使用伪中断技术消除网卡硬件中断开销．性能测试结果表明该协议不仅具有较UDP更小的通信延迟与更高的通信带宽，同时较大程度提高了集群系统的实时通信性能．     

利用发送和接收时隙分配策略改善无线传感器网络MAC协议能效

摘　要 针对无线传感器网络中存在数据冲突和串音而影响MAC协议能量效率的问题,提出了基于接收和基于发送的TDMA-MAC协议时隙分配策略。通过考虑各种无线收发器模式(即发送、接收、休眠和空闲)花费的不同时间段来计算WSN能耗,假设聚类中WN数据包时间间隔为指数分布,采用两级TDMA方法实现对多步聚类的评估。利用OPNET Modeler软件执行仿真实验验证了本文模型的有效性,仿真结果表明,基于接收的SAS的能效是基于发送的SAS的5倍,相比基于分簇的TDMA/CDMA混合HCT-MAC协议,本文协议可节省4.3%的能量,减少了0.35ms的端到端延迟,相比倍增超周期多信道MAC协议,可节省10.8%的能量,减少了1ms的端到端延迟。     

网络取证技术研究

随着信息技术的不断发展,网络越来越多地参与到人们的工作与生活中,成为人们社会生活和经济活动中越来越重要的一部分,与计算机网络相关的法庭案例也不断出现,并呈现逐年增加的趋势。网络取证可以提供法庭需要的证据,它从主动防御的角度保护着网络安全。     

磁盘阵列校验信息的放置策略

廉价磁盘冗余阵列（ＲＡＩＤ）采用许多小的廉价磁盘来代替大容量昂贵的磁盘，以取得更高的性能和更低的功耗。本文介绍了ＲＡＩＤ－５级磁盘阵列中校验信息的八种不同的分布策略，即奇偶校验信息的放置策略，并从几个不同的应用情况对不同的放置策略进行了研究，结论是不同的奇偶校验信息放置策略对磁盘阵列的Ｉ／Ｏ读写性能有很大的影响。     

ChinaGrid图像处理网格平台中的语义信息服务研究

在网格中要实现更加准确有效的服务发现、查询及其动态分配和替换,需要在语法匹配的基础上进一步实现语义匹配.介绍了在图像处理网格平台上开发的、基于语义的信息服务组件;描述了该组件的设计框架结构,并给出该组件的核心算法即网格服务语义匹配算法的描述.该组件能有效实现对图像处理网格服务的语义查询和工作流构建时的自动语义匹配以及工作流执行中网格服务的动态分配和替换.与传统语义服务匹配算法相比,所提出的网格服务匹配算法显著提高了网格服务的匹配准确度.