当期目录

• 2007年, 第2期　刊出日期：2007-02-01 上一期    下一期
  本期栏目： 论文

论文

动态层次小组多播路由的研究

李拥军[1] 齐德昱[1] 王惟言[2]

2007, 29(2): 1-3. doi:

摘要 ( 385 )   PDF (217KB) ( 338 )   　　

在分析现有多播路由协议的基础上,本文提出了动态层次小组多播路由。多播数据源可以根据自治系统（AS）中接收者的多少而动态决定发送多播数据的方式。在一个AS中,对于一个特定的多播源,当多播数据接收者的数量较少时,用单播的方式;当自治系统中接收者较多时,用组地址的方式转发多播数据。同样,AS中的分枝节点亦可以根据该策略构造以分枝节点为根的动态管理方式,从而动态地构造层次多播路由体系结构。本文还定义了动态层次多播路由算法的数据结构以及功能模块,并从网络带宽与路由器计算两方面面分析了动态层次小组多播路由协议分发多播数据时的代价。

RSA公钥密码的信息论分析

冯国柱[1] 李超[1,2] 吴翊[1]

2007, 29(2): 4-6. doi:

摘要 ( 412 )   PDF (173KB) ( 451 )   　　

过去对RSA安全性的分析都是从计算复杂度出发,其安全性依赖于分解大整数,最终落在安全素数的选择上。本文利用Shannon有关保密系统的理论,对RSA体制中的明文、密文进行了不变子集的划分,从而可以计算出明文和密文的互信息,同样得到了选择安全素数作为RSA的参数的理论依据。

Web服务器的过载模拟和性能测量

黄冬泉[1] 徐振亚[1] 尹宝林[1] 李伟琴[2] 张敏[1]

2007, 29(2): 7-9. doi:

摘要 ( 405 )   PDF (234KB) ( 613 )   　　

本文对典型Web服务器的过载机理进行了分析,并采用事件驱动和异步I/O技术设计和实现了一种高效Web服务器负载生成器aLoad,而且使用它对Apache Web服务器进行了过载模 拟、性能测量和分析。通过对比实验表明,aLoad可产生大大高于传统性能评测工具的并发负载。

一种改进的安全电子交易协议

胡贯荣 吴昊

2007, 29(2): 10-11. doi:

摘要 ( 386 )   PDF (185KB) ( 312 )   　　

针对目前主流的电子支付协议——安全电子交易SET协议,本文给出了一种改进的安全电子交易A-SET协议。A-SET协议改进了SET协议的交易流程,继承了SET原有的安全特性,可以进一步保证交易的原子性和不可否认性,有效地保证了交易双方的公平性。

RSA-CEMD协议的分析及基于串空间模型的形式化证明

卜凡金[1] 邢育红[2]

2007, 29(2): 12-14. doi:

摘要 ( 392 )   PDF (216KB) ( 370 )   　　

电子商务协议的最基本任务是保证交易方进行公平交换,而分析交换协议是否保证了公平性就成了分析电子商务协议的关键。本文分析了文献[1]中的挂号电子邮件协议RSA-CEMD协议,指出了其存在的缺陷,对其进行了修改,并对修改后协议的公平性用经过扩展的串空间模型进行了形式化分析。

Keta的Web QoS机制与实现

刘进元 廖湘科 谭郁松 李姗姗

2007, 29(2): 15-18. doi:

摘要 ( 467 )   PDF (246KB) ( 382 )   　　

随着Web应用的急剧增长,为了提高Web服务器的处理能力,人们提出和实现了多种Web Server结构。在此基础上,对Web应用提供性能保证和区分服务,实现QoS的控制成为目前We b发展所迫切需要解决的问题。本文针对一种非对称多线程流水线服务器结构——Keta,研究并实现了请求的分级调度控制、高负载的内容自适应降级服务等内容。实验结果表   表明,这些策略机制是有效的。

星载子网安全通信协议的设计

张练达 卢昱

2007, 29(2): 19-23. doi:

摘要 ( 460 )   PDF (345KB) ( 412 )   　　

本文首先对星载子网中的星间通信链路进行了安全需求分析,并且由协议的分布层次入手研究,明确了每一层次所需的安全服务和安全机制;然后分析了星间通信过程,针对星间 通信链路的需求,对其中的敏感部分提出了所需的安全服务;最后,根据以上分析提出了星间安全通信协议的解决方案,并针对上层协议的保护和数据包的保护两种模式提出了各
各自的解决方案,同时采取了一系列措施以减少因为安全机制的实施而增加的空间开销。本文还以空间传输协议为例,具体实现了通信协议的安全解决方案。

基于P2P的数字证书撤销列表更新方案及性能分析

刘聆[1,2] 贾焰[1] 陈玉教[3]

2007, 29(2): 24-25. doi:

摘要 ( 354 )   PDF (172KB) ( 412 )   　　

针对数字证书撤销列表更新中大量结点同时请求数据造成的系统性能瓶颈,本文提出了基于P2P的数字证书撤销列表更新方案,利用客户结点的资源改善证书撤销列表的更新性能;以数字校园应用为背景建立了分析模型,对所提方案进行了分析比较。

在Java2环境中实现可插入的认证及访问控制

於光灿 卢正鼎 李瑞轩 王治纲 唐卓 宋伟

2007, 29(2): 26-28. doi:

摘要 ( 488 )   PDF (187KB) ( 388 )   　　

本文将可插入的认证模型（PAM）扩展为可插入的认证及访问控制模型,分析介绍了PAM在Java环境中的实现JAAS,并根据对PAM扩展的基本原理对JAAS进行了扩展,使其同时具备可插入的认证和访问控制功能。

一种具有前向安全的椭圆曲线（t,n）门限数字签名方案

宁竞 钟诚

2007, 29(2): 29-31. doi:

摘要 ( 429 )   PDF (211KB) ( 365 )   　　

本文提出一种基于椭圆曲线密码体制的（t,n）门限数字签名方案,该方案能防止可信中心伪造签名,避免t个及t个以上成员合谋获取群密钥和伪造签名,并且具有前向安全性。

RPR网络中的亚可靠传输

杨建辉 毛善国 吕高锋

2007, 29(2): 32-35. doi:

摘要 ( 380 )   PDF (245KB) ( 375 )   　　

为了增强处于保护状态下的RPR环网带宽的合理利用,本文提出亚可靠传输机制,并利用拓扑矩阵来制定如何对亚可靠传输业务进行界定的算法。之后还进一步探讨了引入该机  制后RPR公平算法公平帧的运行方式。

一种新型的Web挖掘数据采集模型

胡迎松 宁海霞

2007, 29(2): 36-39. doi:

摘要 ( 380 )   PDF (263KB) ( 633 )   　　

本文在简要论述了当前Web挖掘采用的数据源不足后,分析了XML文档结构与Web挖掘算法结构的相似性,提出了采用XML技术在应用服务层采集用户访问数据的数据源模型X-DIM,并分析了它的优越性。该模型克服了以往基于Web访问日志在数据预处理中的一系列问题,具有数据完备、准确度高、便于为挖掘算法使用等优点,有较高的应用价值。

基于信息熵的大规模网络流量异常分类

杨岳湘 王海龙 卢锡城

2007, 29(2): 40-43. doi:

摘要 ( 437 )   PDF (229KB) ( 1100 )   　　

本文提出了基于信息熵的大规模网络流量异常分类方法。该方法综合运用子空间方法和k-means分类方法,并以校园网为实验环境实现了网络流量异常分类实验。实验结果表明,基于信息熵的大规模网络流量异常分类实现简单、计算量小,分类准确性高。

XCfde：高压缩率的XML文档压缩技术

胡和平 魏裕凯

2007, 29(2): 44-46. doi:

摘要 ( 415 )   PDF (231KB) ( 513 )   　　

本文提出了一种用于数据交换的XML压缩技术XCfde。XCfde采取四步压缩方案：把XML文档分离为结构数据和内容数据;自动识别数据类型并自动分类数据;对不同类型的数据采 用不同的编码策略;将初步编码后的结构数据和内容数据使用7Zip进行整体压缩。XCfde拥有较高的压缩率,改善了XML数据交换的传输效率和存档中的空间利用率。

一种卫星网络仿真器的研究与设计

刁龙龙 黄金锋 彭伟

2007, 29(2): 47-49. doi:

摘要 ( 430 )   PDF (241KB) ( 447 )   　　

卫星网络是网络技术的一个主要发展方向。为了对卫星网络的协议和应用程序进行调试、验证和性能评估,需要提供可靠的实验环境。因此,我们设计了一种低负载、可扩展的  卫星网络链路仿真器SNE。本文介绍了SNE的体系结构和设计方案,并针对卫星网络特点讨论了仿真器的功能和关键问题。

基于von-Kries色适应的分区颜色校正方法

朱贵冬[1,2] 沈理[1] 王今觉[3]

2007, 29(2): 50-52. doi:

摘要 ( 398 )   PDF (239KB) ( 1328 )   　　

通过定性分析Munsell色样集在不同光源下的von Kries校正系数随色样不同而变化的现象,本文提出了一种按照图像所属区域类型调整von Kries系数的颜色校正方法,并给出 了区域判定规则及各区域von Kries系数确定方法。在GCCD测试数据集上的实验结果表明,该方法有较好的效果。

空中侦察图像连续拼接中的平滑算法研究

冷晓艳

2007, 29(2): 53-55. doi:

摘要 ( 472 )   PDF (182KB) ( 439 )   　　

侦察图像在现代战争中具有重要意义,利用图像处理技术对序列空中侦察图像进行拼接所生成的全场景图能为战场毁伤评估提供重要信息。对配准后的图像重叠部分进行平滑处理是图像拼接过程中的一个关键环节,能消除拼接处的图像不连续现象,可实现图像的无缝拼接。本文在研究现有平滑算法的基础上提出一种新的适用于侦察图像拼接的平滑算法,该平滑算法较易实现。实验结果表明,经该平滑算法处理后的拼接结果图既消除了拼接缝,又较好地保持了清晰度。

三维数据视图的XSLT转换模型研究

陈传波 涂旭东 胡卫军

2007, 29(2): 56-58. doi:

摘要 ( 440 )   PDF (243KB) ( 431 )   　　

本文阐述了如何运用XSLT技术将XML数据转化为SVG图形,解决了引入视点后三维数据映射到二维SVG图形的问题,抽象出了用SVG图像表示三维数据视图的系统模型;基于此模型 的实现,扩展了SVG应用。

基于小波矩不变量的海上目标识别

张琦 樊养余

2007, 29(2): 59-61. doi:

摘要 ( 365 )   PDF (170KB) ( 491 )   　　

针对识别海上目标时不同目标相似性大的特点,将不变矩理论与小波分析相结合,本文引入一种基于小波矩不变量的特征提取法,并且为得到一组局部最优特征组而提出一种结合DB Index准则的特征选择法。在仿真实验中,将小波矩不变量与Hu矩、Zernike矩进行了比较。实验表明,小波矩不变量具有更好的识别效果。

两种智能交通标志分类器的比较研究

刘兰兰 朱双东

2007, 29(2): 62-65. doi:

摘要 ( 466 )   PDF (247KB) ( 599 )   　　

本文介绍了一种可用于交通标志识别的新方法——支持向量机（SVM）算法,并将SVM算法与BP算法在交通标志的粗、细分类中的识别效果进行了对比分析。用中国的116个和日 本的23个交通标志标准图分别训练基于SVM算法和基于BP算法的智能分类器,并用中国标志的噪声图、扭曲图和531个日本交通标志实景图作为测试集。在粗分类中,虽然BP算法  法的识别率也能达到90%以上,但SVM算法的识别率几乎可达100%,二者差距明显。在细分类中,SVM算法的识别效果与BP算法相比具有更加明显的优势。实验研究结果表明,SVM算 法可以以接近最优的方式解决模式分类问题,同时具有更好的泛化能力,在交通标志识别领域具有良好的研究价值和应用前景。

ROAM算法及其在地形可视化中的应用

魏楠[1] 江南[2]

2007, 29(2): 66-68. doi:

摘要 ( 489 )   PDF (255KB) ( 734 )   　　

三维地形可视化是GIS、计算机仿真、虚拟现实等领域中的关键技术之一,而基于多层次细节的实时优化自适应网格动态地形渲染算法（ROAM）凭借其简单性和可扩展性成为解决海量高程数据地形可视化的常用方法。本文详细介绍了ROAM算法的原理及其特点,进而针对实际应用提出对算法的改进,并进行了具体实现。实验结果表明,使用ROAM技术能
 够真实地反映地形面貌。改进后的算法避免了ROAM对视点距离的敏感性,提高了运算速度,能够满足三维地形场景显示的应用需求。

一种有效的匹配准则及块匹配算法

陶阳[1] 刘志明[2] 彭宇行[1] 柯水洲[1]

2007, 29(2): 69-72. doi:

摘要 ( 448 )   PDF (256KB) ( 742 )   　　

运动估计和补偿预测编码是视频编码标准中的一项关键技术,其核心问题在于块匹配的准确性。因此,寻找一种合理有效的块匹配准则是很必要的。传统的匹配准则是SAD,但该 准则不能完全保证在满足SAD最小的情况下获得较低的编码比特率。因此,本文提出了一种改进的SAD匹配准则,提高了匹配的精确性和准确性,更加能够表示块的相似程度,并给 给出了基于准则的块匹配算法。结合H.264/AVC视频编码标准的参考软件jm10.1,本文对运动估计部分采用了新的匹配准则,并进行了仿真测试。实验结果表明,在视频预测编码 中,本文提出的块匹配准则可以更好地保证视频质量,提高压缩编码性能,而编码复杂性增加相对不大。

基于静态表驱动的实时调度能量优化算法

刘云生 张锐 许贵平

2007, 29(2): 73-75. doi:

摘要 ( 506 )   PDF (251KB) ( 504 )   　　

传统的嵌入式实时调度策略为了保证系统的实时性,一般使处理器工作在最大频率（最高电压）下,但面对受到能量约束的嵌入式应用显然是不适宜的。本文提出了一种实时调度静态能量优化算法RT-SEO。若一个任务集可以被静态表驱动方法调度,该算法采用动态电压调节技术对系统实现静态的能量优化。RT-SEO在不影响任务可调度性的前提下,使
  使系统的能耗得到显著的改善。

三模容错多处理器动态实时调度算法

马民 金士尧

2007, 29(2): 76-78. doi:

摘要 ( 388 )   PDF (202KB) ( 378 )   　　

实时系统现在面临着越来越迫切的容错要求。目前流行的主副备份方式对于任务集有着特殊要求,要求时间限能够允许主副备份串行地执行,并且系统需要提供相应的硬件来检 测处理器错误,因此限制了容错的应用范围。本文提出基于三模冗余比较的实时容错算法,采用了副本重载技术和主副本串并行混合调度策略。分析和实验结果表明,该算法具
有更好的适应性。

一种更新频繁项目集的快速算法

王涛[1] 卢炎生[2]

2007, 29(2): 79-81. doi:

摘要 ( 381 )   PDF (192KB) ( 339 )   　　

数据库的更新会引起数据库中的关联规则的更新,找出更新后的所有的频繁项目集,也就能生成更新后的关联规则,因此关联规则的更新就转化为频繁项目集的更新。UWEP算法  利用以前的挖掘结果来减少挖掘新的频繁项目集的开销,采用了一些优化技术来减少数据库的扫描次数和候选项目集的数量,但UWEP算法只能处理增加新事务的情况。本文提出    的UWEP2算法是UWEP算法的扩展,能处理数据库中事务的增加、删除、修改等情况。我们将它与另一种更新频繁项目集的算法FUP2比较,实验显示,UWEP2算法比FUP2算法生成的 候选项目集要少,性能要高。

一种用于异步流水线环性能分析的排队网络近似分析算法

王蕾 王志英 戴葵

2007, 29(2): 82-85. doi:

摘要 ( 460 )   PDF (249KB) ( 422 )   　　

异步电路的性能评测一直是异步电路设计技术研究的难点所在。本文提出了异步流水线环的一种排队网络近似分析算法。首先将异步流水线环建模为闭合阻塞排队网络,再使用近似分析算法分析阻塞排队网络的性能,包括吞吐率、响应时间等,进而得到异步流水线的吞吐率、周期时间和延迟等性能参数。通过将本文算法的计算结果和数值计算得到
 的精确结果进行比较,证明了该算法的正确性和有效性。

一种基于Rough Set的启发式属性约简算法

王天江 晏伟峰 漆志旺

2007, 29(2): 86-88. doi:

摘要 ( 433 )   PDF (178KB) ( 446 )   　　

属性约简的目的在于减少条件属性中不必要属性的数目,是知识发现中的关键问题之一。本文提出了一种改进的基于Rough集的启发式算法（IMSA）,定义了新的启发函数（WSH）。这个函数考虑了所有隐藏规则集的质量,并且考虑了相关规则集的权重。在算法本身的时间复杂度没有增加的前提下,能够解决MSA算法遇到多个相同MSH值时无法处理的 情况。实验分析表明,该算法是有效的。

一种改进的求解旅行商问题的单亲遗传算法

李倩 文贵华 丁月华

2007, 29(2): 89-92. doi:

摘要 ( 439 )   PDF (305KB) ( 475 )   　　

单亲遗传算法具有操作简单、收敛较快等优点,因此被用于求解各种组合优化问题。针对旅行商问题,在早期单亲遗传算法的基础上引入了基因段贪心替换、基于相似度的家族竞争等一些控制策略,提出了一种新型、高效的单亲遗传算法。实验表明,该算法不仅能够保留收敛较快等优点,而且具备了比现有的单亲遗传算法以及改进的GT算法更强的全局寻优能力。

基于Galois联络的最小非冗余关联规则挖掘

魏长华[1] 魏敏[2] 杨伟传[1]

2007, 29(2): 93-96. doi:

摘要 ( 365 )   PDF (273KB) ( 467 )   　　

关联规则挖掘是NP难题,关键是如何约简频繁项集。本文以Galois联络为理论基础,应用Galois联络的闭包运算及其性质定义数据库中的频繁项和封闭频繁项,提出了挖掘关联 规则生成子、精确关联规则生成基和近似关联规则本征基的概念,并由此构造最小非冗余精确关联规则和近似关联规则挖掘的MNRM算法。该算法与Apriori算法相比较,挖掘的 关联规则是最小非冗余的,降低了计算复杂度,而且规则具有不丢失任何信息、最小前件和最大后件以及对用户最实用和最相关等优点。

基于虚拟机的可编程器件仿真系统中编译器技术的研究

欧阳星明 朱尚文 朱金银 刘迎午

2007, 29(2): 97-99. doi:

摘要 ( 361 )   PDF (270KB) ( 401 )   　　

论文针对可编程器件的仿真问题,对基于虚拟机的编译器技术进行了较深入的研究,提出了具体的设计方案。通过采用两遍编译及地址回填技术和构建比较完备且存取效率较高 的符号仓库,有效地实现了源程序到目标程序的等价转换,并为可编程器件仿真系统PDSS设计了一个可编程器件编译器PDC。在PDSS中,PDC与虚拟机相互配合,使可编程器件的仿
 仿真脱离了特定处理器体系结构的限制,而且不依赖于具体操作系统的实现,达到了对编译、运行直至仿真的完全控制。

人工免疫记忆分类器多类多维问题研究

莫宏伟 管凤旭 吕淑萍 徐立芳 王辉

2007, 29(2): 100-103. doi:

摘要 ( 432 )   PDF (275KB) ( 389 )   　　

本文首先介绍人工免疫系统在分类问题中的应用,以及人工免疫记忆分类器在UCI数据集合上的研究结果,然后将人工免疫记忆分类器与人工免疫识别系统在多类多维问题上进  行比较研究,以进一步验证人工免疫记忆分类器的性能。结果表明,人工免疫记忆分类器对于多类多维问题具有良好的性能,效率高于人工免疫识别系统。

一个并行查询优化器的设计与实现

徐丽萍 金雄兵

2007, 29(2): 104-106. doi:

摘要 ( 383 )   PDF (225KB) ( 538 )   　　

并行查询优化器的目标是缩减庞大的计划搜索空间,获得优化的查询规划。为此,并行实时数据库PRTD-BASE查询优化器针对无共享结构（SN）,充分考虑通信开销,采用两阶段  优化方法,依据代价估计模型先对查询树进行基于代价估计的顺序优化,然后利用启发式规则对顺序优化的查询计划进行并行化,充分利用了多处理机的并行性,获得了较快的查 询响应时间。

基于FPGA的磁盘阵列校验卡的设计与实现

冯丹 余红梅 刘景宁 童薇

2007, 29(2): 107-109. doi:

摘要 ( 396 )   PDF (174KB) ( 471 )   　　

本文给出了一种采用Altera公司的Cyclone系列EP1C12Q240C8的FPGA芯片设计磁盘阵列校验卡的硬件电路的方法。该设计采用了并行的思想,令数据在PCI总线上的传输过程和 校验计算过程在时间上重叠,使得整个校验过程耗费的时间等同于数据在总线上传输的时间,从而最大限度地提高了校验性能。设计经软件仿真和硬件实现,结果表明电路性能
 可靠。

基于移动Agent技术的空间决策支持系统体系结构研究

肖娟[1] 叶枫[2]

2007, 29(2): 110-111. doi:

摘要 ( 355 )   PDF (189KB) ( 370 )   　　

本文通过分析空间决策支持系统（SDSS）体系结构,结合空间决策支持系统的特点及分布式应用的要求,利用目前人工智能领域广泛使用的移动Agent技术,构造了一个基于移动  Agent的SDSS体系结构。

基于状态转换的信息服务系统可生存性评估方法

吴文光[1,2] 黄遵国[2] 陈海涛[2]

2007, 29(2): 112-115. doi:

摘要 ( 371 )   PDF (241KB) ( 427 )   　　

可生存性评估是使用各种方法对目标系统进行定性及定量的生存性分析。本文提出了一个基于状态转换的信息服务系统可生存性评估方法,该方法包括一个系统生存性模型和一个生存性函数的定义。最后给出了使用这种评估方法对目标系统进行评估的实例。

变点在软件可靠性分析中的应用论证

邓虹

2007, 29(2): 116-118. doi:

摘要 ( 360 )   PDF (153KB) ( 266 )   　　

本文讨论了软件可靠性的变点分析理论,结合Schneidewind模型提出了软件可靠性变点分析的极大似然方法,并将其应用于实际的软件失效数据集,采用对数PLR图和U-图准则进 行检验,结果证明了变点分析方法在软件可靠性分析中的有效性和统计意义。

无线传感器网络中导标节点共线的解决策略

王殊 刘克中 胡富平

2007, 29(2): 119-121. doi:

摘要 ( 381 )   PDF (155KB) ( 357 )   　　

节点的位置信息在无线传感器网络的很多应用中扮演重要的角色。已经提出的基于测距的定位算法几乎都用到了三角测量原理,但当所参考的导标节点共线或接近共线时,较小的测距误差都会带来很大的定位误差。针对这种情况,本文引入共线度概念,只有当所参考的导标节点的共线度大于某阈值时才进行位置估计。仿真结果表明,共线度的引入对
 减小定位误差有明显效果。

改进的JDL信息融合系统功能模型研究

朱林[1] 徐兴杰[2] 张晓囡[2] 汪文元[1]

2007, 29(2): 122-123. doi:

摘要 ( 464 )   PDF (191KB) ( 783 )   　　

本文在对传统JDL功能模型分析的基础上指出,随着信息融合技术的不断发展以及协同开发、资源管理等新概念、新方法的出现,原有JDL功能模型需要进行改进。本文对改进的JDL功能模型进行了研究,在分析其影响因素的基础上提出新的层次划分,从而有助于人们对信息融合系统的理解和开发。

统一认证技术研究与实现

阳富民 刘军平

2007, 29(2): 124-126. doi:

摘要 ( 353 )   PDF (187KB) ( 534 )   　　

本文针对公用电信网增值业务服务平台提出了一种多个业务系统统一认证的结构模型。该模型采用基于角色的访问控制策略,实现了各业务系统间的一次登录、统一认证、统 一权限管理和业务漫游功能。

基于目标代码大小的指令选择

吴圣宁 李思昆

2007, 29(2): 127-128. doi:

摘要 ( 404 )   PDF (185KB) ( 419 )   　　

在传统编译器中,指令选择往往采用动态规划的方法,其目的是优化目标代码性能（减小程序运行时间）。在嵌入式系统中,受到成本的约束,一般只有很有限的存储空间,因此要求目标代码仅可能地小。本文针对具有可变长指令的处理器,以优化代码大小为目的,采用动态规划的方法进行指令选择;相对于优化性能的目标代码,可缩小代码大小的15%
 到20%。

航天器协同设计平台总体框架设计

胡庆军 邱晓刚 黄柯棣 杨建池

2007, 29(2): 129-131. doi:

摘要 ( 451 )   PDF (168KB) ( 710 )   　　

航天器设计平台是支持数字化航天器协同设计的环境,它采用层次化的分布交互设计网络,充分体现了分布协同设计和并行工程的一体化设计思想,支持航天器研制的需求分析   、可行性论证和方案设计等过程的协同,为航天器设计提供了一种便捷高效的研制手段。本文给出了航天器协同设计平台总体框架的方案。

军事组织本体分析

吴永波 沙基昌 谭东风

2007, 29(2): 132-134. doi:

摘要 ( 358 )   PDF (186KB) ( 555 )   　　

军事组织是作战的重要要素之一,军事组织关系,特别是指挥控制关系、通信关系和联合作战关系,是现代作战结构的核心,其描述对于军事建模仿真、军事训练系统和指挥自动化系统开发具有重要的意义。本文试图建立军事组织的本体框架,以便于组织知识的重用、互操作和知识验证。

UCard的可信计算基研究

曹计昌 古明生

2007, 29(2): 135-138. doi:

摘要 ( 440 )   PDF (230KB) ( 357 )   　　

本文首先介绍了一种为解决智能卡便携性问题而提出的新型智能卡结构模型-UCard;然后给出了UCard的可信计算基的具体构成;接着从UCard的两种工作形态即发卡态和用卡态详细分析了UCard在不同状态下其可信计算基的构成情况;最后,在讨论重构系统安全性问题的基础上,对多可信计算基的UCard安全性问题做了具体分析。

64位虚拟机SPANVM的设计与实现

刘黎明 王昭顺

2007, 29(2): 139-141. doi:

摘要 ( 381 )   PDF (180KB) ( 338 )   　　

跨平台软件开发和多语言程序设计是当前软件开发中的两个难题,SPANVM是一个基于寄存器和堆栈混合模型的64位运行时系统,凡是符合SPANVM规范的可执行字节码文件都能在  移植了该虚拟机的平台上执行。本文介绍了如何设计一个实用的虚拟机系统,包括SPANVM的内存模型、处理器设计、I/O机制和运行时过程,并以SPANVM为基础探讨了跨平台和多语言程序设计的解决方法。

代理缓存关键技术的研究

张超群

2007, 29(2): 142-144. doi:

摘要 ( 365 )   PDF (201KB) ( 523 )   　　

基于因特网的代理缓存技术是解决Web访问速度慢、服务器负载重和网络阻塞等问题的一种主要和有效的技术。为了能设计出有效、可扩展、健壮、自适应和稳定的代理缓存 方案，本文主要对代理缓存的一致性策略、替换策略、体系结构、缓存内容选择和预取等关键技术问题进行研究，并给出了相关技术的解决方案。