有机磷(膦)酸萃取钴和镍的动力学行为比较

依据实验结果和文献数据讨论了有机磷酸类萃取剂萃取钴及镍的动力学行为.结果表明,有机磷酸酸性强,溶入水相的速度快,则萃取速度亦快,钴和镍的萃取速度差异由溶剂交换速度决定.     

Transient Temperature Analysis for Industrial AC Arc Furnace Bottom

Heat losses from the furnaces depend on the design and size. The surface heat loss from the bottom of an industrial AC electric arc furnace (EAF) possesses an important fraction of overall losses. So in this study the transient temperature variation at the bottom of the EAF was investigated. The transient temperature analysis was carried out using MATLAB computer program. T=T(r, t) for different bottom lining layers was depicted.     

Catalyst-free ZnO nanowires grown on a-plane GaN

ZnO nanowires were grown on a-plane GaN templates by chemical vapor deposition (CVD) without employing a catalyst. The a-plane GaN templates were pre-deposited on an r-plane sapphire substrate by metal-organic CVD. The resulting ZnO nanowires grow in angles off- related to the GaN basal plane. X-ray diffraction (XRD) spectra showed that the ZnO layer was grown with a heteroepitaxial relationship of (110)_ZnO||(110)_GaN. Photoluminescence spectra measured at 17 K exhibited near-band-edge emission at 372 nm with a full width at half maximum of 10 nm. The growth mechanism on a-GaN was the Volmer-Weber (VW) mode and differed from the Stranski-Krastanow (SK) mode observed for growth on c-GaN. This difference results from the higher interfacial free-energy on the a-plane between ZnO and GaN than that on the c-plane orientation.     

支持并行模拟的Verilog编译技术研究与实现

并行HDL模拟是加速大型复杂的VLSI系统模拟验证的有效方法，支持并行模拟的HDL编译技术是其中的关键技术，文章提出了一种支持并行模拟的Verilog编译技术，编译器将Verilog描述转换成C＋＋代码，最后与并行模拟核心库编译链接生成可执行并行程序。文章将编译器构成，代码生成方法和并行模拟核心库，该技术已经在并行Verilog模拟器ParaVer上实现。     

典型电力业务终端的通信接入网选型研究

为了满足多种电力业务终端数据传输需求,建设双向、安全、可靠、灵活的通信接入网络是最关键环节之一.文章分析了典型电力业务终端的通信质量需求,探讨多种有线/无线通信技术在电力终端业务中应用的可行性.为了建立通信技术与电力终端业务的耦合量化关系,设计了一种多属性综合通信技术指标与电力终端业务需求的数值匹配算法,解决电力通信接...     

基于符号模拟和约束逻辑编程的RTL级Verilog谓词抽象方法

利用人工智能最新研究成果--约束逻辑编程对Verilog描述进行谓词抽象,并与目前基于SAT的方法进行了比较.首先通过符号模拟建立Verilog的形式化模型,然后结合要抽象的谓词,将谓词抽象问题转化为约束逻辑编程问题并进行求解.该方法的优点是在计算抽象系统时,不需要像基于SAT的方法那样将字级约束打散成位级约束,求解效率显著提高;提供了一个统一的框架用于描述各种约束.实验结果表明,与基于SAT的抽象技术相比,基于约束逻辑编程的抽象方法的求解速度有显著提高.     

带落角约束的超声速飞行器制导控制一体化设计

针对超声速飞行器末飞行段攻击地面移动目标问题,提出一种带落角约束的制导控制一体化设计方法。联立目标-飞行器三维相对运动方程和飞行器控制系统非线性模型,基于不确定项有界假设建立具有严格反馈形式的制导控制一体化设计模型,将制导控制一体化设计问题转化为高阶非线性时变系统输出调节问题。构建视线角速率动态面向量并利用高频率反馈鲁棒控制方法得到控制系统的虚拟控制量,进而利用块动态面控制方法得到带落角约束的一体化制导控制律。以动态面和滤波误差为基础构建李雅普诺夫函数并证明各动态面和滤波误差的一致有界性。仿真结果表明,该一体化方法能保证飞行器以期望落角精确命中地面移动目标,且飞行器全部状态变量均有界稳定。     

Biophysical Characterization of LTX-315 Anticancer Peptide Interactions with Model Membrane Platforms: Effect of Membrane Surface Charge

LTX-315 is a clinical-stage, anticancer peptide therapeutic that disrupts cancer cell membranes. Existing mechanistic knowledge about LTX-315 has been obtained from cell-based biological assays, and there is an outstanding need to directly characterize the corresponding membrane-peptide interactions from a biophysical perspective. Herein, we investigated the membrane-disruptive properties of the LTX-315 peptide using three cell-membrane-mimicking membrane platforms on solid supports, namely the supported lipid bilayer, intact vesicle adlayer, and tethered lipid bilayer, in combination with quartz crystal microbalance-dissipation (QCM-D) and electrochemical impedance spectroscopy (EIS) measurements. The results showed that the cationic LTX-315 peptide selectively disrupted negatively charged phospholipid membranes to a greater extent than zwitterionic or positively charged phospholipid membranes, whereby electrostatic interactions were the main factor to influence peptide attachment and membrane curvature was a secondary factor. Of note, the EIS measurements showed that the LTX-315 peptide extensively and irreversibly permeabilized negatively charged, tethered lipid bilayers that contained high phosphatidylserine lipid levels representative of the outer leaflet of cancer cell membranes, while circular dichroism (CD) spectroscopy experiments indicated that the LTX-315 peptide was structureless and the corresponding membrane-disruptive interactions did not involve peptide conformational changes. Dynamic light scattering (DLS) measurements further verified that the LTX-315 peptide selectively caused irreversible disruption of negatively charged lipid vesicles. Together, our findings demonstrate that the LTX-315 peptide preferentially disrupts negatively charged phospholipid membranes in an irreversible manner, which reinforces its potential as an emerging cancer immunotherapy and offers a biophysical framework to guide future peptide engineering efforts.     

The effect of the ammonium persulfate and a multi-step annealing approach during thermal stabilization of polyacrylonitrile multifilament prior to carbonization

Journal of Materials Science - Thermal stabilization of polyacrylonitrile (PAN) multifilaments was performed using a multi-step annealing approach in an air environment. Ammonium persulfate (APS)...