故障拓展模型到概率检验模型的转换规则

以故障拓展模型和概率检验模型为基础,通过分析概率检验模型的语法语义、转移命令及逻辑关系,研究清晰、完整的转换规则,实现故障拓展模型向概率检验模型的转换。此外,研究模型的定量概率检验转换规则,构建逻辑验证表达。最后,对机载通信系统调谐控制功能展开基于概率检验的定量安全性评估。结果表明,通过将故障拓展模型转换为概率检验模型的转换规则,能够实现复杂系统定量安全性自动分析,从而有效支持航空器复杂系统安全性评估过程。     

植物NIP水通道蛋白的结构、功能和调控研究进展

类NOD26膜内在蛋白(nodulin 26-like intrinsic proteins, NIPs)又名根瘤素26-like内在蛋白、类根瘤菌26膜内在蛋白、类Nodulin26内在蛋白,是水通道蛋白(aquaporin protein, AQP)家族的亚家族之一. NIP由AqpN基因进化而来,广泛存在于植物体中,其对底物选择具有特异性,根据选择性过滤器(aromatic/arginine, ar/R区)的不同分为3个亚族. NIPs参与水分、尿素、甘油、硼、砷、硅等物质的吸收和转运,在维持植物生长过程中的水分平衡和渗透压及抵御逆境胁迫等方面发挥重要作用.近年来,有关NIPs对植物生长发育和逆境调控功能的研究越来越多.本文系统阐述了植物NIP家族的起源与进化、结构与分类、生物学功能及调控机制,并对目前NIP研究中存在的问题和未来的研究方向进行了讨论,为深入探究NIP家族在不同植物中的作用模式和遗传改良应用提供参考资料.     

TRIZ理论在风电产品设计中的应用

介绍了TRIZ理论的产生及其理论体系,重点介绍了其在产品设计创新中应用最为广泛的TRIZ矛盾理论,包括矛盾的定义、分类及相关的解决原理,并结合实例说明了TRIZ理论的矛盾理论在风电产品设计中的应用及在企业中推广TRIZ理论的重要意义。     

含噪运动模糊图像恢复

提出一种新算法来估计含噪图像线性运动模糊的方向和长度。结合空间域及频域分析,使用Radon变换检测运动方向,双谱模型估计运动长度,最后利用Richardson-Lucy滤波恢复清晰图像。仿真实验结果表明,对于含噪图像该算法比以往算法更优胜。基本满足图像复原的稳定性、可靠性、精度高等要求。     

某烟草加工车间的改造加固设计

介绍了某建于1930年的烟草加工车间的改造加固情况.由于使用功能的改变,其建筑布局与相应使用荷载均有较大变化.在全面分析原结构的结构体系、构造措施、材料性能以及结构损伤等问题基础上,提出了建筑改造加固方案.对原框架梁、柱的加固以及典型节点的处理方法进行了介绍,并对屈曲约束支撑在建筑改造加固中的应用进行探讨.改造后,结构可以满足安全性、适用性要求,达到了预期加固效果,可为同类工程提供参考.     

高校馆图片资源数据库构建之思考

本文介绍了图片文献的特点,简要地分析了图片文献在图书馆界利用的现状和动态。并在此基础上提出,在网络"泛在技术"环境下,高师图书馆利用科技平台建设"图片数据库"的构想及远景。     

有阻尼多跨连续梁在横向激励下的响应

为研究有阻尼多跨连续梁在横向激励下的位移响应,采用整体分析的方法,在BernoulliEuler梁理论的基础上建立求解连续梁的横向振动方程,求得了有阻尼多跨连续梁的位移响应函数,同时求得了有阻尼条件下的固有频率方程和振型函数。