一种结合CCgscore算法的SMT求解技术

提出了对SMT问题的另一种方法.首先,编译SMT公式并转换为CNF公式.然后充分借鉴求解SAT问题中所用的方法,把它和SMT理论相结合,借鉴在2014SAT竞赛中的CCgscore算法,得到一个满足CNF公式的解.最后把得到的当前解与T-solver进行交互并且检查其在特定理论背景下的可满足性.由于在SMT求解的过程中结合了先进的CCgscore算法,所以在求解某些SMT问题时效果比较好.     

大面积光刻胶线棒涂布工艺研究

介绍了一种在大面积基材上涂布高粘度光刻胶的线棒涂布法.主要针对涂膜厚度与均匀性进行研究,结果表明,膜厚随着光刻胶粘度和涂布棒尺寸的增大而变厚,涂布速度在某一范围内对膜厚无影响.线棒涂布机设备中所加垫板的硬度直接影响涂膜的均匀性,硬度小的垫板可获得更均匀的涂膜,而垫板高度在某一范围内对膜厚无影响.与常用旋涂法相比,线棒涂布法具有操作简单、节省材料和可大面积涂布等优点.     

物联网安全机制浅析

由于计算机网络进入了千家万户,互联网正在改变着人们的生产和日常生活方式,但是随着人们对于互联网应用的增加,人们也越来越关注很多智能化的应用,物联网技术正是顺应这样的需求而出现的。该研究者将在文章中简要的探讨物联网技术的智能化和信息化发展过程中存在安全方面的相关问题,并根据分析提出相应的物联网安全监管措施,以促进物联网的长足发展。     

酸法制羟基氧化铁催化降解甲基橙研究

采用酸法制备羟基氧化铁纳米粒子,以其为催化剂,以过氧化氢为氧化剂,进行甲基橙的催化降解反应并推断反应机理。研究催化剂加入量、氧化剂浓度、反应温度和反应p H等对甲基橙降解率的影响,并对催化剂的溶铁量进行测量。研究结果表明:当H2O2浓度为0.23 mmol/L,催化剂质量浓度为0.28 g/L,p H为2.54时,在60℃下反应30 min,质量浓度为9.41 mg/L的甲基橙的降解率为97.3%。在催化反应过程中发挥主要作用的OH?由均相催化反应和非均相的表面催化反应提供。由催化剂溶铁而进行的均相催化反应在甲基橙降解过程中可能发挥了重要作用。     

美国国家火险等级系统原理及应用

 介绍了美国国家火险等级系统（NFDRS）的发展历程、原理方法、系统结构,指出系统通过考虑不同类型可燃物对火灾发生的贡献,基于燃烧原理和点烧实验建立物理模型,计算输出全面的防火指标,其思路方法适用于气候复杂、植被类型多样的中国。对系统中值得借鉴的可燃物含水率计算、防火指标计算等关键技术进行重点分析,并结合中国火险等级预报业务现状对系统的本地化改进和业务化应用进行了展望。     

基于二维激光诱导炽光法的棉籽油扩散火焰碳烟生成特性

搭建了一套二维激光诱导炽光测试系统,获得乙烯扩散火焰的碳烟体积分数,并将其与单点标定激光诱导炽光法和消光法得到的测试结果比对,验证了该测试系统的有效性.在一台液体燃烧器上,应用二维激光诱导炽光法研究棉籽油掺混比对柴油层流扩散火焰碳烟生成的影响.结果表明:随掺混比的增加,最大碳烟体积分数以及碳烟总量呈现降低趋势.在轴心方向上随火焰高度的增加,碳烟体积分数逐渐增加,在中部达到最大值,随火焰高度的进一步增加,碳烟体积分数开始降低.径向上的碳烟浓度峰值随火焰高度的上升由火焰外侧向火焰中心移动,且峰值先增加后降低.      

基于超极特征匹配机制的人工网络安全流量 过滤算法研究

为解决当前物联网部署过程中存在的流量过滤效率低、传输受限等难题,提出了一种基于超极特征匹配机制的人工网络安全流量过滤算法。首先,基于能量最优原则,并针对sink节点与准分区节点之间的应答响应关系,构建一种网络初始化方案,使用分组问答-响应方式建立节点拓扑初始化关系并进行能量排序,实现网络快速建立及拓扑收敛。随后,综合考虑能量冗余、距离等超级特征并进行区域匹配,通过设计更新周期方法实现对区域节点稳态化控制,稳定区域传输质量,提高算法在超宽带传输条件下的适应能力。最后,采取扫描方式进行分区节点二次筛选,选取转发代价最小的分区节点进行组网,降低分区节点因能量受限而出现瘫痪的概率,进一步稳定算法对流量的过滤及传输质量。仿真实验表明:与当前常用的超宽带一体化传输过滤稳定算法(Ultra Wideband Integrated Transmission Filter Stabilization Algorithms,UWITFS算法)及分区流量综合过滤算法(Partition Flow Comprehensive Filtering Algorithms,PFCF算法)相比,所提算法具有流量过滤强度高、超宽带传输能力强的特性,实际部署价值较高。     

基于反馈判决的鲁棒自适应机动目标跟踪算法

针对平方根容积卡尔曼滤波(SRCKF)在机动目标跟踪中面临测量异常和模型失准时估计精度下降的问题,提出了一种基于反馈判决的鲁棒自适应算法.利用Huber函数对观测残差序列处理获得权重向量以修正测量协方差,增强算法的抗差能力以克服测量异常问题;同时,引入多重渐消因子调整预测误差协方差,从而改变滤波增益,增强算法的自适应性以解决模型失准问题.最后,根据马氏距离构建异常误差判别因子,采用反馈判决实现2种处理方式的合理切换.仿真实验表明:与现有算法相比,该算法能够有效处理测量异常和模型失准带来的误差,具备良好的抗差能力和自适应性.     

Control and Communication Network in Hybrid Fuel Cell Vehicles

This paper describes the control and communication network in fuel cell vehicles, including both the protocol and the hardware. Based on the current protocol (ISO-11898 and SAE J1939), a new practical protocol is proposed and implemented for the control and communication network in fuel ceil vehicles. To improve the reliability of data communication and to unify the network management, a new network system based on dual-port RAM is also implemented.     

强化高校管理机制,提升教育教学质量

随着教育改革的不断深入 ,我国的教育质量有了很大提高 ,但同时也面临着诸多新问题。高校教育身处国民教育的中心位置 ,担负着为国家现代化建设培养专门人才的任务。必须牢固树立教学质量为本的观念 ,不断加强质量管理和建设 ,增强我国高等教育的自身生命力和国际竞争力