利用卡诺图快速化简逻辑函数的方法

该文分析了利用卡诺图法化简逻辑函数的基本原理，并根据自己的教学实践，提出了快速画出逻辑函数的卡诺图及由卡诺图快速化简逻辑函数的方法。     

基于OpenGL"虚拟胶州"系统设计与实现

从工程的角度，阐述了虚拟现实技术在数学城市建设中的一个应用实例-“虚拟胶州”系统的设计思想和实现方法，对本系统的各项功能，软硬件要求，外业数据的采集，内业模型的建立，浏览程序的编制及系统的应用做了较为详细的分析和阐述，该系统基于OpenGL和Visual C 6.0自主开发完成，可应用于城市三维动态浏览，城市管理，城市规划和房地产开发等领域。     

一类三阶微分方程的奇异非线性边值问题

利用锥不动点定理得到了一类三阶微分方程的奇异非线性边值问题: -(p₁(x)(p₂(x)y′)′)′=f(x,y), y(0)=y′(0)=y(1)=0正解的存在性, 其中p_i(x)∈Cⁱ(0,1)存在有 限多个零点的非负函数.     

带改进型Trombe墙体的热箱热性能的实验测定和分析

针对现行的带Trombe墙体太阳房早晨室内升温速度较慢的缺点，利用可对比热箱，建造了带有新型竖置透明蜂窝的改进型Trombe墙体．对改进型Trombe墙体及热葙的整体热性能进行了对比测试，并做了热箱内无蓄热材料与有蓄热材料时的对比测试，实验结果表明该墙体比传统的Trombe墙体室内升温速度快，热利用效率高．     

Finsler几何中Cartan联络的存在性

用纤维丛理论证明Ｃａｒｔａｎ联络的存在性。先利用对偶原理，指出Ｆｉｎｓｌｅｒ联络（Ｔ，Ｎ）可改由一次微分式ω＾ａ ｂ，（θ＾ｕ）＾ａ确定，然后提出ω＾ａ ｂ（θ＾ｖ）＾ａ的系数Γ＾ｉ ｊｋ，Ｃ＾ｉ ｊｋ及Ｎ＾ｉ ｊ应满足的充要条件，最后验证了由Ｃａｒｔａｎ联络的５条公理得出的函数组Γ＾ｉ ｊｋ，Ｃ＾ｉ ｊｋ，Ｎ＾ｉ ｊ满足这些条件，从而证明了Ｃａｒｔａｎ联络的存在性。     

苏通大桥斜拉桥静力稳定分析的综合比较研究

结合苏通大桥科研专题与国际咨询审查成果，系统地就国内外研究中对大跨度斜拉桥静力稳定分析中所采用的加载方式、判定准则及其结论上的异同等关键问题进行了综合比较和分析研究，并指出一些亟待进一步探讨的问题．     

将丢失的硬盘空间找回来

大容量硬盘以其较好的性价比越来越受到用户的欢迎，但在很多情况下，硬盘也会不同程度地丢失空间．如何解决这些问题，文章从几种容易造成硬盘空间丢失浪费的情况下进行了简单的分析．     

溶液及电极表面性质对肾上腺素电子转移性能的影响

采用循环伏安法研究了肾上腺素在不同pH缓冲溶液中和不同铂电极表面上的电化学行为.实验结果表明,在不同pH值的Britton-Robinson缓冲溶液中及不同铂电极表面上,肾上腺素的循环伏安曲线中出现不同的氧化还原峰;而且在乙酸-乙酸钠、Britton-Robinson这两种不同的缓冲溶液中,随溶液pH值的变化,肾上腺素的氧化峰电流也呈现不同的变化规律.     

影响卸荷岩体边坡稳定性的参数敏感性分析

根据系统分析的原理，对影响卸荷岩体边坡稳定性的的参数c、f、ε进行了敏感性分析，特别考虑了卸荷作用及卸荷方向对岩体边坡稳定性的影响，结果表明，在卸荷岩体边坡稳定分析中卸荷的影响是不可忽视的．