图的曲面嵌入

提供了曲面的一种多边形表示，它虽然由多面形表示演化而来，但使得图的曲面嵌入的存在性、计数、确定最大亏格等问题变得十分简单。多面形表示源于Heffter^[1],Hilbert和Cohn—Vossen提出过引线问题并将它与Heawood的地图着色猜想联系^[2]，经过近百年直至Ringal等获得证明^[3,4]。Edmonds(1960)^[5]的多面形表示曾被广泛引用．但30余年后，才发现是Heffter的对偶形式。虽然多边形表示始于本文作者的专著^[6,7]，但至今才发现它在处理上述问题的效力。这就导致此文并为过渡到组合地图理论搭起一座桥梁。     

Pt／C电催化剂碳载体热处理条件和性能研究

采用浸溃还原法，优化碳载体热处理条件，制备出具有高分散性、平均粒径为3．3nm的Pt／C电催化剂．通过TEM、XRD方法对催化剂进行结构表征；利用Pt／C薄膜电极结合CV法评价了电催化剂的性能，测试结果表明，采用Vulcan XC-72碳黑，在600℃下、氮气(或氩气)中进行热处理，所制得的Pt／C电催化剂对氧还原反应具有良好的电催化活性。     

Building of hFⅨ transgenic mice by spermatogenic cells

Human FⅨ expression vector pCMVⅨ was packaged by effectene^TM reagent and injected into mice seminiferous tubules with glass pipettes.The expressional frame of pCMVⅨ was examined by PCR and Southern blotting among 41 progenies.There were 2(4%) mice being integrated with hFⅨ gene into chromosomes.4.6ng/mL of hFⅨ protein was expressed in plasma of one mouse,which was tested by ELISA.We demonstrated that building of transgenic animals by spermatogonial stem cells is an efficient method.Meanwhile,it has also been proved to be an alternative choice for mammary gland bioreactor.     

浅谈科技社团在政府职能转换中的定位

加入WTO对科技社团带来了新的机遇和挑战。本文通过对科技社团功能作用及趋势发展面临挑战的分析，说明科技社团的发展在于积极争取政府职能。同时，科技社团只有加强自身建设，抓住机遇，做好承接政府职能转移的大文章，才能增强实力，赢得发展。     

古汉语颜色词刍议

颜色是一种抽象的物质，人们难以用具体的符号来描摹，所以导致作为颜色载体的颜色词大都是从具有这种颜色的物体的名词转化而来。古人将颜色分为正色与间色，所以又导致古汉语颜色词具有浓郁的感情色彩。     

计算网格的抽象定义

计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

创新思维与新闻写作

创新是新闻写作的生命 ,要实现校报新闻写作的创新 ,就要突破思维定式 ,培养创新思维 ,以创新思维去实践校报新闻内容、新闻形式、新闻语言的创新。     

同源重组在染色体DNA基因克隆中的应用方法

同源重组是生物界普遍存在的现象，从噬菌体、细菌到真核生物都有能发生同源重组的种类。如何把同源重组应用到基因克隆中成为近年来生物学家研究的热点。本文从宿主细胞的改造、重组功能的诱导、感受态细胞的制备、线性同源载体的获得及重组体的鉴定等几个方面具体叙述这种基因克隆的新方法，从分子水平上较为详尽地介绍了同源重组在染色体基因克隆中的应用、前景展望及存在的局限性。     

农业产业化经营组织形式问题及其完善的对策

农业产业化经营组织形式是产业化发展的载体,它的健全和完善就是产业化发展的健全和完善。我国是一个以千家万户为生产经营单元的农业大国,存在生产规模小、经营分散、信息不灵、和市场脱节等弊端,在加入WTO后,难以参与国际市场的竞争。如何把农民组织起来、引导农业进入市场、参与国际竞争、探索新形势下农业产业化组织形式,意义特别重大。一、国外的农业产业化发展与组织形式发达国家的农业一体化经营兴起于20世纪50年代初,是在市场经济充分发育成熟、农业实现了现代化和高度商品化的技术与经济条件下产生的。当时发达国家面临食品消费…