元素判别值分配法的综合求解算法设计

元素判别值分配法在用于求解运筹学一般运输调配与货郎担问题时,鉴于两类问题求解的不同,故使用的算法与调用的程序也不同．现已研制成功综合的求解算法与求解程序。则调用综合算法的程序．它既可求解一般运筹学的调配问题,也可求解货郎担问题;既可求最小值的问题,也可用于求解目标函数为最大值的问题．由于它只需一次调用,便可求解所属问题的最优解,是目前最有效的求解新方法．     

降线问题的阿贝尔积分方程的求解

考虑给定下降时间函数的降线问题的求解,将降线问题转化为阿贝尔积分方程求解问题.对于无限区间上的积分方程,介绍了阿贝尔运用拉普拉斯变换求解积分方程的过程,给出了求解公式;对于有限区间上的积分方程,采用阿贝尔积分变换法进行求解,运用累次积分交换积分次序,由一个定积分的恒等式得出求解公式,并将积分方程的求解公式应用于等时降线问题的求解,通过求解等时降线问题的微分方程,证明了等时降线是一条倒摆线.     

改善分支限界法求解旅行商问题效率的策略

叙述了NP完全问题的复杂性及分支限界法求解问题最优解的策略,分析了利用分支限界法求解旅行商问题过程中影响算法求解效率的主要原因。针对欧氏空间的旅行商问题求解,提出了通过化简初始边集的策略,改善算法的求解效率,通过实验说明了该策略的有效性。该策略可应用到求解旅行商问题的其他算法中。     

基于分治策略和蚁群算法的最大团问题的研究

最大团问题是经典的NP-hard问题,对该问题求解方法的研究在理论上、实践上都具有一定的意义.蚁群算法已成功地求解出许多组合优化难题.通过使用分治法,将图分解成子图,对各子图应用蚁群算法求解,提出一种求解最大团问题的蚁群算法.它减小了问题的求解规模,使求解变得容易,且实验取得了较好的结果.     

基于k-臂分子求解最短路径的DNA计算模型

为有效求解最短路径问题, 避免传统算法计算量大、 求解时间长的问题, 充分发挥DNA(Deoxyribo Nuclec Acid)计算的并行性在求解复杂计算问题的优势, 提出一种基于k-臂分子和粘贴计算求解最短路径问题的DNA计算模型, 阐述了顶点、边及权值的编码方案, 描述了求解最短路径的DNA算法, 经验证, 该模型对求解最短路径问题是有效的。     

求解收银员调度问题的设计与实现

研究“零售业决策支持系统”中收银员调度问题和POS机管理问题的求解及实现. 通过收银员问题的调度模式指出相应的求解算法, 并针对不同的调度模式分别给出相应的数学模型、 用于解决POS机管理问题的模型和求解方法以及实现这些问题的求解系统.     

求解Poisson方程Dirichlet问题的一点补充

求解Poisson方程定解问题通常有分离变量法、积分变换法、格林函数法等重要方法,但传统的求解方法有时运算量较大,求解较麻烦.通过寻求一类特殊的Poisson方程的Dirichlet问题求解方法,即一△u=f(x)中的f(x)为多项式函数时,Poisson方程的Dirichlet问题可采用比较简单的求解方法,避免了传统求解方法的复杂计算,从而将求解Poisson方程定解问题的方法进一步完善.     

高维Poisson方程Cauchy问题的一种数值解法

研究了高维Poisson方程Cauchy问题的数值求解方法，将Poisson方程的cauchy问题的求解归结为先求解Hausdorff矩问题，再求解Poisson方程的混合边值问题。在求解矩问题时，利用积分方程方法设计了高维Poisson方程Cauchy问题稳定化的算法，并对三维Cauchy问题进行了数值模拟。     

符号执行中的约束求解问题研究进展

在符号执行中,约束求解主要负责路径可达性进行判定及测试输入生成的工作,但路径爆炸问题带来的频繁调用,以及SMT求解器本身的能力和效率的不足,使得约束求解占用了符号执行中主要的性能开销,约束求解问题也成为符号执行中面临的主要瓶颈问题之一.本文介绍了符号执行和约束求解的基本概念,并分析了符号执行中约束求解问题的由来,对近年来的约束求解问题研究进展进行了归类,涉及的技术包括非相关约束分支切片、约束简化、快速不满足性检查及多求解器支持等.对这方面的研究进行了展望和总结.提出未来工作应在提高路径约束逻辑精简率、提高约束求解结果存储和重用的效率、约束求解并行化以及约束求解配置预测等方面展开.      

C语言艺术编程——浅谈艺术编程之举一反三、灵活运用

学会如何求解实际问题并将求解该问题的方法推广至相近问题的求解,实现举一反三、灵活运用是我们学习知识的目的和意义。本文针对C语言中一实际问题提出了"难→易→难"的分析、推导方法并将该方法推广、运用至相近问题的求解中。     

辛醇对PVDF膜表面浸润性与透过性能的影响

以聚偏氟乙烯（PVDF）／N,N-二甲基乙酰胺（DMAc）／辛醇／水为制膜体系,采用干、湿相转化法制膜．考察了辛醇含量对膜结构、表面浸润性和透过性能的影响．结果表明,辛醇的加入使成膜过程中液．固分相在与液一液分相的竞争中占据优势,随着辛醇含量的增加,膜结构由海绵状结构向球晶堆积结构转变,当辛醇含量增至10％时,生成“菜花状”球晶粒子堆积的对称结构,其表面具有微纳二重特征,对水的接触角可达140°;实验范围内PVDF膜下表面的疏水性随铸膜液中辛醇含量的增加先增大后略有下降,膜的气通量随铸膜液中辛醇含量的增加先增大后减小所制得的高度疏水膜可望成为气液膜接触器的理想膜材料．     

动态车辆路径问题的算法研究

借鉴动态问题中的时间点、时间段等概念,建立了动态车辆路径问题模型,将动态VRP转化为在若干连续的时间段内的相对确定性的静态VRP,为动态VRP的研究提供了一种新的方法.并设计了基于节约法和禁忌搜索的混合算法,从而提高了对动态车辆路径问题求解的效率.     

二维离解模型边值问题的数值解法

研究线性三原子分子二维光离解模型边值问题的解.为此,先将边值问题转化为初值问题进行求解,然后将初值问题的解叠加成满足边值条件的解.     

基于面向对象的动态内存分配引发问题的解决方案

从面向对象的程序设计出发,提出了基于面向对象的动态内存分配引发的问题,并且对问题出现的原因做了深入的分析,最后给出了解决问题的思路和方案。     

追捕逃逸型微分对策问题的识别域判别

研究了仿射非线性控制系统下的单目标两人追捕逃逸型微分对策问题,解决了该类控制系统在不等式约束区域上系统识别域的判别问题,给出了判别识别域的充分必要条件.首先利用生存理论及非光滑分析工具得到了仿射非线性控制系统的识别域判别定理,从而把对该非线性控制系统识别域的判别问题转化为求解凸不等式组的相容性问题.基于凸可行问题的求解方法给出了此问题的投影算法,并给出算法相应的收敛性定理.最后得到了仿射非线性系统下的两人追捕逃逸型微分对策问题的选择定理.     

求解双侧障碍问题的自适应投影算法

对一类具有双侧障碍的自由边界问题得到求它的数值解的自适应投影迭代算法。采用有限差分法将障碍问题离散为有限维双侧障碍问题,该问题等价于一个新的投影不动点问题,可得到双侧障碍问题的投影算法。并通过迭代数据自动调整投影算法的参数,加快其收敛速度。从而提出求解双侧障碍问题的自适应投影算法,给出算法过程和收敛性分析。理论分析和数值算例结果都表明该算法的有效性。     

线性互补问题解的存在性

利用同伦方法对线性互补问题LCP(M,q)进行求解, 给出了半单调线性非齐次互补问题有解及其所对应的齐次互补问题LCP(M,0)只有零解的关系, 并给出了具有严格可行性时互补问题有解的一个条件.     

毛泽东评《金瓶梅》的问题视域

毛泽东关于<金瓶梅>的阐释都是把时代性的问题视域作为他理解的"先有结构"而产生的,这一新的文学意义的生成是他的问题视域与小说本文视域融合的结果.这就说明了理解和阐释不仅受小说文本之规定性的影响,而且也受时代性问题视域的影响,问题视域决定了理解的何所向,二者的视域融合生成了此在的文学意义.     

世博会排队集群行为研究

在上海世博会上,排队问题是最突出的问题之一.本文试图从物理-事理-人理系统方法论的角度去描述它们.从物理层次看,大部分场馆的设计不可能不出现排队,只是队的长短会不一样;从事理层次看,不同排队方式会出现不同的队长和效率;从人理层次看,组织方、场馆和顾客思考问题的角度不同,他们对队长的满意程度有着不同的评价标准,此外,人员过度排队可能造成拥挤与践踏等突发事件.本文从运筹学中排队论、顾客排队心理学、社会物理的行为动力学和顾客排队行为分析以及系统科学中自组织现象等去分析排队现象.     

关于图划分中的一个计算复杂性问题

一个稳定集是一个图的相互不相邻的顶点集,一个仙人掌图是一个任意两个圈都没有公共点的连通图.本文我们考虑如下问题,称之为STABLE CACTUS-问题的计算复杂性:给定一个图G,G中是否存在稳定集S使得G-S是一个仙人掌图.我们证明了STABLE CACTUS-问题是一个NP-完全问题,甚至可以进一步限制给定的图G是最大度不超过4的偶图.这个结果在图的度条件下是最好的了,我们利用图的最大亏格研究中的Xoung-树方法,证明了如果G是一个最大度不超过3的图,则STABLE CACTUS-问题是多项式时间可解的.