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.     

基于峰值频率特征的音-图转换音频隐密分析

为了分析音-图转换音频隐密方法嵌入的秘密信息长度，通过考察音-图转换后小波系数直方图的分布特性，提取出与嵌入容量成线性关系的峰值频率特征，建立了线性回归模型，根据音-图转换后小波系数子带选取的不同，确定不同的嵌入方案，并针对这些方案进行了相应的隐密分析，实验结果表明：所提特征与秘密信息长度之间存在显著的线性相关性；同时，对于音-图转换隐密算法性能如不可感知性、提取信息正确率等有重要影响的隐密参数TH，对回归模型参数的估计值影响较小，所提出的方法可较为准确地估计出利用音-图转换隐密方法嵌入信息的长度。     

Combined effects of fretting and pollutant particles on the contact resistance of the electrical connectors

Usually, when electrical connectors operate in vibration environments, fretting will be produced at the contact interfaces. In addition, serious environmental pollution particles will affect contact resistance of the connectors. The fretting will worsen the reliability of connectors with the pollutant particles. The combined effects of fretting and quartz particles on the contact resistance of the gold plating connectors are studied with a fretting test system. The results show that the frequencies have obvious effect on the contact resistance. The higher the frequency, the higher the contact resistance is. The quartz particles cause serious wear of gold plating, which make the nickel and copper layer exposed quickly to increase the contact resistance. Especially in high humidity environments, water supply certain adhesion function and make quartz particles easy to insert or cover the contact surfaces, and even cause opening resistance.     

凸轮转子泵送系统机电液复杂工况下流量输出特性

针对凸轮转子泵送系统的机电液复杂工况及流体的物性参数对泵输出流量影响规律尚不完全明确这一问题,在凸轮转子泵三维建模的基础上,给出泵径向间隙、电机转速、流体浓度、泵进出口压差4个影响因素的变化范围,采用计算流体力学模型进行参数化研究,分析在单因素、多因素影响下的变化规律。结果表明:泵径向间隙(0.16～0.24 mm)、电机转速(200～600 r/min)、流体浓度(50%～100%)、泵进出口压差(0.2～0.6 MPa)对泵输出流量分别有增大或减小作用,且存在相互促进或抑制关系;在多因素变量共同作用下,泵输出流量变化规律愈发呈现复杂性和多样性。     

基于流场数值模拟的多级泵转子动力学分析

根据多级泵零件二维图,应用Pro/E软件对转子系统主要部件进行实体建模,采用FLUENT软件对多级泵内部流场进行数值模拟,分析了轴向力及径向力随不同工况的变化情况,基于ANSYS软件对转子系统施加静力载荷,进行静力学、谐响应和瞬态动力学等分析.结果表明:转子系统在第1阶临界转速下的安全区运行,转子系统的振幅与转速变化呈...     

新型99mTcN核混配配合物的制备和小鼠生物分布

经配体交换反应制备了5种新配合物:[99mTcN(PNP5)(CBDTC)] ,[99mTcN(PNP5)(CPEDTC)] ,[99mTcN(PNP5)(CHDTC)] ,[99mTcN(PNP5)(CHPDTC)] 和[99mTcN(PNP5)(MCHDTC)] ,放化纯均大于90%.小鼠生物分布结果显示:5种配合物主要经肾排泄,在血、肝和肺等非靶组织中的清除较快;[99mTcN(PNP5)(CBDTC)] 在5 min时的心肌初始摄取和心与肝比最高,利于快速心肌显像;[99mTcN(PNP5)(MCHDTC)] 的心肌滞留最好,靶与非靶比较高,通过结构修饰提高其心肌摄取,可能发展为一种新型心肌灌注显像剂.     

考虑瑞利分布和墙体应变的黏土基坑位移预测

本文选择瑞利分布函数型式的位移增量,考虑地面超载,建立了Terzaghi机制下的基坑变形机制。引入超固结比这一重要影响因素,改进了考虑超固结比的剪切强度计算方法。基于剪切强度调用法（MSD）思想,综合考虑墙体弹性应变能的影响,建立了多层开挖引起位移增量条件下的能量守恒关系,得到了考虑多因素的变形预测方法。然后,基于参数分析,定量地分析了地面超载、墙体长度和刚度、开挖深度和嵌固条件对悬臂和鼓出位移的影响规律。最后,通过与经典案例的有限元分析及基于余弦函数的MSD法预测结果作比较,说明本文选取的位移增量函数能更好地吻合墙体变形剖面,考虑墙体弹性应变能可以提高位移预测的精度。     

基于ARM9支持IPv4/IPv6协议的物联网网关设计及实现

国际互联网工程任务组开发了新一代Internet协议IPv6,为了不浪费现有的网络设备,结合实际项目设计了支持IPv4/IPv6双协议栈的嵌入式物联网网关,实现了IPv4/IPv6的双栈运行.给出了绘制嵌入式ARM9处理器AT91SAM9263高速电路板、修改移植Linux操作系统、搭建DM9000/DM9161双网卡环境的方法,该方法可使网关设备同时运行在IPv4和IPv6协议栈并存的网络环境,完成局域网和跨域网的数据通信.测试结果表明:所设计的物联网网关工作稳定,在智能设备的升级替换和推进物联网的建设方面具有重要的借鉴作用.     

3 mmLY12与10 mmLF2搅拌摩擦焊温度场模拟分析比较

根据搅拌摩擦焊的具体焊接过程,利用ANSYS有限元分析软件,模拟3mmLY12薄板和10mmLF2厚板焊缝区的准稳态温度场.对比分析不同板厚、不同材质的铝合金焊缝区温度分布的不同状况,从而得到焊材本身的物性参数以及焊接参数对温度分布的影响情况,最终确定影响搅拌摩擦焊温度场的主要因素.模拟结果显示,3mmLY12温度场呈碗状,10mmLF2温度场呈花瓶状.通过模拟温度场结果与焊缝区组织的比较,验证了不同的温度场与不同焊缝组织的对应关系.