支配问题的研究进展

复杂性理论中,支配问题是一类重要的问题,被广泛应用于资源分配、电话交换网络和无线传感器网络等领域。支配问题主要包括点支配集(VDS)问题和边支配集(EDS)问题两大类。人们利用动态规划、加权分治等技术对VDS和EDS问题的精确算法进行设计与分析,并通过将EDS问题转化为边覆盖集问题提出了EDS问题的近似算法。近年来对参数化支配问题做了大量研究。目前已经证明了平面图中VDS问题和一般图中EDS问题都是固定参数可解的(FPT)。利用树分解和分支搜索等技术,人们分别对平面图VDS问题和一般图EDS问题提出了一系列FPT算法。文中对VDS和EDS问题进行了分类,给出了每类问题的具体定义及其相关算法介绍,此外还对矩阵支配集问题进行了简单介绍,并提出了支配问题研究中值得关注的几个方面。     

MSP问题NP完全性研究

针对文献[1,2]提出的MSP问题,研究了MSP问题与着色问题、子图同构问题的对应关系,揭示了MSP问题所反映的NP完全问题的共性;分析了MSP问题的相变现象,为文献[1,2]提出的多项式时间算法框架的测试提供了难例产生方法。     

反馈集问题的研究进展

反馈集问题是经典的NP难问题,在电路测试、操作系统解死锁、分析工艺流程、生物计算等领域都有重要应用,按照反馈集中元素类型可分为反馈顶点集(FVS)问题和反馈边集(FAS)问题。人们利用线性规划和局部搜索等技术设计了一系列关于FVS和FAS问题的近似算法,并基于分枝一剪枝策略和加权分治技术提出了FVS问题的精确算法。随着参数计算理论的发展,近年来参数化反馈集问题引起了人们的重视,并取得了很大突破。目前已经证明了无向图和有向图中FVS问题和FAS问题都是固定参数可解的(FPT)。利用树分解、分支搜索、迭代压缩等技术,对无向图FVS问题提出了一系列FPT算法。针对某些特殊的应用,人们开展了对具有特殊性质的图上FVS问题的研究,提出了一些多项式时间可解的精确算法。现首先介绍了在无向图中关于FVS问题的近似算法与精确算法,然后具体分析了FVS问题的参数化算法。进一步阐述了关于有向图和特殊图上FVS问题的研究现状,介绍了FAS问题的研究成果。基于对反馈集问题研究现状的分析,提出了今后FVS问题研究中值得关注的几个方面。     

中文问答系统中问题理解的研究

对中文问答系统中的问题理解技术进行了研究。问题理解是问答系统的基础,问题理解的核心内容是问题分类。本文对基于规则和统计方法的问题分类体系做了介绍,提出了基于事件框架的问题语义描述模型,给出了疑问意向的形式化定义。同时借助知网,对问题空间的大小进行评测。     

Java中文问题

针对Java中出现的中文问题,从Servlet中文问题、资源文件的中文问题、JDBC中文问题等三个方面进行了问题的提出,并给出了解决方案。     

基于遗传算法的排课问题研究

排课问题是一个有约束、多目标的组合优化问题,同时也是一个NP-hard问题。因此,该文选用将遗传算法引入排课问题中,首先对排课问题进行了描述,在此基础上提出了一种基于遗传算法的排课算法,并对其进行了仿真实验,最后较快的找到了问题的最优解或次优解。     

雷达铝合金铸件机加工典型问题探讨

该文总结了雷达产品中铝合金铸件在机加工中存在的典型问题：毛坯划线问题、热处理后精加工基准选择问题和基准变形问题。作者在分析了以上问题存在原因的基础上,结合相关企业的经验,给出了解决这些问题的工艺方法。     

矩形的三角形划分问题研究

给出了矩形的三角形划分问题的定义,该问题是三角形Packing问题的一个特例,证明了该问题是NP完全的,并给出了该问题有解的一个必要条件。     

最优运输管理中的分布参数控制问题

分析了汽车运输公司的最优经营管理问题,应用分布参数控制理论和方法建立了运输问题最优控制的数学模型,并用算子半群理论和方法给出了最优控制问题的解,最后给出了最优控制问题的经济学解释.     

用Excel制作试卷必须解决的几个问题

在利用Excel-VBA制作试卷时总会遇到一些无法绕开的问题,如考生信息统一性问题、试卷及标准答案的安全问题、计时问题、随机抽题问题、试卷密码问题、答案不惟一问题等。只要其中有一个问题不能合理解决,程序就不能正常使用。为此,对这些问题逐一进行了分析和探讨,并成功找出了解决途径,使利用Exce-VBA制作的试卷成功投入教学,收到了良好的教学效果。     

以TSP为代表的组合优化问题研究现状与展望

旅行商问题(TSP)是运筹学的著名命题,也是目前研究最为广泛的组合优化问题之一.对TSP的研究成果将对求解NP类问题产生重要影响.首先给出组合优化问题和TSP问题的基本概念.然后综述了以TSP为代表的组合优化问题的研究历史和现状,并着重对传统方法和启发式现代智能优化算法做了比较.最后对智能优化算法中的研究热点以及在TSP问题上的应用做了展望,预测了未来技术难点,并对今后可进一步研究的问题做了探讨.     

数据中心同类问题之剖析

此文介绍了数据中心的一般性问题和特殊性问题的实质,在一般情况中涵盖了特殊性问题,而在特殊情况下又完善了一般性问题,对于这些问题的剖析,可以清晰地揭示问题的基本情况、前期对关键情况的揭示和问题的解决,是各类数据中心建成后能够长期、安全和可靠运行的必要条件。     

农电线损管理中存在的问题及优化对策分析

电力企业的线损问题,造成了电能的严重浪费。线损问题不利于建设资源节约型社会,也不利于电力企业自身的发展。本文对农村配电网问题进行了分析,首先介绍了线损的概念及理论计算方法,然后详细分析了线损管理中存在的问题,最后对这些问题提出了相应的对策。     

企业信息安全问题案例与相应管理策略

该文对企业信息安全问题进行了分析研究,旨在解决当前企业信息安全管理问题.在企业计算机网络管理的实践研究基础上,对信息安全问题进行了分析;提出了信息系统的稳定性也是信息安全问题的观点;对具体安全问题给出相应的安全管理策略.提出了新的信息安全观点,并试图给出解决当前企业关注的信息安全问题的有效方法.     

启发式算法求解最大团问题研究

最大团问题(maximum clique problem,MCP)是图论中的一个经典组合优化问题,也是一类NP完全问题,在国际上已有广泛地研究,国内研究刚刚起步.给出了最大团问题的基本定义和其数学描述;阐述了该问题的研究进展;分析和研究了求解该问题的各种典型启发式算法,包括算法的介绍、算法求解最大团问题的基本思路、特点及性能;最后介绍了测试这些启发式算法性能的测试基准图.     

基于问题生命周期的软件问题管理平台——SPMPE

软件整个生命周期中的软件问题管理是各种软件质量保证活动的核心,文中介绍了一个基于问题生命周期的软件问题管理平台———SPMP。文章深入讨论了软件问题的生命周期,指出软件问题的状态控制与变更追踪构成了软件问题管理的基础。然后介绍了该平台的体系结构、关键技术和应用实例,最后给出结论。     

热轧计划中的多旅行商问题及其计算方法*

针对热轧批计划问题进行了MTSP(多旅行商问题)建模,并对该问题设计了混合遗传算法,经某大型钢厂实例数据进行了仿真测试.计算结果表明,该算法给出了较优的轧制批计划方案,解决了热轧轧制批计划的编制问题.     

规划问题编码成SAT问题研究

智能规划问题是一个NP-hard的问题。近年来,由于在可满足问题（SAT）研究领域取得了较大进展,出现了一大批快速的能达到工业级应用的SAT solver求解器的出现,这使得运用可满足技术来求解规划问题的方法越来越得到智能规划研究者们的重视。用可满足技术求解规划问题的首要任务是必须将规划问题“翻译”成可满足问题。讨论了如何将规划问题编码成命题可满足问题的一般技术,并对“直接编码”和“基于规划图的编码”两种编码技术进行了比较,指出了两种编码技术各自的优缺点。在此基础上,深入地分析了各种不同的编码方案之间的异同点以及它们各自的优缺点。最后,指出了用SAT技术求解规划问题中存在的一些问题以及相关改进方法。     

加快我国中小企业信息化建设的策略

本文从我国中小企业信息化的现状入手,深入剖析了我国中小企业信息化建设中存在的主要问题,如观念问题、基础设施问题、人才问题、技术问题等,并在此基础上提出了相应的策略。     

Packing问题的计算复杂性

本文讨论了离散模型与连续问题的关系以及图灵机的计算能力,在此基础上扩充了问题及NP完全问题的定义,根据解空间的拓扑结构特点将NP完全的Packing问题分为三类,并对多边形Packing问题进行了有益的探讨。这对设计Packing问题的求解算法具有借鉴意义。