碳点修饰硅在锂离子电池中的应用研究

Silicon (Si) particles were functionalized using carbon dots (CDs) to enhance the interaction between the Si particles and the binders. First, CDs rich in polar groups were synthesized using a simple hydrothermal method. Then, CDs were loaded on the Si surface by impregnation to obtain the functionalized Si particles (Si/CDs). The phases and microstructures of the Si/CDs were observed using Fourier-transform infrared reflection, X-ray diffraction, scanning electron microscopy, and high-resolution transmission electron microscopy. Si/CDs were used as the active material of the anode for electrochemical performance experiments. The electrochemical performance of the Si/CD electrode was assessed using cyclic voltammetry, electrochemical impedance spectroscopy, and constant current charge and discharge experiment. The electrodes prepared with Si/CDs showed good mechanical structure stability and electrochemical performance. After 150 cycles at 0.2 C, the capacity retention rate of the Si/CD electrode was 64.0%, which is twice as much as that of pure Si electrode under the same test conditions.     

非马尔可夫随机Petri网的分析方法及应用

Petri网是模型并行系统和分布式系统的一种强有效的形式化工具.它能够很好地刻画系统的动态行为、分析系统的性能.目前研究的大多数随机Petri网假定模型中所有变迁的实施时间呈指数分布,但是在许多实际系统中,变迁的实施时间呈确定性分布或一般性分布,这就需要研究非马尔可夫模型.文章主要讨论非马尔可夫随机Petri网的分析技术,即基于马尔可夫再生理论进行分析求解,并举例进行说明,在文章的最后进行了总结和展望.     

基于线性时态逻辑的Petri网模型检测

Petri网是一种重要的数学工具,它能有效地对并发系统进行描述和建模.线性时态逻辑LTL则是描述和验证并发系统特性的一种重要的形式化工具,它能方便准确地描述并发系统的重要性质,如安全性和活性.文章深入描述了线性时态逻辑、Bu chi自动机、Petri网和同步积之间的内在联系,并探讨了基于线性时态逻辑的Petri网模型检测策略.与其它方法比较,这种模型检测的策略结合了线性时态逻辑和Petri网模型的不同优点,增强了Petri网的模型分析和验证能力.最后,通过对一个并发系统形式化的模型检测分析,验证了相应的结论.     

鄂尔多斯盆地富黄地区延长组长6储层成岩作用

根据砂岩薄片、铸体薄片、扫描电镜、X衍射等研究表明,富黄探区延长组长6储层砂岩为低孔低渗储集岩,其岩石类型为长石砂岩和岩屑长石砂岩,磨圆以次棱—次圆为主,颗粒间以线性接触和点—线接触为主,孔隙式和孔隙—薄膜式胶结为主,砂岩具有成分成熟度低,结构成熟度高的特点.储集砂岩经历的主要成岩作用为压实作用、胶结作用、溶蚀作用和破裂作用.压实作用是导致孔隙度丧失的主要原因,造成的平均孔隙度丧失为30.89%,胶结作用造成的平均孔隙度丧失为6.98%,碳酸盐胶结物和次生加大是造成储层物性降低的主要胶结物.而溶解作用对砂岩平均孔隙度的增加为1.22%,是改善砂岩物性的重要途径.     

微重力下坩埚内熔体的对流分析

以18英寸坩埚(6英寸单晶炉)为研究对象,利用有限元分析法,选用RNG k-e湍流模型,对不同液面高度下坩埚内熔体的自然对流进行二维模拟分析;在熔体空间内引入横向磁场(微重力环境下)模拟分析其对熔体对流的影响,同时对引入的横向磁场强度进行优化.结果表明,随着液面高度的下降,熔体对流逐渐变弱,液面高度从230 mm下降到140 mm时,平均流速下降了近3/4;引入横向磁场后熔体对流能够得到有效地抑制,当磁感应强度在0.4T到0.8T之间时,磁场对熔体的对流抑制作用最为明显.     

基于分区的改进Apriori算法

分析了Apriori算法存在之不足,在此基础上提出了一种基于分区思想的IABP算法．该算法首先将待挖掘的数据集分成若干块,然后分别对各块进行挖掘．在挖掘过程中,只存储满足最小支持度的频繁项,并删除不满足最小支持度的非频繁项．测试结果表明,该挖掘方法降低了挖掘算法的时闻复杂度,提高了挖掘算法的效率．     

A Novel Processor Scheduling Schema in Programmable Router Based on Queue Length Thresholds

Programmable router may execute computing tasks except for forwarding IP packets. How to schedule the CPU in the programmable router is an important issue that needs to be solved. In this paper, the authors establish general software architecture of programmable router firstly. Based on this architecture, authors present a novel CPU scheduling algorithm based on queue length thresholds. We model this algorithm using stochastic Petri nets. The analytic results show that this scheduling algorithm can guarantee the requirements of computing of best-effort flows and QoS flows in prograrmmable router at the same time.     

南海流花海域钻井安全钻井液密度窗口计算分析

为了准确确定安全钻井液密度窗口,并维持钻井过程的井壁稳定成为制约南海海上油气开发目前所面临的重要问题。针对该问题,基于流花海域LH20-2油田各已开发井的声波时差及其他测井数据,利用Eaton法对该构造的孔隙压力分布规律进行了预测。此外,对该地区地层的破裂压力和坍塌压力随井斜角和方位角的分布规律进行了定量分析,最终得到了各井段安全钻井液密度窗口。结果表明,油田孔隙压力分布范围在0. 98～1. 05 g/cm~3,处于正常压力系统内。并且得出,拟开发井直井段和水平段安全钻井液密度窗口依次是1. 07～1. 10 g/cm~3和1. 22～1. 25 g/cm~3。此研究可以为南海LH20-2油田拟开发井钻井液设计提供依据和参考。     

基于SIRV病毒传播理论的装备保障网络级联失效分析

针对装备保障网络遭受敌方攻击时所显现出的复杂性现象,对比分析网络级联过程与病毒传播过程的相似性。在已有的负载容量级联故障传递模型基础上,融入了病毒免疫传播的过程,定义保障节点的4种不同状态,构建基于病毒免疫传播理论的装备保障网络级联传递模型,更好地再现了我方保障机构受到敌方实际打击和舆情攻击时的真实状况。通过仿真对比分析表明,在防御资源有限和时间迫切的情况时,优先考虑主动免疫策略,能够取得较好的抵御级联失效的效果,还可以辅助实施目标免疫策略,从而使装备保障网络具有较强的健壮性和较好的恢复能力。