求解一类Minimax分式优化问题的几何规划方法

研究了一类Minimax分式规划问题(MFP).首先通过引进变量，将问题(MFP)等价转化为问题(EP1),其次，再将问题(EP1)中的约束函数整理成正项式的形式，然后，利用特殊不等式的性质将问题(EP1)转化为易于求解的几何规划问题(GP),通过求解一系列(GP)问题获得原问题的最优解，最后，给出求解问题(MFP)的迭代算法以及算法的收敛性分析，数值结果表明了算法的有效性.     

关于液体遇竖直坚固器壁平面时表面高度的奇摄动问题

先从理论上研究了超二次奇摄动Robin问题εy“=h(t，y)f(y’)，t∈[0，L]，y(0，ε)-py'(0，ε)=A(ε)，y(L，ε) qy'(L，ε)=B(ε)，然后给出了这一问题解的估计，并证明了解的渐近性．最后，将这一理论用于解决液体遇竖直固器壁平面时，表面高度的问题．     

广义线性系统的极点配置

主要研究了广义线性系统-Ex(t)=Ax(t) Bu(t)，x(t0)=x0，t≥t0，y(t)=Cx(t) Du(t)的极点配置问题，利用矩阵的奇异值分解和矩阵的广义逆，得到了广义线性系统的奇异值标准形，使得广义线性系统的极点配置问题转变为正常系统的极点配置问题，从而给出广义线性系统极点配置的一种新方法。     

微分方程在多目标规划中的应用

本文利用微分方程对一般多目标优化问题及其约束条件进行了讨论，指出在一定条件下，从问题(1)的任一可行解的某邻域内出发，沿微分方程组(3)的轨线，关于部分变元总收敛到问题(1)的可行解。     

非线性发展包含的解

研究了一类形似u‘(t) B(t,u(t))Эf(t)的发展包含问题的解，其中的算子为(M)型的．同时，还讨论了含增生算子的发展包含问题的解．最后，对上述问题加入扰动，又讨论了带扰动的发展包含问题的解．事实上，也包含了对多种发展方程的解的存在性的讨论．     

具产出压力的一个自由边值问题的反问题

讨论了非牛顿流体流动引起的具产出压力τ的自由边值问题的一个反问题。通过讨论正问题解的性质以及产量Q对τ的连续依赖性，得到了对于给定的k和第一初边值条件P0(x)，g(t)及产量Q，反问题存在唯一的解{τ，λ(t)，p(x，t)}。     

关于几类图的L(3,2,1)-标号问题

图G的L(2，1)-标号是一个从顶点集V(G)到非负整数集的函数f(x)，使得若d(x，y)=1，则|f(x)-f(y)|≥2；若d(x，y)=2，则|f(x)-f(y)|≥1．图G的三(2，1)-标号数λ(G)是使得G有max{f(v)：v∈V(G)}=k的L(2，1)-标号中的最小数k．该文将L(2，1)-标号问题推广到更一般的情形即L(3，2，1)-标号问题，并得出了Kneser图、高度不正则图、Halin图的λ3(G)的上界．     

关于图的L(3,2,1)-标号问题

图G的L(2，1)-标号是一个从顶点集V(G)到非负整数集的函数f(x)，使得若d(x，y)=1，则|f(x)-f(y)|≥2；若d(x，y)=2，则|f(x)-f(y)≥1．图G的L(2，1)-标号数A(G)是使得G有max{f(v)：v∈V(G)|=k的L(2，1)-标号中的最小数k．将L(2，1)-标号问题推广到更一般的情形即L(3，2，1)-标号问题，并得出了全图、块图的L(3，2，1)-标号数的上界．     

关于函数单调区间的几个结论

对问题y＝f(x)在(a，b)、(b，c)上均单调增加(或减少)，则y＝f(x)在(a,c)上是否单调增加(或单调减少)进行探讨，得出几个结论．     

西南民族大学学报自然科学版(双月刊)第32卷第1～6期(总第113～118期)总目次

第32卷第1期(总第113期)The spectral density estimation of stationary time series with missing data HUANG Jian，ZHANG Ming-shan，O’SULLIVAN Finbarr(1)混合遗传算法在叶片排序问题中的应用彭国华，余迁，王罡(8)多项式共轭算子的性质和谱杨守建(13)Generalizing on a conclusion of elementary P-group ZHAO Hong-mei,TANG Guo-ping(16)可积函数空间上两种收敛性的关系赵华新，张萍(19)酉群的正规性结构定理吴校良，唐国平，于伟波(23)Fibonacci记数法及其应用蒲永锋(27)一类共轭解析函数的Riemann边值逆问题姚益…     

粗糙集中的近似精确问题

从粗糙集中的“边界”(可能决策)的角度出发，首次提出了上(下)边界的概念，讨论了边界的一些性质，进而提出了粗糙问题中可近似为精确问题处理的近似精确问题模型，并给出了近似精确问题的处理方法。     

恩施市退耕还林(草)状况分析

根据恩施市资源状况和生态环境状况，提出实施退耕还林(草)工程的必要性，同时对恩施市退耕还林(草)现状进行了调查，并从经济学和生态学效应上分析了退耕还林(草)工程对恩施市的影响，指出目前恩施市退耕还林(草)工程存在着生态林和经济林比例失调、缺乏完善配套措施、物种单一、重治理、轻管护等问题，并针对这些问题，提出了一些建议．     

一种Byte查找第K个元素的算法研究

查找第K个元素的问题在计算机查找技术中占有十分重要的地位，这个问题的最直接解法是先将序列排序，从而能得到第K个元素，最少需O(nlogn)次比较，即时间复杂度为O(nlogn)．比较好的方法是采用分治策略解决该同题，但其最坏时间复杂度为O(n^2)，平均时间复杂度为O(2n)．本文提出一种Byte解决第K个元素问题的算法，该算法的平均时间复杂度为O(n n／255)，优于以前对该问题的求解方法，而且该算法可以适用于由整数、浮点数、无符号整型数、双精度数和字符型数构成的超大数集．     

一类对称拟定系统的数值方法

证明了对称拟定系统的Schur补问题等价于一个广义最小二乘问题，并基于一种双对角化过程(GKLB过程)推导出了解系统(1)的一种新的迭代算法——LSQR(A^-1，C)方法，该方法不需要求出A和C的Cholesky因子．数值结果表明，与传统的方法(如SYMMLQ方法)比较，该方法有更快的收敛速度．     

一些简化的NP完全实例类

(k，s)-SAT是命题满足性问题限制在一种特殊的命题公式上，该命题公式具有每个子句只有k个不同的文字且每个变元出现的次数少于s次的特点。已经验明对于正整数k，s存在一个指数函数f，满足：对任意s≤f(后)，所有的(k，s)-SAT例都是可满足的，而(k,f(k)-SAT却是一个NP-完全问题。目前为止，只知道f(3)和f(4)的精确值．对于，是否可计算是一个仍未解决的问题．由于每个满足某种条件的数值序列对应一个MU(1)中的公式，在[2]中，作者S．Horry和S．Seizder通过对数值序列的运算来构造(k，s)-SAT中的MU(1)公式例，得到了函数厂的可计算上界函数。但当k比较大时，该方法不太实用。作者定义了一种树规则来减少数值计算的步数，得到了一个确定的实用的算法来计算函数f的上界，该上界接近[2]中的上界，同时，也得到了一些NP-完全满足性问题类。     

逆包络法及其应用

逆包络是指已知包络面(线)方程，而要求形成该包络的曲面族中一个曲面(线)的问题，本文集中介绍了求解逆包络问题的7种方法，并介绍他们各自的应用和当注意的问题．     

最小基数箱子覆盖问题及其启发式算法

研究了一个新颖的装箱问题，即最小基数箱子覆盖问题(Minimum Cardinality Bin Covering Problem)，证明了该问题是强NP-完备的；在物件大小满足一定的条件下，给出了一个时间复杂度为O(n)的启发式算。     

命题逻辑中一类扩展子句消去方法

随着计算机求解问题越加复杂，问题在转化为命题逻辑子句集包含的冗余信息也越来越多，浪费计算机大量的储存空间和搜索解的时间，因此，对于冗余信息的删减有助于提高计算机求解问题的效率．针对命题逻辑子句集化简问题，在原有冗余性质P、RP基础上，提出多种扩展的、具有性质HRP、ARP的子句消去方法，并通过将不对称文字添加前置方法与命题逻辑集合封锁(SET_BC)、蕴涵模归结原则(IMR)结合，分别提出不对称集合封锁(ASET_BC)消去方法和不对称蕴涵模归结(AIMR)原则．最后，提出L-集合蕴涵模归结(L-SET_IMR)原则和L-不对称集合蕴涵模(L-ASET_IMR)原则．所提出的方法丰富了命题逻辑中冗余性子句消去理论和方法．     

陕西省纺织工业现状剖析及发展对策

研究表明，陕西纺织存在着企业亏损严重，资产负债率过高，融资困难，负担沉重等问题，产生的原因在于产业结构不合理，缺乏活力，人才流失严重，观念落后，创新意识不强，产权改革力度不大等，基于陕西纺织工业的现状及存在的问题，认为应采取以下措施来巩固和确保纺织工业作为陕西支柱产业的地位：(1)进行观念创新，营造有利于发展的市场竞争文化氛国和投资环境；(2)推行制度创新，大力发展非公有经济；(3)调整行业结构，优化产品结构；(4)确立合理区域结构；(5)实施企业信息化建设；(6)培养、吸纳、用好各种人才；(7)注重战略研究，建立专业市场，加强产学研结合。     

罚金函数φ（u）的近似计算

罚金函数的计算问题是精算数学有待深入探求的一个问题；为此，本文在文献[1]、[2]工作的基础上，用Laplace变换、罚金函数φ(u)的更新方程和经典的极限理论，就此问题进行全面较深入地探讨，获得了罚金函数φ(u)几个初等函数近似表达式，使φ(u)的计算成为可能；同时获得了精算数学推广的Lundberg公式．本文的结果为φ(u)的鞅计算打开了大门。