计算机工程

Select

朱晓民,温瑜,廖建新,王剑斌

. 2005, 31(06): 9.

摘要 ( ) PDF全文 ( )

可视化

引出了ITU-T对业务生成环境功能的定义,对业务生成环境(SCE)的研究开发进展情况作了综述,介绍了基于camel2(CustomisedApplications for Mobile network Enhanced Logic Phase 2)的移动智能网系统的业务生成环境CMIN02-SCE,说明其特点,业务开发周期的覆盖范围,SCE的系统结构和体系结构,接着介绍了该SCE的编辑和测试功能,最后指出了该SCE的优势所在和今后需要进一步增强的内容及在NGN(next generation network)环境中下一代SCE的研究方向。

Select

基于Unix/Linux系统的软件脆弱性分类法

李艺,李新明,姜湘岗

. 2005, 31(06): 12-14.

摘要 ( ) PDF全文 ( )

可视化

对目前的软件脆弱性分类方法进行了分析,说明了软件脆弱性的研究现状,提出了引入原因、所在部件、影响、修复、验证、检测和攻击等描述软件脆弱性的关键属性,针对Unix/Linux操作系统,提出了基于软件脆弱性所在部件和引入原因的二维度的脆弱性分类法, 对分类法属性的选择进行了说明,详细描述了分类方法,并对设计脆弱性进行了重点说明。

Select

1比特加法记忆独立二输入逻辑概率模型分析

刘恒,范修斌,吕述望,孙鹏

. 2005, 31(06): 15.

摘要 ( ) PDF全文 ( )

可视化

在已有的带记忆密码逻辑的研究结果的基础上,给出了1比特加法记忆独立二输入逻辑概率模型,证明了其输出序列是独立均匀同分布的二元随机变量序列;得到了其输出序列单点提供的关于输入的信息量之和等于输出序列提供的关于输入的信息量。

Select

典型软件体系结构切片方法的研究

吴方君,易彤,邓敏

. 2005, 31(06): 17.

摘要 ( ) PDF全文 ( )

可视化

近年来,软件体系结构逐渐成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一。该文从软件体系结构的主要构成、形式化表示、静态切片和动态切片、前向切片和后向切片以及切片的应用等方面为基本思路,对该领域中已提出的主要研究方案进行了分类阐述和比较分析,总结了其最新研究进展,为下一步的研究提出了新的课题和设想。

Select

一种基于GIS的网络层次化地图模型及实现算法

王恺,杨峰,毕经平

. 2005, 31(06): 20.

摘要 ( ) PDF全文 ( )

可视化

大型计算机网络地域分布广,网元数目众多,传统网络管理系统以网络拓扑这种虚拟空间的方式实现网络的监控管理,没有充分利用网元的地理位置信息,网络监控和管理存在不便之处。地理信息系统(GIS)的应用能够赋予网络监控管理系统清晰直观、易于监控和管理的特性。通过建立一种基于 GIS 的网络层次化地图模型,系统解决了网络拓扑与 GIS 地图有效结合这一问题,实现了在 GIS 地图中网络拓扑与运行状态信息的层次化管理,给出了网络 GIS 地图的生成、维护的非递归算法。模型和算法的有效性和完备性在大型网络性能监测与分析系统 NIPMAS 中得到了实际验证。

Select

序列模式挖掘的并行算法研究

马传香,简钟

. 2005, 31(06): 24.

摘要 ( ) PDF全文 ( )

可视化

序列模式在许多领域都有着重要的应用,大量的数据和模式需要高效的、可扩展的并行算法。针对目前序列模式挖掘算法存在的普遍问题,提出了一个适合无共享并行环境下的算法PMSP,有效地解决了存储受限以及时效性问题,并将它与当前相对较优的并行算法HPSPM做了比较,实验表明PMSP是有效的。

Select

基于Rough集和数据库技术的属性约简算法

乔梅,韩文秀

. 2005, 31(06): 26.

摘要 ( ) PDF全文 ( )

可视化

对核属性的作用,以及求取属性核心的代价等进行了分析,并运用Rough集的理论给出了判定一个属性子集中是否包含属性核心的充要条件。根据这些研究结论对基于粗糙集的属性约简算法进行改进,并利用数据库查询语言实现了算法。实验表明对于大数据集,该算法的效率大大高于一些基于主存的算法,且易于实现。

Select

线性整数规划的分支限界解法及其MATLAB实现

王京辉,乔卫民

. 2005, 31(06): 28.

摘要 ( ) PDF全文 ( )

可视化

讨论了计算机算法中分支限界法对于线性整数规划问题的解决思想,通过MATLAB中提供的优化函数,实现了快速解决线性整数规划的问题,同时改进了对于此类问题的计算量巨大和编制程序困难的问题,使用了堆栈而不是递归,节约了计算中的资源。编制的MATLAB线性整数规划的程序,可以编译成C/C++实现和COM组件。

Select

模糊模式识别技术在水电仿真考核系统中的应用

张晓丹,赵海,魏守智,苏威积

. 2005, 31(06): 30-32.

摘要 ( ) PDF全文 ( )

可视化

提出了一种新的基于模糊模式识别的信息融合方法,即针对传统的确定性数学模型解决不确定问题存在的困难,建立了模糊模式识别的模型,并把此模型应用于吉林丰满水电数字仿真系统的成绩考核系统中,将参数的模糊集与正确等级模糊集进行匹配,降低了系统中不确定因素对考核系统的影响。经实验表明,此模型能正确解决不确定问题。

Select

基于Web服务的分布式空间数据共享模型

温永宁,张宏

. 2005, 31(06): 33.

摘要 ( ) PDF全文 ( )

可视化

基于流行的Web 服务技术,对分布式空间数据共享进行了研究,提出了空间数据服务、空间数据转换、服务请求代理和空间数据目录4个核心概念,组成了一个面向Internet分布式空间数据管理和发布体系。该模型以现有的主流GIS软件为基础数据源,利用Web服务技术,按照OGC的空间数据规范和服务规范进行再封装,形成统一的空间数据服务和转换服务,同时不影响当前GIS软件的数据访问和客户端应用,在软件体系的开放性、先进性以及实施成本之间求得了平衡。

Select

森林空间数据的时变性分析与仿真

舒娱琴,兰樟仁,陈崇成

. 2005, 31(06): 35-37.

摘要 ( ) PDF全文 ( )

可视化

从林分结构规律出发,采用整体到个体的方法,从森林资源二类调查的林分因子的整体信息获得树木个体信息的几何特性,应用自然稀疏规律及树木竞争与生长模型来对森林空间数据进行时变性分析与仿真。其研究结果能够为树木、森林的动态过程模拟建模提供足够详细、可靠的数据源,从而实现整个虚拟森林生长的动态变化。

Select

面向协同设计系统的分布式群决策支持技术研究

辛明军,李伟华,沈钧毅

. 2005, 31(06): 38-40.

摘要 ( ) PDF全文 ( )

可视化

在探讨业务处理中间件的分布计算模式、多主体控制以及分布式问题处理多库管理技术基础上,该文重点分析群体决策支持的协同设计系统分布计算环境;提出并实现了领域问题求解策略、应用模块的模型化管理方法以及分布式问题求解及其过程监控。同时深入研究协同设计系统业务处理中间件的信息资源共享和分布式问题求解的多维信息交互过程,实现了协同设计系统开放式群体决策集成开发平台。最后以预研项目为研究背景,实现了设备设计的产品集成化开发设计,取得了明显的实际应用效果。

Select

基于Web服务的电子政务应用集成研究

管强,张申生,杜涛

. 2005, 31(06): 41-43.

摘要 ( ) PDF全文 ( )

可视化

电子政务是实现国家信息化的基础和有力手段。该文建立了适合中国国情的电子政务业务专网系统分层设计模型,提出了电子政务业务专网基于Web服务的应用动态重组和互操作的构架方法,探讨了Web服务应用动态组合的语法兼容性准则。最后,以上海市某区电子政务业务专网为应用背景给出了一个电子政务应用集成平台的设计实例。

Select

RAPWBN模型上的快速高效并行排序算法

陈宏建,陈崚,罗家奇

. 2005, 31(06): 44-47.

摘要 ( ) PDF全文 ( )

可视化

在介绍带有宽总线网络的可重构计算模型(RAPWBN)的基本结构及其二进制值的前缀和操作的基础上,提出了 RAPWBN 模型上的抽取压缩操作算法,并由此得到了 RAPWBN 模型上的两种快速高效并行排序算法,对长度为 N 的序列进行排序,在具有 N2个处理器和N 条行总线的 RAPWBN 模型上,若总线带宽ω>logN 字节,可以在 O(1)时间完成排序。在具有 N 个处理器和 N 条行总线的 RAPWBN 模型上,最好情况下以 O(logN)时间、最坏情况下以 O(N)时间完成排序。

Select

Web结构分析算法HITS的改进及应用

李昕,朱永胜,武港山

. 2005, 31(06): 48.

摘要 ( ) PDF全文 ( )

可视化

在网络环境下,传统检索技术不可避免地存在种种不足,而超链分析技术可以直接或间接地解决这些问题。该文在介绍网络结构的基础上,描述了已有的HITS算法及其改进策略,并提出了该算法的简单实现架构。HITS算法着眼于挖掘超链间的潜在语义关系,有助于在更深层次上挖掘Web中蕴含的语义信息。

Select

容灾系统研究

王德军,王丽娜

. 2005, 31(06): 51.

摘要 ( ) PDF全文 ( )

可视化

随着IT系统的广泛深入应用,IT系统的高可用性和容灾能力问题日益成为一个关注的焦点,容灾系统的建设对于国防、政府、企业都有着重要的意义。容灾系统的目标在于提高IT系统的生存能力,保障业务流程的连续性,减少因各种灾难而造成的损失。该文依照工程化的思想,以容灾系统生命周期模型为基础,提出了容灾系统的需求分析和设计方法,并对主要的容灾技术进行了比较分析。

Select

基于多目标演化算法的SOC设计空间搜索策略

任长宁,马光胜,王昊,冯刚

. 2005, 31(06): 54-57.

摘要 ( ) PDF全文 ( )

可视化

针对参数化SOC设计空间的复杂性,提出了一种新的搜索策略,该搜索策略以多目标演化算法为核心,依据参数依赖性概念对设计空间进行大幅度的缩减并使用空间阈值技巧增加了策略的适应性。通过与敏感度分析搜索策略的实验对比,证明了该策略在得到更优配置的同时可以显著缩短搜索时间。

Select

一种基于博弈论的多Agent交互模型

袁爱进,曹立明,王小平

. 2005, 31(06): 58.

摘要 ( ) PDF全文 ( )

可视化

在开放的、动态的多Agent系统(MAS)中,交互是最基本的方面,具有各自利益的多个Agent必须对其目标、资源的使用进行协调。博弈论为协调和协作的研究奠定了坚实的数学基础,把博弈论与多Agent交互相结合是目前DAI研究的新发展方向。该文提出了一种基于博弈论的多Agent交互模型(GMAIM),应用于解决不完全信息的分布式环境下多人协商决策问题,实现了在会议调度系统(MSS)中的应用。

Select

层次结构的多数据库系统中事务执行的正确性准则

陈国宁,李陶深

. 2005, 31(06): 60-62.

摘要 ( ) PDF全文 ( )

可视化

研究了层次式多数据库中事务执行的正确性问题。给出了层次式多数据库的定义和结构以及建立在其上的事务结构,根据多数据的特点提出了一种层次式多数据库中事务执行正确性准则,并举例说明其应用,最后给出了该标准的评价以及应用展望。

Select

一种基于Flash的智能卡文件系统

吴瀛,龚育昌,张为民

. 2005, 31(06): 63.

摘要 ( ) PDF全文 ( )

可视化

介绍了一种针对基于Flash的智能卡的文件系统的设计与实现方案。它以尽可能少的代价,实现了智能卡应用中存储空间的释放与重用,为智能卡上损坏的Flash的存储块提供了一种管理机制,平均化对Flash存储器的擦除操作,最大限度地延长了Flash存储器的使用寿命,并且为意外事故造成的数据损失提供了恢复措施。仿真结果证实了该文件系统设计的正确有效性。

Select

Web服务安全性模型构建的案例分析方法

聂勤务

. 2005, 31(06): 65-67.

摘要 ( ) PDF全文 ( )

可视化

探讨了一种优秀的Web服务安全性模型的基本原理和方法,并把此安全性模型指南中所列的安全规范应用到一个虚构的但却普遍的业务案例上来,从而较好地阐明了其模型的构成特点情况。

Select

数据挖掘中判定树算法SLIQ的设计与应用

颜宏文,马瑞,龙际珍,颜宏斌

. 2005, 31(06): 68-70.

摘要 ( ) PDF全文 ( )

可视化

分析了一种用Gini指标进行属性选择的SLIQ算法,讨论了提高效率的可行方法。把算法用到电力市场发电竞价决策系统中,通过对发电商的竞标能力进行挖掘,获取的知识对发电商的决策有重要现实意义。

Select

显式并行资源计算结构及其编译优化

朱凯佳

. 2005, 31(06): 71-73.

摘要 ( ) PDF全文 ( )

可视化

提出并分析了一种新的基于超长指令字(VLIW)思想的微处理器模型,该模型提供了体系结构可见的处理器内部结果寄存器和数据通路,允许优化编译器进行直接的控制和调度,并依赖编译器保证操作之间的依赖关系,以简化硬件设计并获得更高的时钟频率。基于该目标模型,构造了一个完整的优化编译和模拟环境,提出、分析并实现了相应的软件旁路优化以及集成式的资源分配与指令调度算法。

Select

电子商务环境下面向顾客的服务质量评价体系

张大陆,姚进

. 2005, 31(06): 74.

摘要 ( ) PDF全文 ( )

可视化

从顾客的角度出发,通过提出服务质量评价体系的体系结构及其评价指标,在给出基于人工神经网络的服务选择算法模型的基础上,建立了面向顾客的电子商务服务质量评价体系。其目的是通过帮助顾客对服务供应商作出评价选择,以降低顾客的交易成本及提高服务供应链效益。

Select

最大值堆的枚举计数公式及其实现

董兆安,孙强

. 2005, 31(06): 76.

摘要 ( ) PDF全文 ( )

可视化

根据堆的定义,在构造与最大值堆对应的n元排列的过程中推导出了n个结点最大值堆的枚举总数目的计算公式,讨论了当堆为满堆时的情况,给出了一个复杂度为O(n)的算法实现了任意最大值堆的枚举计数公式。

Select

基于UML的面向对象软件测试系统

张保卫,张毅坤,赵明,崔杜武

. 2005, 31(06): 78.

摘要 ( ) PDF全文 ( )

可视化

设计和实现了一个基于UML的C++测试集成开发环境CppTestIDE。它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,生成测试装置。同时,对源代码插装,以便度量代码覆盖率。在此基础上,编译测试装置和源代码,生成测试装置执行文件。最后,驱动测试装置执行文件,分析测试结果,生成测试报告。

Select

CWM多维元模型中键的定义方法

侯锋军,何克清

. 2005, 31(06): 81-83.

摘要 ( ) PDF全文 ( )

可视化

在CWM的基础上,分析了在多维实体资源中增加键的一种机制,同时依靠CWM的扩展机制,给出了一种为多维实体资源产生键的技术,从而得到一套在多维实体资源中键自动产生并加入的方法。给出了该方法的元模型,为多维资源的建模提供一个框架,并且利用XMI给出了元模型的形式化表示,最后分析了元模型的一个具体使用实例。

Select

CC-NUMA系统中面向页迁移的反向页表技术

杜静,戴华东,杨学军

. 2005, 31(06): 84.

摘要 ( ) PDF全文 ( )

可视化

页迁移技术是实现CC-NUMA访存局部性优化的一种重要策略,其实现涉及到虚存系统中物理地址到虚拟地址的转换,传统做法需要遍历所有进程的虚拟地址空间,效率低、开销大。针对此问题,介绍了一种在操作系统内核中高效实现物理地址到虚拟地址转换的技术——反向页表技术,并着重阐述了反向页表在页迁移策略中的应用。

Select

存储池:一种适合于编译器的存储管理方法

杨书鑫,薛丽萍,张兆庆

. 2005, 31(06): 87.

摘要 ( ) PDF全文 ( )

可视化

介绍开放源码编译器ORC中使用的存储管理方法:存储池。存储池不是一种通用的存储管理方法,但是它特别适合于编译器。在编译器这个应用场合下,存储池比通用的malloc/free存储管理机制具有十分明显的优点。具体表现为分配速度快、管理开销小、释放时间开销小以及没有内存泄漏的问题。

Select

支持协同测试的软件测试信息管理系统

丁毓峰,蒋胜

. 2005, 31(06): 89-91.

摘要 ( ) PDF全文 ( )

可视化

提出支持协同测试的通信设备系统软件测试信息管理系统结构,研究了测试需求、测试用例和故障之间映射关系的测试信息关联模型,分析归纳了通信设备系统软件测试流程,提出的测试用例编号方法和协同测试信息模型可以有支持系统软件多版本的协同测试。以testDirector为基础,实现了支持协同测试的软件测试信息管理系统。

Select

MS SQL Server数据库数据恢复的研究

万锋,龚正良,杨辛宝

. 2005, 31(06): 92-94.

摘要 ( ) PDF全文 ( )

可视化

通过对MS SQL Server数据库数据文件和日志文件的分析,提出了恢复已损坏的数据库文件中数据的非常规方法。恢复数据库中用户所需要的数据。

Select

基于Agent的协同数据库模型研究与实现

张小波,成良玉,钟闰禄

. 2005, 31(06): 95-97.

摘要 ( ) PDF全文 ( )

可视化

描述一个基于Agent的协同数据库功能模型,并在此基础上分析了协同数据库系统的查询实现和数据格式的表示、对事务处理的并发控制。最后提出几个协同数据库系统设计需要进一步改进的地方。

Select

静态并行任务调度模拟工具的设计与实现

许海燕,吴兰陟,何立,卢伟

. 2005, 31(06): 98.

摘要 ( ) PDF全文 ( )

可视化

介绍构建的一个包含12种静态并行任务调度算法的模拟器TSAS和一个可视化的任务图生成器VTGG,并给出以它们为工具得到的各种任务调度算法的性能数据。

Select

分布式环境下事件自动处理机制的实现

李中良,母瑛,顾华江,邵培南

. 2005, 31(06): 100-102.

摘要 ( ) PDF全文 ( )

可视化

提出了一种分布式环境下事件的自动处理机制。该机制基于符合JMS规范的消息中间件完成事件的发布和订阅,采用XML和动态连接库技术实现了一个即插即用的、支持事件定制和事件处理过程自动加载的处理框架。它是一个分布式环境下完整的事件处理解决方案。

Select

DiffServ网络中接纳控制方法的研究

俞承志,宋瀚涛,刘莉

. 2005, 31(06): 103.

摘要 ( ) PDF全文 ( )

可视化

深入分析了DiffServ网络中接纳控制方法的缺点,提出了一种新的接纳控制方法。该方法将边界和内部接纳控制分开进行。边界接纳控制时,采用边界区分服务策略,根据流对QoS不同要求,将流分为两类区别对待,不但提高了网络资源利用率,而且保证了流的服务质量;内部接纳控制时,采用了基于路径的方法,大大提高了网络接纳控制的效率。

Select

Internet服务器负载均衡的研究与实现

李文正,郭巧,王利,郭为民

. 2005, 31(06): 106.

摘要 ( ) PDF全文 ( )

可视化

首先分析了Internet服务器负载均衡技术与负载均衡的策略,然后提出了基于智能DNS与CACHE技术相结合的CDN (ContentDistribute Network)网络实现不同地区Internet服务器负载均衡的方法,建立了CDN实验床网络并给出了Internet服务器负载均衡和网络性能测试的结果,测试结果表明提出的方法是可行的、有效的,大大提高了用户的访问效率。

Select

基于分级树的可靠组播拥塞控制的研究

李捷,郑逢斌,陈志国

. 2005, 31(06): 108-110.

摘要 ( ) PDF全文 ( )

可视化

首先分析了可靠组播拥塞控制机制所面临的问题,在此基础上提出了一个基于分级树的可靠组播的拥塞控制机制,它着重考虑了拥塞控制的可扩展性以及与TCP数据流的友好性,因而具有很强的实用性。仿真试验结果表明,该拥塞控制机制可以较好地解决TCP流对瓶颈带宽的共享问题,并在一定程度上满足了可靠组播流对TCP友好性的要求。

Select

一个网格经济学模型和信用机制

陆松,苏德富

. 2005, 31(06): 111-113.

摘要 ( ) PDF全文 ( )

可视化

网格的目标是实现对地理上广泛分布的大量异构资源进行共享。然而,由于网格具有的异构性、分布性和动态性,网格环境中的资源管理是个复杂的问题。将经济学原理,例如一些经济学模型和市场机制引入网格之中构建网格经济学资源管理模型,能够很好地配合网格的离散特性。该文将经济学原理引入网格环境之中, 提出了一个“信用机制”,使用户能够根据服务提供者的“信用”来优化选择,同时使网格更为高效和有序。

Select

Web服务的可用性测量

陈欣,金远平

. 2005, 31(06): 114.

摘要 ( ) PDF全文 ( )

可视化

利用一种新的消息传递机制,从请求者的角度在服务请求者和服务提供者之间进行消息交互的同时进行Web服务可用性的测量,并提出了一套关于Web服务可用性的量化指标,为服务请求者的选择提供依据。

Select

以太网络测试中的单向延迟量的确定

茅兴,张世永,钟亦平

. 2005, 31(06): 116-118.

摘要 ( ) PDF全文 ( )

可视化

根据IETF的网络小组发布的RFC相关技术标准,分析了在以太网测试中,如何确定单向延迟量,提供、比较了各种标准的解决方案,择优选取了基于网络时钟同步系统的软件测量方法,开发并实现了相应的测试。

Select

多Agent协同模型在基于Web的异地同步技术中的应用

张小波,成良玉,钟闰禄

. 2005, 31(06): 119-121.

摘要 ( ) PDF全文 ( )

可视化

分析了多Agent协同模型在基于Web的异地同步技术中的应用。包括基于Web的多Agent协同模型、Agent的结构和功能。重点描述基于Web的多Agent通信和并发冲突的解决。最后提出了几个改进的措施。

Select

基于B/S模式的异地同步协同技术的实现

张小波,成良玉,钟闰禄

. 2005, 31(06): 122-124.

摘要 ( ) PDF全文 ( )

可视化

分析了在B/S模式下的异地同步协同技术的实现机制并提出一种具体的实现技术,包括服务器端同步的控制、客户端数据的同步刷新操作过程以及同步协同中的一个很关键的技术问题:并发冲突的控制和解决。最后,提出了需要改进的地方和进一步的研究工作。

Select

Mpls网络中标签交换路径的重路由

张博,何志均

. 2005, 31(06): 125-127.

摘要 ( ) PDF全文 ( )

可视化

设计了一套重路由状态机,用来在支持流量工程的Mpls网络中实现对标签交换路径(lsp)的重路由。给出了该状态机的描述,阐述了该状态机在Mpls信令协议中的应用,搭建了一个测试床做了验证。结果显示该状态机可以在不中断服务的情况下,平滑地进行lsp的重路由。

Select

基于击键特征的用户身份校验

史扬,曹立明

. 2005, 31(06): 128-130.

摘要 ( ) PDF全文 ( )

可视化

基于用户所特有的击键节奏特征,提出了一种判别某一击键序列是否为某特定用户的行为的方案。该方案利用非参数方法中的Spearman 相关分析来确定计算 cityblock 距离所需的权值,进而利用预存样本与新输入样本之间的距离来判定用户的身份。所以此方案不受各种可能击键的概率分布限制。一个基于击键特征的用户身份校验系统已经使用 Java 语言成功地实现。

Select

基于系统呼叫和网络数据包的两层入侵检测模型

张小强,朱中梁,范平志

. 2005, 31(06): 131-133.

摘要 ( ) PDF全文 ( )

可视化

由于每种检测手段都有各自的优缺点,任何一种单独的检测手段或方式都不能够检测出所有的入侵行为。为了弥补这些缺陷和不足,该文提出了一种基于系统呼叫和网络数据包的两层入侵检测模型,这种模型有机地把两种入侵检测技术融合在一起,极大地提高了系统的安全性能。结果也表明,这种检测模型具有更好的检测效果和健壮性。

Select

一种可防止欺骗的可视密码分享方案

郭洁,颜浩,刘妍,陈克非

. 2005, 31(06): 134-136.

摘要 ( ) PDF全文 ( )

可视化

Naor和Shamir[1]提出的可视密码方案(VCS)是一种将秘密黑白图像加密到不同分享中的秘密分享方案,并且无须计算即可进行解密。但是如果在解密过程中欺骗者提供了伪造的分享,秘密图像的解密将失败。该文给出了一种新的构造方法,可找出解密过程中的欺骗者。

Select

弹性CA系统中网络监控平台的设计与实现

廖洪銮,陈圩贤,荆继武

. 2005, 31(06): 137-139.

摘要 ( ) PDF全文 ( )

可视化

在分析弹性CA系统内网运行安全的基础上,文章为其设计并实现了双层分布式结构的网络监控平台。该平台采用了嵌入式技术,通过基于RSA数字证书的认证机制对连入网络的部件实施设备认证,能够根据认证后的身份采取灵活完善的监控策略,有效保障了系统内网运行的安全。

Select

一种动态安全的密文数据库检索方法

马勺布,胡磊,徐德启

. 2005, 31(06): 140-141.

摘要 ( ) PDF全文 ( )

可视化

密文数据库检索是当前密文数据库的关键技术之一。针对密文数据库中的密文属性列,提出了一种有效的、动态安全的密文索引方案,并给出了其检索算法。

Select

撤消投标者的安全的网上招投标方案

王月昆,蔺大正,李战胜,黄欣阳

. 2005, 31(06): 142-144.

摘要 ( ) PDF全文 ( )

可视化

利用群签名体制给出一个可撤消投标者的安全的网上招投标方案。该方案实现了参与竞标公司身份的匿名性、中标者的不可否认性、可公开验证性等安全性问题。该文解决了群签名中成员删除问题。即当竞标公司因为某些原因被撤消其资格时,可信权威人士只需更改群公钥的一个参数,并用其他竞标公司的公钥加密后广播出去。而无须更改其他竞标公司的数字证书,使接下来的竞标过程顺利进行,同时保证了被撤消的竞标公司的身份与它以前参与竞标的项目的不可联系性。

Select

流媒体安全技术研究与实现

陈道敏,王正华,彭宇行,刘锋

. 2005, 31(06): 145-147.

摘要 ( ) PDF全文 ( )

可视化

对网络上流媒体数据的安全传输问题进行了探讨,着重对传输过程中加解密的实现机制进行了分析。最后基于Socket技术和DirectShow技术给出了一个加密应用实例,并讨论了实现过程中的关键技术。

Select

一种新的动态编码方法的研究

王竹荣,崔杜武,张毅坤,王超学

. 2005, 31(06): 148.

摘要 ( ) PDF全文 ( )

可视化

提出了一种基于码表的动态编码的构建方法。利用知识对所求问题的指导和启发作用构建码表,有效地缩小了待求解问题的解空间,从而使遗传算法的搜索效率和获得最佳解的质量得到提高。文中分析了知识对编码效率的影响,最后通过工程优化设计的实例,说明动态编码技术的正确性和可行性。

Select

基于遗传算法的最短路径路由优化算法

孙宝林,李腊元,陈华

. 2005, 31(06): 150.

摘要 ( ) PDF全文 ( )

可视化

论述了用启发式遗传算法解决最短路径路由的优化问题,采用可变长度染色体(路由串)和它的基因(节点)应用于编码问题,交叉操作在交叉点进行部分染色体(部分路由)交换,变异操作维持种群的多样性。该算法采用简单维护操作维护好所有的不可行的染色体。交叉操作和变异操作相结合保证了最优解的搜索能力和解的全局收敛性。计算机仿真实验表明该算法快速有效、可靠性高。

Select

Agent系统的随机集表示

密君英,李凡长

. 2005, 31(06): 153-155.

摘要 ( ) PDF全文 ( )

可视化

多 Agent 的协调性是多 Agent 系统与其它相关研究领域区别开来的关键性问题之一,也是保证多智能系统能在一起共同工作的关键。因此,该文对多 Agent 协调工作机制进行了研究,给出了多 Agent 的随机集表示方法,进一步丰富多 Agent 系统的研究内容。

Select

基于高斯混合模型的非母语说话人口音识别

赵征鹏,杨鉴

. 2005, 31(06): 156-158.

摘要 ( ) PDF全文 ( )

可视化

针对云南境内白族、纳西族、傈僳族 3 个典型的少数民族及汉族普通话语音,采用了高斯混合模型来训练每个民族的口音模型,并用少量的测试语音来获得较为满意的口音分类识别率,目的在于探索降低非母语口音话者语音识别错误率的有效途径。该文通过实验给出,对云南民族口音汉语普通话口音识别,当混合数为 16,语音特征采用 39 维 MFCC 及其一阶、二阶差分参数时,口音识别正确率可达90.83%。

Select

基于实时视频的笔画信息提取技术

蒙世斌,周明全

. 2005, 31(06): 159-161.

摘要 ( ) PDF全文 ( )

可视化

描述了一种基于实时视频的笔画信息提取方法,采用视频输入设备捕捉用户手指的运动轨迹,并对此进行实时处理、简化和分析,根据手指的轨迹特征以及笔画的特点从中滤除无用的信息的方法,提取出笔画。通过笔画信息识别定义手势控制,可实现简单的人机交互。

Select

基于三角剖分的形状检索算法

田玉敏,贾元元

. 2005, 31(06): 162-164.

摘要 ( ) PDF全文 ( )

可视化

提出了一种基于三角剖分的形状检索改进算法。算法的基本思想是:先对图像进行边界跟踪和角点检测;然后寻找初始角点在边界跟踪中的对应点,并对找到对应点的角点按对应点在边界跟踪中的顺序进行排序;再对排序后的角点进行德洛内三角剖分,得到能表示目标真实形状的三角形序列;最后计算三角形序列的角度直方图作为形状特征进行相似性匹配。实验结果表明,该算法有较高的效率和检索精度。

Select

一种新的模糊规则提取方法

吴淑芳,吴耿锋,王炜

. 2005, 31(06): 165.

摘要 ( ) PDF全文 ( )

可视化

提出了一种新的模糊规则提取方法,该方法先采用基于山峰函数的减法聚类法自适应地确定初始的聚类中心,然后由此构造动态自组织神经网络进行学习,在学习的过程中可根据情况适当地合并或分裂神经元,并重构神经网络继续学习,最后按聚类中心确定模糊子集数目和隶属函数并形成模糊规则集。实验结果表明,通过网络结构和神经元的动态自适应变化能够获取样本集中的模糊信息,形成直观的模糊规则。

Select

基于神经网络的价值预测方法

冯冬青,吴杰

. 2005, 31(06): 168-170.

摘要 ( ) PDF全文 ( )

可视化

利用BP神经网络的并行性、容错性、自学习的特点,尤其是以任意精度逼近任何连续的非线性函数的功能,针对箱体振荡股票进行短期股价预测,同时引入了另一个诊断神经网络,评估预测神经网络的预测可信度,综合拟定操作策略。仿真试验表明,该方案是可行的。

Select

一种面向连续属性空间的模糊粗糙约简

聂作先,刘建成

. 2005, 31(06): 171-173.

摘要 ( ) PDF全文 ( )

可视化

简要叙述了模糊粗糙集理论中与属性约简相关的几个重要概念,研究了属性模糊化方法,并提出了一种结合遗传算法和模糊粗糙集理论的属性约简算法,它能快速找到完整地保留了原始数据集合的信息的一个属性约简。

Select

一种新颖的眼部状态识别方法

李衡峰,夏利民,叶剑波

. 2005, 31(06): 174.

摘要 ( ) PDF全文 ( )

可视化

在疲劳驾驶检测中,对眼部状态的判断是关键的步骤之一。为了对眼部状态进行有效的识别,提出了一种新颖的眼部状态识别方法。该方法用眼部图像中的某些点的纹理单元的NTU值作为输入特征值,用径向基函数神经网络(RBF)作为分类器。为了进一步提高分类的准确性,又采用了Bagging方法。试验结果表明,该方法易于实现,准确度高,速度快,不受光照条件的影响,可以应用于实际。

Select

低空突防视景系统的三维建模与实时仿真

薛锋,欧阳中辉,吴晓君

. 2005, 31(06): 176-178.

摘要 ( ) PDF全文 ( )

可视化

首先介绍了低空突防视景仿真系统的功能和组成,然后基于标准数字地图,对地形地貌场景进行了三维建模,同时利用碰撞检测技术进行地形匹配和威胁判断,为飞机进行实时定位。最后在PC图形工作站上实现了满足实时性要求的低空突防视景仿真系统。

Select

基于视音频特征和文本信息的新闻视频自动场景分割

王策,何炎祥,王云,张春林

. 2005, 31(06): 179.

摘要 ( ) PDF全文 ( )

可视化

提出了一种基于视音频特征和文本信息的新的场景自动分割技术。其基本思想是先探测新闻视频的镜头边界,再用文本检测方法识别主题字幕帧以得到分割信息。用短时能量和短时平均零交叉率参数探测静音分片。将视音频特征和文本信息相结合以实现自动场景分割。实验使用135 400 帧的测试数据达到了85.8%的准确率和97.5%的重现率。实验结果表明此方法是有效的、稳健的。

Select

基于VRML和Java技术的虚拟校园三维查询系统

宋丽红,华斌

. 2005, 31(06): 181-183.

摘要 ( ) PDF全文 ( )

可视化

研究了基于虚拟现实和Java编程技术实现虚拟校园的方案,深入探索了利用EAI接口实现VRML文件与Java程序进行实时数据交换的方法,实现了基于VRML和Java技术的虚拟校园三维查询系统。此外还探讨了EAI与SAI接口技术的异同。

Select

基于H.26L多参考帧运动估计的研究及其新算法

余胜生,苏曙光,周敬利

. 2005, 31(06): 184-186.

摘要 ( ) PDF全文 ( )

可视化

主要讨论了H.26L协议多参考帧运动估计的思想,提出了实现多参考帧运动估计的新算法。在传统的连续消除算法(SEA)基础上设计了“连续中心外螺旋搜索算法(SCOS)”。这个算法主要根据多参考帧特点改进了运动搜索的起始点设置方法和螺旋向外的搜索路径。通过采用这个算法,使得多参考帧运动估计不仅精度能和全局搜索(Full Search)相同,而且计算量缩短25%,时间缩短7%左右。

Select

视频流中广告内容的检测

明鸣,朱明

. 2005, 31(06): 187-189.

摘要 ( ) PDF全文 ( )

可视化

提出了一种对视频流中广告段落检测的方法,同时对其中的关键技术和算法进行了描述及评价,并对其存在的问题和研究方向进行了讨论。实验结果令人满意。

Select

用于车载无线终端的嵌入式语音处理系统

刘志,刘加,刘润生

. 2005, 31(06): 190.

摘要 ( ) PDF全文 ( )

可视化

介绍了一个用于汽车环境的无线终端中利用语音技术进行语音识别拨号、语音合成和语音提示的系统。系统包括两个主要的模块:语音处理模块和蓝牙通信模块。其中蓝牙通信模块的功能是与具有蓝牙接口的手机进行通信,包括连接手机进行通话,下载手机内的电话号码本并传送给语音处理模块;语音处理模块完成语音识别、语音合成、语音提示、利用语音压缩编解码进行通话录放以及号码查询等功能,并控制整个系统的流程。该系统可以实现对手机电话本的下载并在线生成识别词表,识别词表容量可达1000词;在600词情况下的实验结果表明系统的识别率大于97%;系统基于SoC架构,具有高集成度和高稳定性的特点。

Select

一种适用于单片机的语音编码算法及应用

万晓华,陈连坤

. 2005, 31(06): 192-193.

摘要 ( ) PDF全文 ( )

可视化

提出了一种采用自适应差分脉冲编码技术的语音压缩编码算法,压缩比为8:3,因其算法非常简单,可用单片机(如51系列)实现。此算法可用于低成本的单片机语音存储系统或语音传输系统。最后还给出了此算法在远距离语音信号传输中的应用实例,在此实例中采用的是C8051F330单片机,在RS-422传输信道上实现了全双工远距离语音信号传输。

Select

家族保护遗传算法(KPGA)解决设备布局问题的研究

吴永忠,吴永明,袁红亮

. 2005, 31(06): 194-196.

摘要 ( ) PDF全文 ( )

可视化

分析了影响遗传算法全局搜索能力的因素,并有针对性地提出一种新的变形遗传算法——家族保护遗传算法(Kindred-Protected GA,KPGA),以提高算法的全局搜索能力和计算性能。同时以经典设备布局问题为例进行探讨,将结果与Chae、 Junjae等采用一般遗传算法得出的结果、以及与Jajodia等人采用模拟退火算法得出的结果相比较,发现KPGA得出的布局结果有明显的改善。

Select

多PowerPC 7400/7410处理器体系架构研究

李承伟,杜娟,李波,倪明,柴小丽

. 2005, 31(06): 197-199.

摘要 ( ) PDF全文 ( )

可视化

PowerPC 7400/7410处理器是新一代的PowerPC G4处理器,带有高性能的AltiVec单元,其大小为128bits,该单元有利于处理高吞吐量的数据,因此可用来满足完成数字信号处理的要求,成为DSP的强有力替代品。该文通过对4个PowerPC处理器的3种并行体系架构分析和在雷达数字信号处理的性能比较下提出了改进参考模型,以供研究。

Select

基于ARM核的片上可编程系统的功能验证

金轶丰

. 2005, 31(06): 200-202.

摘要 ( ) PDF全文 ( )

可视化

介绍了一种快速准确的片上系统验证方法。这种方法改善了针对当今高性能的系统设计的验证过程,从而减少了开发整个系统所需要的成本。

Select

基于单片机的低成本高性能异步串口扩展技术

江淑红,李涛,刘祖望

. 2005, 31(06): 203-204.

摘要 ( ) PDF全文 ( )

可视化

介绍了一种用单片机(89C2051)实现的异步串口扩展技术,这种方法成本低,可以提供大容量的输入输出FIFO,而且对传输的数据有预处理能力。对于系统处理过程复杂、运算量大的应用,此方法特别有效。

Select

模具设计案例知识管理系统的研究与开发

张为民,李爱平

. 2005, 31(06): 205-207.

摘要 ( ) PDF全文 ( )

可视化

结合模具设计的特点以及PDM系统在管理产品生命周期方面的功能,设计了模具设计案例知识的存储框架并在SmarTeam系统中加以实现。为实现案例知识的快速搜索匹配,采用基于案例推理(Case-based Reasoning,CBR)技术开发了案例知识的搜索匹配系统,采用向导式的模具案例模糊查询功能,快速确定出查找范围,供设计人员参考。

Select

基于改进的BOOTH编码的高速32×32位并行乘法器设计

刘强,王荣生

. 2005, 31(06): 208-210.

摘要 ( ) PDF全文 ( )

可视化

采用了一种改进的基—4 BOOTH编码方案,设计了一种高速32×32-b定/浮点并行乘法器。乘法器电路利用CPL逻辑来实现。通过对关键延时路径中的(4:2)压缩器和64位加法器的优化设计,可以在20ns内完成一次乘法运算。乘法器的设计由0.45um的双层金属CMOS工艺实现,工作电压为3.3V,用于自适应数字滤波运算中。

Select

基于嵌入式处理器软核的DVB-S基带处理系统

杨浩,林争辉,鞠海,蔡雄飞

. 2005, 31(06): 211.

摘要 ( ) PDF全文 ( )

可视化

完整地给出了一种利用SoPC策略在大规模FPGA上实现高度集成的DVB-S前端基带处理系统的SoC实现。从系统模型设计入手,综合运用了集成电路和SoC设计手段设计验证了基带处理IP,并整合了嵌入式处理器(Nios)软核及其应用程序,极大地提高了系统性能并降低了总体成本。还提出了基于混合层次仿真的设计验证方法。

Select

用于事故再现的道路交通事故现场图绘制系统

袁泉,裴剑平,李一兵

. 2005, 31(06): 214.

摘要 ( ) PDF全文 ( )

可视化

实现利用计算机绘制《交通事故现场比例图》,以此提高事故信息收集及以“现场图”记录内容为依据的场景再现的效率和精度。该系统的数据结构以图元要素和非图元要素为基础,并可实现各要素之间的组合,以此包涵了各种事故元素满足不同的再现功能要求。

Select

现场可编程器件3-DES算法IP核的设计

董晓剑,刘志军,于建华

. 2005, 31(06): 216-217.

摘要 ( ) PDF全文 ( )

可视化

介绍了DES和3-DES算法的概要,给出了一种电路实现模型,并基于Xilinx公司的FPGA器件设计了IP核,描述了IP核设计中主要模块的设计方法。

Select

基于ASP的机电产品网上销售平台的研究

赵刚,姜汉斌,张映锋,江平宇

. 2005, 31(06): 218-220.

摘要 ( ) PDF全文 ( )

可视化

以ASP(Application Service Provision)哲理为基础,提出了一种机电产品网上销售系统模型,讨论了基于Java方案的系统基本组成与结构框架,并对相关使能技术、以及支持这些使能技术实现的Web数据库设计问题进行了描述。最后,通过一个应用实例说明了该网上销售平台的实用性。

Select

某型机载数字音视频记录系统的软件设计与开发

张立东,程晓宇,王社东,毕笃彦

. 2005, 31(06): 221-223.

摘要 ( ) PDF全文 ( )

可视化

介绍了某型飞机机载音视频记录系统的组成、系统的功能、硬件特点。详细地描述了根据系统功能与硬件特点的软件设计和在Linux平台上的实现。该系统软件经过了一系列的测试,达到了国家军用标准中软件部分的要求。

Select

MVC模式在Tomcat动态管理中的应用

刘玲霞,王凌,周斌,吴泉源

. 2005, 31(06): 224-225.

摘要 ( ) PDF全文 ( )

可视化

简单介绍了MVC模式的结构和工作流程,分析了Tomcat的层次结构,详细介绍了系统的结构,并用停止某个HttpConnector说明了动态管理的流程。

Select

分布式SCADA系统的UML建模分析与设计

朱清华,陈剑云

. 2005, 31(06): 226-229.

摘要 ( ) PDF全文 ( )

可视化

对一个分布式SCADA系统的控制中心的软件系统,运用面向对象的方法,采用UML作为建模语言进行分析设计,开发了分布式的、面向对象的、可维护性好的系统。研究了应用UML开发大型分布式SCADA系统过程中的一些关键策略。

Select

基于MFC的图形分页与缩放打印系统的设计与实现

裴金干,陆建德

. 2005, 31(06): 230-232.

摘要 ( ) PDF全文 ( )

可视化

讨论了图形设计应用中图形缩放打印系统的设计,就设计图元的虚拟图纸设定、图形分页计算、物理图元尺寸与屏幕图元尺寸的关系及分页打印系统中打印内容划分与多页拼接等问题进行了详细的探讨。

Select

动态信息发布平台的设计和实现

杨斌,陈平,董朝

. 2005, 31(06): 233-235.

摘要 ( ) PDF全文 ( )

可视化

针对当前银行、证券等企业的服务信息发布系统发布渠道单一,可扩展性差,维护困难的缺点,提出一种可定制的、可扩展的动态信息发布平台的设计方案,该系统利用一个渠道代理来实现信息发布渠道的动态定制,能够实现信息发布渠道的动态载入,并能在同类型渠道间合理分配负载量。通过实际应用表明,该系统能较好地满足企业对信息动态多渠道发布的要求。

Select

基于WWW的“计算机网络”虚拟实验室的设计与实现

王建新,凌亮,王伟平

. 2005, 31(06): 236-238.

摘要 ( ) PDF全文 ( )

可视化

论述了基于WWW的“计算机网络”虚拟实验室系统的设计和实现。该实验室以Java Applet的形式实现客户端,使用Java RMI远程调用机制实现了客户端和服务器方的通信,采用JavaBean的形式实现虚拟设备(如节点、主机和链路),以组件的形式开发实验库。系统采用NS2作为服务器方模拟器,客户端采用Nam作为可视化工具,既充分了利用了NS2多协议模拟器的强大功能,又省去了普通学生难于学习使用NS2模拟器的缺点。系统为用户远程学习计算机网络课程提供了良好的实验平台。

Select

基于MIS系统的用户动态权限管理

张学敏,熊曾刚,陈建新,刘洪星

. 2005, 31(06): 239-241.

摘要 ( ) PDF全文 ( )

可视化

通过对管理信息系统(MIS)用户权限管理的全面分析,比较了MIS中常见的用户权限管理方案,提出了一种动态权限管理方案。该方案使MIS中各类用户能方便地使用软件系统,同时确保MIS的安全性。此方案已在环保信息管理系统中加以应用,取得了较好的效果。

选择文件类型/文献管理软件名称

选择包含的内容

2005年, 第31卷, 第06期　刊出日期：

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

2005年, 第31卷, 第06期 刊出日期：

2005年, 第31卷, 第06期　刊出日期：