井下采选充一体化智能运输管控系统设计

针对井下采选充一体化开采技术的发展,为了提高其智能化的水平,加强监测和控制,利用现有的传感技术、计算机网络技术、信息综合处理技术等,构建运输设备“三位一体”的智能运输管控系统。智能运输管控系统基于小波分析和模糊神经网络实现对运行设备的智能实时监测,对设备故障能及早发现并报警,通过专家知识库对设备故障进行分类、存储。从而为解决设备故障提供技术支持。现场实验结果表明智能管控系统可有效地监测设备,对设备故障有一定的预测性,满足井下采选充系统的要求。     

高等数学复习题变式多解的研究

课本习题的改造是“数学探究”的重要渠道．高等数学课堂教学的核心任务主要是培养学生的思维探索能力，数学思维探索能力的提高在于选题、变式、解题质量的提高，而非选题、变式、解题的数量的增多．选题要把握“三原则”、变式要多角度．这样，不但可起到沟通各知识的纵横联系，而且能促进解题策略的逐步优化，培养学生的思维能力、分析问题和解决问题的能力．     

以问题解决为中心发展学生的辩证思维能力

以问题解决为中心培养学生的辩证思维能力,是以数学思维的问题性、数学知识的问题链结构,问题解决思维过程的辩证性为认识基础的。实施以问题解决为中心的数学教学的基本方法是（1）建构问题解决教学模式,（2）建构问题分类系统,（3）建构问题解决恩维模式,（4）建构基于问题的推理模式,（5）建构问题解决元认知调控策略体系。     

Gene association study with SVM, MLP and cross validation for diagnosis of diseases

Gene association study is one of the major challenges of biochip technology both for gene diagnosis where only a gene subset is responsible to some diseases, and for treatment of curse of dimensionality which occurs especially in DNA microarray datasets where there are more than thousands of genes and only a few number of experiments (samples). This paper presents a gene selection method by training linear support vector machine (SVM)/nonlinear MLP (multi-layer perceptron) classifiers and testing them with cross validation for finding a gene subset which is optimal/suboptimal for diagnosis of binary/multiple disease types. Genes are selected with linear SVM classifier for the diagnosis of each binary disease types pair and tested by leave-one-out cross validation; then, genes in the gene subset initialized by the union of them are deleted one by one by removing the gene which brings the greatest decrease of the generalization power, for samples, on the gene subset after removal, where generalization is measured by training MLPs with leave-one-out and leave-4-out cross validations. The proposed method was tested with experiments on real DNA microarray MIT data and NCI data. The result shows that it outperforms conventional SNR method in separability of the data with expression levels on selected genes. For real DNA microarray MIT/NCI data, which is composed of 7129/2308 effective genes with only 72/64 labeled samples belonging to 2/4 disease classes, only 11/6 genes are selected to be diagnostic genes. The selected genes are tested by classification of samples on these genes with SVM/MLP with leave-one-out/both leave-one-out and leave-4-out cross validations. The result of no misclassification indicates that the selected genes can be really considered as diagnostic genes for the diagnosis of the corresponding diseases.     

复杂系统的诊断问题求解——一种基于知识的方法

本文提出了复杂系统的诊断问题求解的一般性概念并深化了文献[1]中的结论,即得到了更为有效的诊断策略与具体诊断方法,最后提出了一个基于知识的汽车发动机诊断系统。     

重在创造力培养的生物技术专业英语教学实践

针对生物技术专业英语教学的现状和特点,综合运用当代教育心理学的学习理论和创造思维理论,通过教学实践,对本科和研究生生物技术专业英语的教学方法进行了多方面探讨,提出了强调问题解决学习方式的整合教学策略。     

甲病毒诊断方法的研究进展

甲病毒是一类以蚊虫等吸血节肢动物为传播媒介,引起人畜疾病的重要病原体.随着全球气候和生态环境的改变,近几年许多甲病毒病呈现渐盛的状况.据病毒种类和宿主不同,引起疾病的症状也不同,一些发热原因不明的患者也往往与该类病毒感染有关,因此对甲病毒感染的早期诊断技术研究具有重要的意义.目前,甲病毒的诊断主要依靠病毒分离、血清学和分子生物学等诊断方法,文章就近年来国内外甲病毒诊断方法的最新研究进展作一综述.     

微积分中几类典型问题的解题定式与范例

无穷小量阶的问题用等价无穷小代换定阶法、泰勒公式（Taylor）定阶法、求导定阶法解题;函数零点或方程实根或两曲线交点的存在性问题,要先找函数再定区间,然后用介值定理或罗尔定理;积分区间关于原点对称的定积分,要想到考查被积函数及其代数和的每一部分是否具有奇偶性;被积函数为周期函数的定积分,要想到考查积分区间是否为整数倍的周期,以简化计算。     

用于印制板电路诊断的自动探测技术研究

印制板电路(PCB)的诊断测试是自动测试系统(ATS)的基本功能之一，在采用自动探测技术后将有效地克服传统人工探测方式存在的一些缺点。简介了传统PCB诊断测试方式的不足和程控自动探测设备的工作原理，重点阐述了自动探测技术在陆军电子装备通用自动测试系统(GATS)的PCB诊断测试中的应用，并结合实例讨论了自动探测相对人工探测的优越性，最后说明了自动探测设备的其它功能开发。     

直觉思维与数学解题能力相关性调查研究

通过对高职类学生直觉思维的调查,探求直觉思维与数学解题能力之间的相关系数,分析影响相关系数的某些因素。