有单位元可消可换半群的单一分解性

本文论证了有单位元的,可消可换半群的单一分解性并简要讨论.     

生物亲合超滤HPLC/ESI-MS快速筛选抗癌活性成分的研究

建立了一种生物亲合超滤新方法，以解决抗癌活性物质的快速筛选问题。生物亲合超滤法的设计是拓计扑异构酶Ⅱ（TOPOⅡ）作为靶酶，对蒽环类的拓扑异构酶抑制剂阿霉素和柔红霉素进行筛选，并以调血指药物普伐他汀作为对照，结合高效液相色谱和质谱技术对筛选出的物质进行快速分析，取得了较好的结果。     

植物抗盐的研究进展

植物抗盐研究内容涉及从盐害信号的识别，信号转导直到基因表达的调控，最后表现为离子平衡和水分平衡的重建，及渗调物质的合成和其他生理生化变化的个个方面，植物抗盐是多基因调控的综合性数量性状。     

武汉机场飞行区土方调配大系统优化方案研究

武汉机场是国家重点建设项目。本文提出了机场飞行区土方工程的最优调配问题。它是一个规模庞大的大系统最优规划, 变量多达一千四百九十六个, 一般计算机容量已不够。为此, 在工民建施工领域首次提出了大系统土方调配优化数学模型进行优化, 得出的优化方案可节约经费1073441.29元。所建立的大系统土方调配优化数学模型对工民建等大型土方调配优化有普遍的应用价值。     

子群是正规子群的一个充分条件

判断子群是否为正规子群有多种方法,本文从有限群与其子群阶的关系上,给出子群是正规子群的一个充分条件。     

系统设计的正式方法和模型

微电子设计的规模和设计能力之间的鸿沟正在越变越大，需要工具和技术去填补这一鸿沟。另外，我们也需要更新颖的方法以使理论能变为实际。本书正是出于这个目的而编写的。全书总结了以往各种正式的结构分解、抽象和精练的方法，重点强调了系统的行为和结构特性。书中的内容是以一系列学术论文的形式呈现给读者。论文的作者都运用自己的正式方法以完成软硬件设计，提供开发方法和工具的优化，或形成理论公式。     

彩电新产品研发的阶段评审

1、研发的定义 研发（R＆D，Research And Develop）包括了科学研究和技术开发工作。研究是一个重要的科学调查、实验与分析过程：开发则是运用科学知识对基本思想、基本原理来作进一步的发展．以产生一种满足市场需求的新的物质形态——产品．它是研究的变现手段。     

分解炉虚拟样机的开发

以水泥生产过程中的分解炉为对象，分析了分解炉内具体的物理化学过程，同时开发了反映分解炉工作过程(流体力学、燃烧学、分解动力学、颗粒动力学)的数学模型，借助数值模拟方法进行了分解炉虚拟样机的开发，为分解炉的设计与开发提供了试验平台。     

物质的家族数

CERN和SLAC用正负电子对撞实验证明宇宙间的基本粒子只有三个家族,它们是怎样得到证明的?我们周围的宇宙由三种基本粒子组成,它们是"上"夸克,"下"夸克和电子。恒星,行星,分子,原子,甚至人类本身,都由这三种物质组合而成。它们与电子的中性的而且可能是没有质量的伙伴-电子中微子构成物质的第一个家族。