一类可分离的非线性0-1背包问题的分枝定界算法

构造出了一类可分离非线性0-1背包问题的分枝定界算法．分枝的过程是酱通的0-1变量分枝，用简单的取整启发式法确定更好的可行解；而在每个分枝结点处用线性松弛技术确定了它的子问题的一个线性规划松弛逼近。由此得到最优值的一个下界．数值结果表明所提出的算法是有效的．可以求解中等规模的问题．     

新型钴基耐热合金高温流变变形行为

在Gleeble-1500热模拟机上,采用等温压缩试验,研究了一种含Ti和Al的新型钴基耐热合金在850~1150℃温度范围的压缩变形行为.实验结果表明:该合金具有良好的抗高温流变性能,在850℃及应变速率0·0021~2·1s-1范围时其峰值流变应力可以达到360~475MPa.合金的流变行为可用Zener-Hollomon参数来描述.     

“无穷”的困扰与“极限”的精确定义

“无限”、“无穷”问题始终在考验和折磨着人类的智力，该问题遍及人类智力范围的所有领域．我们生活在有限的空间里，通过有限的手段和方法对无限开始不懈的追求．这个“魔鬼”无处不在，数学家们历经千年的磨砺，直到19世纪柯西和魏尔斯特拉斯给出极限的精确定义，才完成“降魔”过程，令人惊异的是它竟然有着天使一样美丽的脸庞．     

任楼煤矿隐伏导水陷落柱的快速判识与探查

1996年任楼煤矿首采面曾因隐伏导水陷落柱突水，引发淹井灾害，造成3．5亿元的重大经济损失。治水复矿后，1999年又在7218工作面机巷迎头出现淋水，初始水量不大，但依据水温、水质快速判识突水通道是隐伏导水陷落柱，运用物探和钻探相结合的综合探查方法确定了陷落柱位置，为地面布孔注浆彻底封堵陷落柱提供了保证，避免了一次重大突水淹井事故。     

小麦谷蛋白亚基的快速提取分离及SDS-PAGE分析

用70％乙醇和50％异丙醇除去醇溶蛋白，以二硫苏糖醇(DTT)为还原剂，在50％异丙醇，0．08mol／L Tris-HCl(pH为8．0)缓冲液中提取总麦谷蛋白亚基，加入丙酮至浓度为40％时，高分子量麦谷蛋白亚基(HMW-GS)沉淀析出；继续加入丙酮至80％时，析出低分子量麦谷蛋白亚基(LMW-GS)．在3．3％浓缩胶和10％分离胶的不连续体系中进行SDSPAGE电泳，结果表明，该方法可以有效地除去醇溶蛋白对麦谷蛋白亚基电泳分析的背景干扰，HMW-GS和IMW-GS的提取、分离一步完成，操作简便，时间短，对大量小麦样品的HMW-GS和LMW-GS可以快速分离、提纯和鉴定．     

一类非线性波动方程解的存在惟一性

证明了一类非线性波动方程解的存在惟一性。首先利用Galerkin法构造了近似解序列，然后利用一致先验估计，证明解序列的收敛性，从而得到解的存在性，在此基础上证明了解的惟一性。     

基于CORBA的分布式异构数据模型优化研究

提出了一个基于CORBA中间件的分布式多层异构数据库信息共享结构模型,在该模型中将数据库的访问集成到CORBA中间件中,并重点提出了一种对数据库的操纵以及应用服务器与数据库服务器连接的优化策略和设计方法;笔者采用Java和CORBA技术结合的方法构建分布式异构系统,以解决系统的通信及交互性、安全性、扩展性问题,从而实现了一个不依赖于表示层编程语言的透明访问机制.     

关于内有限群的性质

研究了非交换的内有限单群,得到了非交换的内有限群的一些特殊性质.特别得到了:设G是由a和a′生成的非交换的内有限群,且G是类正规的,则a和a′都不是对合.     

神经毒素MPP+诱发PC12细胞凋亡的实验研究

采用细胞体外培养、噻唑蓝(MTT)比色法、荧光染色技术、透射电镜、流式细胞技术结合的方法,研究了神经毒素MPP 对PC12细胞增殖和凋亡的影响,为进一步研究药物的神经保护作用提供实验模型.结果表明,MPP 对PC12细胞的诱导凋亡作用呈时间和剂量相关性.0.20mM的MPP 作用于PC12细胞48h后,细胞的存活率降低为60%,细胞核发生凝集和断裂,超微结构发生了一系列的变化,呈现出明显的凋亡特征.流式细胞技术的Annexin v-FTTC和PI双染法显示,活细胞占20.2%,晚期凋亡/坏死细胞占51%,早期凋亡细胞占6.75%.提示,MPP 能够诱导PC12细胞凋亡,是研究神经保护作用药物很好的体外实验模型.     

我国互联网的发展现状及其对图书馆的影响

论述了我国互联网发展的现状，探讨了网络环境对图书馆的信息资源建设、读者服务、业务组织结构、人员素质等方面的影响。