图的最大独立集问题的模拟退火算法

给出了一种具有全局优化特性的改进的模拟退火算法 ,建立了图的最大独立集的模拟退火模型 ,研究了扰动的形成和算法参数的选取 ,并用计算机进行模拟 ,结果表明该算法是有效的     

极大独立集的逻辑算法

给出了利用命题逻辑公式的析取范式和主析取范式求图的独立集和极大独立集的方法，并给出了一解算法。     

解非线性极小极大问题的路径跟踪算法

解非线性极小极大问题的路径跟踪算法王宇，李兴斯（大连理工大学工程力学研究所１１６０２４）关键词：极小极大；同伦／不可微优化；拟凸；路径跟踪分类号：Ｏ２２１；Ｏ２４１非线性极小极大问题的求解是运筹学的一个基本问题，大量的结构优化设计问题最终往往归结为解...     

极小极大问题的K—S函数及延拓算法

采用Ｋ－Ｓ函数近似极大值函数，在分析了近似函数的控制参数、梯度以及Ｈｅｓｓｉａｎ性质的基础上，证明了控制参数本身可以作为同伦参数，并据此提出了求解非线性极小极大问题的延拓算法。数值结果表明算法是可行的、有效的。     

一个求解简单超图中最大独立集的算法

本文从贪婪横贯求法中得到启示,通过改进得到一种基于贪婪准则的求解有限的简单超图的极大独立集的算法:求出一定数量的极大独立集合,再从中挑出顶点数最多的作为极大独立集合。给出了算法和它的时间复杂度的分析以及正确性的证明。     

寻找最大独立集的算法

提出两种基于贪婪思想的局部搜索算法寻找给定图的最大独立集,通过测试第二种算法在图密度小时更优与第一种算法.由于局部搜索算法的缺陷,修改邻域函数与顶点的选择是进一步研究的问题;考虑到算法的有效性,时间复杂度和近似算法的比较也是值得进一步研究的方向.     

离散半无限极大极小问题一个推广的模松弛SQP算法(英文)

将求解半无限规划离散化问题的一个可行模松弛SQP算法推广到离散的半无限极大极小问题,提出一个全局收敛的模松弛SQP算法.算法要求迭代点可行,且每次迭代只需求解一个二次规划(QP)子问题即可获得搜索方向.通过修正其离散指标集,使得每次迭代求解QP子问题时只需利用一小部分离散指标即可,这大大降低了计算成本.在合适的条件下,可证明算法具有全局收敛性.     

一种启发式的分布式最大独立集算法

从最大独立集问题的0-1整数规划数学描述入手,首先针对树图情形提出了一种基本的分布式树（Tree）算法,并证明该算法在树图情形下是最优的,然后将该Tree算法针对一般图情形进行了启发式的修正,得到一种新的分布式修正树（m-Tree）算法.理论分析表明,当图为树或二分图时,m-Tree算法可以简化为基于信用传播（BP）的分布式算法,是对BP算法的一种推广.仿真结果表明,对于树或二分图情形,m-Tree算法与BP算法都能收敛至最优解;对于一般图情形,m-Tree算法的收敛性能与权和性能均远优于BP算法,并且其权和性能接近最优解.     

广义对称约束条件下矩阵表达式A-BXC的极秩问题

给定R,S为广义自反矩阵,即R*=R,R2=I,S*=S,S2=I,若矩阵X满足RXS=X(RXS=-X),则称之为广义反射矩阵(广义斜反射矩阵)。当变量矩阵X为广义反射矩阵或广义斜反射矩阵时,讨论了矩阵表达式A-BXC的极秩问题,并得到了矩阵方程BXC=A的一些可解性条件。     

基于自主创新的地方国际科技合作支撑体系的构建

当前我国地方层面的国际科技合作支撑体系建设的滞后影响了国际科技合作的有效开展,亟待加强和改善。而国际科技合作支撑体系的构建主要包括政府层面的政策与组织支撑体系、社会层面的中介服务支撑体系与物质基础层面的国际科技合作基础条件支撑系统等的建设。     

微创人工耳蜗手术导航匹配算法研究

微创人工耳蜗通道(Minimal Cochlear Access,MCA)是一种直接从颞骨的表面向内耳钻出隧道,然后在内耳植入耳蜗电极的手术治疗方式.相比于传统开放的耳蜗植入手术,MCA具有创伤小、耗时少、快速恢复及较少的并发症等优点.该手术的主要难点是要获取足够的精度,通常小于0.50 mm.该文对基于基准标志物的光学导航系统(Landmark-Based Optical Navigation System,LONS)的定量精度进行研究,通过不同的表面配准算法来获得稳定的精度.结果表明:在相同初始化条件下,颞骨模型匹配的目标配准误差(Target Registration Error,TRE)最小值为(0.16±0.01)mm.     

基于遗传算法的智能组卷系统研究

计算机辅助教学CAI的一个重要应用是计算机辅助测验CBT(Computer Based Testing)。智能组卷是CBT的基础,组卷中关键是解决生成满足教学和教师要求的试题,即约束优化问题。针对该问题,本文建立了基于考查点、难度系数和题型等为主要控制参数的该问题的数学模型,并给出了用遗传算法解决组卷问题的优化方法。实验结果表明,该组卷方法性能好、效率高,能较好地满足用户的要求。     

基于嵌入式系统的中药提取软测量方法研究

针对中药提取过程中软测量建模的计算机在线实现问题,将遗传算法（GA）和支持向量机（SVM）相结合,对葛根素在线提取过程进行软测量建模,并将该软测量模型固化到基于树莓派的嵌入式系统,构建了葛根素提取率的在线检测系统。该系统实现了下位机的在线实时温度数据采集、提取率计算、数据发送和结果三维显示,能完成上位机软件的软测量模型更新、数据存储、历史数据显示、数据包解析和三维坐标系显示提取效果等功能。与紫外分光光度计的离线检测方法相比较,本文方法得到平均相对误差为4.33%,具有实时性好、测量精度高、操作简便等优点。     

虚拟无线通信系统的最大比宏分集

为了适应第三代乃至第四代移动通信系统的要求 ,降低网络的造价。提出了虚拟无线通信系统的概念 ,它将软件无线电中通用的可扩展硬件平台应用于个人蜂窝通信网中。按照功能将无线通信系统的基台分为 4部分 :天线、中频、基带、控制 ,并且通过高速的网络互联起来 ,从而实现虚拟化。采用虚拟无线通信系统可以实现快速的越区切换 ,并且可以实现各种宏分集算法。而传统的蜂窝系统结构不容易实现宏分集 ,或者只能采用选择式宏分集。接着着重分析了虚拟无线通信系统在最大比宏分集方面的性能。研究结果表明它比码分多址中的软切换中所采用的选择式宏分集能够带来更低的中断率 ,从而提高系统的覆盖     

空调系统运行管理中的关键问题

从我国公共建筑内的空调系统能耗现状出发,分析其影响因素及系统能耗较高的原因.再对公共建筑中空调系统合理运行方面问题进行了分析,其中包括空调自控系统、制冷机组、空调系统附属设备等问题.通过这些环节的运行管理分析来说明空调系统运行管理工作对建筑系统能耗的重要影响.     

Birkhoff\,系统\,Lie\,对称性逆问题的两种提法和解法

首先, 列写出\,Birkhoff\,系统\,Lie\,对称性的确定方程、结构方程和守恒量; 其次, 给出\,Birkhoff\,系统\,Lie\,对称性逆问题的两种提法和解法. 结果表明：同一\,Birkhoff\,函数(Birkhoff函数组)和第一积分可以对应不 同的\,Birkhoff\,函数组(Birkhoff函数)和不同的\,Lie\,对称性, 也可以对应相同的\,Lie\,对称性和不同的\,Birkhoff\,函数组\,(Birkhoff函数).}     

矿井通风网络最小割集不交和可靠度的计算

运用可靠性工程理论及不交型积之和定律,在大型网络系统可靠度计算的基础上,提出了矿井通风网络系统最大线性无关最小割集予以真子集涤除的不交和可靠度算法及其实现步骤.根据此算法,当最小割集按所含网络分支的多少进行升序排列时,还可进一步减少中间过程的计算量,从而达到最佳不交和简化计算的效果.实例分析表明:采用升序排列的最小割集并按不交型积之和定理予以真子集涤除的不交和处理后,不仅计算值等同于一般网络分析中用全概率公式计算的矿井通风网络系统可靠度,而且计算中具有所含网络分支布尔积的代数和项数少,计算工作量大为简化等特点.图2,表1,参9.     

基于PSO算法的HVAC系统LSSVM预测控制

针对暖通空调(HVAC)系统,提出一种基于粒子群优化(PSO)算法和最小二乘支持向量机(LSSVM)的预测控制方法。该方法利用LSSVM建立HVAC系统预测模型并预测系统的输出值,引入输出反馈和偏差校正以克服模型失配等因素引起的预测误差,以此构造加权预测控制性能指标。由PSO算法滚动优化得到系统的最优控制量。利用该控制方法对一个HVAC系统进行仿真实验,结果表明该方法具有较好的控制效果。