授权中异常冲突的一种解决方法

冲突检测和解决是访问控制授权中的重要问题.对这些问题的探索我们通过研究方法比较进行.首先研究基于逻辑程序的一种授权系统规范,然后通过一个保健部门的典型问题来分析基于传统优先和组织结构的两种冲突解决方案,最后提出基于逻辑程序LPOD(带有序析取的逻辑程序)的针对高水平授权规范中异常冲突的一种解决方法.     

一种约简动作变元的命题规划编码方式

基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式:基于命题的编码方式.首先分析构造新编码方式的理论依据,提出基于命题的编码方式的编码组成,证明其有效性,并描述某些公理的具体实现细节,最后分析其与已有几种编码方式的不同之处.在SATPLAN2006中实现了基于命题的编码方式,利用国际规划竞赛选用的标准测试问题予以测试,并分析其与基于动作的编码方式等两种极端编码方式的求解特性.实验结果表明:对于顺序规划问题域,基于命题的编码方式更有效,而对于并发规划问题域,基于动作的编码方式更有效.     

基于免疫遗传算法的制造元设计

为了提高工厂的生产效率,给出了一种制造元设计问题的解决方案.基于单元数规则,建立了制造元设计问题的整数规划模型;受生物接种疫苗提高免疫机理的启发,把问题的先验知识抽象成疫苗,利用疫苗接种提高算法的收敛速度,利用免疫克隆选择机理避免算法早熟,设计了一种基于疫苗接种的免疫遗传算法.最后构造了一种基于免疫遗传算法的制造元设计问题解决方案.实验结果表明,该方案能够有效地解决大中等规模的制造元设计问题,具有较高的应用价值.     

一种基于自适应代理模型的并行贝叶斯优化方法

提出一种基于自适应代理模型的并行贝叶斯优化方法,用于求解计算成本高的复杂优化问题.该方法基于多点期望改进判据,通过批次采样实现并行优化.针对并行优化产生的大量历史数据会导致全局代理模型建模成本高的问题,提出一种改进的基于数据并行的高斯过程建模方法,在线构造局部代理模型.此外,针对多点期望改进判据计算成本高的问题,提出一种启发式的分层优化策略,通过序贯优化基于自适应代理模型的单点期望改进判据,近似计算多点期望改进判据.最后通过5个测试问题验证所提出方法的有效性.     

多编码树GPU并行轴心子图匹配

子图同构问题是非确定多项式(NP)完全问题,而轴心子图同构是一种特殊的子图同构问题.针对现在已经有许多高效的子图同构算法,然而对于轴心子图同构问题目前并没有基于GPU的搜索算法,且通过改造已有的子图同构算法来解决轴心子图匹配问题会产生大量不必要的中间结果这一问题,提出了一种基于GPU的轴心子图同构算法.首先,通过一种新...     

一种求解约束多目标优化问题的线性进化算法

针对多目标优化问题,提出了一种新的基于实数编码的线性进化算法.新算法将约束优化问题的高维搜索空间通过线性变换映射到二维空间,在二维空间中探索原优化问题的解,并构造出一种线性适应度函数,重新设计了一种基于密度函数的交叉算子.对二组典型优化问题的测试表明,本算法是可行和有效的,解集分布的均匀性与多样性均较理想.     

一种求解约束优化问题的线性进化算法

提出一种基于实数编码处理约束优化问题的线性算法,并对其复杂度和收敛性进行分析.该算法将约束优化问题的高维搜索空间通过线性变换映射到二维空间,在二维空间中探索原优化问题的解,从数学分析的角度给出一种线性适应度函数.算法中融入一种基于密度函数的交叉算子和变异算法,采用基于分级聚类的平均联接方式以维持Pareto最优解集个体数目.3组典型优化问题的测试表明,该算法是可行和有效的,解集分布的均匀性与多样性均较理想.     

模糊需求下企业间联盟车辆路径及遗传算法

建立了基于模糊需求的企业间联盟车辆路径问题, 并基于模糊结构元理论将模糊需求问题转化为清晰需求问题. 针对该模型, 提出一种基于二维结构的编码表示方式和遗传算子, 并用计算实例进行了验证.     

基于层次约束满足的产品选择算法

将产品的选择看作一种层次约束满足问题,从而提出一种基于层次约束满足的多属性决策算法HCSMDA,该算法基于约束逻辑编程,可解决实际的产品选择问题,使得用户得到所需的产品.     

一类复杂生产调度问题的基于符号演绎的调度方法

针对带有时问不确定件的复杂生产过程调度问题,提出一种基于符号演绎的调度方法.首先将时间的不确定性信息看作符号型数据,并提出一种用于处理这些符号型数据的基于不确定区间的符号演绎方法;然后将此符号演绎方法与遗传算法相结合,提出一种预排调度计划与实时调度规则相结合的调度方法来求解上述复杂生产调度问题.实验表明,将基于符号演绎的调度方法用于求解带有时间不确定性的复杂生产过程调度问题,能够取得较好的调度效果.     

7轮ARIA-256的不可能差分新攻击

如何针对分组密码标准ARIA给出新的安全性分析是当前的研究热点。基于ARIA的算法结构,利用中间相遇的思想设计了一个新的4轮不可能差分区分器。基于该区分器,结合ARIA算法特点,在前面加2轮,后面加1轮,构成7轮ARIA-256的新攻击。研究结果表明：攻击7轮ARIA-256所需的数据复杂度约为2120选择明文数据量,所需的时间复杂度约为2219次7轮ARIA-256加密。与已有的7轮ARIA-256不可能差分攻击结果相比较,新攻击进一步地降低了所需的数据复杂度和时间复杂度。     

A new class of filled functions with one parameter for global optimization

The filled function method is an efficient approach for finding global minimizers of multi-dimensional and nonlinear functions in the absence of any restrictions. In this paper, we give a new definition of filled function and the idea of constructing a new filled function, and then a new class of filled functions with one parameter on the basis of the new definition, which possesses better quality, is presented. Theoretical properties of the new class of filled functions are investigated. A new algorithm is developed from the new filled function method. The implementation of the algorithm on seven test problems with dimensions up to 30 is reported, and comparisons with other filled function methods demonstrate that the new algorithm is more efficient.     

基于OLAP的新产品销售合同数据的多维分析

为了有效管理和充分利用产销资讯系统中的销售历史数据,为新产品营销分析,优化新产品结构,提高新产品研发效益提供决策依据。本文以2007年至2010年的销售合同数据为例,首先,建立了新产品信息管理平台,按照新试新推钢种提取新试合同信息,并汇总了合同量和销售额。然后,基于Microsoft SQL Server2OO5商业智能开发平台,设计并实现了以新产品销售合同为主题的数据集市;并应用Analysis Services模块,设计了新产品销售合同数据的OLAP多维分析系统。便于用户使用PivotTable Service工具,能够以多角度、多层次、多种显示方式对新产品销售合同数据进行访问、分析和可视化表达。     

一个基于向量空间秘密共享的新成员加入协议

提出了一个可验证的新成员加入协议。当新成员加入门限系统时,可以选择任意两个旧成员协助产生新的秘密份额,新份额最终由新成员独立计算获得。在产生新份额的过程中,新成员可以验证份额的有效性。与以往所提出的新成员加入协议不同的是,本协议中的新份额是由新成员利用“黑箱子”独立计算获得,能够避免产生旧成员“合谋攻击”的隐患;基于向量空间秘密共享,较之以往大多基于Shamir（t,n）门限理论,本协议更具一般性。     

On generalized fuzzy rough sets

In this paper, a class of generalized fuzzy rough sets based on two universes are studied. Some new set-valued mappings and fuzzy set-valued mappings are introduced to discuss properties of the known model, and a new model for fuzzy rough sets is proposed which provides a new selection of interval structure for uncertainty reasoning using rough set theory. Some properties of the new model are revealed. The new model seems to be more natural in the sense that fuzzy sets are approximated by fuzzy sets on the same universe.     

Research on development of embedded uninterruptable power supply system for IOT-based mobile service

Under the banner of Internet of Things (IOT), mobile service is an important hot research topic. As a part of IOT, embedded systems can offer access to the devices on Internet. For supporting mobile service, one design and implementation solution of embedded Uninterruptable Power Supply (UPS) system is brought forward for long-distance monitoring and controlling UPS based on IOT. The key insight of our development is that we adopt new idea to realize new application based on new technology of IOT. The target is for mobile service to support pervasive computing paradigm. Our new idea is involved in the developed system which is based on new Arm chips, a set of new ATmega products (such as ATmega 161, ATmega 162), new Network Interface Controller, TCP/IP protocol suite and other software components. In our designed UPS system, an enhanced embedded file system is designed and implemented which saves the data and index information on the chip (such as a serial EEPROM) in structured way and communicates with MCU through I²C bus. The new file system is embedded in the UPS system. Mobile users can access and manipulate local or remote data on the client side based on IOT. Embedded file system on the chips plays a major role in the growth of IP networking. Based on our experiments, mobile users can easily monitor and control UPS in different places of long-distance. By our experiments and applications, the performance of this kind of new embedded UPS system is satisfied the requirements of all kinds of IOT-based mobile services.     

Image interpolation algorithm on a triangular grid

A new method for constructing a fitting surface on a triangular grid is presented.Assuming images are obtained by sampling from the original scene.Conventional polynomial interpolation methods generally construct the fitting surface on a square grid.Different from existing methods,the new method constructs the fitting surface on a triangular grid which can divide the original surface more detailed and improve approximation accuracy.As the quality of the image edges plays a key role in visual effects of image,the new method uses image edges as constraints to get a triangle grid.The new method constructs a cubic polynomial patch locally using image data to approximate the original surface.Experimental comparison results of the new method with other methods show that the new method can produce high-quality images and remove the zigzagging artifact.     

基于OLSR的QoS路由新方案

基于OLSR协议及扩展的最短路径算法,提出了综合折中跳数与带宽的一种路由计算新量度。组合MPR选择算法及路由计算新量度,设计了三种新的QoS路由方案。基于在NS-2环境中对新路由方案及OLSR原始协议进行的仿真,着重分析比较了它们的时延及分组递交率性能,探讨了带宽量度用于路由计算时对这两项性能产生的影响及主要原因,结果表明新量度能有效实现跳数少与带宽大之间的折中。     

一个新的图像单幅可视隐藏方案

作为一种数字水印的技术方法,提出了一种新的单幅图像可视隐藏方案.在该方案中,仅使用一幅加密图便能可视恢复密图,加密图本身既是编码又是解码.与已有的基于移位的方案不同,该方案通过加密图逆时针旋转90°后和自身的叠加来恢复原图.给出了实现单幅图像可视隐藏的新方案的设计方法,对方案的性能进行了分析,并且指出新方案具有较好的抗压缩性、抗破损性、抗放缩性,且能充分利用密图的容量.     

人脸识别技术的研究

对人脸识别的几个关键技术进行了深入研究，提出了一种快速的基于眼睛像素特征的人脸检测方法：一种有效的基于SVD分解的特征提取方法和一种基于特征差别的SVM人脸识别方法．改进的基于SVD分解的特征提取方法能在一定程度上削弱光照和表情的影响，从而更好地抽取人脸的差别特征．基于特征差别的SVM方法将人脸识别这一典型的多分类问题构造成适合SVM处理的二分类问题，克服了传统SVM方法在解决多分类问题上的缺陷．实验表明该人脸检测方法有较高的正确检测率，提出的特征提取方法能有效地减弱光照和表情对人脸特征的负面影响，使得识别率有较大提高，基于特征差别的SVM方法有更好的概括能力和更高的正确识别率．