一种快速解压的无损压缩算法

随着信息技术的不断发展,大量数据给存储和传输都带来了巨大的挑战。数据压缩能够有效减少数据量,方便数据的处理和传输。无损压缩是一种利用数据的冗余特点进行压缩的压缩方法,解压时可以完全还原数据而不会有任何失真。在研究LZO算法的快速解压原理基础上,设计了一种新的压缩算法。该算法通过减少压缩数据中压缩块的数量,降低了解压程序的执行开销。测试结果表明,新算法可实现比LZO算法更快的解压速度。     

Metal-polyphenol-network coated CaCO3 as pH-responsive nanocarriers to enable effective intratumoral penetration and reversal of multidrug resistance for augmented cancer treatments

Construction of multifunctional stimuli-responsive nanotherapeutics enabling improved intratumoral penetration of therapeutics and reversal of multiple-drug resistance (MDR) is potent to achieve effective cancer treatment. Herein, we report a general method to synthesize pH-dissociable calcium carbonate (CaCO₃) hollow nanoparticles with amorphous CaCO₃ as the template, gallic acid (GA) as the organic ligand, and ferrous ions as the metallic center via a one-pot coordination reaction. The obtained GA–Fe@CaCO₃ exhibits high loading efficiencies to both oxidized cisplatin prodrug and doxorubicin, yielding drug loaded GA–Fe@CaCO₃ nanotherapeutics featured in pH-responsive size shrinkage, drug release, and Fenton catalytic activity. Compared to nonresponsive GA–Fe@silica nanoparticles prepared with silica nanoparticles as the template, such GA–Fe@CaCO₃ confers significantly improved intratumoral penetration capacity. Moreover, both types of drug-loaded GA–Fe@CaCO₃ nanotherapeutics exhibit synergistic therapeutic efficacies to corresponding MDR cancer cells because of the GA–Fe mediated intracellular oxidative stress amplification that could reduce the efflux of engulfed drugs by impairing the mitochondrial-mediated production of adenosine triphosphate (ATP). As a result, it is found that the doxorubicin loaded GA–Fe@CaCO₃ exhibits superior therapeutic effect towards doxorubicin-resistant 4T1 breast tumors via combined chemodynamic and chemo-therapies. This work highlights the preparation of pH-dissociable CaCO₃-based nanotherapeutics to enable effective tumor penetration for enhanced treatment of drug-resistant tumors.

     

面向航空通信应用的边沿触发器教学设计

研究和分析了面向航空通信应用的边沿触发器教学设计。以边沿触发电路实现原理为核心,引导边沿触发机制的探究式学习；以航空机载网络通信为具体应用背景,引入科学研究和工程实现中实际问题,设计曼切斯特码检测系统实验；使得边沿触发器教学成为“知识再创造”的过程和创新实践的新载体,以期培养新工科背景下的独立、创新和实践精神。     

Interlayer Engineering of Molybdenum Trioxide toward High‐Capacity and Stable Sodium Ion Half/Full Batteries

Orthorhombic molybdenum trioxide (MoO₃) is one of the most promising anode materials for sodium‐ion batteries because of its rich chemistry associated with multiple valence states and intriguing layered structure. However, MoO₃ still suffers from the low rate capability and poor cycle induced by pulverization during de/sodiation. An ingenious two‐step synthesis strategy to fine tune the layer structure of MoO₃ targeting stable and fast sodium ionic diffusion channels is reported here. By integrating partially reduction and organic molecule intercalation methodologies, the interlayer spacing of MoO₃ is remarkably enlarged to 10.40 Å and the layer structural integration are reinforced by dimercapto groups of bismuththiol molecules. Comprehensive characterizations and density functional theory calculations prove that the intercalated bismuththiol (DMcT) molecules substantially enhanced electronic conductivity and effectively shield the electrostatic interaction between Na⁺ and the MoO₃ host by conjugated double bond, resulting in improved Na⁺ insertion/extraction kinetics. Benefiting from these features, the newly devised layered MoO₃ electrode achieves excellent long‐term cycling stability and outstanding rate performance. These achievements are of vital significance for the preparation of sodium‐ion battery anode materials with high‐rate capability and long cycling life using intercalation chemistry.     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

中国菊花主题花展及其对行业发展的作用

中国的菊花主题花展(菊花展览)是最重要的赏菊形式,对我国3种主要类型的菊花展览,即综合性菊花展览(中国菊花展览会、国际博览会菊花专项展和各级城市菊花展)、菊花专类园和菊花花田花海的发展现状进行了研究,并分析了菊花展览在促进菊花产业发展、弘扬菊花文化、服务生态文明及美丽乡村建设、加强菊花非物质文化遗产保护中的重要作用,为推动我国菊花展览水平的提高提供借鉴。     

积分中值屈服准则解析厚板轧制椭圆速度场

为解决非线性Mises比塑性功率积分困难以及由此导致的轧制功率解析式难以获得的问题,本文通过建立并利用线性比塑性功率表达式对提出的椭圆速度场进行能量分析,得到了轧制力能参数的解析解.文中通过对变角度屈服函数求积分中值,构建了一个新的屈服准则,它是主应力分量的线性组合,在π平面上的轨迹是逼近Mises圆的等边非等角的十二边形,其基于Lode参数表达式的理论结果也与实验数据吻合较好.同时,根据厚板轧制时金属流动速度从入口到出口逐渐增大的特点,提出了水平速度分量满足椭圆方程的速度场,该速度场满足运动许可条件.通过相应的轧制能量分析,获得了基于线性屈服准则的内部变形功率以及基于应变矢量内积法上的摩擦功率与剪切功率.在此之上,通过泛函的极值变分导出了轧制力矩、轧制力以及应力状态系数的解析解,并与现场实测数据进行了对比,结果表明利用本文提出的屈服准则与速度场所建立的轧制力矩与轧制力模型与实测值吻合较好,其中轧制力误差小于5.3%,轧制力矩误差在6%左右.     

Flotation Behavior,Collector Adsorption Mechanism of Quartz and Feldspar-Quartz Systems Using PEA as a Novel Green Collector

Silicon - A novel green cationic surfactant Poly (propylene glycol) bis (2-aminopropyl ether) (PEA) with multiple amine groups was utilized as a collector for flotation separation of quartz from...     

Adaptive backstepping repetitive learning control design for nonlinear discrete‐time systems with periodic uncertainties

This paper addresses a tracking problem for uncertain nonlinear discrete‐time systems in which the uncertainties, including parametric uncertainty and external disturbance, are periodic with known periodicity. Repetitive learning control (RLC) is an effective tool to deal with periodic unknown components. By using the backstepping procedures, an adaptive RLC law with periodic parameter estimation is designed. The overparameterization problem is overcome by postponing the parameter estimation to the last backstepping step, which could not be easily solved in robust adaptive control. It is shown that the proposed adaptive RLC law without overparameterization can guarantee the perfect tracking and boundedness of the states of the whole closed‐loop systems in presence of periodic uncertainties. In addition, the effectiveness of the developed controller is demonstrated by an implementation example on a single‐link flexible‐joint robot. Copyright © 2014 John Wiley & Sons, Ltd.