集对逻辑及其运算定律

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

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

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

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

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

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

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

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

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

基于CEBUS总线的交通灯控制系统

介绍了一种基于CEBUS总线的交通灯控制系统。该系统采用扩频电力线载波通信技术实现了现代交萼灯的“无绳”控制,具有体积小、功耗低、性能稳定、配置灵活的特点。     

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

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

基于XGBoost预测及弹性网误差补偿的室内定位算法

为解决室内定位系统中因环境动态变化而导致定位精度下降的问题,提出一种基于XGBoost并融合弹性网的误差补偿算法。采用XGBoost定位模型对目标位置进行初步预测,当室内环境改变后,再采用弹性网算法构建误差补偿模型,修正XGBoost定位模型的定位误差,并与基于K近邻、支持向量机、随机森林、梯度提升决策树等定位算法做对比。实验结果表明：在更新15%指纹数据库样本的情况下,该算法在80%分位处的定位精度控制在0.73 m以内,明显优于其他定位算法,且较基于XGBoost的定位算法精度提高了25.5%。     

初始溶液中钴铁摩尔比对钴取代Fe3O4中铁的影响

从实际应用的角度出发,研究了初始溶液中钴铁摩尔比对室温下Co2 进入尖晶石结构的速率和程度的影响,过程中的氧化-还原电位和产物的化学分析、XRD以及IR等光谱分析的结果表明:初始溶液中较小的钴铁摩尔比有利于钴铁酸盐的生成.另外,随Co2 进入尖晶石结构,产物的晶面间距和晶格常数增加,红外振动吸收峰向高波数移动.     

基于VB的课件制作研究与实践

介绍课件及其特点,通过对各类课件制作工具的比较与讨论, 阐述了使用VB制作课件的优势,并介绍了使用VB制作课件的基本方法.