归纳逻辑程序设计综述

归纳逻辑程序设计是逻辑程序设计和机器学习的一个交叉研究领域。先概述了归纳逻辑程序设计的历史及发展现状;对归纳逻辑程序设计学习器进行了分类和形式化定义,并给出了学习器的质量标准;按划分的类型分别讨论了归纳逻辑程序设计学习器的主要求解算法;进一步指出了归纳逻辑程序设计未来的发展前景,提出了归纳逻辑程序设计领域需要深入研究的若干问题。     

一类转库问题流向优化问题的模型与解法

转库是大型企业物流管理工作中的重要环节·针对企业决策支持系统的子系统转库作业日计划问题进行了分析,为一类转库流向问题建立了优化模型具有特殊约束0-1整数线性规划问题(0-1ILP)·分析了具体问题的性质·为求解这类NP-难问题,给出了一种在实际中行之有效的求解问题的算法降维替换算法·以SAS语言为环境,用实际问题作为计算算例,对这种算法的优点进行了总结:该算法在实际应用中是切实可行的,在时间上是节约的,尤其适合于大规模的问题     

基于整数线性规划的MPSoC通信优化策略

摘要： 针对多处理器片上系统 (Multiprocessor System on chip,MPSoC) 的通信优化技术--通信流水线和消息聚合,其过度使用可能会导致系统同步开销上升从而带来整体系统性能降低的问题,提出了基于整数线性规划(Integer Linear Programming, ILP)的优化策略.该策略以综合优化系统通信和同步开销为目标,通过对通信流水线技术和消息聚合技术的合理规划,使系统性能达到最优.实验结果表明,基于ILP的通信优化策略能够充分发挥通信优化技术的优点,使系统性能显著提升.
关键词： 通信优化; 整数线性规划; Simulink
中图分类号： TP 31文献标志码： A     

割平面法的改进

通过对解整数规划问题的割平面法中Gomory约束适当交换,给出一种加速获解的办法。     

静态和动态交换相结合的多粒度光交叉连接的新型结构

为了降低光网络中光开关矩阵的复杂度,减少交换端口的数目,降低网络阻塞率,提出了一种新型的可以同时支持静态和动态光交换的多粒度光交叉连接(MG-OXC)结构;采用新型路由选择和波长分配(RWA)算法,提出了支持这种多粒度光交换网络的整数线性规划(ILP)模型.实验结果表明,当网络负载较低时,这种新型的MG-OXC网络的阻塞率会大大低于传统的使用最短波长路由和随机波长选择策略的多层和单层MG-OXC;当网络负载相对较高时,这几种MG-OXC网络的阻塞率基本相同.这种模型不仅适用于新型的MG-OXC网络,也适用于传统的MG-OXC网络,有较强的兼容性.     

计算机系统结构研究的新方向

以RISC技术和分层存贮器为主要特征的计算机系统在科学计算与交易处理领域获得了成功,但是新的应用需求和技术困难使得这种现有的体系结构不能适应未来的计算需要。分析了现有的体系结构与以多媒体处理和个人移动计算为主要内容的应用趋势的不协调性,并介绍一种新的计算机系统结构Vector IRAM,为计算机系统结构研究提供参考。     

背包问题的若干性质及问题的简化

对单约束线性整数规划（ILP,背包问题）的特性进行了分析,通过剪去无效变量对问题进行简化,并给出了问题的一个上界及最优值判定条件。     

Design of Survivable Routing with and without Wavelength-continuity Constraints in WDM Networks

The problem of routing logical links (lightpaths) on a physical topology of WDM networks in a way that the logical topology remains connected in the event of single physical link failure is called survivable routing. This paper addresses the survivable routing problem with and without wavelength-continuity constraints by proposing a new Integer Linear Programming (ILP) algorithm, which is based on a simplified necessary and sufficient condition. Numerical results are given and discussed to show that survivable routing solutions of most logical topologies can be found by the algorithm of the authors. Furthermore, comparing with other similar methods, the above algorithm can find out a survivable solution in much shorter time, and it works especially well with sparse-connected logical topologies. The impact of wavelengthcontinuity constraints and the other factors that influence the probability to find out a survivable solution are also discussed in the paper.     

利用ILP分子标记分析籼粳杂交水稻的遗传多样性

采用ILP标记分析了福建地区20个亲本和30个育成品系构建的水稻籼粳亚种间杂交育种系谱的遗传多样性,并对结果进行聚类分析。结果表明,ILP标记可明显区分供试材料的籼粳特征。基于ILP标记聚类结果,以相似系数0.67为阈值,将该育种系谱划分成3个类群,即籼稻型、中间型和粳稻型。     

An AP SoC for a unified architecture

An instruction level parallel computing paradigm and a unified architecture for an array processor (AP) on a chip (SoC) are presented in this paper. Here “APU SoC” is short for “an AP SoC for the unified architecture”. The MISD/MIMD architecture for instruction level parallel computing is unified with the SIMD architecture for data level parallel computing. As a result, all the computing can be implemented on an APU SoC. The APU SoC offers the rationale of an array structure for development in current technology, yet simplicity for the hardware (chip) and software (program) parallel designs. Just as a single processor chip can replace many function module chips, the APU SoC can replace the single-core/multi-core/many-core CPU chip for TLP computing and the ASIC/ASSP/FPGA/RC device array chip for Operation Level Parallel computing.