Todd-Coxeter算法的证明

提出了Todd-Coxeter算法在有限步内终止的条件,并作出了论证.结论可以作为Todd-Coxeter算法应用的理论依椐.     

Bluefin Tuna

系统以eBox4300和WinCE为核心，集单片机、传感器、短波通信、太阳能供电、GPS导航、远程监控等多项技术于一体。硬件上。集成了太阳能电池板、单片机控制电路、GPS装置、短波收发装置、视频采集装置、船壳及舵机等；软件上，运用到了C#编程语言和Visual Studio 2005等工具；功能上，实现了自动导航、自动避障、实时数据采集、水样采集、视频监控、特殊点定位、水上救援等功能。该作品可应用于湖泊、海洋及恶劣水域的环境监测和渔业资源开发等方面。     

Nicotinic Acetylcholine Receptor α4 Subunit Gene Variation Associated with Attention Deficit Hyperactivity Disorder

Previous pharmacological, human genetics, and animal models have implicated the nicotinic acetylcholine receptor α4 subunit (CHRNA4) gene in the pathogenesis of attention deficit/hyperactivity disorder (ADHD). The objective of this study is to examine the genetic association between single nucleotide polymorphisms in the CHRNA4 gene (rs2273502, rs1044396, rs1044397, and rs3827020 loci) and ADHD. Both case-control and family-based designs are used. Children aged 6 to 16 years were interviewed and assessed wi...     

智能露点检测仪检测方法的研究

介绍了双探头α透射式智能露点仪的工作原理,不同的仪表控制方案有其不同的控制精度和收敛速度,使用于不同的应用领域.着重说明了采用温度平衡动态扫描控制方式进行露点测量的实验方法和特点,并给出程序流程图.实验表明,该方法准确性高,稳定可靠.     

政府数据门户网站及其数据集的建设研究

政府数据门户网站发展及意义 随着电子政务的发展,政府各个部门聚集了大量的数据.如何让公众通过一个入口,更便利地获取自己感兴趣的数据集呢?更进一步,如果一个软件爱好者要对来自不同部门的多个数据集进行整合(marshup),建立有意义的关联,政府的信息主管(CIO)能提供一个相关的数据基础设施(data infrasture)吗?     

燃煤电厂12万吨／年二氧化碳捕集装置研制及工程示范

由CO2等温室气体排放带来的气候变化问题已成为全世界关注的焦点。目前，我国已是CO2排放最多的国家之一，减排形势非常严峻。燃煤电厂CO2排放强度大，相对集中，在电厂进行CO2的捕集是实现CO2减排非常有效的途径之。中国华能集团成功研制和建设了燃煤电厂12万吨／年CO2捕集示范工程，于2009年年底投入生产运行。该工程是燃煤电厂CO2捕集技术率先在我国的大规模应用，也是目前世界上大型的燃煤电厂二氧化碳捕集工程。     

高炉开铁口机的轴压扭矩分析

通过对开铁口机轴压扭矩的分析和研究，得出了在旋转钻进过程中增加冲打是提高钻进速度的有效手段，当激振力为10kN，送进力取1.5～4.5kN时，冲打作用能够使钻进速度比不冲打时提高约1.5～2.5倍，平均扭矩约为不冲打时的1/4～1/2。     

Lebesgue测度与Lebesgue积分的简化定义

给出了Lebesgue测度与积分的简单定义，并通过此定义作出了一系列命题的简单证明，对Lebesgue积分取代Riemann作了初步的探索尝试。     

关于多项式带余除法定理证明的注记

利用最小数原理，给出了多项式带余除法定理证明的注记，将整数的带余除法定理和多项式的带余除法定理的证明方法联系起来。     

高校学生业绩评价的多目标最优化数学模型及其多种解法

建立了高校学生业绩评价的数学模型 ,运用多目标最优化方法给出了其多种解法和一个Qbasic源程序。