固体碱催化戊醛缩合的研究

自制了固体碱催化剂用于催化戊醛缩合反应 ,考察了碱金属、载体、反应温度、反应压力、空速等条件对反应的影响。研究表明 ,以介孔分子筛为载体的催化剂活性尤其是低温活性明显高于以硅胶为载体的催化剂。自制的固体碱催化剂性能稳定 ,在 2 0MPa ,2 60℃ ,1 0h-1条件下连续运转 2 7d,仍能保持转化率高于 90 %、选择性约 80 %的良好效果。     

应用焊道长度控制线能量

运用ＨｅｒｂｓｔＦＷ公式原理对国产碱性条件进行了大量试验，建立了焊接线能量（Ｅ），焊条熔化长度（ｌＥ），焊道长度（ｌＲ）的关系式：Ｅ＝８０８Ｄ１．８ｌＥ／ｌＲ。并应用线算图和ＳＨ－ＣＣＴ图对该式施焊结果验证，热影响区的金相组织，硬度基本一致。因此，可以应用焊道长度校核与控制线能量。     

Maximal contractions in Boolean algebras

In the present paper,the concepts of deductive element and maximal contraction are introduced in Boolean algebras,and corresponding theories of consistency and maximal contractions are studied.An algorithm principle is proposed to compute all maximal contractions for a consistent set with respect to its refutation in Boolean algebras.It is pointed out that the quotient algebra of the first-order language with respect to its provable equivalence relation constitutes a Boolean algebra,and hence the computation of R-contractions for closed formulas in first-order languages can be converted into the one in Boolean algebras proposed in this paper.Furthermore,the concept of basic element is introduced in Boolean algebras,which contributes to the definitions of clause and Horn clause transplanted from logic to a special type of Boolean algebras generated by basic elements.It is also pointed out that the computation of R-contractions for clauses in the classical propositional logic can be converted into the one in Boolean algebras generated by basic elements proposed in this paper.     

A new DSmT combination rule in open frame of discernment and its application

A new combination rule based on Dezert-Smarandache theory (DSmT) is proposed to deal with the conflict evidence resulting from the non-exhaustivity of the discernment frame. A two-dimensional measure factor in Dempster-Shafer theory (DST) is extended to DSmT to judge the conflict degree between evidence. The original DSmT combination rule or new DSmT combination rule can be selected for fusion according to this degree. Finally, some examples in simultaneous fault diagnosis of motor rotor are given to illustrate the effectiveness of the proposed combination rule.     

独立学院大学计算机基础课程教学的几点思考

针对当前独立学院大学计算机基础课程教学中面临的一些问题,结合教学实践,提出了分层教学模式,以期更好地为独立学院培养计算机技能上手快,后劲足的应用型人才:对不同层次的对象采取不同的教学内容和方式;面向专业,将计算机基础教学内容模块化,结合专业划分必修与选修模块,在内容深度和广度上更好地为专业服务;教学内容面向实用,兼顾体系,突出重点,精讲精练.     

洞庭湖区三口水系生态基流研究

近年来大型水利工程的建设与运行、洞庭湖区三口水系分流量的持续减少和三口水系地区水资源的不合理利用,导致三口水系的生态流量严重不足。基于洞庭湖区三口水系的主要水文站2003—2018年逐日平均流量和1973—2002年逐月平均流量数据,提出一种综合考虑不同水文学法的生态基流确定方法,得出逐月和全年的生态基流推荐值,并分析其保证率和影响因素。结果表明:新江口站、沙道观站、弥陀寺站、康家岗站和管家铺站的全年生态基流分别为208.18、49.44、75.39、2.52、93.94 m³/s,全年生态基流保证率分别为84.83%、37.52%、51.88%、21.84%、42.60%;各水文站汛期的生态基流最高值均出现在7月份,8月份、9月份和6月份依次递减,汛期的生态基流及其保证率明显高于非汛期。研究提出的方法和计算结果可为洞庭湖区三口水系的水生态修复提供参考。     

基于SD*lite的月球车任务规划算法

月球车任务规划是在给定初始位置和目标位置,满足月面地形约束、工作模式约束以及能量约束的前提下,规划出月球车最优的路径。设计了一种月球车任务规划的模型,提出了一种基于SD*lite算法的规划器,在原有SD*lite算法的基础上进一步考虑了对可用资源的限制;它可以协助月球车在考虑太阳能帆板的能量约束的条件下,合理避障最终达到目标点,使规划的轨迹更符合实际。     

成像卫星星地联合成像调度

成像卫星星地联合调度问题,涉及调度对象众多,约束条件复杂,需要考虑任务的观测、回传2个过程,是一个具有两层时间窗口约束的双层优化问题,统一建模困难。根据问题的特点,采用基于阶段优化的方式,降低了问题的复杂性。把问题分为观测调度阶段和数据回传调度阶段,分别给出了优化目标和约束条件,建立了基于阶段优化的成像卫星星地联合调度模型,实现了从任务观测到数据回传的全过程调度。仿真实例表明,该方法能够有效解决多星多站的协同任务调度问题。     

IPv6在QoS上的三项重要改进

本文主要分析了IPv6相对于IPv4在QoS上所做的基本报头、ICMP控制机制及基本报头中的QoS元素三项改进,从而为有效支持QoS提供理论支持。     

提高定点精度的FPGA信号处理算法

为了满足速度、功耗等诸多限制的要求,数字信号处理算法常使用FPGA实现。而实现时由于硬件特点,通常将浮点运算转换成定点运算,但定点转换设计流程复杂、周期长,且存在数据范围和精度之间的矛盾。利用浮点数的优点,本文改进了基于FPGA的定点数的基本运算规则,有效解决了上述矛盾。本文详细论述了实现移位、加/减、乘、除基本运算模块的方法和步骤,最后以FIR数字滤波器为设计实例。仿真结果表明:改进的定点数算法比定点运算误差小、精度高、数据范围宽,能有效地防止溢出。