集对逻辑及其运算定律

解决现行的集对联系函数四则运算中存在的不确定性问题与逻辑谬误.分析联系函数与模糊隶属函数在表达事物之间联系的相似性,借鉴模糊逻辑的基本方法,定义了以联系度为真值形式的集对命题,进而给出集对逻辑的析取、合取、取否运算法则,建立了集对逻辑的基本框架.在此基础之上,分析了集对逻辑运算的七大运算定律:对合律、幂等律、交换律、结合律、分配律、吸收律和摩根律,由此证明集对逻辑运算构成的代数(S,,,)为软代数.     

Visual C++对SolidWorks的二次开发方法

针对目前普遍开发三维CAD系统的需要，讨论了对三维绘图软件SolidWorks进行二次开发的方法，并结合实例重点阐述利用Visual C 6．0编程语言开发SolidWorks动态连接库DLL的步骤和编程方法，所开发的DLL实现了于SolidW0rks的无缝集成，对相关三维CAD软件的开发是一种启示和借鉴。     

微处理机应用系统容错设计之实例分析——温控仪容错设计

在微处理机应用系统容错设计理论的基础上,采用了过程通道、 Ｒ Ａ Ｍ 的备用容错以及系统恢复和重入技术,对温控仪容错进行了设计．     

准双曲面齿轮设计加工集成系统的开发

运用VC^ 、MATLAB和AutoCAD二次开发工具ObjectARX2000，开发了准双曲面齿轮设计、加工与分析的集成系统。该系统根据设计的初始参数，在完成齿坯设计、强度校核的基础之上，在大轮的凸面和凹面上进行轮齿接触分析，对接触印痕、几何传动误差进行一阶与二阶修正，然后自动启动CAD进行绘图，并将最终的调整卡计算数据输出，实现切齿机床调整和切齿后轮齿的测量、检验、修正工作。本文简要论述了系统的开发过程和关键部分的实现方法。     

网络环境下图书馆信息服务探讨

分析了网络环境对图书馆信息服务的影响,提出了图书馆信息资源服务的策略,探讨了图书馆员所应具备的知识和能力素质。     

基于压缩感知的自适应匹配追踪算法优化

针对基于压缩感知的稀疏自适应匹配追踪(sparsity adaptive matching pursuit,SAMP)算法运行效率低的问题,给出了一种优化的自适应匹配追踪(modified adaptive matching pursuit,MAMP)算法.该算法在支撑集选择过程中对稀疏度进行了初步估计,并优化了迭代停止的条件.实验表明,该算法相比于SAMP有更快的收敛速度,并且实现更优的重建效果.     

渝东南民族地区公共图书馆现状及对策研究

对渝东南民族地区公共图书馆存在的问题作了较为深刻的分析,提出了解决这些问题的对策。     

低温微生物的研究进展概述

综述了低温微生物的生态分布、适冷机制的研究进展及其在工业、生物修复等多个领域中的应用及前景.     

低压STATCOM直接电流控制方法的研究

针对低压STATCOM电流直接控制方式下的两种控制模式。分析了两类控制模式的基本原理．并对两种控制方式进行了Mattab仿真、设计了基于两种控制模式的试验样机．通过仿真受实际的试验分析了两种控制的优缺点．具有较大的实践指导意义．丰富了低压STATCOM的运用研究。     

非奇异H-矩阵判定的充分条件

给出了非奇异H-矩阵判定的充分条件,并用数值例子说明了结果的有效性。