一种针对移动全覆盖问题的节点移动策略
摘要：在传感网和物联网的大力发展过程中，覆盖问题始终是该领域关注的核心问题．目前在诸多应用中，网络部署受各类影响因素的制约以及传感设备自身条件的限制，无法实现监测区域的完全覆盖．但如果借助某些特定的移动设备并按照有针对性的移动策略实施移动覆盖，就可以实现监测区域内的补全覆盖．基于此应用提出了一类新的覆盖问题——移动全覆盖问题，即在网络稀疏覆盖的环境下，利用移动节点的移动覆盖实现监测区域的全覆盖问题．针对该问题提出了分而治之的节点移动策略．首先，按照移动节点通信半径将整个监测区域划分成多个子区域；其次，以四叉树分层遍历的策略作为移动节点在子区域间的移动方案；最后，针对每个子区域内静态节点的覆盖状况制定相应的区域内的移动策略．实验结果表明采用本文提出的移动策略可以实现在移动节点移动较小距离的前提下达到整个区域的全覆盖，从而解决了稀疏网络环境下的全覆盖问题．2014年《计算机研究与发展》专题（正刊）征文通知——“智慧城市研究进展”
摘要：智慧城市是当今世界城市发展的新理念和新模式，是新一代信息技术创新应用与城市经济社会发展深度融合的产物。智慧城市以物联网、云计算、移动互联网、大数据、遥感遥测、空间地理信息系统等新一代信息技术为基础，以物联化和互联化的方式动态感知、分析和整合城市方方面面的数据，促进城市信息资源的网络化共享、集约化整合、协作化开发和高效化利用，在城市的交通、通信、教育、环境、能源、LTE系统自适应软频率复用技术研究
摘要：提高小区边缘用户性能是蜂窝移动通信系统的经典难题．下一代蜂窝移动通信系统3GPPLTE通过有效的小区间干扰协调以及频率资源分配来改善小区边缘用户性能．提出一种自适应软频率复用算法，根据系统负载情况自适应地为各小区分配主、副载波及其发射功率，在实现系统吞吐量优化的同时保证小区中心和边缘区域速率需求．算法首先通过穷尽搜索和贪婪递减策略，获得单小区最优资源分配，然后在不同小区间迭代执行单小区算法直到系统吞吐量不变为止．仿真结果表明，算法通过多次迭代后，系统吞吐量保持不变并输出一种优化的资源分配方案．与同类频率分配算法相比，可以有效提升小区边缘用户的吞吐量，同时获得更高的系统容量，更适用于高速率的LTE系统．一种基于图论方法的开放计算系统证据信任模型
摘要：基于图论方法提出了一种新的证据信任模型（graph theory basedevid ential trust model，GTETM），解决了现有证据信任模型中普遍存在的在信任聚合过程中缺少对信任链之间依赖关系的有效处理等引起的模型性能下降问题．同时，GTETM在建模实体的信任度时区分实体的服务信任度与反馈信任度，并在证据理论框架下提出两种不同的信任传递方法，增强了模型抵抗恶意推荐攻击的能力．仿真实验表明，与已有信任度量模型相比，GTETM具有更强的抑制策略欺骗及共谋行为的能力，在信任度量准确性方面也有较大提高．动态安全策略逻辑语言及安全属性验证问题的研究
摘要：针对动态安全策略在策略表达、判决和验证等方面具有的重要意义，提出了一种可用于动态安全策略表达、决策和验证的逻辑系统SSML．首先，给出了SSML逻辑系统的语法和语义，并且证明了一般意义上的SSML逻辑系统查询评估问题是不可判定的，从而表明不存在通用的SSML安全策略语义查询评估算法．其次，研究SSML子语言特性，发现两类语法受限的SSML动态安全策略——NDel型安全策略和TDPZ型安全策略．虽然前者不允许在安全策略中出现删除规则，后者只允许完全信任的管理人员执行删除规则，但它们的查询评估问题是可判定的，并且分别构造出它们的查询评估算法——OLDT^E和0LDT^T．最后，通过实例说明如何使用0LDT^E或0LDT^T实现安全策略验证，从而证明这两类动态安全策略具有广泛的应用前景，对动态安全策略及其安全性分析方法的研究具有重要意义．基于区域随机性度量的LSB匹配隐写分析
摘要：依据图像信源区域平稳性质，分析LSB匹配隐写对图像区域统计特性的影响，提出一种基于区域随机性特征的隐写分析方法．运用分块处理划分图像区域，对各区域像素进行Hilbert扫描并提取像素最低有效位比特序列，进而将比特序列作异或运算所得到的参量定义为区域随机性度量指标，最后统计并分析区域随机性指标直方图，提取直方图信息熵、特殊取值及原点矩3类特征，结合Fisher线性分类器对载体、载密图像进行判别．实验结果表明，该方法在不同图像库和不同嵌入率条件下对LSB匹配隐写均表现出良好的检测性能，与现有典型检测算法相比其检测性能具有明显提高．最小扰动混合角色挖掘方法研究
摘要：绝大部分的角色挖掘方法都是从无到有地进行构建，所有角色都是新挖掘出来的，而没有考虑事先已经存在的角色集合．而且从已有角色集合的方法中提出的相似度定义均不满足交换律；提出一种混合角色挖掘方法，以top—down方法预先定义部分角色，以bottom—up方法挖掘候选角色集合．定义加权结构复杂度并以此作为系统状态优化的指标．给出满足交换律的相似度定义，以此作为与原有角色集近似度量的指标，并提出相似度计算算法．在此基础上提出最小扰动混合角色挖掘的定义和算法；分析算法复杂度并作出性能评估，评估结果表明算法准确率和效率均有明显提高．一种基于数据流环境感知的共享过滤算法
摘要：为了有效过滤数据流中的有害信息，通常在数据流上注册大量查询，同时构建过滤器来计算这些查询．在多媒体流环境中，查询和过滤器常常是一种“多对多”的连接，也就是说，对于单个过滤器的计算可能会同时给出多个查询的结果．在这种情况下，如何排序所有的过滤器来获得最小的过滤代价变得非常重要．对于过滤器的排序一般依赖于3个指标：过滤器本身的执行代价c、过滤器连接的查询数目声以及过滤器对于随机样本判断为真的概率s．目前基于贪心的排序算法虽然在一定程度上给出了近似最优的结果，但是还存在以下两个问题：1）指标5只是简单依据经验值设定，不能随着流的变化而自适应变化；2）将3个指标融合成一个代价函数进行排序，而没有深入分析各个指标之间的关系．考虑到以上方法存在的不足，提出一个层次排序算法（adaptivehierarchalordering，AHO）来高效地过滤多媒体数据流．该算法首先依据过滤器的指标c和声进行分类，然后再在每个类别上按照s进行二次排序．在真实多媒体流环境中的过滤结果证明：AHO可以在不降低准确度的情况下，自适应调整过滤器顺序，其性能优于已有的贪心排序算法．动态有序树存储模型与实现方法
摘要：XML作为半结构化数据模型的代表，其文档较大，存储动态有序树时需要较多空间成为其明显的缺点，对XML文档进行二进制的编码压缩可以有效地减少存储空间．提出了一种不仅可以对有序树进行空间高效存储，又可以实现有序树的动态化操作的封装包结构．此结构通过将有序树的二进制编码段分段处理的方法，减少了修改量．并通过三重定位的方法快速选定要修改的封装包．针对有序树动态化后出现的节点意义丢失的问题，提出了对树进行辅助描述的高效节点序号表，通过节点序号表可以记录每个节点的内容及意义，进而补充了二进制编码只能表示树结构的缺点．并通过建立有效的序号修改表对其进行快速高效的更新．通过设计对动态树的各种常用操作，并计算出各种操作的空间及时间复杂度，表明了通过此结构可以实现动态有序树的空间高效存储．《计算机研究与发展》征订启事
摘要：《计算机研究与发展》Journal of Computer Research and Development）是中国科学院计算技术研究所和中国计算机学会联合主办、科学出版社出版的学术性刊物，中国计算机学会会刊．主要刊登计算机科学技术领域高水平的学术论文、最新科研成果和重大应用成果．读者对象为从事计算机研究与开发的研究人员、工程技术人员、各大专院校计算机相关专业的师生以及高新企业研发人员等．高效的Top—k相互Skyline查询算法
摘要：Top—k相互Skyline查询返回相互Skyline查询中的前k个对象．这种查询是数据分析者寻找有意义对象进行决策支持的一种重要直觉工具．然而，这种查询还没有引起研究社区足够的注意力．介绍了几种新颖的算法，包括Topk—TBBS，Topk—dMBBS，Topk—zvMBBS．主要的思想是信息重用和高效的修剪策略．特别地，Topk-wMBBS算法由于完全重用了搜索中的节点信息，并利用了最好优先BF搜索策略．因而它获得了最好的性能．同时证明了该算法有最优的I／O访问效率．最后，使用了2个真实数据集和4个服从不同分布的合成数据集进行了集中实验．实验结果表明，提出的算法无论是变化参数k的大小、数据集的尺寸和Cache尺寸都是有效的，且具有很高的效率，尤其Topk—wMBBS具有最小的I／O访问次教．基于三角模的模糊联想记忆网络
摘要：当T为t-模时，基于模糊取大和T的模糊联想记忆网络（FAM）存在局限性，当T为三角模，是t-模的广义形式，将这种FAM推广成基于Max—T的模糊联想记忆网络Max-TFAM．则Max—TFAM实现了从一个向量空间到另一向量空间的映射，从Max-TFAM的值域角度，分析了它的存储能力，并建立了一个三角模T的伴随蕴涵算子新概念，利用该伴随蕴涵算子，在无需T为连续的、严格增等条件下，提出了MaX-TFAM的一个简洁的通用离线学习算法和通用在线学习算法．从理论上严格证明了只要Max-TFAM能完整可靠地存储所给的多个模式对，则这两种算法都能轻易找到使得网络能完整可靠存储这些模式对的所有连接权矩阵的最大者．最后，用实验证明了Max-TFAM模型和所提出的学习算法的有效性．胞腔同调边缘学习算法研究
摘要：边缘划分问题是数据分析的核心问题之一．针对晶体数据的边缘分类问题，引入同调论的思想，提出了胞腔同调边缘算法和正则胞腔同调边缘学习算法及上同调边缘学习算法，并将其应用于晶体结构预测和分类．鉴于晶体数据满足对称群的基本性质，引用同调代数的方法从机器学习的角度来研究数据的边缘分类问题．为了从不同角度构造分类模型，先从相对同调边缘展开为局部同调和定向同调，再深入到上同调边缘算法和腔胞同调边缘算法，由着重系数定理扩展到正则胞腔同调，进而延伸至相对流形．仿真结果表明了算法的有效性．GC^1约束的多三角Bézier曲面混合降阶逼近研究
摘要：三角曲面的降阶问题一直是CAGD领域的一个难点问题，近年来受到关注．对L2范数下多三角B6zier曲面在拼接边界满足GC^1约束的降阶逼近问题进行研究，包括：1）给出了一种L2范数下单一三角B6zier曲面的一次降多阶的逼近算法；2）对两个三角Bfzier曲面在拼接边界上满足GC^1约束的降阶逼近算法进行研究，提出一种通过调整两个三角Bezier曲面片距离拼接边界的第2排内部控制点来满足GC^1约束的降阶逼近算法；3）研究基于调整三角Bezier曲面片内部控制点的多三角曲面片在各拼接边界满足GC^1约束的曲面降阶算法．算法首先按照2）中的方法，确定每两个三角B6zier曲面片在公共边界满足GC^1约束的降阶逼近所需要调整的内部控制点，然后构造blending函数．通过将每个三角Bezier曲面所对应的多组控制点进行混合，形成新的混合降阶曲面的三角Bezier格式，并在理论上证明该混合三角Bezier降阶曲面片与其周边的各降阶曲面片仍保持GC^1约束．实验结果表明，所提方法简单实用，逼近效果好．Hopfield网络在视差空间上的立体匹配求解
摘要：由于边界区域的匹配精度是立体匹配问题的瓶颈，这里采用一种基于特征的匹配算法来重点研究场景中边界区域的匹配．首先针对立体匹配问题，提出一种基于RBF的边界提取算法，使得边界区域成为待匹配的像素点．研究像素点匹配需要满足的约束，构建相应的能量方程，接着采用Hopfield网络对能量函数进行优化来获得问题的求解．由于针对的是整个边界区域，直接将特征点输入网络会导致神经元数目过多、复杂度过高．为了降低算法复杂度，提出从视差空间上来构造网络模型．最后通过大量实验来验证算法的性能，包括标准图片、噪声图片与真实的场景图片．实验证明新算法能大大提高边界区域精度，克服了立体匹配的瓶颈，明显提高了整体区域精度，算法有很强的鲁棒性和实用性，即使在复杂情况下也能取得较好的效果．基于条件执行切片谱的多错误定位
摘要：基于程序谱的错误定位技术由于其较高的定位效率已成为当前软件调试领域研究热点之一．这种技术通常根据测试覆盖信息计算程序语句发生错误的可疑度来进行错误定位．然而，这种技术会随着程序中错误数目的增多效率不断下降．鉴于此，提出了一种基于条件执行切片谱的多错误定位技术（conditioned execution slicing spectrum—based multiple fault localization，CESS—MFL），以提高多错误定位的效率．CESS-MFL技术首先根据输入变量的谓词条件构建错误相关条件执行切片的谱矩阵，然后依次计算错误相关条件执行切片中的元素（语句或语句块）的可疑度，并生成可疑度报告．实验验证了CESS—MFL技术比当前流行的基于程序谱的Tarantula技术、基于程序切片的Intersection技术、Union技术有更高的多错误定位效率，并且可在有效的时间和空间复杂度内完成．一个程序验证器的设计和实现
摘要：形式验证是提高软件可信程度的重要方法，基于逻辑推理对程序性质进行严格的自动证明是当前的研究热点，但尚无可供工业界使用的产品，其根源在于自动定理证明方面的困难．介绍在通过程序分析建立起各程序点的形状图的基础上，如何利用形状图提供的信息来支持程序验证的方法．提出一种利用形状图信息来消除访问路径别名，使得指针程序中非指针部分的性质仍然可以用Hoare逻辑来进行验证的方法，并证明了该方法的可靠性．还提出一种在不使用自定义谓词的情况下，易变数据结构上数据性质的描述和验证方法．另外，介绍所设计并实现的基于上述方法的PointerC语言的程序验证器的原型．它不仅能自动验证操作易变数据结构程序的性质，也能自动验证使用一维数组的程序的性质．基于Agent的网构软件需求监控框架
摘要：网构软件所面临的复杂、开放和动态变化的运行环境使其运行时行为常常会偏离需求规约．已有一些研究工作提出基于目标模型和需求推理实现软件需求的运行时监控和自修复，但还缺少实现框架，特别是缺少符合网构软件分布式和社会化特性的需求监控实现方法．针对这一问题，提出一种基于Agent的网构软件需求监控框架．框架中的需求监控Agent通过非侵入的方式实现对作为其宿主系统的网构软件实体的监控和干预，并通过Agent间的通信和协作实现社会化的目标委托和协作监控．为了验证框架的有效性，通过一个案例分析，对框架和工具实现进行了有效性评估．
