理想AND/OR图搜索策略的推广

SUB和COM是专家系统推理网络图中常见的关系算子，AND和OR分别是SUB和COM算子的特例．建立在理想AND／OR图上的半景搜索法和最大优势搜索法可以推广到包含SUB和COM算子的理想非AND／OR图的搜索，而最大超越搜索法则可推广到包含回路结构的非理想AND／OR图的搜索．     

机车电路动态图形仿真系统开发平台的研究

针对现有机车电路过程的计算机动态图形仿真系统不能为机车设计人员使用,只能用于学员培训,且由内机型的迅速变化,程序人员不得不重复笥地编写和输入逻辑控制程序,费时费力这一现状,提出了根据输入电路原理图由计算机自动生成,逻辑仿真文件的开发平台的设计方法。     

A model and optimization-based heuristic for the operational aircraft maintenance routing problem

This paper investigates the Operational Aircraft Maintenance Routing Problem (OAMRP). Given a set of flights for a specific homogeneous fleet type, this short-term planning problem requires building feasible aircraft routes that cover each flight exactly once and that satisfy maintenance requirements. Basically, these requirements enforce an aircraft to undergo a planned maintenance at a specified station before accumulating a maximum number of flying hours. This stage is significant to airline companies as it directly impacts the fleet availability, safety, and profitability. The contribution of this paper is twofold. First, we elucidate the complexity status of the OAMRP and we propose an exact mixed-integer programming model that includes a polynomial number of variables and constraints. Furthermore, we propose a graph reduction procedure and valid inequalities that aim at improving the model solvability. Second, we propose a very large-scale neighborhood search algorithm along with a procedure for computing tight lower bounds. We present the results of extensive computational experiments that were carried out on real-world flight networks and attest to the efficacy of the proposed exact and heuristic approaches. In particular, we provide evidence that the exact model delivers optimal solutions for instances with up to 354 flights and 8 aircraft, and that the heuristic approach consistently delivers high-quality solutions while requiring short CPU times.     

中文文本信息过滤技术研究

随着互联网信息数量的急剧增加,文本信息过滤技术越来越受到重视。本文首先介绍了文本信息过滤技术的发展历史和研究现状,阐述了中文文本过滤的特点和要求。重点分析了中文文本过滤技术的关键技术和评价标准。     

QR二维码的无参考图像质量评价方法评测与研究

论文综合讨论了二维码（QR Code）图像的相关知识和无参考图像质量评价方法的相关原理,重点对算法进行评测.文章首先阐述二维码的相关特性;其次对目前比较常用的算法进行简要介绍,并对二维码进行评测和结果分析;最后指出二维码图像质量评价是未来重要的研究方向.     

多agent系统中逻辑依赖关系的表达与求解

多agent系统中事件间的逻辑约束形成事件间的逻辑依赖关系.在分析逻辑依赖关系与一阶谓词表示法基础上,分别给出了单agent单目标、多agent单目标、多agent联合目标的逻辑依赖关系的与/或图表达方法,并应用与/或图的AO＊搜索算法,以多agent单目标情形为例,演示多agent系统中逻辑依赖关系的计算过程.