当期目录

• 2012年, 第12期　刊出日期：2012-12-25 上一期    下一期
  本期栏目： 论文

论文

2012年中国高性能计算机发展现状分析与展望

张云泉1,孙家昶1,袁国兴2,张林波3

2012, 34(12): 1-8. doi:

摘要 ( 186 )   PDF (1631KB) ( 357 )   　　

本文根据2012年11月发布的中国高性能计算机TOP100排行榜的数据，对国内高性能计算机的发展现状从总体性能、制造商、行业领域等方面进行了深入分析。我们发现,中国TOP100的平均Linpack性能与国际TOP500的平均Linpack性能的差距已经从原来的半年扩大到一年。在此基础上，根据十一届排行榜积累的性能数据和能够得到的其他公开历史数据，对未来几年中国大陆高性能计算机的发展趋势进行了分析预测。从预测可以看出，峰值为10Petaflops的机器将在2012年到2013年间出现；累计Linpack性能将在2013年到2014年间达到100Petaflops；峰值为100Petaflops的机器将在2014年到2015年间出现；峰值达到Exaflops级的机器将在2017年到2018年间出现。

移动Ad Hoc网络中基于剩余生存时间的链路稳定性路由协议

刘荣，王东，李晓鸿

2012, 34(12): 9-15. doi:

摘要 ( 146 )   PDF (946KB) ( 243 )   　　

在移动Ad Hoc网络中，链路的稳定性是网络性能的保证。提出一种基于剩余生存时间的链路稳定性路由协议—RLTLSRP，该协议中当节点检测到分组接收功率小于某一阈值时，依据分组接收功率的变化来区分节点间相对运动的趋势，结合节点的动态属性和三角形几何定理，选择链路剩余生存时间最长的路径进行数据转发，在链路断开之前提前启动路由修复机制。实验结果表明：RLTLSRP协议能够有效地减少路由失效次数，增强路由的稳定性，延长网络的生存时间。

栅栏覆盖最大化生存周期调度算法

班冬松1，杨威2，宋磊3，蒋杰3，窦文华3

2012, 34(12): 16-21. doi:

摘要 ( 145 )   PDF (1641KB) ( 265 )   　　

栅栏覆盖是近年来无线传感器网络的研究热点之一，如何延长生存周期是无线传感器网络研究的一个重要问题。针对无线传感器网络的栅栏覆盖应用，设计了两种最大化网络生存周期的调度算法：集中式的Greedy调度算法和分布式的DBCS调度算法。仿真实验表明：两种算法显著地延长了网络的生存周期；在较稀疏的网络中，DBCS算法与Greedy算法性能接近，分布式的DBCS算法适合应用于大规模传感器网络。

微支付协议Millicent的改进与模型检测

周璇,汪学明

2012, 34(12): 22-26. doi:

摘要 ( 160 )   PDF (838KB) ( 189 )   　　

为解决传统移动微支付协议因注重效率而导致协议存在安全隐患的缺陷，根据移动电子商务所应具备的安全性，通过对移动微支付协议Millicent的研究，发现其存在严重的用户欺骗问题。针对该协议存在的不足，增加商家与用户间的确认过程，使协议具有不可否认性。最后，对改进的移动微支付协议Millicent建模并使用SMV模型检测工具进行分析。分析结果表明，改进的协议除具有原协议的保密性和认证性外还具有不否认性和公平性，相比原协议更优越。

移动对等网络支撑平台MOBIPEER的设计与实现

左克，吴泉源，胡东敏

2012, 34(12): 27-33. doi:

摘要 ( 131 )   PDF (1852KB) ( 169 )   　　

支撑平台是对软件的开发、运行和管理提供核心机制支持的基础设施。移动对等网络研究中支撑平台的实现是核心技术难点。介绍了MOBIPEER的设计与实现，在对移动对等网络支撑平台的主要功能进行归纳和分类之后，着重讨论了实现中的若干关键技术，最后基于该平台开发了即时消息应用。结果表明MOBIPEER能够为移动对等网络研究提供良好的实践基础。

对一个高效的基于身份的代理盲签名方案的分析和改进

胡小明，王见，杨寅春

2012, 34(12): 34-38. doi:

摘要 ( 167 )   PDF (403KB) ( 265 )   　　

对一个基于身份的无可信私钥键生成中心(PKG)的代理盲签名方案进行了安全性分析，指出该方案不满足不可伪造性，并且存在着代理签名人可以窃取原始签名人私钥，以及普通用户伪造签名等安全缺陷。针对该方案存在的问题，本文提出了一个新的无可信PKG的代理盲签名方案，并对新方案的正确性和安全性进行了分析。

IEEE 802.11无线局域网二进制指数退避算法改进与分析

彭静1，朱艺华2

2012, 34(12): 39-44. doi:

摘要 ( 245 )   PDF (800KB) ( 272 )   　　

IEEE 802.11标准引入二进制指数退避算法BEB,以降低节点发送数据包碰撞的概率。两步指数退避算法TBEB避免了BEB算法中竞争窗口长度出现振荡这一现象，可以提高吞吐率。导出了TBEB算法和BEB算法中节点的平均竞争窗口长度和平均退避次数的解析表达式，并采用仿真进行验证；以退避时间最小为目标，给出了求解竞争窗口长度最优复位值的优化模型。研究结果可用于基于IEEE 802.11无线局域网的BEB算法的性能评价。

一种新型P2P微支付协议P2P-BAPay

孙俊杰，汪清涟，吴国栋，吴先富

2012, 34(12): 45-50. doi:

摘要 ( 167 )   PDF (613KB) ( 245 )   　　

随着网络技术的迅猛发展，电子商务越来越频繁，电子支付技术也得到了广泛的研究和发展。本文研究的是在P2P网络环境下，针对P2PNetPay微支付协议中商家不在线时经纪人工作负担过重的问题，通过加入经纪人助理BA，提出了一种基于P2P的新型微支付协议P2PBAPay。在新协议中，经纪人助理BA为商家检验消费者电子货币的真实性，分担了经纪人在支付交易中的网络负载和工作负担，同时通过支付字链，能够及时发现消费者和商家的重复消费行为。协议中节点采用了匿名标识身份，在一定程度上有效地保护了节点隐私的安全。

基于模拟攻击的高校网络安全风险评估研究

史姣丽

2012, 34(12): 51-55. doi:

摘要 ( 169 )   PDF (542KB) ( 302 )   　　

针对高校网络目前存在的安全风险，提出一种新型的基于模拟攻击的高校网络安全风险评估模型。该模型综合考虑了单机脆弱性和网络攻击威胁，首先结合原有基于单机脆弱性测出的风险值，模拟攻击者利用网络弱点的入侵过程，产生攻击状态图；然后基于生成的攻击状态图和原有风险值，识别攻击者入侵网络所利用的攻击行为、可能路线及导致的安全状态变化，评估潜在威胁的位置；并对新方法的风险值给出了定量分析，从而为针对性地实施风险控制决策提供更准确的依据。实验结果表明，该模型是正确的，并且平均要比目前存在的风险评估模型多发现大约50%的安全风险。由此可以看出，本模型方法的评估结论较传统方法更为准确。

多重代理多重盲签名方案

王琳杰1,韩春霞1,张秉儒2

2012, 34(12): 56-59. doi:

摘要 ( 145 )   PDF (998KB) ( 236 )   　　

多重代理多重盲签名方案综合了多重代理多重签名方案和盲签名方案的优点，它是由一组原始签名人授权给一组代理签名人，并且这组代理签名人并不知道消息的具体内容。基于离散对数问题提出广播多重代理多重盲签名方案和有序多重代理多重盲签名方案，通过对其安全性分析，两类方案均满足多重代理多重签名的安全性及盲签名的盲性和不可链接性。

一种基于CAS身份认证数据加密算法的研究与设计

朱晓露，杨清，刘格非

2012, 34(12): 60-65. doi:

摘要 ( 162 )   PDF (488KB) ( 298 )   　　

随着各类管理信息系统的不断增加，迫切需要建立一个安全的身份认证系统来实现单点登录（SSO）。通过对不同身份认证技术的分析，研究了集中式认证服务（CAS）机制，分析了CAS的工作原理和安全性，并针对CAS存在的安全隐患，提出了一种混合动态数据加密算法MDEA。该算法结合了多种数据加密算法，并引入了随机数和时间戳动态因子，增强了身份认证系统的安全性。

基于构件的Web系统前馈神经网络可靠性模型

聂鹏1,2，耿技1，秦志光1

2012, 34(12): 66-73. doi:

摘要 ( 151 )   PDF (1087KB) ( 198 )   　　

对基于构件结构复杂度较高的Web系统进行可靠性评估时，基于状态或基于路径的软件可靠性评估模型计算复杂度较高，鲁棒性不足。为此，提出了一种计算复杂度低、鲁棒性强的基于构件的前馈神经网络可靠性模型CBPRM。CBPRM将Web系统中各构件的可靠性作为前馈神经网络输入，并基于构件可靠性敏感度对神经元进行动态优化，Web系统可靠性评估由前馈神经网络输出实现。理论分析和实验结果表明，在基于构件结构复杂度较高的Web系统可靠性评估中，CBPRM的计算复杂度低于对比模型，并可确保可靠性评估精度。

基于行为协议的构件替换性分析

任洪敏，刘晋

2012, 34(12): 74-80. doi:

摘要 ( 145 )   PDF (581KB) ( 177 )   　　

构件的插拔与替换是CBSD实现组装开发、支持定制和演化的基本机制,基于行为协议的构件替换性分析与验证是CBSD的核心研究课题。基于有穷自动机理论和面向服务软件构件的特点,提出了构件行为自动机模型以描述构件的行为协议,定义了构件行为替换性的概念体系，以增进软件构件的复用,开发了构件行为替换性的验证方法，以支持构件行为替换性验证的自动执行。

Web服务QoS灰色评价模型

冯建湘，武雪媛

2012, 34(12): 81-86. doi:

摘要 ( 144 )   PDF (649KB) ( 211 )   　　

在分析国内外Web服务QoS定量评价的研究成果和不足之处的基础上，提出了基于灰色系统理论的Web服务QoS定量评价模型,即筛选Web服务QoS评价因子,确定因子权重集,计算各因子与参考基准的灰色关联度;通过应用从QWS数据集中提取的6个世界权威气象机构的气象信息Web服务,得出7个Web服务QoS的实际评价结果,并与其它评价方法进行比较;指出了进一步研究的方向。研究结果表明,该模型符合灰色系统理论的应用特点和Web服务应用的发展方向,作为Web服务选择时不同Web服务质量比选的定量评价工具，为Web服务的可信应用和电子商务的发展奠定了基础。

图像半色调化算法研究综述

徐国梁，谭庆平

2012, 34(12): 87-97. doi:

摘要 ( 246 )   PDF (746KB) ( 391 )   　　

半色调化算法是图像打印输出的关键技术之一。介绍了简单阈值比较算法、使用随机数的半色调化算法、误差扩散算法、点扩散算法、按序抖动算法和抖动算法等一系列半色调化算法，并揭示了这些算法之间的联系。为了高效率地对图像做半色调化操作，商用光栅图像处理器一般使用抖动算法。抖动算法生成的半色调化图像的质量取决于所采用的抖动矩阵。基于几何分割设计半色调化抖动矩阵的方法可以在满足堆栈限制的前提下优化半色调化图像的质量。使用随机数的半色调化算法可以消除图像半色调化中产生的莫尔纹。随机半色调化算法的基础是将一定数量的随机点均匀地分布到一个正方形区域中。Asano提出了随机点均匀分布问题等价于圆形装填问题的命题，本文对该命题给出了初步的证明。最后，给出了一些有待进一步研究的图像半色调化课题。

基于综合背景提取方法与阴影抑制的智能监控系统

石红波1，黄山1，2，张洪斌2，田坤3

2012, 34(12): 98-104. doi:

摘要 ( 117 )   PDF (1004KB) ( 259 )   　　

为实现智能监控中有效的目标检测，提出了一种综合的动态背景提取和阴影去除方法。该方法应用多层次信息对混合高斯背景模型进行更新以获取高质量的彩色场景背景；同时，在前景提取过程中，结合RGB和HSI彩色信息对像素进行递进式分类，实现对阴影的去除。以此为基础实现的智能监控系统，实现了目标的跟踪与异常行为检测。经过不同场景的实验证明，本文所提方法能够满足实际应用的要求,具有良好的性能。

基于预测误差修改的医学图像数据隐藏方法

翦鹏1，陈志刚1，邓小鸿1,2，梁涤青1，黄伟琦1

2012, 34(12): 105-109. doi:

摘要 ( 164 )   PDF (559KB) ( 188 )   　　

针对医学图像可逆数据隐藏高保真、高容量、高频繁地插入和可逆性等特点，提出了一种基于预测误差修改的可逆数据隐藏算法，不需要对图像进行分块处理，利用加权线性预测得到预测图像，在预测误差直方图中采用4峰值点进行隐秘数据嵌入，较好地解决了医学图像中出现得较多的溢出问题，并在保证图像质量的同时增加了嵌入容量。理论分析和实验结果证明了算法的优越性。

基于形状和灰度信息的断层图像二次配准算法

刘君1,2，武和雷3

2012, 34(12): 110-114. doi:

摘要 ( 180 )   PDF (636KB) ( 268 )   　　

将一种新的基于形状信息和灰度信息的二次配准方法引入CTMRI配准过程，首先通过力学分解的原理描述了两幅待配准图像的轮廓，并利用该轮廓对两幅图像进行粗配准，通过该方法将两幅图像的配准误差限定到一个较小范围内;继而利用最大互信息的方法继续对经过粗配准的两幅图像进行二次配准，最终得到精度更高的配准效果。仿真结果表明，由于该算法结合了轮廓比对方法的高效性和最大互信息方法的精确性，因此与其它配准算法相比在保证了配准精度的同时大大缩短了配准时间。最后该算法被成功地应用到了准备进行开颅手术的病人的CTMRI图像配准上。

基于S3C6410和ADV7180的嵌入式视频采集系统设计与实现

吴君钦，宋健，刘昊

2012, 34(12): 115-119. doi:

摘要 ( 197 )   PDF (616KB) ( 220 )   　　

高端的视频采集应用不仅要求接口灵活、简单，还要有强大的数据处理能力，因此亟需将两者进行恰当的集成，为大范围内的视频采集与处理提供便利。根据嵌入式图像采集的实时性和可靠性特点，使用灵敏度高、抗干扰能力强的CCD摄像头，选取ADV7180解码芯片，提出一种以S3C6410为主控芯片的图像采集和存储系统结构。在完成接口硬件连接的基础上，设计出基于Linux平台的ADV7180驱动程序，重点阐述如何通过I2C总线对ADV7180芯片寄存器进行有效配置、以及视频数据经由DMA通道写入SDRAM的驱动方法。详细给出了提取YCbCr4:2:2格式视频数据的方法，并将其进行格式转换，最后写入LCD的帧缓冲区进行显示。测试结果表明，该接口使用方便有效，采集到的图像清晰流畅，实时性较高。

一种谱分解降维的模糊有监督局部保持投影策略

樊伟

2012, 34(12): 120-125. doi:

摘要 ( 176 )   PDF (456KB) ( 236 )   　　

提出一种谱分解降维的模糊有监督局部保持投影策略。首先针对监督局部保持投影SLPP存在过学习和不能较好地保持图像空间的差异信息等问题，通过最小化局部离散度和最大化差异离散度准则提取投影方向，找到一种线性鉴别分析的等价形式。其次，通过采用模糊k近邻(FKNN)方法得到相应的样本分布隶属度信息，同时考虑到离群样本对整个分类结果的不利影响，提出一种模糊化方法，根据样本的隶属度对样本分布矩阵重定义所做的贡献，将每个样本的隶属度融入到SLPP特征抽取的过程中，从而得到完整有效的模糊样本特征向量集，有效解决了小样本问题的特征抽取问题。第三，提出一种谱分解的矩阵分析方法，在SLPP投影准则下，对散布矩阵实现降维。在ORL和NUST603人脸库上的实验结果验证了该方法的有效性。

基于高斯曲率的三角网格模型简化的研究

闫涛

2012, 34(12): 126-129. doi:

摘要 ( 135 )   PDF (876KB) ( 356 )   　　

针对三角网格模型简化中的相关问题进行了研究并设计出了相应的算法。三角网格的简化过程包括网格删除和网格重建两个过程。在网格的删除中，通过顶点的高斯曲率对其分类，如果三角形的三个顶点属于同一类，则对该三角形及其邻接三角形进行删除。在网格重建中，重点是新顶点的定位。首先，将新顶点定位在该三角形的重心上，然后，通过它的邻接点对其定位进行优化，最后，以两个实例进行探讨，实现对不同三角网格的验证，并以原始网格模型与简化后的网格模型进行对比说明本研究所得的简化网格模型即有效地实现了三角网格模型的简化，又保持了原有三角网格模型的基本特征，达到了令人满意的结果。

结合小波变换和稀疏表征的鲁棒人脸识别

罗敏1，郑明辉2

2012, 34(12): 130-133. doi:

摘要 ( 124 )   PDF (418KB) ( 232 )   　　

在人脸识别中，如何消除光照、表情、遮挡等不利因素的影响，提高识别的鲁棒性是当前急需解决的热点研究问题。本文提出了一种基于小波变换和稀疏表征的鲁棒人脸识别方法，首先对人脸图像进行小波变换，将变换得到的4个子带LL、LH、HL、HH作为基函数构成字典；然后将测试图像的LL子带在字典上稀疏分解；最后依据重构残差最小原则进行分类识别。在Yale人脸库上的实验结果表明该方法性能优于对比方法。

连续概率XML数据查询处理技术

张晓琳，郑珍珍，刘立新，李玉峰

2012, 34(12): 134-139. doi:

摘要 ( 130 )   PDF (592KB) ( 250 )   　　

目前查询连续概率XML数据多采用离散化方法，需要处理大量直方图分段，查询效率较低。本文提出了一种基于p文档模型的连续概率XML数据查询处理技术，首先利用cont节点扩展p文档模型支持任意的连续分布，在cont节点中编码概率密度函数以及他们的参数；其次采用twig模式匹配找到符合用户要求的路径；然后根据要查询的连续分布类型确定概率查询应该使用符号表示法、积分法或直方图近似法：标准连续分布通过符号表示法中的参数或复杂的累积分布函数计算查询结果，满足积分条件的非标准连续分布采用积分法，其它情况采用直方图近似法。实验结果表明，该方法在概率查询的精确度以及响应时间上比现有方法更高效。

一个高性能Key/Value数据库XDB的设计与实现

胡昊1,2，卢凯1，李根1，王小平1，李旭1，周旭1

2012, 34(12): 140-143. doi:

摘要 ( 167 )   PDF (652KB) ( 285 )   　　

传统SQL数据库在管理大数据、性能和扩展性等方面的不足使得其不能胜任如大规模数据挖掘、商务智能及社交网络等应用场景，而NoSQL数据库由于其在上述应用领域优良的特性近年来得到很快发展。本文在分析现有开源NoSQL数据库产品Kyoto Cabinet 和Tair的不足基础上，设计并实现了一个高性能的Key/Value数据库XDB。XDB分段流水并发处理Key/Value请求，并采用一致性算法保证在并发环境中对Key/Value记录读写的相关性，在随机写入和顺序写入实验中，相比于Kyoto Cabinet，XDB的性能分别提高6倍和15倍。

一种支持大量并发用户的瓦片缓存方案研究

陈桦,李艳明,朱美正

2012, 34(12): 144-149. doi:

摘要 ( 117 )   PDF (1722KB) ( 412 )   　　

网络地理信息系统日趋复杂化，使得需要处理的数据规模越来越大，对客户端数据读取速度的要求越来越高。为了提升网络地理信息系统中对客户端的响应效率，本文提出并实现了新一代的地图瓦片缓存方案。实践表明，地图瓦片的分布式缓存设计提高了客户端浏览地图的速度，提升了大量并发用户的访问性能。

基于SVM的维吾尔文文本分类研究

阿力木江·艾沙1,2，吐尔根·依布拉音2，库尔班·吾布力2，艾山·吾买尔2

2012, 34(12): 150-154. doi:

摘要 ( 141 )   PDF (625KB) ( 246 )   　　

文本自动分类技术在提高文本信息利用的有效性和准确性上具有重要的现实意义和广阔的应用前景。随着Internet上维吾尔文信息的迅速发展，维吾尔文文本分类成为处理和组织这些大量文本数据的关键技术。研究维吾尔文文本分类相关技术和方法，针对维吾尔文文本在向量空间模型表示下的高维性，本文采用词干提取和χ2统计量相结合的方法对表示空间进行降维。采用SVM算法构造了维吾尔文文本分类器。针对维吾尔文文本分类语料进行的实验结果表明，SVM分类器的MacroF1值达到了84.6%，明显好于kNN方法。

基于模糊逻辑的K-means算法研究

陈苏蓉,朱晓辉

2012, 34(12): 155-159. doi:

摘要 ( 125 )   PDF (462KB) ( 243 )   　　

K-means算法的基本思想是通过迭代方法把所有的元素都唯一聚类到不同的簇中，使得同一簇中的质点具有最小相异度，不同簇间的元素具有最大相异度。但是，这种聚类方法使得那些属于不同簇的交叉区域中的质点也被简单地聚类到了某个簇中，因此无法表达某些元素的跨簇特性。本文提出了基于模糊逻辑的K-means算法，利用模糊逻辑来计算不同簇交叉区域中质点属于某个簇的权重，在获得聚类结果的同时可以有效描述质点的跨簇特性。实验结果表明该算法是有效的。

基于云模型的时间修正协同过滤推荐算法

王晓堤，桑婧

2012, 34(12): 160-163. doi:

摘要 ( 146 )   PDF (463KB) ( 249 )   　　

针对传统的协同过滤推荐系统存在的数据稀疏性和忽略时间影响的问题，本文提出了基于云模型的时间修正协同过滤推荐算法，利用云模型建立用户对项目特征属性的偏好度，并建立指数时间函数对项目的评分相似度沿时间维加以修正。算法采用美国GroupLens项目组提供的数据集进行实验。结果表明，该算法使得项目的评分相似度度量更趋准确，系统推荐质量有较明显的提高。

基于混沌粒子群优化的新型VRP求解算法

于胜龙，薄煜明，陈志敏，吴盘龙，朱凯，尹明锋

2012, 34(12): 164-168. doi:

摘要 ( 124 )   PDF (663KB) ( 203 )   　　

标准粒子群优化算法（PSO）容易陷入局部最优，且精度较低、收敛速度慢，难以满足求解VRP的需求。本文提出了一种适用于求解VRP模型的新型混沌粒子群优化算法（CPSO）。该算法引入混沌序列，利用混沌对粒子的初始位置进行初始化，提高了样本的质量，并且对当前粒子附加混沌扰动，促使其跳出局部最优，提高了全局搜索能力，有利于在全局范围内寻找到最优值。实验结果表明，本文算法的收敛速度、精度及稳定性高于PSO算法，是一种有效的VRP求解算法。

车用锂离子电池SOC估算算法的研究

鲍可进，金玲

2012, 34(12): 169-173. doi:

摘要 ( 119 )   PDF (603KB) ( 250 )   　　

针对纯电动汽车的锂离子电池容量损失而导致估算电池电荷状态（SOC）精度降低的问题，本文分析了影响电池容量损失的因素，提出容量修正算法。通过改进电池模型，把电池容量作为状态变量，将电池容量修正算法运用于Kalman滤波算法估计SOC，解决了锂离子电池容量损耗使得误差累积的问题。实验证明，本文提出的基于容量修正的Kalman最优滤波算法提高了SOC估算的精度，并且对初始误差有很强的修正作用，可以保证纯电动汽车锂离子电池的稳定工作。

城市群城镇交通网络特性研究

王国明1,李夏苗1,杨波1,胡正东1,2

2012, 34(12): 174-182. doi:

摘要 ( 100 )   PDF (1585KB) ( 265 )   　　

为了研究城市群城镇交通网络特性，本文运用primal approach方法以城镇为节点，以其之间的道路为边构造长沙城镇交通网络、株洲城镇交通网络等城市群城镇交通网络模型，使用Matlab和VC++6.0分别对它们的平均度、网络密度、聚集系数、平均最短路径、随机网络聚集系数、随机网络平均最短路径、网络结构熵、全局系数等网络特性指标进行计算和比较分析，得到以下结论：(1）城市群城镇交通网络都具有小世界性，是小世界网络；(2）城市群城镇交通网络都不存在幂律特征，不存在无标度性，不是无标度网络；(3）城市群城镇交通网络都不存在指数特征，不是随机网络；(4）城市群城镇交通网络中，长株潭城市群市县交通网络整体效率最高、网络密度最大，长株潭城市群城镇交通网结构熵最小，表明其最有序。

基于专家系统的协同设计工作流管理系统研究

王浩，武凌

2012, 34(12): 183-189. doi:

摘要 ( 114 )   PDF (774KB) ( 205 )   　　

本文提出了一种支持协同产品设计的以规则为基础的工作流管理系统模型架构，其中以专家系统的推论引擎作为工作流程管理系统的推进机制，利用推论引擎的知识库存储流程的事实与规则，以各任务的输出结果、任务间的关联性并搭配预先定义好的流程规则作为推论的依据，讨论了系统的架构设计、关键技术及系统实现，该系统为复杂的工作流程提供了一种新的管理及控制模式。

基于GNSS的编队卫星相对定位模糊度解算性能分析

姚静，聂鹏程，易东云

2012, 34(12): 190-194. doi:

摘要 ( 134 )   PDF (985KB) ( 222 )   　　

模糊度解算性能是影响卫星导航系统相对定位精度的决定性因素之一。针对编队卫星的星间相对定位需求，对影响模糊度解算成功率的主要因素及其作用进行了分析。通过多种场景下模糊度解算成功率的定量仿真，说明组合多种GNSS星座、增加观测频率的个数以及选取与星间基线长度相适应的电离层模型，均有利于提高模糊度解算的成功率，该结果对于相对定位性能的预测与编队卫星系统优化设计具有参考意义。