Extended IF逻辑的命题演算系统

Extended IF 逻辑是一阶逻辑的扩张,其主要特点是可表达量词间的相互依赖和独立关系,但其命题部分至今没有得到公理化.基于Cirquent 演算方法,给出了一个关于Cirquent 语义(命题水平)可靠完备的形式系统.该系统能够很好地解释和表达命题联结词间的相互依赖和独立关系,从而使Extended IF 逻辑在命题水平得到了真正意义上的公理化.     

无线网络中优化TCP性能的网络编码方法研究

网络编码的出现为改进网络的传输性能提供了新的方法.J.K.Sundararajan等人将网络编码技术与传输控制协议相结合,提出了基于网络编码的TCP/NC协议,其在改进无线网络中传统TCP的性能方面取得了明显效果.但该协议及其改进协议存在的数据传榆和解码操作同步性问题会严重影响TCP/NC性能.提出的改进协议TCP/NCW根据解码时间调节解码窗口,以确保数据传输和解码操作同步,从而获得更好性能.运用排队论分析了TCP/NCW最优解码窗口的存在性.在NS2中的仿真结果表明,在静态场景和动态场景下TCP/NCW的吞吐率比TCP/Vegas和TCP/NC有显著提高,同时也具有较好的公平性.     

污泥浓度对碱预处理剩余污泥水解产酸的影响

通过试验对比,研究在无接种物条件下碱预处理剩余污泥厌氧水解产酸的可能性和污泥浓度对碱预处理剩余污泥厌氧水解产酸的影响.结果表明,剩余污泥经过碱预处理后在无任何接种物和外加营养物的条件下,能够实现稳定产酸;污泥浓度是影响碱预处理剩余污泥水解产酸的一个重要因素,污泥停留时间(SRT)随着污泥浓度的增大而延长才能获得较高的产酸量.最大产酸量并未随着污泥浓度的增加而增加,当污泥浓度为177 g/L时,经过6d厌氧水解,产酸量达到最大值11 460 mg/L;污泥浓度为233 g/L时,水解产酸显示出抑制状态,第12d才达到最大值10 520 mg/L.     

加强安全监管 持续发挥农村水电效益

农村水电在加快山区农民脱贫致富,促进农村经济社会发展,保护生态环境和节能减排等方面都发挥了重要作用。加强农村水电安全监管,确保农村水电站安全运行,是各级水行政主管部门的重要职责,也是充分发挥已建成小水电效益的重要方面。本文详细介绍了浙江省首次农村水电站安全管理年检工作开展情况及取得的成效,并就进一步加强浙江省农村水电安全监管,持续发挥农村水电效益提出了具体的工作目标。     

类比法在《C语言程序设计》教学中的运用

教学中方法得当,事半功倍。该文重点阐述了类比法在《C语言程序设计》教学过程中的应用,以函数实例介绍了方法的展开过程,使得教学中的抽象概念具体化,收到良好的教学效果。     

基于PLC和变频器的钻孔注水试验自动控制系统

水文地质勘察领域的钻孔注水试验是一种简易的原位渗透试验方法,通过钻孔向试段注水来获得岩土层的渗透系数。鉴于目前的钻孔注水试验自动化程度低,需要多名工作人员现场操作和记录试验数据,以及试验过程中的水面波动等因素导致的试验准确率低、试验周期长以及试验成功率低等问题,该文设计了一种基于PLC和变频器的钻孔注水试验自动控制系统,是以西门子S7-1200系列PLC为核心控制器,以西门子MM420变频器为注水水泵速度控制器、并与液位传感器和流量传感器配合实现整个注水试验过程的自动控制。最后,通过实践表明此钻孔注水试验自动控制系统可有效节约劳动力资源和有效减小钻孔中水面的波动,很大程度地提高了试验精度和试验成功率,并有效缩短了钻孔注水试验周期。     

环氧胶粘剂及其胶接界面热氧老化机理研究

采用红外光谱、X射线光电子能谱和扫描电镜对环氧胶粘剂的热氧老化机理进行了研究。同时,对环氧胶接结构进行了力学性能分析,研究了热氧环境对其力学性能退化的影响。结果表明,环氧胶粘剂在热氧加速老化中发生的化学反应主要有后固化反应和氧化反应。热氧老化过程中,环氧胶中的羟基被氧化为醛基化合物,亚甲基被氧化为酰胺。热氧加速老化后的力学性能表明,环氧胶材料本体的耐老化性能好,界面粘接强度具有较好的稳定性。     

小学网络化主题探究学习研究

随着现代教育技术的发展,信息技术教学已开始从过去单纯的计算机知识技能教育向培养学生综合信息素养方向转变.在新的教育形势下,作为信息技术教师,应该如何根据现状开展信息技术教学,适应信息化教育发展趋势?     

带赋值符号迁移图的局部优化算法

带赋值符号迁移图（ＳＴＧＡ）是刻画一般传值进程的抽象计算模型,在ＳＴＧＡ上可以用“ｏｎ－ｔｈｅ－ｆｌｙ”实例化算法来验证传值进程之间的互模拟等价。由于ＳＴＧＡＡ的一个结点对应于具体迁移图的许多结点,在ＳＴＧＡ上所作的优化对提高互模拟判定算法的时间和空间效率会产生很大的影响。     

叔丁醇-水-钾盐体系液液相平衡的研究

将氮化钾或碳酸钾加入到叔丁醇—水体系中时，可产生水富集相和叔丁醉富集相。实验测定了叔丁醇-水—氮化钾、叔丁醇—水—碳酸钾体系在25℃时的液液相平衡数据。结果表明，当水相中氮化钾或碳酸钾浓度较高时产生的叔丁醇富集相中含有可以忽略的盐，水富集相中含有可以忽略的叔丁醇，因此用氮化钾或碳酸钾可以成功地分离叔丁醇-水体系。采用Pitzer方程计算富水相中水的活度，用Wilson、NRTL或UNIQUAC方程计算富有机相中水的活度，将二者结合对液液相平衡数据进行理论计算，计算值与实验值符合较好。