摘要：并行性分析技术一般通过对程序的控制与数据流图或相关依赖图的分析来实现,因而需要从程序中抽取出相应依赖图的算法的支持.本文基于上下文相关图文法RGG形式框架,定义了一种任务级的并行编程图语言GPPL来直接描述顺序或并行程序的控制与数据流图,而且设计了相应的并行性分析算法以挖掘GPPL图程序的并行性特征.GPPL图语言可视为并行程序设计与程序代码生成之间的协同语言,从而使并行性挖掘避免了从程序中抽取出相应依赖图的过程.与已有的描述顺序或并行程序的图语言及其分析算法相比,GPPL图程序形式更为简洁和直观,易于设计,描述能力也更强;基于GPPL图的并行性分析算法的分析能力更强,而且具有可扩展性.

摘要：直角斯坦纳树问题是大规模集成电路物理设计中重要的基本模型.现代集成电路设计需要同时考虑障碍和多层布线等约束条件.通过构造布线图,提出一种多层绕障直角斯坦纳最小树启发式算法.为了避开障碍和连通各布线层之间的引脚,本文引入了三种候选通孔位置.在同一布线层内,通过扩展满直角斯坦纳树网格来构造单层布线图,再使用候选通孔互联成多层布线图.在多层布线图中,引入候选斯坦纳点来构造斯坦纳树,并以标记的引导点执行局部搜索策略来提高求解质量.实验结果表明,本文算法能够有效求解多层绕障直角斯坦纳最小树问题.本文算法所得总布线权重与最新的两种算法相比,改进率可达2.34%和5.48%.

摘要：云模型实现了定性概念与其定量表示之间的不确定转换,在云模型基础上构建的规则发生器能有效描述用自然语言表示的定性规则.在单条件单规则发生器基础上,进一步提出双条件单规则发生器的实现算法,给出了云推理系统的体系结构.将基于云模型的不确定性推理方法用于设计电机转速控制系统,并且与模糊推理方法进行了比较,验证了云推理方法的有效性和实用性.

摘要：卫星网络技术以其独特优势成为研究热点,本文以卫星地面链路作为研究对象,对星地链路进行深入分析,细致刻画链路特性,在此基础上归纳星地链路延时的构成因素,从固定延时、可变延时和突发延时3个方面考虑,建立了时变的星地链路延时模型.详细分析了链路中影响误码率的各种损耗和噪声源,建立了基于卫星链路功率预算的链路误码率模型,基于给定的星地链路场景对延时和误码率模型进行了对比验证.结果表明本文提出的延时模型能够更细腻地刻画星地链路的延时,更精细地反映链路延时的变化特性;误码率模型考虑的因素更加全面,能够更真实地刻画星地链路的误码特性.两个模型可以作为卫星链路分析和设计的一个有效辅工具.

摘要：量子计算机的迅速发展使得当前主流公钥密码体制面临巨大的安全威胁,基于公钥密码体制的软件水印将不再安全.针对此问题,提出多项式的拓扑图生成方案,在此基础上设计基于多变量密码体制的抗量子软件水印方案.版权所有者生成仿射变换和中心映射后,将多变量密码体制的二次多项式转换为整数并用PPCT编码,同时将多项式的二次项用链接表表示,将两个拓扑图同时嵌入宿主程序.验证过程可以通过输入—输出匹配、多项式匹配、整数匹配三种方式验证版权归属.最后对软件水印方案的隐蔽性和鲁棒性等安全性能进行分析,指出所提出的软件水印方案具有良好鲁棒性的同时,也可以作为脆弱水印.

摘要：绿色计算中,复杂系统的绿色评价是一个重要的研究课题,其核心任务是判断运行时时间、空间资源消耗是否满足环境约束或限定.设计时,采用模型检测技术,自动、完备、高效地进行绿色评价,是一种新颖且有效的解决方案,但可能出现的状态爆炸问题将影响评价成败或效率.引入随机决策过程作为绿色评价模型;用时态逻辑刻画包含行为正确性及时间、空间资源约束的绿色评价指标;定义不确定语义理解下评价模型状态的互模拟等价规则,给出互模拟商的构造方法以及商模型调度,并比较等价语义下的行为机理;运用结构化归纳法证明互模拟等价保持评价结论.分析表明,互模拟等价可用作状态约简手段,为基于模型的绿色评价提供理论支撑和技术手段.

摘要：针对云计算环境下分布式存储系统的数据索引不支持复杂查询的问题,提出了一种多维数据索引机制M-Index,采用金字塔技术(pyramid-technique)将数据的多维元数据描述成一维索引,在此基础上首次提出前缀二叉树(prefix binary tree,PBT)的概念,通过提取一维索引和PBT有效节点的前缀作为数据在存储系统中的主键.数据根据主键和一致性Hash机制发布到存储节点组成的覆盖网络.设计了基于M-Index的数据查询算法,将复杂查询请求转换成一维查询键值,有效支持多维查询和区间查询等复杂查询模式.理论分析和实验表明,M-Index在复杂查询模式下具有良好的查询效率和负载均衡.

摘要：云资源的合理分配以及对作业的有效调度,能够大幅提升云系统性能.在归纳Hadoop的现有作业调度算法的基础上,提出一个适用于异构集群的Max-D调度算法.对比分析了FIFO、公平调度以及Max-D算法在不同负载情况下的性能,针对单一调度算法在不同负载下性能衰减的缺陷,设计出基于负载检测的混合调度策略,为系统选择最为适合当前负载状况的调度算法.实验数据表明,FIFO、公平调度以及Max-D算法的混合调度方式对减少作业的平均调度时间以及保证公平性是有效的.

摘要：安卓平台采用Intent机制支持应用软件组件之间的通讯.然而,如果Intent的接收者没有对Intent对象内畸形数据进行验证将有可能导致进程崩溃,无法正常提供服务.针对这类漏洞,设计并实现了一套融合动静态分析技术的检测工具IntentChecker.在无需源代码的情况下,Intent Checker通过静态数据流分析技术跟踪应用软件对Intent对象的数据访问,识别是否存在畸形数据的验证漏洞,并且提取漏洞利用的关键特征,辅助动态分析技术对漏洞进行确认.为了支持对应用商城中海量应用的高效检测,Intent Checker通过集中扫描高风险代码区域,能在不明显降低漏洞检出率的情况下,大大提高检测效率.实验结果表明,约19%的热门应用存在该类型漏洞,Intent Checker的平均漏洞检测时间仅为15秒,具有大规模的可部署性.

摘要：介绍WLAN定位系统SWALLOW的设计与实现.本系统对WLAN中携带定位卡的人员或设备实施定位,考虑到定位卡的成本与能耗,本系统采用接入点而非定位卡收集RSSI值.而各接入点对定位卡同一信号的RSSI测值往往存在缺失和不同步,因此传统的基于点的RSSI特征比对算法稳定性不好.本系统使用了一个新的基于区域的定位算法,该算法在最小信号距离比对的初步结果上,通过在生成树上寻找最近公共祖先的方法实现平滑.分析和实验表明,该算法能将静止定位稳定度从50%提高到95%,并保持90%以上的移动定位准确度和10s以下的延时.目前,SWALLOW系统已应用到资产管理系统中.