任务级行动序列问题中的定性偏好研究

关注了一类典型行动序列,研究如何在动作集合上存在定性偏好,且偏好集合存在不一致性时开展规划。所考虑的行动序列问题称为任务级COA,以抽象层次的动作为基本要素,所考虑的定性偏好包括静态偏好和时序偏好,所讨论的规划目的是获得最大满意度的COA方案。首先建立了偏好与约束的归一化形式描述,在此基础上形成了COA方案设计算法;进一步,使用计算辩论技术排除偏好集合中的不一致性,形成用户接受度最高的COA方案。文中建立的以定性推理为基础的规划框架,实现了偏好解耦,能够适应不同的领域问题,是以定量计算为基础的传统规划算法的有效补充。通过快速响应卫星成像的COA案例,演示了算法的可行性。     

信息共享模型和组外贪心策略的郊狼优化算法

郊狼优化算法(Coyote Optimization Algorithm,COA)是最近提出的一种新颖群智能优化算法,具有较大的应用潜力,但存在运行时间长和搜索能力不足等问题。因此,文中提出了一种改进的COA,即基于信息共享和组外(静态)贪心的COA(COA based on Information sharing and Static greed selection,ISCOA)。首先,构建一种新型的信息共享模型,用于子群所有郊狼的成长,在郊狼成长前期,共享信息差异性大,以增加种群的多样性,在效狼成长后期,共享信息差异性小,以强化开采能力;其次,构建一种新的组内成长方式,即前期主要采用信息共享模型的成长方式,以郊狼的信息共享为主强化探索能力,后期主要采用原算法的成长方式,以alpha狼和文化趋势的引导为主强化开采能力;最后,将原算法的组内贪心算法改成组外贪心算法,即静态贪心算法,以便提高算法的稳定性和实现目标函数计算等的并行处理,提高运行速度。大量复杂的CEC2017函数优化实验结果表明,与COA相比,ISCOA在29个10维和30维函数上分别获得了23和24个函数的优势,其平均运行时间分别是COA的86.3%和85.7%,降低了运行时间;与7个最先进的算法相比,ISCOA在10维和30维函数上的平均排名分别是1.48和1.69,分别获得了17和18个第一,具有更好的优化效果。运用于实际工程问题的实验结果表明,ISCOA得到了最好的结果,证明了ISCOA有更强的搜索能力和竞争性以及更好的应用前景。     

一种新的迭代消噪重建算法

从Richardson格式入手，推出了一个更广义的新的迭代重建框架．将Fourier重建算子与滤波反投影重建算子与这个新的框架有机地结合起来，得到了杂交算法——Fourier迭代格式和FBP迭代格式的重建算法。其中Fourier迭代格式具有与FBP迭代格式相当的重建质量与消噪能力，同时又具有比其他迭代格式更高的计算效率，是一种实用的迭代消噪重建算法。     

快速自动程序流分析方法研究

介绍一种自动程序流信息分析方法,使用静态单赋值简化程序切片中的数据依赖关系,利用简单快速程序切片算法删除对循环控制无影响的语句和控制谓词,利用抽象解释自动精确获得程序流信息。实验结果表明,在不失精度的情况下,该方法的分析速度较普通方法快了近25%,且未假定任何程序格式,适用于任何程序格式的流分析过程。     

一种基于区块链的ABAC静态策略冲突优化算法

在大数据云计算环境下，针对数据量大、冲突策略增多的特点，存在策略管理效率和存储效率低、策略存储不安全等问题。本文提出了一种基于区块链的ABAC静态策略冲突优化算法（BB-ABAC）。该算法将区块链技术与ABAC模型相结合，利用智能合约技术实现策略的可信决策和分布式自动化，对冲突策略区块分组后再进行拆分、合并或删除，通过格式编码技术压缩区块大小，然后存储在区块链中，这使得静态冲突策略更加精确。实验结果表明，该算法能有效提高冲突检测率和策略存储效率，提高策略的安全性和可信访问控制。     

多线程程序数据竞争的静态检测

多线程并发程序的广泛使用带来了更多的数据竞争错误．传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错误．因此,提出了一个精确有效的静态检测框架：分析应用了精确的别名分析并静态模拟了访问事件发生序;为提高分析效率,检测算法提出了一个以对象为中心,结合Escape分析缩小检测范围的检测算法并配合设计了压缩的别名等价类表示．检测框架在一个静态Java编译器JTool上做了实现,对于测试程序取得了很好的分析结果．     

灰狼与郊狼混合优化算法及其聚类优化

郊狼优化算法(Coyote optimization algorithm, COA)是最近提出的一种新颖且具有较大应用潜力的群智能优化算法,具有独特的搜索机制和能较好解决全局优化问题等优势,但在处理复杂优化问题时存在搜索效率低、可操作性差和收敛速度慢等不足.为弥补其不足,并借鉴灰狼优化算法(Grey wolf optimizer, GWO)的优势,提出了一种COA与GWO的混合算法(Hybrid COA with GWO, HCOAG).首先提出了一种改进的COA (Improved COA, ICOA),即将一种高斯全局趋优成长算子替换原算法的成长算子以提高搜索效率和收敛速度,并提出一种动态调整组内郊狼数方案,使得算法的搜索能力和可操作性都得到增强;然后提出了一种简化操作的GWO (Simplified GWO, SGWO),以提高算法的可操作性和降低其计算复杂度;最后采用正弦交叉策略将ICOA与SGWO二者融合,进一步获得更好的优化性能.大量的经典函数和CEC2017复杂函数优化以及K-Means聚类优化的实验结果表明,与COA相比, HCOAG具有更高的搜索效率、更强的可操作性和...     

一种新的表格框架生成算法及其实现

首先分析指出了现有两大类表格框架生成算法之缺点，提出了一种克服了其缺点，吸取其优，点的新的表格框架算法。同时，经分析归纳，提出五种表原，用此可拼接所有表格，提高表格生成效率数倍。该算法的另一特点即对栏格宽度、高度及表之大小无量的限制，仅有形的定义，动态性特强。整个过程呈动态线性过程，非静态循环过程。     

基于PMML的移动通信客户流失模型交换

移动通信领域迫切需要在地理分布的经营分析系统之间交换标准的数据挖掘模型。尽管预测模型标记语言已经成为数据挖掘模型交换格式的业界标准,但并没形成可用的框架来指导标准交换模型的生产过程。该文提出了支持挖掘模型交换和移动通信客户流失分析的决策树算法框架。利用该框架构建了流失预警系统,并使用模拟客户数据验证了其有效性。对标准交换模型进行了适当扩展,以支持对移动通信数据更加有效的流失分析。     

一种格式兼容的JPEG彩色图像自适应加密算法

为了保障特殊格式图像的安全应用,需要针对其特点,深入研究与其格式兼容的图像加密算法。通过集成 JPEG压缩标准与自适应加密思想,提出了具有格式兼容特性的JPEG彩色图像自适应加密算法。该算法分别选取JPEG压缩过程中的直流系数和按曲折排序的前16个交流系数构造出对应的系数矩阵。在自适应加密框架下,利用混沌产生随机密钥流,实现对系数矩阵和直流系数符号的加密,保证密文图像不会泄露明文色彩信息。仿真实验和分析证明,该算法加密效果良好,对压缩效果影响很小,且具有格式兼容性和足够的安全性。     

Structured dataflow analysis for arrays and its use in an optimizing compiler

We extend the well-known interval analysis method so that it can be used to gather global flow information for individual array elements. Data dependences between all array accesses in different basic blocks, different iterations of the same loop, and across different loops are computed and represented as labelled arcs in a program flow graph. This approach results in a uniform treatment of scalars and arrays in the compiler and builds a systematic basis from which the compiler can perform numerous global optimizations. This global dataflow analysis is performed as a separate phase in the compiler. This phase only gathers the global relationships between different accesses to a variable, yet the use of this information is left to the code generator. This organization substantially simplifies the engineering of an optimizing compiler and separates the back end of the compiler (e.g. code generator and register allocator) from the flow analysis part. The global dataflow analysis algorithm described in this paper has been implemented and used in an optimizing compiler for a processor with deep pipelines. This paper describes the algorithm and its compact implementation and evaluates it, both with respect to the accuracy of the information and to the compile-time cost of obtaining and using it.     

一种基于机器描述的VLIW DSP编译技术

VLIW DSP机器由于硬件控制简单，指令的并行性完全在编译时决定，因此编译程序成为基于VLIW DSP机器应用的关键因素。文章描述通过在编译程序中使用目标机器描述技术，提高了编译程序的可重定目标性，减少了生成目标编译程序的难度。     

Modification of the Pascal-P compiler for a single-accumulator one-address minicomputer

This paper describes changes made to the Pascal-P compiler in order to improve the efficiency of its implementation on a single-accumulator one-address computer, the PRIME 300. The aim of the project was to develop a true compiler rather than a threaded code or pure interpretation system. A comparison of timings for these three methods of implementing the Pascal-P compiler is also presented.     

出具证明编译器中线性整数命题证明的自动生成

近年来,出具证明编译器作为构建高可信软件的重要途径,逐渐成为编译器理论和形式化验证的研究热点.在其理论框架中,编译器需要借助自动定理证明技术,自动地证明验证条件并生成机器可检查的证明项,因此好的自动定理证明器对出具证明编译器至关重要.本文基于Simplex算法在出具证明编译器的框架内设计并实现了一个支持线性整数命题求解的自动定理证明器,并且提出一套证明项构造方法,将其应用于自动定理证明器中可生成Coq可检查的证明.     

网格环境中编译服务的研究与实现

本文研究了在网格环境中编译器模型的结构、实现细节和特点,我们在项目中发挥了它的优点,提出了一个新的在网格环境中的编译器模型。该模型主要着眼于方便、安全、高效等特点,也考虑了与在本地进行编译的优缺点等问题。     

32位浮点RISC嵌入式微处理器LS-C编译程序寄存器分配实现

寄存器的合理利用是提高编译程序目标代码效率的关键因素。论文提出变量使用频度最低思想并详细阐述了其在32位浮点RISC嵌入式微处理器LS-C编译程序寄存器分配方案中的具体实现。     

UCB策略在Prolog中的应用

Prolog(Programming in Logic)程序语言是一种逻辑程序设计语言.它是在逻辑学理论基础上建立起来的并广泛应用在人工智能研究中.这几十年已经出现了各具特色的Prolog编译器,而且各种编译器也都很成功.虽然在现阶段已经出现了各种版本Prolog编译器,但是Prolog编译器的发展空间还是很大.本文先通过现代Prolog编译器的不足,介绍了新Prolog编译器的特点,然后简单叙述了Prolog编译器词法分析和语法分析的过程,最后介绍了UCB策略.     

一个有效的并行分析算法

并行分析在并行编译系统中有着很重要的作用,它的优劣直接影响到编译系统的成败,随着机群系统及其并行开发环境的发展,多数的并行系统可支持多重并行循环的运行。而对只支持一重并行循环的编程系统,选择并行运行效率最高的循环,也是很重要的。为此,本文提出了一个有效的循环并行分析方案,它不但能给出多层循环的并行性,而且能够处理绝大部分实际应用中的并行性问题,本文对传统的并行分析算法进行修改,并给出了一个有效的并     

LR分析法在词法分析器自动构造中的应用

提出了一种新的自动构造编译程序词法分析器的方法,LR分析法通常用于语法分析,但只要适当修改LR分析总控程序,就可将LR分析法用于词法分析器的自动构造。该方法的优点不仅在于将词法分析器自动构造方法与语法分析器自动构造方法统一,简化了编译程序的设计和构造,而且该方法自动化程序较高,只要确定描述单词的文法和词形编码表,便可自动生成任何程序设计语言编译程序的词法分析器。     

面向微处理器验证的约束描述语言及其编译器

该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言,并设计实现了该语言的编译器,详细介绍了语言特性以及为了生成合法体系结构级测试程序,编译器所做的特殊处理。最后给出了利用该语言对DLX微处理器进行验证的实验和结果。