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

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

探讨高层建筑施工安全风险

随着我国城市化建设的飞速发展,城市土地资源日益紧缺,为了提高土地利用率,开始发展高层建筑工程。高层建筑在现代城市建筑中占据了非常重要的位置,人类科技的进步促进了高层建筑的快速发展。高层建筑的层数较多,工程施工量大,在建筑施工过程中,安全风险问题需要得到足够的重视。     

植物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滤波恢复清晰图像。仿真实验结果表明,对于含噪图像该算法比以往算法更优胜。基本满足图像复原的稳定性、可靠性、精度高等要求。     

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

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

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

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