伪度量(L)*-Lindenbaum代数中基本运算的连续性

研究了伪度量L*-Lindenbaum代数中基本运算的连续性．结果表明，Fuzzy命题演算系统L*中的全体公式集上的伪度量可以在L*-Lindenbaum代数M上诱导出一个伪度量ρ，证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的．这为在(M，ρ)上建立近似推理理论提供了方便。     

系统BIOS中Logo模块的研究与实现

在对基本输入输出系统(BIOS)代码分析的基础上，给出了系统BIOS与Logo模块的关系，讨论了Logo模块中图像文件格式的选取、解压缩、显示及其与系统BIOS的集成等关键技术．结合实际嵌入式系统平台，考虑到易于实现和显示速度，提出了改进的PCX图像显示方法，并给出了Logo模块的具体实现过程．     

葛根总黄酮对大强度耐力训练大鼠不同组织Mg2+-ATPase活性的影响

以成年雄性Sprague Dawley(SD)大鼠为研究对象，通过递增强度跑台训练建立大强度耐力训练运动模型，研究了葛根总黄酮对大强度耐力训练大鼠对心肌、肝脏、肾脏、脑和股四头肌组织的Mg^2 -ATPase活性的影响．结果表明，葛根总黄酮能使耐力训练大鼠心肌、肝脏、肾脏、脑和股四头肌组织的Mg^2-6ATPase活性显著升高，具有提高细胞膜泵的工作效率，增强膜维持胞内外离子分布与平衡的功能．     

基于数据仓库的车辆销售辅助决策系统

针对四川省制造业信息化示范企业--某车辆制造厂的营销管理,用数据仓库设计开发了车辆销售辅助决策系统.介绍了数据仓库的设计模式和结构,分析了设计流程、逻辑结构、特点及其相关技术,利用多维立方体生成多维清单视图,将数据仓库中的有关车辆信息和销售信息传送到销售辅助决策系统中,成功地实现了数据仓库在车辆数据挖掘营销管理系统的应用.     

一类带有扰动的不确定切换系统的鲁棒镇定

研究了一类带有非线性扰动的不确定切换系统的鲁棒镇定问题．利用完备性条件，得到了不确定切换系统渐近稳定的一个充分条件．基于LMI方法，设计出鲁棒状态反馈控制器及相应的切换策略，使得闭环系统在其平衡点处是渐近稳定的．     

一类基于比率和具有时滞的非自治的捕食者饵系统的周期解

研究了一类基于比率和具有时滞的非自治的捕食者食饵系统．利用重合度理论，得到了该系统周期解存在性的充分条件．     

最优和最小能量最优跟踪问题

以广义逆矩阵的理论和Bellman动态规划方法为基础,给出了离散线性时变系统最优和最小能量最优跟踪问题的两种形式的解,对每一种情形,还给出了最小跟踪误差和最小控制能量的简洁表达式.     

基于短信息平台的教务信息查询系统研发

介绍短信息查询系统的原理、设计和实现。本系统利用Java通信事件机制，以PDU模式接收短信并解码，把符合查询条件的短信传递给数据库操作线程，经处理后的结果利用管道流技术传递给短信息发送线程，然后以Text模式发送短信息。     

网络智能排课系统

提出了基于Web的网络智能排课系统的解决方案，介绍了网络排课系统的功能、系统设计以及人机交互的实现，讨论了网络排课系统的实现策略、对系统文件及数据库的保护、系统的安全性等．     

可重组制造系统及其关键技术

分析了多品种、变批量的生产方式对制造系统的要求,对适应这一发展趋势的可重组制造系统（reconfigurable manufacturing system,RMS）的特性和组成进行了描述,提出了可重组制造系统的结构和设计原则,将可重组制造系统的关键技术归纳为布局规划与优化技术、系统建模技术、可重组机床设计技术、模块化控制器技术、可拼接物流技术、构件集成和整合技术,以及系统快速可诊断技术并分别予以阐述.