基于小波变换的木马心跳行为检测方法

通常的木马心跳行为检测方法利用的是聚类的思想,很难避免木马自身传输数据包的干扰,导致误报。为此,提出基于小波变换的木马心跳行为检测方法。该方法首先将TCP数据包流表示成包长度信号,然后用基于Mallat的强制阈值除噪算法对信号进行处理,最后通过基于包速率的行为详细信息判定算法得出检测结果。实验表明,该检测方法能有效地检测出心跳行为并具有较强的抗干扰性。     

基于不可见字符的主副式网页信息隐藏算法

目前国内外网页信息隐藏算法大多侧重于研究如何提高隐藏效率和扩充隐藏容量,而忽视了信息隐藏算法的安全性。为此,提出了一种基于不可见字符的主副式网页信息隐藏(PSWIH)算法,即以ASCII编码下的不可见字符为主方式实现信息隐藏,并以改变标签大小写、嵌入与待隐藏信息不相关的不可见字符、改变标签属性对顺序为副方式实现信息检测干扰。实验结果表明,相对于基于标签大小写、基于属性对顺序、基于不可见字符方法,PSWIH算法具有更好的不可感知性、抗提取性及鲁棒性。     

Extension of the lower bound of monitor solutions of maximally permissive supervisors to non-α net systems

Traditional region-based liveness-enforcing supervisors focus on (1) maximal permissiveness of not losing legal states, (2) structural simplicity of minimal number of monitors, and (3) fast computation. Lately, a number of similar approaches can achieve minimal configuration using efficient linear programming. However, it is unclear as to the relationship between the minimal configuration and the net structure. It is important to explore the structures involved for the fewest monitors required. Once the lower bound is achieved, further iteration to merge (or reduce the number of) monitors is not necessary. The minimal strongly connected resource subnet (i.e., all places are resources) that contains the set of resource places in a basic siphon is an elementary circuit. Earlier, we showed that the number of monitors required for liveness-enforcing and maximal permissiveness equals that of basic siphons for a subclass of Petri nets modelling manufacturing, called α systems. This paper extends this to systems more powerful than the α one so that the number of monitors in a minimal configuration remains to be lower bounded by that of basic siphons. This paper develops the theory behind and shows examples.     

基于自适应动态规划的矿渣微粉生产过程跟踪控制

矿渣微粉是一种新型绿色环保型建材,可以大大提高水泥混凝土的力学性能.本文以矿渣微粉生产过程为研究对象,针对该过程难以通过机理建模进行辨识和控制的特点,利用数据驱动的思想,建立矿渣微粉生产过程的递归神经网络模型.在此基础上,利用自适应动态规划,设计具有控制约束的跟踪控制器,并将其应用到矿渣微粉生产过程中.仿真分析表明,建立的数据驱动模型能够有效地辨识矿渣微粉生产过程,同时,本文提出的控制方法能够实现输入受限的微粉比表面积及磨内压差的最优跟踪控制.     

不确定层次任务网络规划研究综述

层次任务网络(Hierarchical task network, HTN)规划作为一项重要的智能规划技术被广泛应用于实际规划问题中, 传统的HTN规划无法处理不确定规划问题.然而, 现实世界不可避免地存在无法确定或无法预测的信息, 这使许多学者开始关注不确定规划问题, 不确定HTN规划研究也成为HTN规划研究的前沿.本文从HTN规划过程出发分析了不确定HTN规划问题中涉及的三类不确定, 即状态不确定、动作效果不确定和任务分解不确定; 总结了系统状态、动作效果和任务分解等不确定需要扩展确定性HTN规划模型的工作, 以此对现有不确定HTN规划的研究工作加以梳理和归类; 最后,对不确定HTN规划研究中仍需要解决的问题和未来的研究方向作了进一步展望.     

An ACO-based online routing method for multiple order pickers with congestion consideration in warehouse

One of the challenging problems in order picking is how to deal with the congestion happens in warehouse with multiple pickers. In this paper, we consider an ant colony optimization (ACO)-based online routing method to find picking routes for multiple order pickers under nondeterministic picking time. Here, a default route is formed by ACO for each single picker. Then, we coordinate these routes to alleviate congestion by dedicated rules based on indoor positioning and information sharing technologies, during order pickers serve the picking task. Our results indicate that the proposed method can achieve a reduction in the order service time primarily by coping with the congestion. We conclude that the new method is particularly effective in multiple-block picker-to-parts warehouses.     

Hybrid tunable lens for eliminating optical aberration and enlarging optical power

In this paper, we propose a hybrid tunable lens based on electrowetting effect for eliminating optical aberration. By integrating a doublet lens in the front surface of a tunable lens, the proposed lens can achieve good image quality and obtain high optical power. Experimental results demonstrate that both two advantages can be achieved for the hybrid tunable lens. It can also reduce the operating voltage by ～5 V to reach the same focal length, and it has compact structure, light weight, and good image quality.