支配问题的研究进展

复杂性理论中,支配问题是一类重要的问题,被广泛应用于资源分配、电话交换网络和无线传感器网络等领域。支配问题主要包括点支配集(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完全的,并给出了该问题有解的一个必要条件。     

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

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

排课表问题的闭环DNA计算模型的算法

排课表问题是NP-完全问题。基于闭环DNA计算模型引入多种生化实验得出求解排课表问题的DNA算法。本算法采用两部编码方式产生初始数据池,引入批删除实验解决了教师和班级的冲突问题和同班课问题;引入批分离实验解决了正常合班课问题和教师时间要求问题;引入电泳实验解决了排课的均衡分配问题;引入标记实验得到了排课表问题的全局最优解集,并给出了算法的生化实现过程。最后,对算法的正确性进行了证明,并讨论了算法的复杂性。     

On the k-path cover problem for cacti

In this paper we investigate the k-path cover problem for graphs, which is to find the minimum number of vertex disjoint k-paths that cover all the vertices of a graph. The k-path cover problem for general graphs is NP-complete. Though notable applications of this problem to database design, network, VLSI design, ring protocols, and code optimization, efficient algorithms are known for only few special classes of graphs. In order to solve this problem for cacti, i.e., graphs where no edge lies on more than one cycle, we introduce the so-called Steiner version of the k-path cover problem, and develop an efficient algorithm for the Steiner k-path cover problem for cacti, which finds an optimal k-path cover for a given cactus in polynomial time.     

C++异常处理机制中抛掷和捕获的对象构造与析构问题

介绍了C＋＋的异常处理机制中，抛掷和捕获的对象的构造和析构问题，分析在异常处理中内存资源的管理和策略。     

C语言中的数据类型

数据类型是C语言中的一个既简单又基顾的问题,如果我们对它没有充分的理解,往往会导致一些莫名其妙的错误,本文简单介绍ANSI C推荐的数据类型处理方法,并结合TurboC实现分析了几个错误实例。     

基于决策树的数据挖掘方法在CRM中的应用研究

针对CRM中的市场客户分类问题,本文将决策树分类方法应用于CRM中,介绍应用C4．5决策树方法构造客户分类系统的开发实践,并给出该系统分析客户保持中的应用实例。     

动画应用程序中帧速率控制问题的研究与实现

讨论了编写计算机动画应用程序时帧速率控制的问题。明确了问题的内涵和重要性,分析了两种常用控制方法的特点,指出了前人结论中的一些问题。重点介绍了一种简单而又能够实现精确帧速率控制的方法,以类的形式给出了核心部分的Visual C＋＋实现。     

Dynamic Programming Revisited: Improving Knapsack Algorithms

The contribution of this paper is twofold: At first an improved dynamic programming algorithm for the bounded knapsack problem is given. It decreases the running time for an instance with n items and capacity c from to , which is the same pseudopolynomial complexity as usually given for the 0--1 knapsack problem. In the second part a general approach based on dynamic programming is presented to reduce the storage requirements for combinatorial optimization problems where it is computationally more expensive to compute the explicit solution structure than the optimal solution value. Among other applications of this scheme it is shown that the 0--1 knapsack problem as well as the bounded knapsack problem can be solved in time and space. Received: October 15, 1998; revised March 10, 1999     

嵌入式Internet系统中网络互连的实现

LAN91C113是SMSC公司设计的专门用于解决嵌入式系统中网络互连问题的以太网控制芯片。本文介绍了该芯片的主要功能和工作原理,并结合三星S3C440BX分析该芯片在嵌入式网络系统中使用时的软硬件设计。     

Testing for jumps in the stochastic volatility models

This paper proposes the Lagrange multiplier (LM) test, or the score test, for jumps in the stochastic volatility (SV) model in the cases where the innovation term follows the normal and Student t-distributions. The tested null hypothesis is that the jump density has zero variance, which is expressed by Dirac’s delta function. It is shown that the unknown jump probability, which is an unidentified parameter under the null hypothesis, is cancelled out in the LM test statistic, and hence this test is free from the estimation problem of unidentified parameters, which is known as the Davies problem [R.B. Davies, Hypothesis testing when a nuisance parameter is present only under the alternative, Biometrika 64 (1977) 247–254]. Monte Carlo experiments show that the null distribution of the LM test statistic can be approximated by the normal distribution with sufficient accuracy.     

An experimental evaluation of local search heuristics for graph partitioning

A common problem that arises in many applications is to partition the vertices of a graph intok subsets, each containing a bounded number of vertices, such that the number of graph edges with endpoints in different subsets is minimized. This paper describes an empirical study of the performance of various local search heuristics for thisk-way graph partitioning problem. The heuristics examined are local optimization, simulated annealing, tabu search, and genetic algorithms. In addition, the hierarchical hybrid approach is introduced, in which the problem is recursively decomposed into small pieces, to which local search heuristics are then applied.