线性代数：研究生必备，第二版

本书是一本高级线性代数教材。线性代数是充满活力的经典数学分支之一，无论在纯粹或应用数学、物理和工程、计算机科学及社会科学中都有广泛应用。由于现在流行的线性代数教材在理论深度和取材范围上的局限，一些专业的研究生在对理论证明和数值算法的理解上都存在某些不足。     

辅助生殖新技术

20世纪70年代末到80年代初，各国学者开始重视不孕症的问题。近年来有报告指出，男性精子在精液中的浓度有下降趋势，电影和书本中也开始营造未来社会不孕症流行时的恐慌场景。那么，为什么会产生不孕症？越来越先进的医疗水平、日新月异的生殖医疗技术能否给那些想要孩子却不能的夫妻们带来福音？[编者按]     

河南省城乡一体化发展水平评价

<正>2003年初,在中央农村工作会议上,胡锦涛总书记提出了统筹城乡经济社会发展,实现城乡一体化的要求。随后,全国各地相继展开了推进城乡一体化的试点工作。2006年6月12日,河南省人民政府也下达了《关     

蛋白质产品发展新趋势

国人对健康的关注，从来没有像近几年那么迫切。对于大多数国人来讲，吃的是口味，而对健康而言，营养必须被重视。令人欣慰的是，越来越多的国人在饮食之外定期补充营养品开始成为一种习惯，他们因此提高了体内的营养水平，改善了亚健康，提升了精力，从而有了更好的生活质量。     

基于国际三大检索系统的天津科学发展水平分析

以2000-2004年国际三大权威检索系统Web of Science（含SCIE,SSCI和A＆HCI）、EI和ISTP收录天津市作者发表论文为样本,分析了天津市基础研究产出的作者、机构、引文、合作、发表刊物及其影响因子等状况,提出了天津市增强基础研究影响力应采取的对策.     

桥式起重机水平刚架结构的设计计算

为桥式起重机金属结构设计中,全面、准确地考虑水平载荷的影响,本文介绍了桥式起重机在惯性力、风力、偏斜侧向力作用下,水平刚架结构的计算简图和准确、简单的内力计算式。方便了设计,提高了计算精度,可供设计选用。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

脑梗塞急性期胰岛素与血糖水平的研究

选择158例脑梗塞患者为观察组，另选择100例非脑梗塞患者为对照组。24h内抽取两组患者的静脉血测定空腹胰岛素值、空腹血糖值，并计算出胰岛素敏感性指数。对两组的胰岛素值、血糖及胰岛素敏感指数进行统计学比较。结果表明，观察组胰岛素水平、血糖水平明显高于对照组（P＜0．01），胰岛素敏感性指数明显低于对照组（P＜0．01），脑梗塞急性期胰岛素及血糖水平增高，胰岛素敏感性指数降低。     

开发植物绿色农药刻不容缓

我国是一个农业大国，人世为我国农产品的出口打开了方便之门，而农药残存超标是一大障碍，随着人们生活水平的日益提高。人们对饮食安全和环境保护提出了更高的要求。为此，开发植物绿色农药刻不容缓。