基于Kripke结构的程序正确性证明

为了方便证明程序的正确性,引入了Kripke结构,提出基于Kripke结构的程序正确性证明。重新定义了适合证明的Kripke结构,并描述了将程序流程图转换为Kripke结构状态图的方法。给出了证明程序正确性的相关定理和基于Kripke结构的程序正确性证明方法。证明方法为:首先,把程序流程图转换为状态图;然后,根据状态之间的转移关系列出每个状态下的状态谓词;最后,证明每个状态谓词为真。根据状态谓词进行证明,能够反映出程序执行的状态。用该方法对一个实例进行了完整的证明。     

反应性壳聚糖季铵盐的合成及其在柞丝绸抗菌整理上的应用

为提高壳聚糖的水溶性,并增强其与纤维之间的结合力,采用壳聚糖与2,3-环氧丙基三甲基氯化铵反应, 合成了水溶性的2-羟丙基三甲基氯化铵壳聚糖(壳聚糖季铵盐),再将壳聚糖季铵盐与N-羟甲基丙烯酰胺进一步反应,合成了带有纤维反应性基团的水溶性O-甲基丙烯酰胺壳聚糖季铵盐（反应性壳聚糖季铵盐）,用傅里叶红外光谱表征了所合成的壳聚糖季铵盐、反应性壳聚糖季铵盐和处理前后柞蚕丝的结构, 研究了经反应性壳聚糖季铵盐整理后柞丝绸的抗菌性能。结果表明：经整理的柞丝绸洗涤20次后,对金黄色葡萄球菌和大肠杆菌的抑菌率均高于90%。     

数字信号处理对电子测量与仪器的影响探讨

数字信号处理技术是一种通过数字计算方式完成数据统计和数据处理的技术,被广泛应用于通信、测量、统计等技术领域。将以电子测量技术作为研究对象,对现代数字信号处理技术在电子测量技术领域的作用进行分析,同时结合具体电子测量仪器,对数字信号处理技术运用方式进行总结。     

基于信息熵的异类多种群蚁群算法

提出了一种基于信息熵的异类多种群蚁群算法。算法使用多个异类种群的蚂蚁子群体同时进行优化计算,引入信息熵来表示蚂蚁种群的进化程度,根据蚂蚁子群体间的信息熵来决定子群体间的信息交流策略,包括选择信息交流的对象和调节信息交流的周期以及信息更新策略,以取得各蚂蚁子群体中解的多样性和收敛性之间的动态平衡。基于旅行商问题的实验证明,该算法具有很好的全局搜索能力、收敛速度以及解的多样性。     

基于蚁群聚类算法的大规模定制产品模块划分研究

为了解决面向大规模定制生产中产品模块划分问题,提出了一种基于蚁群聚类算法的模块划分方法。以零件间在物理或功能上的相关度作为划分模块的主要依据,利用零件的指标特征值建立相关度评价模糊关系矩阵,然后应用蚁群聚类算法得到产品模块的划分方案,最后通过实例说明了该方法的有效性。     

HPLC法测定利福平胶囊的含量

本文采用高效液相色谱法，用Ｃ１８硅烷键合硅胶作固定相，甲醇（７５）：０．０２ｍｏｌ／Ｌ磷酸二氢钠水溶液（２５）作流动相，选择卡马西平作内标，在２８０ｎｍ处进行检测。与目前所采用的药典９５版利福平的测定方法比较，得到了比较令人满意的结果。     

复分解法生产纯碱初探

本文就复分解法生产纯碱的原理、工艺过程及生产操作等方面进行了初步探讨,并对生产的经济效益作一粗略分析。指出:在目前情况下,用此法生产纯碱是切实可行的。     

线性稳态大系统优化与控制的二次等价性原理与点凸化技术(PCT)

本文研究了线性稳态大系统优化与控制问题中的二次等价性原理,证明了非退化的线性 规划问题可以等价为正定二次规划问题,线性稳态控制问题可以等价为具有线性约束二次凸 目标的稳态控制问题.基于等价性原理,本文提出了点凸化技术(PCT),用于凸化不能应用 关联平衡法(IBM)的线性问题,最后给出应用例子,说明PCT在求解线性稳态大系统优化 与控制问题中的应用.     

尖角磁场对细丝CO_2焊接电弧及熔滴过渡影响的研究

本文介绍了尖角磁场细丝CO_2焊接的试验条件、磁头结构及采用的焊接参数,对“断弧-短路过渡”现象及机理作了初步论述。     

WYJ—2型粘合剂的研究

WYJ—2型粘合剂是以玉米粉为原料,次氯酸钠(NaClO)为氧化剂,采用分批加料的方式制得的一种新型粘合剂。本文就粘合剂的反应机理、辅料选择、配方、工艺过程、性能及影响因素等方面进行了初步探讨。