Formal Analysis of Streaming Downloading Protocol for System Upgrading

For a PC-mobile download system which is embedded with streaming download protocol, there are problems that the data cannot be transmitted correctly from the PC to the mobile, or the transmission is unacceptably slow. To solve these problems, we carry out a formal analysis for the protocol with some timing parameters and a given probability of message loss and unordered data using a probabilistic model checking tool PRISM. We introduce a technique to reduce the state space of the system modeling the protocol which is a network of probabilistic timed automata. The experimental results in PRISM give us a clear explanation to the problems, and are helpful in identifying the optimal parameter settings to meet industrial requirements.     

南水北调东干渠工程安全监测数据分析与处理技术研究

东干渠工程是北京市南水北调配套工程之一,是中心城环线供水系统重要组成部分,承担第十水厂、通州水厂等东部区域供水任务.东干渠工程建设了安全监测系统,监测内容包括环境量、变形、渗流、应力、应变及专项监测等.但监测系统存在监测数据中断、仪器失效及缺少初值等问题.对某典型断面的应力、应变及温度等内观监测数据以及东五环段的沉降监测数据进行了梳理、对比验证分析,明确了监测数据的合理性,初步确定了沉降风险点,为东干渠工程安全监控提供技术支撑.     

Red-Blood-Cell-Membrane-Coated Metal-Drug Nanoparticles for Enhanced Chemotherapy

To overcome high toxicity, low bioavailability and poor water solubility of chemotherapeutics, a variety of drug carriers have been designed. However, most carriers are severely limited by low drug loading capacity and adverse side effects. Here, a new type of metal-drug nanoparticles (MDNs) was designed and synthesized. The MDNs self-assembled with Fe(III) ions and drug molecules through coordination, resulting in nanoparticles with high drug loading. To assist systemic delivery and prolong circulation time, the obtained MDNs were camouflaged with red blood cell (RBCs) membranes (RBCs@Fe-DOX MDNs) to improve their stability and dispersity. The RBCs@Fe-DOX MDNs presented pH-responsive release functionalities, resulting in drug release accelerated in acidic tumor microenvironments. The outstanding in vitro and in vivo antitumor therapeutic outcome was realized by RBCs@Fe-DOX MDNs. This study provides an innovative design guideline for chemotherapy and demonstrates the great capacity of nanomaterials in anticancer treatments.     

乌伦古坳陷断裂特征及其构造演化过程

利用现有二维地震资料进行断裂解释,识别乌伦古坳陷主断裂及其衍生断裂的的展布特征,分析断裂形成的力学背景。乌伦古东断裂和吐孜托依拉断裂是主要的控坳断裂,属于逆冲推覆类型的断裂;伦2井南断裂是以逆冲推覆为主、走滑为辅的断裂。根据乌伦古坳陷中生代沉降中心的演化特点,认为在印支和燕山期乌伦古坳陷东北缘所受挤压力强于西北缘。     

基于SVM融合多特征的介词结构自动识别

介词结构在汉语文本中出现频率很高,正确识别介词结构边界对句法分析、语音合成中的韵律短语划分有着重要意义。该文较为系统地探讨了汉语中常用介词的边界识别问题。利用支持向量机SVM模型,基于输出概率而不是简单的二分法来选择正确的后边界。探讨了不同的特征选择,并尝试加入语义信息等不同特征组合以提高识别准确率。对常用的68个介词进行边界识别实验,5折交叉验证的准确率达到90.95%,优于前人的识别结果。     

Phase-Separated Polyzwitterionic Hydrogels with Tunable Sponge-Like Structures for Stable Solar Steam Generation

Solar steam generation (SSG) through hydrogel-based evaporators has shown great promise for freshwater production. However, developing hydrogel-based evaporators with stable SSG performance in high-salinity brines remains challenging. Herein, phase-separated polyzwitterionic hydrogel-based evaporators are presented with sponge-like structures comprising interconnected pores for stable SSG performance, which are fabricated by photopolymerization of sulfobetaine methacrylate (SBMA) in water-dimethyl sulfoxide (DMSO) mixed solvents. It is shown that driven by competitive adsorption, the structures of the resulting poly(sulfobetaine methacrylate) (PSBMA) hydrogels can be readily tuned by the volume ratio of DMSO to achieve phase separation. The optimized phase-separated PSBMA hydrogels, combining the unique anti-polyelectrolyte effects of polyzwitterionic hydrogels, demonstrate a rapid water transport capability in brines. After introducing photothermal polypyrrole particles on the surface of the phase-separated PSBMA hydrogel evaporators, a stable water evaporation rate of ≈2.024 kg m⁻² h⁻¹ and high solar-to-vapor efficiency of ≈97.5% in a 3.5 wt.% brine are obtained under simulated solar light irradiation (1.0 kW m⁻²). Surprisingly, the evaporation rates remain stable even under high-intensity solar irradiation (2.0 kW m⁻²). It is anticipated that the polyzwitterionic hydrogel evaporators with sponge-like porous structures will contribute to developing SSG technology for high-salinity seawater applications.     

基于相对生成对抗网络的低清小脸幻构

针对当前代表性低清小脸幻构方法存在的视觉真实感弱、网络结构复杂等问题,提出了一种基于相对生成对抗网络的低清小脸幻构方法(tfh-RGAN).该文方法的网络架构包括幻构生成器和判别器两个部分,通过像素损失函数和相对生成对抗损失函数的联合最小化,实现生成器和判别器的交替迭代训练.其中,幻构生成器结合了残差块、稠密块以及深度可分离卷积算子,保证幻构效果和网络深度的同时降低生成器的参数量;判别器采用图像分类问题中的全卷积网络,通过先后去除批归一化层、添加全连接层,充分挖掘相对生成对抗网络在低清小脸幻构问题上的能力极限.实验结果表明,在不额外显式引入任何人脸结构先验的条件下,该文方法能够以更简练的网络架构输出清晰度更高、真实感更强的幻构人脸.从定量角度看,该文方法的峰值信噪比相较之前的若干代表性方法可提高0.25～1.51 dB.     

快/慢烤试验中复合推进剂内部温度场的分布

为了研究不同烤燃条件下复合推进剂(PBT/HMX/Al/AP/BU)的响应特性,采用DSC研究了复合推进剂及单组分的热分解特性。复合推进剂的初始分解温度为187.27℃,单组分中BU初始分解温度最低,为192.95℃,表明复合推进剂的热分解过程是从BU开始;分别测量了在快/慢烤试验中,复合推进剂内部温度的变化。结果表明:1)快烤试验中,样品内部温度分布极不均匀。点火90 s后,样品发生反应,此时样品中心的温度为85℃,钢管端盖破裂,样品发生燃烧反应。2)慢烤试验中,样品内部温度分布均匀,几乎无温度差,样品发生反应时,样品内部温度与环境温度均为133℃,试验后样品钢管完全破碎,样品发生了爆轰。由此可见,慢烤试验中,由于样品内部温度分布均匀,发生反应时,大部分样品都处于临界反应温度,一旦激发,破坏效应比快烤试验更严重。