锂离子电池正极三元材料的研究进展及应用

对近年来锂离子电池正极材料氧化镍钴锰锂的研究进展进行了综述,介绍其结构、性能特点、制备方法、电化学性能以及掺杂、包覆改性等方面的研究情况,论述了三元材料的研究现状和市场应用,环保、高能的三元材料将成为下一代动力锂离子电池的首选。

掺杂钴元素对尖晶石锰酸锂的影响

采用高温固相反应合成了具有尖晶石结构的化合物LiMn2-xCoxO4,通过X射线衍射、扫描电镜和激光粒度分析对所得样品的结构、形貌和粒度分布进行了表征。结果表明,掺杂钴可以合成结晶良好的具有尖晶石结构的晶体。研究了Co含量(x=0.00,0.05,0.10,0.15)对最终产品物化参数及电性能的影响,发现当Co的添加量为0.10时,产品的综合性能较好。

约束求解与定理证明专题前言

随着计算机系统在工业和生活中越来越广泛的应用,软件和硬件的可靠性受到越来越多的关注.形式化方法使用严格的数学语言对计算机系统建模,并在计算机的辅助下验证系统的正确性.与测试不同,形式化方法可以完全排除某些类型的错误.约束求解和定理证明是形式化方法中的两大关键技术.在约束求解方面,SAT和SMT求解器已经在学术界和工业界得到了广泛应用,比如SAT求解器用于EDA领域的等价性验证,SMT求解器用于程序验证和白盒模糊测试等.交互式定理证明通过人和计算机之间的交互完成证明,能够验证非常复杂的系统和性质,例如编译器和操作系统的正确性验证.约束求解与定理证明专题关注约束求解和定理证明的理论、技术、工具与应用,包括在EDA、符号执行、模型检测、程序分析与验证、系统安全等领域的应用.

基于层次的最大频繁项集挖掘算法

关联规则的研究是数据挖掘中的重要问题,如何高效地发现频繁项集是关联规则研究中的关键问题。根据数据库事务的统计性规律,在最大频繁项集发现算法Apriori及其变种算法的基础上,提出一种新的基于层次的最大频繁项集的发现算法。首先从整体上判断候选集的频繁性,然后在发现最大频繁项集的过程中,通过引入整体性策略、排序策略、最小策略有效地减少了候选集与数据库事务之间的比较次数。实验结果表明,采用该算法处理数据库事务数量大的最大频繁项集的发现任务,其效率相比Apriori算法有显著的提高。

桌面虚拟化技术在中职计算机专业教学中的应用

在中职计算机专业教学中引入以VMware Horizon View为例的桌面虚拟化技术,利用它的技术特点,简化计算机实训室和多媒体教室的管理维护,满足计算机专业教学对于软硬件的不同需求,增加学生上机实践的途径和时间,开展网络教学。

集成偏好的高维多目标最优软件产品选择算法

在基于搜索的软件工程研究领域,高维多目标最优软件产品选择问题是当前的一个研究热点.既往工作主要采用后验方式(即先搜索再选择)处理软件工程师或终端用户的偏好.与此不同,将用户偏好集成于优化过程,提出了一种新算法以定向搜索用户最感兴趣的软件产品.在算法中,运用权向量表达用户偏好,采用成就标量化函数(achievement scalarizing function,简称ASF)集成各个优化目标,并定义一种新关系比较个体之间的优劣.为了增强算法快速搜索到有效解的能力,分别采用DPLL/CDCL类型和随机局部搜索(SLS)类型可满足性(SAT)求解器实现了替换算子和修复算子.为了验证新算法的有效性,采用21个广泛使用的特征模型进行仿真实验,其中最大特征数为62482,最大约束数为343944.实验结果表明,基于DPLL/CDCL类型SAT求解器的替换算子有助于算法返回有效软件产品;基于SLS类型SAT求解器的修复算子有助于快速搜索到尽可能满足用户偏好的最终产品.在处理带偏好的高维多目标最优软件产品选择问题时,综合运用两类SAT求解器是一种行之有效的方法.

人工智能中的约束求解和优化专题简介

约束求解和优化算法是人工智能领域中一个重要的研究方向,并在过去的几十年间取得了广泛的应用,成功地解决了工业领域的诸多问题.随着互联网行业和人工智能技术的发展,相关的应用领域产生了一系列新的大规模优化问题,同时为约束求解和优化算法方向带来了新的挑战.

空战在“寂静战场“提前打响

打赢未来战争，不仅仅取决于明天战场上的较量，更要看今日实验室里的角逐。追赶超越对手，不能亦步亦趋，必须另辟蹊径，以跨越争时间，以跨越求速度。请看发自空军某研究所飞机研究室的报告——

第四届当代语言学圆桌会议在中山大学召开

由中国社会科学院《当代语言学》编辑部主办、中山大学翻译学院承办的“第四届当代语言学圆桌会议”于2011年9月23日至25日在中山大学珠海校区召开。开幕式于2011年9月23日9时在中山大学伍舜德国际学术交流中心举行；中国社会科学院语言研究所《当代语言学》主编顾日国研究员、中山大学翻译学院院长黄国文教授和翻译学院学术行政总监王宾教授先后在开幕式上致辞。

佛教道教商业化治理的广东实践和思考

一、佛教道教商业化治理的广东实践(一)广东省治理佛教道教商业化问题取得的成效自国家宗教局等12部门联合下发《关于进一步治理佛教道教商业化问题的若干意见》以来,广东省把治理佛教道教商业化作为宗教工作的一个重点,深入推进治理工作,取得了成效。1.治理商业资本介入问题。这类问题表现在把宗教当作促进旅游、发展经济的手段,以佛教道教活动场所或其他佛教道教资源为核心进行商业宣传,打造景区发展旅游。