Please wait a minute...
  • 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

当期目录

    论文
    互联网AS拓扑的结构与连通性研究
    邓文平,郭敏,胡晓峰,朱培栋
    2012, 34(6): 1-6. doi:
    摘要 ( 240 )   PDF (623KB) ( 266 )     

    基于BGP协议的域间路由系统是Internet的核心基础设施。研究域间路由系统在自治系统AS级的拓扑结构,深入理解并揭示AS拓扑的结构及连通性方面的特性,对于提高互联网路由系统的安全性、健壮性以及性能都具有重要的指导意义。AS之间的商业关系模型是互联网域间路由系统的基本模型之一,是AS拓扑研究的基础。受商业关系的约束,AS拓扑的结构与连通性呈现出了与普通无向图或有向图所不具备的特性:层次结构特性与AS路径的无谷底约束。本文提出了针对AS拓扑的层次划分算法,对AS拓扑的连通性做了深入研究,分析并验证了顶级AS的全互联结构,并进一步阐述了从宏观上对单个AS的连通性的评估方法。

    概率包标记方法中收敛时间的数学模型
    王小静1,2,沈晓军1,王军波1
    2012, 34(6): 7-11. doi:
    摘要 ( 202 )   PDF (481KB) ( 187 )     

    本文建立了概率包标记方法中关于收敛时间的数学模型。该模型通过将概率标记方法中攻击路径重构过程表述为一个收敛的随机过程,推导出平均收敛时间与路径长度、标记概率之间的数学定量关系及其概率分布,得出达到最小平均收敛时间需要满足的数学条件。在此基础上,给出两种传统概率包标记方法中收敛时间的改进数学模型。

    三边测量法的结果稳定性研究
    王小平1,罗军1,沈昌祥2
    2012, 34(6): 12-17. doi:
    摘要 ( 255 )   PDF (667KB) ( 255 )     

    定位技术作为网络应用和服务的支撑技术,是无线传感器网络研究的热点问题之一。其中,三边测量法是定位技术的基础,是构建复杂定位系统的基本模块。本文针对三边测量法最优化过程对迭代初值敏感的问题,对结果的稳定性展开研究,提出一种新的三边测量法的迭代最优化的初值选择算法GICC。对比多种三边测量法的实现技术,GICC算法能够自适应地寻找全局最优解,使得三边测量法通过简单下降法即可得到全局最优解,从而避免陷入局部极小解。通过仿真实验证明该算法能有效保证三边测量法结果的稳定性,即保证三边测量法的结果误差一直保持在较低的水平上,从而显著减小全网定位的误差。

    分数阶Duffing系统在图像加密中的应用
    张海英1,张卫1,2,刘金梅1,2 ,Nigmatullin R R2,3
    2012, 34(6): 18-22. doi:
    摘要 ( 198 )   PDF (1616KB) ( 168 )     

    混沌图像加密技术是近年来发展起来的一种新的图像加密技术,但目前采用的混沌系统大都是整数阶的一维、二维或三维混沌系统,很少使用分数阶的混沌系统。以Duffing系统为例,对分数阶Duffing系统和整数阶Duffing系统进行分析,当两个系统取相同参数并都达到混沌状态时,对混沌序列的伪随机性进行分析比较,可得到分数阶的混沌系统的伪随机性更强,并且分数导数的阶数也可以作为密钥,理论上比整数阶系统的密钥空间大得多,分数阶Duffing系统更适用于图像加密,并具有很好的加密效果。

    对CRYPTON V1.0算法的积分攻击
    周庆1,魏悦川2,李超1,2,3,吴翊1
    2012, 34(6): 23-27. doi:
    摘要 ( 219 )   PDF (624KB) ( 253 )     

    CRYPTON V1.0密码是一个具有128比特分组长度、128比特密钥的分组密码。CRYPTON V1.0密码的线性层是基于比特设计的,因而传统的积分攻击无法对其进行分析。本文对CRYPTON V1.0密码进行分析,从比特的层面上寻找平衡性,得到了一个3轮积分区分器,区分器的可靠性在PC机上进行了验证,该区分器需要1 024个明文将3轮CRYPTON V1.0与随机置换区分开来,并且所得密文的每一比特都是平衡的。基于该区分器,对低轮CRYPTON V1.0密码进行了攻击,结果表明,攻击4轮CRYPTON V1.0密码的数据复杂度为211,时间复杂度为223,攻击5轮的数据复杂度为212.4,时间复杂度为253。

    对简化轮数的SNAKE(2)算法的中间相遇攻击
    魏悦川1,孙兵2,李超1,2,3
    2012, 34(6): 28-31. doi:
    摘要 ( 218 )   PDF (395KB) ( 232 )     

    SNAKE算法是由Lee等学者在JWISC 1997上提出的一个Feistel型分组密码,有SNAKE(1)和SNAKE(2)两个版本。本文评估了简化轮数的SNAKE(2)算法对中间相遇攻击的抵抗能力,用存储复杂度换取时间复杂度,对7/8/9轮64比特分组的SNAKE(2)算法实施了攻击。攻击结果表明,9轮的SNAKE(2)算法对中间相遇攻击是不抵抗的,攻击的数据复杂度和时间复杂度分别为211.2和222,预计算复杂度为 232,是现实攻击。

    一种可扩展的格式化文件内容检查方法
    高宁1,庞立会2
    2012, 34(6): 32-37. doi:
    摘要 ( 275 )   PDF (718KB) ( 221 )     

    许多业务应用系统将数据以约定格式存放在文件中,通过文件传输实现远距离业务数据传送和处理。通过分析该类业务应用系统存在的安全威胁,本文首次提出了一种可扩展的格式化文件内容检查方法,设计并实现了格式化文件内容检查的原型系统FFCCIS。FFCCIS使用正则表达式构造内容格式模板,在业务系统的数据处理之前实现文件内容的安全检查,很好地消除了数据文件被恶意篡改、非法文件传递等安全威胁。为了使内容格式模板的构建快速而便捷,本文还给出了一个基于字符串近似匹配技术的内容格式模板自动生成方法。

    线性矩阵方程异类约束最小二乘解的迭代算法
    刘晓敏,张凯院,李书连
    2012, 34(6): 38-43. doi:
    摘要 ( 240 )   PDF (400KB) ( 294 )     

    多矩阵变量线性矩阵方程(LME)约束解的计算问题在参数识别、结构设计、振动理论、自动控制理论等领域都有广泛应用。本文借鉴求线性矩阵方程(LME)同类约束最小二乘解的迭代算法,通过构造等价的线性矩阵方程组,建立了求多矩阵变量LME的一种异类约束最小二乘解的迭代算法,并证明了该算法的收敛性。在不考虑舍入误差的情况下,利用该算法不仅可在有限步计算后得到LME的一组异类约束最小二乘解,而且选取特殊初始矩阵时,可求得LME的极小范数异类约束最小二乘解。另外,还可求得指定矩阵在该LME的异类约束最小二乘解集合中的最佳逼近解。算例表明,该算法是有效的。

    异构系统中基于可用性的粒子群任务调度算法
    李大普1,陈光喜1,李肯立2
    2012, 34(6): 44-49. doi:
    摘要 ( 227 )   PDF (570KB) ( 176 )     

    任务调度技术是并行分布式系统中的关键技术之一,对系统的性能起着重要作用,但通常情况下大型系统的任务调度问题属于NP问题。而现代启发式生物进化算法是找出很多NP问题近似解的有效方法。本文将粒子群算法应用于基于可用性的网格系统调度中,提出了一种调度算法,对算法的性能进行了理论分析和模拟实验。结果表明:和最近文献中的基于可用性的调度算法SSAC相比,所提出的新算法在保证系统资源具有同样的可用性条件下,能够产生更好的调度长度。

    基于ASM的混合式情境感知共享机制研究
    蒋晶晶1,2,叶剑1,朱珍民1,2
    2012, 34(6): 50-58. doi:
    摘要 ( 223 )   PDF (1303KB) ( 184 )     

    移动的用户能够方便地访问分布在普适计算环境中的传感器,进而获得情境信息,是情境感知系统的核心目标。本文提出了一种融合分布式P2P和Publish/Subscribe模式的混合式情境感知共享机制,基于抽象状态机对该机制的高鲁棒和可扩展的特性进行设计和规约,并采用AsmL测试工具生成有限状态机验证该机制的有效性和合理性,表明该机制可满足动态的分布式情境感知系统要求。

    一种基于逆支配点集的数据流Top-k计算方法
    甘亮1,2,于莉莉3,李润恒1,贾焰1,金鑫4
    2012, 34(6): 59-64. doi:
    摘要 ( 236 )   PDF (878KB) ( 198 )     

    网格索引构造简单,常用于数据流系统计算top k和skyline。但是,网格索引结构粗略,查询过程可能访问大量非top k结点。为了提高网格索引计算top k查询的精确度,本文提出基于数据点逆支配点集性质的网格索引方法,将查询访问集缩小到网格索引的“k最大运算区域区域kMCA”中,有效地减少了网格索引存储量和查询计算开销。同时,给出了kMCA索引结构及适应于数据流计算的kMCA维护更新算法。理论分析和实验结果均验证了上述方法的有效性。

    GRAPES有限区域伴随模式内存优化
    李金才,赵文涛,赵军
    2012, 34(6): 65-69. doi:
    摘要 ( 226 )   PDF (705KB) ( 615 )     

    GRAPES有限区域伴随模式是基于自动微分工具TAPENADE转换与手工代码编写相结合的方式开发而成,主要由模式程序和内存支撑函数库(PLP库)构成。由于TAPENADE采用全存储策略来保存中间变量,造成了伴随模式运行过程中内存开销过大,并且出现随着时间步的增加内存不断增长的情况。对伴随模式内存支撑函数库中POP类函数算法进行修改,解决了内存增长的问题;从整型变量、实型变量和正模式子程序调用三个方面对模式程序进行优化,使得伴随模式运行时的内存开销显著减少。

    面向诊断驱动测试模式的故障字典推理算法研究
    赵秀丽1,牛双诚2,王子玲3,刘晓东4
    2012, 34(6): 70-73. doi:
    摘要 ( 233 )   PDF (392KB) ( 254 )     

    诊断驱动测试是一种智能测试模式,可以有效缩短测试时间,提高维护效率。故障字典是一种传统的故障诊断方法,大量地应用于生产生活中。本文根据诊断驱动测试模式的需求,设计了故障字典的新推理算法,并提出了测试项目的优选原则。本文提出的方法已经在自动测试设备的软件平台上得到了实现和验证。

    基于代理模型的武器装备体系优化算法研究
    杜波,金光,周经伦,张礼伟
    2012, 34(6): 74-78. doi:
    摘要 ( 210 )   PDF (870KB) ( 254 )     

    体系优化是装备体系研究的核心问题,但是基于仿真的武器装备体系优化方法存在寻优效率低、费用高昂的缺陷。本文结合武器装备体系优化问题的特点,提出基于代理模型的武器装备体系优化算法,其中选用Kriging模型作为代理模型,通过均匀设计方法生成初始样本点,运用EI函数进行代理模型更新,采用最速下降法进行迭代优化。示例验证表明,较之仿真方法及多项式响应曲面方法,该算法具有较高的寻优精度和收敛速度,对提高武器装备体系优化的效率具有较高的理论和实用价值。

    一种基于性别的说话人索引算法
    杨继臣1,何俊2,李艳雄2
    2012, 34(6): 79-82. doi:
    摘要 ( 200 )   PDF (357KB) ( 194 )     

    为了提高说话人索引准确率,对说话人改变判决中常用的贝叶斯信息判决(BIC)进行改进和在说话人辨认中使用性别信息,提出了一种基于性别的说话人索引算法。首先使用惩罚距离公式对说话人改变进行检测,解决了在说话人改变判决中使用 BIC需要不断调节惩罚因子的问题;其次在说话人改变检测的基础上,采用性别模型判断每个说话人的性别;最后把男性和女性说话人分别对待,使用说话人模型自举法对说话人进行辨认。实验结果表明:在说话人改变检测中,采用惩罚距离公式,和BIC相比不需要调整参数,和DISTBIC相比,在F1方面提高了2%;在说话人辨认方面,利用性别信息,说话人索引准确率(SIA)提高了20.93%,说话人数量准确率(SNA)方面提高了3%。

    基于雾气遮罩理论的图像去雾算法
    谢斌,郭璠,蔡自兴
    2012, 34(6): 83-87. doi:
    摘要 ( 206 )   PDF (788KB) ( 289 )     

    针对场景中雾气分布可能不均匀的问题,本文提出了一种基于雾气遮罩减除的图像去雾算法。首先对降质图像平滑滤波以估计其亮度分量,对亮度分量求均值得到均匀分布的雾气遮罩,并结合退化图像获取与场景深度信息相关的雾气遮罩。在对数域中从降质图像中减除获得的雾气遮罩,即可得到场景的反射图像。对反射图像进行自适应的对比度拉伸,可以得到最终的去雾结果。所提算法能较容易地扩展至视频去雾应用,真实场景的图片与视频实验验证了所提算法的有效性。

    基于纹理特征的磁片表面刀纹缺陷检测
    贺延涛1,徐琪2,唐亮1,游晓明3
    2012, 34(6): 88-92. doi:
    摘要 ( 204 )   PDF (600KB) ( 231 )     

    表面缺陷检测在工业生产中对产品质量可以起到有效的监督控制作用,而目前对磁性材料表面刀纹缺陷检测的方法各自存在自身的局限性,如成本过高、检测速度太慢而不能满足工业生产中实时检测的需求等。为了能够达到实时稳定的检测磁片表面刀纹缺陷的目的,本文借助于计算机工业视觉系统,基于纹理特征,通过图像预处理,采用增强缺陷部分并抑制背景部分的方法,使得各种缺陷具有了统一性,从而能设计适合的掩模来提取出缺陷部分,实现了对磁片表面刀纹缺陷的检测。实验结果表明,采用本文提出的方法可以实时完成对磁片表面刀纹缺陷的检测并且对于多种缺陷类型都适用。

    一种具有在线参数调整功能的Kalman滤波及其应用
    吴飞
    2012, 34(6): 93-96. doi:
    摘要 ( 240 )   PDF (580KB) ( 255 )     

    本文提出了一种具有在线调整噪声参数功能的卡尔曼自适应滤波算法及其在船舶导航目标跟踪中的应用。实际中系统噪声和量测噪声的统计特性是动态变化的,但在传统卡尔曼滤波中一般认为系统噪声模型是先验已知的,噪声均值和协方差都是定值,这必然造成滤波效果不理想、目标跟踪精度低甚至出现目标跟踪丢失的问题。针对这种情况,通过在线自适应调整噪声均值和协方差,动态跟踪噪声统计特性的变化,从而提高对目标的跟踪精度。在线实现可以有效地利用系统的部分数据进行更新迭代,减小计算量并且易于工程实现。最后通过船舶目标仿真实验的结果验证了本算法的有效性。

    基于Virtools的虚拟现实技术及在特种设备教学中的应用
    傅招国,王天威,倪小鹏,林砺宗
    2012, 34(6): 97-100. doi:
    摘要 ( 246 )   PDF (517KB) ( 229 )     

    本文以电梯为研究对象,运用虚拟现实技术建立电梯虚拟样机,开发了一种电梯零部件识别系统用于电梯司机的考核。现行的考核方式存在过程繁琐、成绩统计困难等问题,就这些问题提出了合理的解决方案,并将方案应用于开发的系统中。该系统是虚拟现实技术在特种设备领域的全新应用,构建的虚拟电梯完整地呈现了真实的电梯,而且可以从多角度观察其结构的每个细节,方便教学与考核。系统结合SolidWorks、3Dmax、Virtools等软件,以触摸选择为主要的操作方式,具有优良的操作性与交互性,且投资少、开发周期短。

    一种基于局部保形映射(LPP)的相关反馈方法
    张振华,朱信忠,赵建民,徐慧英
    2012, 34(6): 101-105. doi:
    摘要 ( 216 )   PDF (706KB) ( 191 )     

    目前图像检索通常采用高效的图像降维算法和适当的相关反馈技术来提高检索的效率。局部保形映射(LPP)算法是保留图像本质特征的一种有效的线性降维算法。本文在LPP算法的基础上引入相关反馈技术,进一步提高了检索准确度。利用LPP算法得到降维子空间,在子空间上得出查询数据的k-近邻构成候选数据集,并与查询数据集构建一个权图G,通过弗洛伊德算法求得图G中任意两个数据点之间的测地线距离并排序进而得出反馈结果。实验表明,该算法提高了检索的准确度,并使检索结果得到一定的优化。

    信息检索方法在手写数字识别中的应用及改进
    孔 旭1,孔琼香2,李一鹏1
    2012, 34(6): 106-110. doi:
    摘要 ( 190 )   PDF (747KB) ( 208 )     

    本文首先将文本信息检索中LSI方法的思想和原理应用于手写数字识别问题,把手写数字图像看作空间向量的表示,通过计算未知数字与各训练集之间相关度排序来达到识别的目的,计算量小且有较低的误识率(5.5%);其次,通过对所有09数字的训练样本排列为一个矩阵,并对该矩阵进行奇异值分解,将各训练样本在适当维数的左奇异向量上分别投影,得到了一种低阶表示下的相关度计算方法,该方法在保持原有较低误识率的同时,能极大地压缩原有训练样本数据(压缩掉的数据百分比超过95%);另外,利用了区分不规范样本的思想,获得了更低的误识率(下降到4.5%)。

    基于混淆矩阵和集成学习的分类方法研究
    孔英会,景美丽
    2012, 34(6): 111-117. doi:
    摘要 ( 262 )   PDF (572KB) ( 315 )     

    针对多分类问题,本文提出一种基于混淆矩阵和集成学习的分类方法。从模式间的相似性关系入手,基于混淆矩阵产生层次化分类器结构;以支持向量机(SVM)作为基本的两类分类器,对于分类精度不理想的SVM,通过AdaBoost算法对SVM分类器进行加权投票。以变电站环境监控中的目标识别为例(涉及到人、动物、普通火焰(红黄颜色火焰)、白色火焰、白炽灯),实现了变电站环境监控中的目标分类。实验表明,所提出的方法有效提高了分类精度。

    基于嵌入式系统的全景图像拼接系统设计
    张其亮1,2,陈永生2,韩 斌1
    2012, 34(6): 118-122. doi:
    摘要 ( 225 )   PDF (539KB) ( 383 )     

    图像拼接是制作全景图的关键技术,但目前图像拼接算法主要应用于PC机。PC机虽然处理速度较快,但体积较大,不易携带也不灵活。本文基于嵌入式系统实现了全景图像的自动拼接系统,该系统能自动采集图像,并利用基于区域相关的图像拼接算法对采集的图像进行拼接,最终得到全景图像。实验证明,本文设计的基于嵌入式系统的全景图像拼接系统对静止环境下的图像拼接具有较好的效果。

    一种融合区域化多特征的车辆检测方法
    曹 磊,李璟,洪留荣
    2012, 34(6): 123-126. doi:
    摘要 ( 198 )   PDF (642KB) ( 208 )     

    为了提高车辆识别的效率,本文提出了一种基于车辆多种局部特征的融合识别算法。算法采用优化的PCA方法对车辆的多种局部特征进行抽取、分析及融合来实现车辆的识别检测。实验结果表明,该算法可有效降低车辆阴影及周围环境对识别效率的影响,提高车辆在部分遮挡情况下的检测效率,具有较好的精确性和稳定性。

    基于层次包围盒的混合碰撞检测算法
    胡咏梅
    2012, 34(6): 127-130. doi:
    摘要 ( 216 )   PDF (544KB) ( 221 )     

    针对碰撞检测算法实时性较差的缺点,本文提出基于AABB包围盒与OBB包围盒相结合的混合碰撞检测算法,首先由对象投影来判断是否相交,检测出不可能相交对象;然后对可能相交的对象投影反向构建AABB包围盒,快速地测试对象;再用OBB包围盒进行精确地检测,以实现虚拟环境对象间高效的碰撞检测。本文还针对传统的基元相交测试效率不高的缺点进行了一定的改进。实验结果表明,与另外两种算法对比,该方法在相同环境前提下能够有效的提高碰撞检测的效率。

    基于改进遗传算法的多巡飞器空投任务介入点优化方法
    李大林1,王军波1,沈晓军1,李杰2
    2012, 34(6): 131-135. doi:
    摘要 ( 242 )   PDF (569KB) ( 170 )     

    本文提出了多巡飞器空投任务介入点优化方法。采用改进的遗传算法,结合巡飞器的性能和它的最小转弯半径,提出使用层次分析法确定目标权重和使用Dubins路径作为单巡飞器的路径规划方法进行多巡飞器空投任务介入点优化。仿真结果给出多巡飞器空投任务介入区域,并且大大提高了任务解算的收敛速度及收敛率。

    改进的蚁群算法在飞行路径模型中的应用
    牟德一,刘金凤
    2012, 34(6): 137-139. doi:
    摘要 ( 167 )   PDF (398KB) ( 178 )     

    为了保障飞机安全地运行,FAA规定每架飞机在飞行一定时间后都要进行周期性检修。通常考虑到检修成本,任一种检修都要在指定的机场完成,因此要求飞机每飞行一定的小时数后都要返回到指定的维护基地进行定期检修。如何合理地进行飞机飞行路径的调度以使飞机周期性地返回指定检修机场进行检修是本文研究的关键。为了问题简化,本文主要针对单检修基地、单机型的检修路径调度问题进行研究。本文结合经典蚁群算法,对现有算法参数的设置及信息的更新等方面进行改进后应用到飞行路径模型中,并运用Matlab对该算法编程,运用具体数据进行计算实现,确保了飞机周期性返回检修机场,实现周期性检修。

    基于词间关系分析的文本特征选择算法
    吴双,张文生,徐海瑞
    2012, 34(6): 140-145. doi:
    摘要 ( 204 )   PDF (550KB) ( 167 )     

    传统的特征选择方法通常使用特征评价函数从原始词集中筛选出最具有类别区分能力的特征。这些方法是基于以独立的词作为语义单元的向量空间模型,忽略了词与词之间的关联关系,难以突出文本内容中的关键特征。针对传统特征选择方法的不足,本文提出一种新的基于词间关系的文本特征选择算法。该方法考虑对文本内容表示起到关键性作用的词,利用关联规则挖掘算法发现词语之间的关联关系,并且通过相关分析对强关联规则进行筛选,最终生成与类别属性密切相关的特征空间。实验结果表明,该方法更好地表示了文本的语义内容,而且分类效果优于传统算法。

    一种基于相似性聚类的社会网络合作模式发现方法
    韩毅1,贾焰1,刘春阳2,周斌1,韩伟红1
    2012, 34(6): 146-152. doi:
    摘要 ( 219 )   PDF (593KB) ( 265 )     

    社会网络上的模式挖掘是近年来的研究热点之一,合作模式是社会网络上个体间的合作方式,这种模式可以通过社会网络的子结构表示。已有的基于频繁模式的挖掘算法主要考虑合作关系的结构特征,并且往往需要给定支持度阈值来控制结果的规模。在本文中,我们认为社会网络中的模式不一定需要是频繁的,模式与社区也并不需要精确匹配。我们在合作模式中考虑节点的社会地位,并在加权图上给出了一种模式的定义方法,和一种基于互相似性的模式匹配衡量标准,目的在于找出网络中具有“代表性”的合作模式。我们设计了一种基于距离的聚类方法用于抽取这种模式,并在一个大规模的真实数据集上进行了验证。

    基于初始中心迭代收敛的文本聚类方法
    刘金岭1,刘国香2,杨凤霞2
    2012, 34(6): 153-158. doi:
    摘要 ( 168 )   PDF (407KB) ( 204 )     

    利用两三次的KMeans迭代得到初始簇的中心,选择一组具有良好区分度的方向构建IMIC坐标系,在该坐标系下,构造出各坐标轴的重新标度函数用以提高聚类决策的有效性。算法IMIC经过多次迭代,最后收敛到最终解。IMIC算法的时间复杂度与KMeans保持在同一量级上。实验结果表明,IMIC算法有较好的聚类质量。

    基于最大加权独立集的频谱分配算法
    刘玉涛1,2,宋志群1,谭学治2
    2012, 34(6): 158-162. doi:
    摘要 ( 199 )   PDF (910KB) ( 819 )     

     Technology,Harbin 150080,China)〖WT〗〖ST〗〖JZ)〗〖HT5H〗摘〓要:〖HT5K〗动态频谱接入技术允许认知用户接入未授权的频谱,可以有效地提高频谱资源的利用率。频谱分配算法的时间开销和公平性是算法优劣的主要评价标准。本文从图论着色模型出发,构建了着色算法的评价体系及优化目标。针对用户间的公平性与分配的时间开销问题,在极大独立集的基础上提出了基于加权最大独立集的着色算法,获得了接近于最优的用户公平性,且该算法的时间开销等于信道数,与认知用户的数目无关。仿真分析验证了算法的正确性。

    油气田综合录井信息采集一体化平台的体系结构研究
    杨力1,廖浩德1,曹谢东2,刘增良3
    2012, 34(6): 163-168. doi:
    摘要 ( 194 )   PDF (871KB) ( 188 )     

    通过分析现代综合录井信息化发展趋势,结合油气勘探开发的实际,针对现有录井远程监控体系的不足,运用现代传感器、自动化、计算机及通信技术,提出了新一代综合录井信息采集一体化平台体系结构。详细阐述了基于RTU的多传感器融合的井场无线局域数据中心,基于IPSTAR卫星及3G+APN+VPN的无线安全传输通道及井场与远程数据中心实时联动平台,详细分析了涉及的四大关键技术,为综合录井信息一体化建设和数字井场的物联网发展提供了新的方法和手段。

    基于NandFLASH高可靠自恢复实时文件系统
    张少波,徐广辉,田小锋,赵峰荣
    2012, 34(6): 169-173. doi:
    摘要 ( 206 )   PDF (476KB) ( 215 )     

    本文提出一种基于NandFLASH的高可靠自恢复实时文件系统,将文件存储于一个或多个NandFLASH块中。文件的特征信息存储于FLASH块的第一页中,文件的内容存储于其余页中,形成文件块页映射关系。利用FLASH掉电不丢失数据的特性,在系统重新上电时,扫描所有FLASH块的第一页,将所有文件的特征信息读入内存,并据此在内存中自行重新构建文件系统;当文件特征信息发生变化时,将变化信息同步映射至文件目录中。可以在保留文件处理灵活性的同时大幅提高实时性,可广泛应用于电力、化工等自动化控制领域。

    基于π演算的时序图的建模
    姜梦稚1,2, 赵风景1
    2012, 34(6): 174-177. doi:
    摘要 ( 152 )   PDF (381KB) ( 162 )     

    UML建模方式广为开发人员使用,但其非形式化的描述方法缺少对所描述内容的形式建模过程,本文通过运用πI演算描述UML中的时序图,能够对UML图形所涉及的数据和操作行为进行建模,为UML的动态描述图形提供一种建模的途径,本文提出用树形结构来组织对象的属性和操作,使得在πI演算能对类和对象的表示和处理。

    基于外信息绝对值信噪比的迭代停止准则
    王晓明,全厚德,张弛
    2012, 34(6): 178-181. doi:
    摘要 ( 188 )   PDF (943KB) ( 171 )     

    针对Turbo码译码延时较大的问题进行研究。通过分析译码器输出外信息绝对值信噪比的统计特性,利用译码器输出外信息绝对值信噪比的收敛特性,提出一种新的迭代停止准则,简称为SBAE准则。将新准则与现有的经典迭代停止准则对比,新准则节省了大量存储空间,通过仿真分析新准则下Turbo性能及平均迭代次数,得出结论:新准则在保证译码性能的同时,有效减少了译码的平均迭代次数,加速了Turbo码的译码过程,提高了译码效率,为Turbo码在实时系统中的应用提供一种有效方法。

    基于多模型的能源组件维修性建模与仿真研究
    肖磊,金光,厉海涛
    2012, 34(6): 182-186. doi:
    摘要 ( 224 )   PDF (802KB) ( 182 )     

    某激光装置能源组件是其关键组件,该组件具有随机劣化失效特点,其部件失效类型多,维修类型和维修策略也比较复杂,现有的基于单一模型和解析方法的系统维修性建模与分析方法难以解决其维修性设计与分析问题。本文采用多模型集成的维修性建模与仿真方法,解决能源组件维修性建模与分析问题。其中,采用故障树模型描述能源组件系统级可靠性,采用SPNAT模型描述各部件的失效过程和维修决策,并基于“Join/Replicate”操作进行模型集成,通过报酬结构定义组件的维修性指标。仿真结果表明,基于多模型集成的维修性建模与仿真方法,是解决能源组件这样的复杂产品维修方案设计与分析的有效途径。

    基于最大熵分类器的藏文句子边界自动识别方法研究
    才藏太
    2012, 34(6): 187-190. doi:
    摘要 ( 213 )   PDF (612KB) ( 219 )     

    藏文句子的边界识别是藏文文本分析的基础性研究, 是藏文与其他语种之间建立句子级平行语料库的必要工作,也是进一步进行藏汉机器翻译的基础。本文通过分析藏文句子的结束形式, 研究藏文句子边界规则,提出了一种藏文句子的边界识别方法。该方法首先利用特殊规则和词表对藏文句子进行识别,然后利用最大熵模型对有歧义的句子进一步识别。从而提高藏文句子的边界识别率。