描述逻辑FL0概念及术语公理集的表达能力刻画

表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系。解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理-van Benthem刻画定理。文中给出了描述逻辑FL0(含构造子:原子概念、顶概念、概念交、全称量词约束)的模拟关系,建立了FL0中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与FL0概念和术语公理集等价的充分必要条件。上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持。     

微波辐射合成4(3H)-喹唑酮

以邻氨基苯甲酸和甲酰胺为原料,在无溶剂条件下采用微波辐射法合成4(3H) 喹唑酮。实验结果表明:n(甲酰胺)/n(邻氨基苯甲酸)=10,反应物加热预混合,甲酰胺分批加料,微波辐射强度为180W,微波辐射时间为6～8min时,邻氨基苯甲酸的转化率可达96%以上,4(3H) 喹唑酮的收率在94%以上,反应速率比常规加热条件下提高45倍。     

UWSNs中基于AUV移动的覆盖盲区修复算法

提出了一种水下无线传感器网络(UWSNs)中基于自主水下航行器(AUV)移动的覆盖算法。首先将要覆盖的区域网格化,然后以适当的策略遍历各个小格,从而实现盲区的覆盖修复。该算法克服了水下环境复杂未知、覆盖场景多样化而难以可靠覆盖的问题,同时使得AUV路径移动消耗最小化。文中还对3D场景和多AUVs协同等情况进行了分析和探讨。仿真实验表明,该算法在覆盖盲区规则、不规则或不连续等场景下均有较好的表现。     

沉积温度对微波热解CVI制备碳/碳复合材料密度及组织结构的影响

以碳毡为预制体,N2为稀释气体,甲烷为碳源前驱体,其分压为10 kPa,滞留时间为0.15 s的工艺条件下,研究了不同沉积温度对微波热解化学气相渗透(chemical vapor infiltration,CVI)工艺制备碳/碳复合材料的致密化速率、样品的体积密度及其密度均匀性的影响,并对其组织结构进行了观察.分析了沉积温度对微波热解CVI工艺制备碳/碳复合材料的密度与组织结构的变化规律.结果表明:在微波热解CVI工艺中,随着沉积温度的降低,碳毡预制体的致密化速率及最终体积密度呈现先升后降,1100 ℃沉积制备复合材料的密度均匀性最好,并呈现从内到外逐步沉积的规律.热解碳的织构主要为中等织构.     

一种基于改进的动态能量管理的无线传感器节点节能技术研究

针对无线传感器节点的结构特点,以动态能量管理技术为出发点,结合实际应用场合,提出了一种改进的动态能量管理节能模式,建立了不同工作模式下的无线传感器节点能耗模型,并对不同工作模式下的能耗进行了量化分析。分析结果表明,改进后的动态能量管理技术能够有效地降低无线传感器的能量损耗。分析结果为下一步无线传感器节点的节能改进设计打下了良好的基础。     

面向低功耗共享Cache路适应划分算法研究

如何提高多核处理器的性能和降低多核处理器中Cache的功耗已经成为下一代多核处理器的研究热点。为了降低片上多核处理器的功耗,基于路适应算法可以采用一种新的动态划分机制,该机制主要由路分配模块和动态功耗控制模块组成。路分配模块在程序运行过程中根据处理器核所运行线程的工作集的大小调整处理器核所分配的Cache路。动态功耗控制模块利用程序运行的局部性原理,将处理器核所运行线程的工作空间控制在少数Cache路中。关闭剩余的Cache路,从而达到降低Cache功耗的目的。该机制使用Simics全系统模拟平台模拟多核处理器,并用SpecOMP测试集测试了系统的性能和功耗。与传统的Cache(Conventional L2Cache,C-L2)相比,其IPC提高了9.27%,功耗降低了10.95%。     

基于模糊PID大型电力机组温度过热控制

随着高精密技术的发展,高精度、超高精度的温控系统越来越多被人们运用于大型电力机组中。传统的温度控制系统对各异的真实系统适配性较差,不能保证系统性能,适应性较差。针对这些问题,提出了一种模糊自适应PID大型电力机组温度过热控制算法,即专家-模糊PID控制器方法,根据温度偏差选择采用专家控制还是模糊PID控制,克服适应性差的问题。用专家控制避免设定值震荡,并通过模糊PID温度控制较快达到设定初始目标温度值,并稳定在该值上。最后通过仿真实验证明这种模糊PID超精度温度控制系统对于大型电力机组的温度过热控制问题具有控制精度高、响应速度快、温度波动小等优点。     

物流监控系统人工免疫数据融合算法研究

为实现对果蔬等农产品物流过程的低能耗实时监控,提出一种适用于现代果蔬物流过程的实时监控系统监测数据处理方案。通过在运输车辆的车厢内部署具有RFID功能的温湿度传感器,获取物流过程中果蔬储存环境的实时温湿度数据;采用生物免疫机理对节点感知数据进行预处理,降低节点数据传输量;计算节点数据融合信度获取融合权值,对节点数据加权融合获取对监测对象的完整一致性监测结果;用感知数据与融合结果相似度差值,对节点感知数据的融合信度进行更新;根据实际情况选取通信模式,降低节点通信能耗及紧急事件的响应时间。仿真结果表明,该方案可有效降低果蔬物流过程实时监控的网络通信能耗。     

Quick Activation of Optimized Zeolites with Microwave Heating and Utilization of Zeolites for Reusable Desiccant

Effectiveness of microwave heating in an activation treatment of zeolites was studied and utilization of zeolites for reusable desiccant was examined. X zeolite was chosen as a target material for its large adsorption capacity. Na-X zeolite easily caused a thermal runaway by microwave radiation of 500 W but Ca contained X zeolite merely reached ca. 573 K under the same conditions. Mixtures of Na-X and Ca-X with suitably mixed ratios did not cause the thermal runaway and their heating temperatures were controlled (>573 K) at will. Under the most suitable conditions, the mixture reached a dehydration degree of 92%. A degradation degree of adsorptive capacity of the mixture for water was examined after three treatments. The average degradation degree was 1.5% per treatment. The heating method is promising as a quick and easy technique to activate zeolite. By applying the method, the zeolites with suitable mixing ratios are usable as a reusable desiccant for home use.     

微波促进二氯菊酸甲酯的水解新工艺研究

采用微波技术对二氯菊酸甲酯在NaOH溶液中水解为二氯菊酸工艺进行了研究。结果表明,微波促进下最佳水解条件为:反应温度90℃,功率100 W,反应时间10 m in,物质的量比n(二氯菊酸甲酯)∶n(C2H5OH)∶n(NaOH)=1∶4∶1.5,重结晶后收率高达99.6%。与传统条件相比,时间缩短30倍,收率提高24.6%,无水乙醇用量减少60%,NaOH用量减少17%。并用红外光谱和熔点对二氯菊酸进行表征。