Safety Verification of Semi-Algebraic Dynamical Systems via Inductive Invariant

To verify the safety of nonlinear dynamical systems based on inductive invariants, key issues include defining the most complete inductive condition and discovering an inductive invariant that satisfies the specified inductive condition. In this paper, to lay a solid foundation for future research into the safety verification of semi- algebraic dynamical systems, we first establish a formal framework for evaluating the quality of continuous inductive conditions. In addition, we propose a new complete and computable inductive condition for verifying the safety of semi-algebraic dynamical systems. Compared with the existing complete and computable inductive condition, this new inductive condition can be easily adapted to achieve a set of sufficient inductive conditions with different level of conservativeness and computational complexity, which provides us with a means to trade off between the verification power and complexity. These inductive conditions can be solved by quantifier elimination and SMT solvers.     

Functionalization of PCL fibrous membrane with RGD peptide by a naturally occurring condensation reaction

Poly(e-caprolactone)(PCL)is widely adopted as an ingredient for tissue engineering scaffolds.To improve its cell affinity,in this study,we developed a new method to introduce bioactive RGD peptides onto the surface of PCL via condensation reaction between 2-cyanobenzothiazole(CBT)and D-cysteine.The PCL fibrous membranes were prepared by electrospinning,and RGD functionalization was characterized by fluorescence microscopy,scanning electron microscopy(SEM),X-ray photoelectron spectroscopy(XPS)and water contact angle(WCA).As expected,our results demonstrated the successful RGD immobilization on the surface of PCL.RGD modification improved the hydrophilicity of PCL,changing their WCA from 112.20°to38.35°.Cell adhesion,spreading and proliferation of 3T3fibroblasts were also enhanced.We therefore believe that the methods reported in this study was facile and effective for functional modification of the hydrophobic PCL scaffolds.The moderate reaction conditions are also suitable for covalent immobilization of bioactive molecules onto PCL.     

An extremely luminous X-ray outburst at the birth of a supernova

Massive stars end their short lives in spectacular explosions--supernovae--that synthesize new elements and drive galaxy evolution. Historically, supernovae were discovered mainly through their 'delayed' optical light (some days after the burst of neutrinos that marks the actual event), preventing observations in the first moments following the explosion. As a result, the progenitors of some supernovae and the events leading up to their violent demise remain intensely debated. Here we report the serendipitous discovery of a supernova at the time of the explosion, marked by an extremely luminous X-ray outburst. We attribute the outburst to the 'break-out' of the supernova shock wave from the progenitor star, and show that the inferred rate of such events agrees with that of all core-collapse supernovae. We predict that future wide-field X-ray surveys will catch each year hundreds of supernovae in the act of exploding.     

支持向量机在地下工程位移预测中的应用

介绍了支持向量机回归算法,运用MATLAB编写了相应程序,并对两个地下工程实例进行了预测.通过与灰色预测和人工神经网络预测结果的对比,可以看出支持向量机方法不论是在学习过程还是预测过程,都具有更高的优越性,可以应用于实际工程.     

考虑平动位移效应的黏性填土挡土墙土压力计算

针对平动位移模式下的刚性挡土墙墙后填土为黏性土的情况,研究了考虑平动位移效应的非极限状态土压力计算.对平动模式下未达到极限位移的挡土墙,结合前人提出的考虑位移效应时,墙后填土内摩擦角及墙土接触面上外摩擦角之间的关系,用水平层法分析了墙后土楔的受力情况,得到了考虑位移效应的非极限状态的黏性土主(被)动土压力计算公式,通过比较发现,理论公式与实验结果较吻合.     

一种阵列式传感器数据融合方法的研究

提出了一种基于支持度和自适应加权的阵列式传感器数据融合方法。其特点是通过关联融合多组测量信号序列以降低静态数据的随机测量误差。对单传感器测量信号序列,采用支持度方法计算每个测量数据的综合支持度和加权因子,然后对测量信号序列进行加权融合。对阵列式传感器多组测量信号序列,基于单传感器数据融合,利用自适应加权方法,在总均方误差最小意义下进行多组测量信号序列数据融合。仿真结果表明,该阵列式传感器数据融合方法是有效的。     

开孔板加劲型压型钢板加固混凝土界面黏结-滑移机理

为研究开孔板(perfobond leiste,PBL)加劲型压型钢板加固混凝土界面黏结-滑移机理,首先设计了3组试件进行推出试验,分析了其破坏形态、极限荷载值和滑移量,然后在试验基础上建立了有限元模型,分析了PBL连接件极限荷载值的影响参数.研究结果表明:PBL连接件破坏分为弹性阶段、塑性阶段和破坏阶段3个阶段,试件破坏时混凝土出现贯通裂缝,底部混凝土剥落,试件为混凝土剪切破坏,且为延性破坏.影响PBL连接件极限承载力的参数主要有贯穿钢筋、黏结摩擦力、混凝土强度、开孔直径和PBL厚度,其中贯穿钢筋影响最明显,有贯穿钢筋的试件比无贯穿钢筋的试件极限承载力提高了约73.8％,贯穿钢筋也可以提高极限滑移量,增加延性.黏结摩擦力通常作为安全储备,混凝土强度和开孔直径的增加也可显著提高极限承载力,而PBL厚度影响不显著,开孔钢板强度对极限承载力基本无影响.     

基于支持向量机的激光焊接过程质量监测

提出了一种基于支持向量机的激光焊接质量监测方法.在监测系统中,首先利用光、声传感器获取焊接过程产生的各种信号,然后利用Gabor变换提取出特征向量,最后利用支持向量机对数据进行融合以判断焊缝是否达到质量要求.实验结果验证该方法的分类正确率可达93%.     

电流加速方法评价SiGe HBT的热载流子效应

利用电流加速方法（FCSAM;E－B结反偏、C－B结正偏应力）对0.35um BiCMOS工艺SiGe HBT的热载流子效应可靠性进行了评价研究。研究结果表明,随应力时间的增加,SiGe HBT电流放大系数逐步退化,相比传统的电压加速退化方法（OCSAM：E－B结反偏）试验,FCSAM显著缩短了实验时间。     

纳滤去除地表水中微污染物生产饮用水

为了研究纳滤去除某市河水中微污染物生产饮用水的可行性,并筛选生产饮用水的最佳纳滤膜,采用四种纳滤膜DESAL 51 HL、DESAL 5 DL、UTC-20和UTC-60处理河水,研究其去除COD、UV254吸收值以及硝酸盐等微污染物效率,考察纳滤过程中水通量变化.试验结果表明,四种膜对COD和具254nm吸收值的有机物去除率在50%～95%之间,UTC-20去除有机物效率最高.DESAL 51 HL、DESAL 5 DL和UTC 60对无机物截留率在22%～65%之间,而UTC-20达到93%.UTC-20对不同原水中硝酸盐的去除率均大于70%.在短时间纳滤实验中,存在着不可逆的水通量减少,有轻度膜污染发生.结论UTC-20适用于处理有机污染和硝酸盐复合污染的地表水源生产饮用水.