关于Farkas引理证明的一点注记

许多关于非线性规划的专著,如[1]、[2]、[3]等,在证明Farkas引理时都蕴含地用到:“有限生成的凸锥(finitely generated convex cone)为闭集”这样一个事实,但都忽略了对此作出证明。本文旨在于非线性规划的内容范围内证明这一重要事实,从而对上述专著中Farkas引理的证明作出补充。     

蛛网膜下隙出血76例临床分析

蛛网膜下隙出血(SAH)是临床急症之一,是脑血管病中的常见类型.自1993年1月至1998年12月共收治蛛网膜下隙出血76例,现分析报告如下:     

试论图书馆知识创新

章对图书馆与知识创新的关系，图书馆知识创新的具体形式，图书馆知识创新的具体方法进行了一定地分析，指出了网络环境下图书馆知识创新的应对之策。     

一类非线性规划问题的等价性证明

给出了非线性规划问题中目标函数单调变换前后的一个等价性证明.     

地表移动破坏裂缝特征及其控制方法

通过分析地下开采的影响，黄土覆盖层变形裂缝规律，提出以开采方法和工艺方式来控制或减弱地表变形裂缝破坏程度，并在保护地表建筑物的前提下，最大限度回收“三下”呆滞煤炭     

矿区铁路专用线下综采放顶煤开采的试验研究

介绍了国内第一个综采放顶煤开采矿区铁路线下压煤试验面的成功经验，总结了试采中对铁路所采取的各种分析和维护措施，分析了该采煤方法下的地在移动和变形特点，为我国“三下”采煤领域提供了具有特色的成功实例。     

基于PC的电机云母槽自动下刻机测控系统的设计

采用工业用计算机实现自动下刻电机云母槽测控系统的设计方法.在加工工艺允许的情况下,系统采用接触式的检测方法能降低成本,提高可靠性,并提高其自动化的水平.在软件设计上,系统由找槽控制算法和下刻深度算法双闭环控制组成,槽控制算法与下刻深度算法之间相互切换直到加工完电机的所有槽.     

一类非线性分式规划问题的最优性条件和对偶

在(F,α,,ρd)-凸和广义(F,α,,ρd)-凸的基础上,讨论了一类非线性分式规划问题的最优性条件和对偶,获得了Kuhn-Tucker最优性充分条件及对偶问题的弱对偶结果.