C*-双代数上的Haar测度

采用法国数学家Baai和Skandalis引进的算予语言讨论了C^*-双代数A中的Haar测度的存在性．本文首先通过考察这样算予的性质和刻画赋范线性空间中连续线性算予的像集的性质，证明了C^*-双代数A中的一个平均遍历定理，得到了C^*-双代数A中的线性泛函是Haar测度的充分必要条件；利用遍历定理和这个充分必要条件探讨了C^*-双代数中Haar测度存在的一些充分条件．     

热轧钢管主生产计划模型与算法研究

建立了热轧无缝钢管主生产计划问题的混合整数线性规划模型．该模型可归结为多阶段多产品带有能力约束的批量问题，但与传统批量问题存在以下不同：①充分反映了钢管企业与其它行业的不同工艺特点；②目标函数追求最大化现金流而不是最小化成本；③允许订单积压；④考虑库存能力约束；⑤忽略设置时间及成本。但引入了最小生产批量约束．鉴于该问题的NP难性，使用两种基于优化的启发式算法进行求解，并提出两条策略加以改进．     

线性调频信号参数快速估计

针对采用线性调频(linearfrequencymodulation,LFM)信号体制的参数估计的应用场合,提出了一种消除最大似然估计时带来旁瓣的算法。该算法利用雷达回波信号的对称性上来获取统计样本,因而在无需对雷达系统作任何改进的情况下,可获得对LFM信号参数较好的估计。通过结合解线调估计运算量少的特点,有效地减少了估计的运算量,提高了估计精度。给出了应用该方法的具体步骤,通过仿真实验证明该算法的有效性。     

时滞区间广义系统的保成本控制

针对一类具有状态时滞的时滞区间广义系统,基于状态反馈研究了保性能控制问题。利用线性矩阵不等式(LMI)处理方法,得到了闭环时滞区间广义系统广义二次稳定以及闭环性能指标值有上界的充分条件。利用LMI的可行解给出了保性能控制器的设计方法。设计的控制器使得闭环时滞区间广义二次稳定,同时保证闭环性能指标值是具有上界。最后的数值例子说明了所给方法的有效性。     

多天线OFDM系统的线性优化

从Jakes信道模型出发,用KKT优化方法,从信道部分特性已知的情况推导了多天线OFDM系统中发射机与接收机的线性最优化设计问题。仿真比较了多天线OFDM系统的各个子载波之间采用合作的线性优化与非合作的线性优化两种方法在不同最大多普勒频移和反馈时延下发送符号的均方误差。仿真结果表明,当信道特性部分已知时,子载波之间合作的线性优化较之非合作的线性优化有更小的均方误差。可为存在反馈时延的多天线OFDM系统设计提供指导     

线性流形上反对称次对称矩阵反问题的解

令S={A∈ASn｜AZ=Y,ZT1ZT+1YT2=YT2,Y1Z+2Z2=Y1,ZT1Y1=-YT2Z2,Y,Z∈Rn×m},这里(ZT1　ZT2)=ZTD,(YT1　YT2)=YTD.研究了如下问题:问题Ⅰ　已知X,B∈Rn×n,找A∈S使‖AX-B‖=min.问题Ⅱ　给定A ∈Rn×n,找^A∈SE使‖A -^A‖=min A∈SE‖A -A‖.这里SE是问题Ⅰ的解集合,给出问题Ⅰ的解集合表达式和问题Ⅱ的逼近解.     

天水半湿润山区绿化气候及适生林草区划研究

通过20世纪70~90年代30年气象资料统计分析,建立了天水半湿润山区适生林草区划数学模型;通过量化计算,得出了区内不同区域水、热匹配指标,并进行了适生林草配置的四级农业气候区划,为该区生态环境建设提供了科学依据.     

区间数线性规划的一种新解

基于区间数两两比较的可能度,提出了区间数线性规划的可能有效解和可能弱有效解的定义. 利用极大极小算子来求区间数线性规划的可能弱有效解,并建立了一种求多组弱有效解的模型.给出了 求可能有效解的方法,并对区间数线性规划进行拓展.数值例子验证了该法的有效性和可行性.     

一种混合整数双层线性规划的全局优化方法

通过求得下层问题的对偶问题可行域上的极点,将上层所有变量为0 1型变量和下层所有变量为连续型变量的双层线性规划转化为有限个混合整数线性规划问题,从而用求解混合整数线性规划的方法获得问题的全局最优解.由于下层问题的对偶问题可行域只有有限个极点,所提出的方法具有全局收敛性.     

刚性Volterra泛函微分方程算法理论及高效算法

首先介绍刚性Volterra泛函微分方程的稳定性理论及其数值方法的B理论。这项工作为刚性延迟微分方程、刚性积分微分方程以及其它各种类型的刚性泛函微分方程的研究提供了统一的理论基础。其次以该理论为指针推荐高效算法，其中包括向后Euler方法、二阶BDF方法、并行多值混合方法及实特征值多步Runge—Kutta法。