投影时序逻辑在系统建模中的应用

目的为了解决形式化验证时需要分别使用不同工具进行系统建模和性质描述的问题。方法利用投影时序逻辑PTL(projection temporal logic)在同一逻辑框架内完成待验证系统的建模和性质的描述。结果对PTL投影操作符的特点和用途进行了详细分析,并结合实例展示了PTL系统建模的使用。结论 PTL具备强大的表达能力,可广泛的应用于各类软硬件系统的验证。     

竹节参皂苷成分对对乙酰氨基酚诱导急性肝损伤的保护作用

目的:观察竹节参总皂苷提取物(PJST)对对乙酰氨基酚(APAP)诱导急性肝损伤的预防保护作用.方法:构建APAP诱导HepG2细胞损伤的体外模型,采用MTT法评价PJST对APAP诱导HepG2细胞死亡的预保护作用,并观察细胞形态变化,采用Hoechst 33258荧光染色法研究PJST对细胞凋亡形态的影响.取40只...     

《科学哲学手册》译丛被列入“十二五”国家重点图书出版规划

近期,国家新闻出版总署公布了《新闻出版业"十二五"时期发展规划》,由中国自然辩证法研究会名义副理事长、山西大学科学技术哲学研究中心郭贵春教授主编的《〈科学哲学手册〉译丛》列入"十二五"时期(2011-2015年)国家重点图书出版规划。     

Design and Implementation of a Storage Virtualization System Based on SCSI Target Simulator in SAN

The ideal storage virtualization system is compatible with all operating systems in storage are anetworks (SANs). However, current storage systems on clustered hosts and multiple operating systems are not practical. This paper presents a storage virtualization system based on a SCSI target simulator in a SAN to solve these problems. This storage virtualization system runs in the target hosts of the SAN, dynamically stores the physical information, and uses the mapping table method to modify the SCSI command addresses. The system uses the bitmap technique to manage the free space. The storage virtualization system provides various functions, such as logical volume resizing, data mirroring, and snapshots, and is compatible with clustered hosts and multiple operating systems, such as Windows NT and RedHat.     

水中目标回声特性测试3D微视频虚拟仿真实验

水声测量技术被广泛应用于海防、油气勘探、地貌成像、探寻沉船等领域,同时是海洋技术、海洋测绘、海洋科学等方向学科人才培养的关键理论和实验教学内容之一。运用SolidWorks软件设计实验系统所需的接收和发射换能,以及不同种类3D虚拟模型,结合V-Ray虚拟仿真渲染、AI配音等多媒体技术搭建虚拟实验场景,以板块元算法和COMSOL声固耦合-频域有限元法理论为基础,完成不同目标散射声场数值仿真计算,模拟3D场景的水中目标声特性测试虚拟仿真实验。虚拟仿真实验通过3D微视频方式展示,不仅可以用来辅助教学,提高学生对水中目标测试技术的深度认知,同时可对普通民众进行声呐技术的科普教育。系统集水声工程科学研究、培育人才和服务社会功能集于一体。研究成果为扩大水声技术影响力和覆盖面发挥作用,为水下目标探测技术创新发展提供参考。     

考虑锚固支护对层面剪切特性影响的隧道变形破坏特征

本文基于对ABAQUS有限元软件切向接触模型的二次开发,研究层状软岩隧道在不同层面倾角条件下的稳定性变化规律,分析层面抗剪强度与锚固支护之间的关系,揭示锚固支护强度对层状软岩隧道围岩变形破坏的影响规律。研究结果表明：在层面抗剪强度较低时,围岩变形可分为基岩变形与层面剪切滑移变形;不同地应力条件下,基岩变形在层面倾角为45°时最小,且随层面倾角的变化呈“U”形分布;在地应力较小时,层面剪切滑移变形显著,围岩发生层面剪切滑移变形与基岩屈曲变形的复合破坏模式;锚固加固后,随着层面黏聚力增加,层面剪切滑移与基岩变形均呈指数减小,基岩塑性区分布由“纺锤形”逐步过渡为均匀分布,基岩的塑性破坏区显著减小;层状软岩隧道开挖后,垂直层面正应力分布沿层面可分为应力降低区与应力增强区,锚固支护可减小层面正应力的降低幅度,抑制基岩的屈曲变形。层状软岩隧道变形破坏本身具有明显的非对称性,锚固支护可协调层面与基岩之间的变形差异性,使围岩变形区域更均匀,有效提升围岩整体承载力。     

高频离子源物理参数对离子束性能的影响

作者从静电加速器用高频离子源的结构出发,通过实验台上的调试,测试并分析了振荡器板压、气压和引出电压对离子束性能的影响.结果表明,在575 V板压、7.7×10-4Pa气压、1.6 kV引出电压和21 kV聚焦电压的状态下,可得到束流为169μA、质子比为88%的稳定离子束.     

水力裂缝高度关键影响因素不确定性分析

为揭示压裂施工中水力裂缝在层状地层中的穿层规律,根据测井资料建立平面应变模型,针对压裂过程中裂缝高度的动态变化,通过飓风分析筛选出控制裂缝高度的关键参数,利用Box-Behnken试验设计结合响应面分析法建立统计预测模型,并揭示了各关键参数的统计显著性.研究结果表明:隔层与产层的应力差和弹性模量差是控制裂缝高度的关键影响因素,高地应力、低弹性模量的上覆泥岩层会使得裂缝高度减小,将裂缝有效的遮挡在储层内.研究结论可根据缝高预测模型开展缝高优化设计,预测理想缝高对应的参数组合,指导压裂设计.     

《高等代数》与《解析几何》二课合一问题研究

随着现代数学的发展,《高等代数》与《解析几何》这两门数学学科相互渗透,紧密结合已成为一种必然趋势。目前已经有部分学校开始尝试将理科基础学科的"高等代数"与"解析几何"两门课程进行整合,形成了高等代数与解析几何一条线的新课程体系。本文根据我们多年讲授高等代数、解何几何的体会,研究高等代数与解析几何二课合一问题。     

多层水驱油实验在桥口油田开发中的应用

针对桥口油田非均质油藏地质特征，以室内实验为基础，对多层水驱油状况进行研究．结果表明，由于油层自身物性不同，多层系油藏层间动用程度差异较大．在开发实践中，通过合理地细分开发层系，改善注水结构和采取适当的工艺措施挖掘薄差层潜力，可以有效地改善层间吸水状况、扩大注入水波及体积，增加水驱动用储量，提高了油田的最终采收率．