检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于模型诊断的抽象分层过程

计算机学报 2011年第2期34卷 383-394页

作者：王楠欧阳丹彤孙善武吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室长春130012 吉林财经大学信息学院长春130117 吉林财经大学网络实验中心长春130117

分层诊断是降低基于模型诊断计算复杂性的一个重要方法,在分层诊断中很重要的一步是构造系统的抽象分层模型,以往的分层方法都是建立在某一种特定抽象模型基础上,没有将抽象的一般理论与基于模型诊断中的分层过程相联系,并且对自动生成... 详细信息

分层诊断是降低基于模型诊断计算复杂性的一个重要方法,在分层诊断中很重要的一步是构造系统的抽象分层模型,以往的分层方法都是建立在某一种特定抽象模型基础上,没有将抽象的一般理论与基于模型诊断中的分层过程相联系,并且对自动生成系统的分层表示方法也没有形式化的分析.KRA(Knowledge Reformulationand Abstraction)模型从构造化的角度定义了表示抽象的一般框架,文中在KRA模型框架下建立系统模型,给出了抽象算子在系统的基本框架Rg上进行的非独立的运算过程,使得不会在抽象过程中生成重复的部件类型,不仅降低了存储空间,还增加了在进一步的抽象运算中算子重用的概率,提高了整个抽象运算的效率.同时描述了基于模型诊断中的抽象分层过程,提出了动态和静态构造算子库两种方法,并对其优缺点进行分析,给出了一个应用抽象算子集合自动生成待诊断系统分层表示的一般算法.

关键词：基于模型的诊断分层诊断 KRA模型算子库自动分层

在线全文

学校读者我要写书评

暂无评论

生物逆向工程设计在合成生物学中的应用

合成生物学 2020年第1期1卷 29-43页

作者：陈欣懋欧阳颀北京大学物理学院北京100871

合成生物学是一门涉及生物学、生物工程学、系统生物学、数学、物理、化学与信息科学的新生的交叉学科。它的目的是在工程化思想的指导下有目的地、可预测地设计人造生命系统。经过近二十年的蓬勃发展,合成生物学取得了重大成就,但依旧... 详细信息

合成生物学是一门涉及生物学、生物工程学、系统生物学、数学、物理、化学与信息科学的新生的交叉学科。它的目的是在工程化思想的指导下有目的地、可预测地设计人造生命系统。经过近二十年的蓬勃发展,合成生物学取得了重大成就,但依旧面临复杂系统理性设计的困难。在系统生物学中,运用数学物理等知识根据网络功能来研究功能背后网络结构的方法被称为逆向工程。系统生物学逆向工程的研究思路与合成生物学设计过程的一致性,启发了我们利用逆向工程指导合成生物学的理性设计。逆向工程应用到合成生物学,将大大降低复杂功能回路的设计难度。本文从合成生物学的设计思路与问题出发,根据本文作者研究团队近十年来在逆向工程研究中的经验,归纳总结了目前逆向工程设计在合成生物学中的应用方法,包括网络穷举方法、子网络拼接方法、从离散模型到连续模型的方法,论证了逆向工程指导合成生物学理性设计的可行性与有效性,分析了目前逆向工程设计在合成生物学中的发展瓶颈。

关键词：逆向工程合成生物学理性设计布尔网络网络穷举

在线全文

学校读者我要写书评

暂无评论

孔口闸墩对溪洛渡拱坝静动应力的影响研究

水利学报 2013年第11期44卷 1366-1371页

作者：李德玉涂劲欧阳金惠西安理工大学水利水电学院陕西西安710048 中国水利水电科学研究院工程抗震研究中心北京100048

采用显式有限元结合黏弹性人工边界的地震波动反应分析方法,在计入坝体横缝动态接触非线性影响基础上,对溪洛渡拱坝采用模拟孔口及闸墩结构、仅模拟孔口不模拟闸墩和孔口闸墩结构均不考虑的3种模型进行地震响应分析,研究孔口、闸墩结构... 详细信息

采用显式有限元结合黏弹性人工边界的地震波动反应分析方法,在计入坝体横缝动态接触非线性影响基础上,对溪洛渡拱坝采用模拟孔口及闸墩结构、仅模拟孔口不模拟闸墩和孔口闸墩结构均不考虑的3种模型进行地震响应分析,研究孔口、闸墩结构和大坝的静态和静动综合应力响应。对比分析结果表明,孔口、闸墩的存在对大坝主体的静动综合应力分布规律影响不大,而孔口闸墩区域位于动态反应较大的坝体中上部,由于闸墩的悬挑及截面变化的复杂性,以及孔口对坝身的削弱作用,这一区域将出现数值较大的拉应力集中区,主要分布于上游闸墩根部和下游面深表孔之间以及顶部大梁位置,在溪洛渡拱坝深孔、表孔抗震设计中应予以重视。

关键词：高拱坝孔口闸墩非线性地震响应

基于大涡模拟的轮缘侧推器和常规侧推器非空泡噪声对比分析

在线全文

学校读者我要写书评

暂无评论

中国造船 2023年第1期64卷 118-130页

作者：李高强欧阳武聂远哲武汉理工大学船海与能源动力工程学院武汉430063 武汉理工大学交通与物流工程学院武汉430063 国家水运安全工程技术研究中心可靠性工程研究所武汉430063

提出了基于大涡模拟(LES)方法与FW-H声学模型相结合的侧推器噪声仿真方法,通过导管桨敞水性能试验值与仿真值的对比,以及侧推器流场基频和各次谐波计算值与仿真值的对比,验证了基于LES方法的侧推器流噪声仿真方法的准确性。在此基础上,... 详细信息

提出了基于大涡模拟(LES)方法与FW-H声学模型相结合的侧推器噪声仿真方法,通过导管桨敞水性能试验值与仿真值的对比,以及侧推器流场基频和各次谐波计算值与仿真值的对比,验证了基于LES方法的侧推器流噪声仿真方法的准确性。在此基础上,研究了轮缘侧推器和常规侧推器在非均匀来流时的流场分布,获取了侧推器桨叶等水力部件的声压时域和频域。结果表明:侧推器产生的流噪声主要为低频噪声,轮缘侧推器横向和径向总声压级分别比常规侧推器小3 dB和10 dB左右;侧推器噪声分布主要呈现偶极子特性,桨叶横向总声压级高于径向。

关键词：流体力学轮缘驱动侧推器非空泡噪声大涡模拟 FW-H声学模型

Moiré-driven electromagnetic responses and magic angles in a sandwiched hyperbolic metasurface

在线全文

学校读者我要写书评

暂无评论

Photonics Research 2022年第9期10卷 2056-2065页

作者： YI LIU CHUNMEI ouyang QUAN XU XIAOQIANG SU QUANLONG YANG JIAJUN MA YANFENG LI ZHEN TIAN JIANQIANG GU LIYUAN LIU JIAGUANG HAN YUNLONG SHI WEILI ZHANG Center for Terahertz Waves and College of Precision Instrument and Optoelectronics Engineering Key Laboratory of Optoelectronic Information Technology(Ministry of Education of China)Tianjin UniversityTianjin 300072China Institute of Solid State Physics College of Physics and Electronic ScienceShanxi Province Key Laboratory of Microstructure Electromagnetic Functional MaterialsShanxi Datong UniversityDatong 037009China Nonlinear Physics Centre Australian National UniversityCanberraACT 2601Australia School of Electrical and Computer Engineering Oklahoma State UniversityStillwaterOklahoma 74078USA

Recent moiréconfigurations provide a new platform for tunable and sensitive photonic responses,as their enhanced light–matter interactions originate from the relative displacement or rotation angle in a stacking bilayer or multilayer periodic ***,previous findings are mostly focused on atomically thin condensed matter,with limitations on the fabrication of multilayer structures and the control of rotation *** microwave moiréconfigurations are still difficult to ***,we design a novel moiréstructure,which presents unprecedented capability in the manipulation of light–matter *** on the effective medium theory and S-parameter retrieval process,the rotation matrix is introduced into the dispersion relation to analyze the underlying physical mechanism,where the permittivity tensor transforms from a diagonal matrix to a fully populated one,whereas the permeability tensor evolves from a unit matrix to a diagonal one and finally becomes fully filled,so that the electromagnetic responses change drastically as a result of stacking and ***,the experiment and simulation results reveal hybridization of eigenmodes,drastic manipulation of surface states,and magic angle properties by controlling the mutual rotation angles between two isolated ***,not only a more precisely controllable bilayer hyperbolic metasurface is introduced to moiréphysics,the findings also open up a new avenue to realize flat bands at arbitrary frequencies,which shows great potential in active engineering of surface waves and designing multifunctional plasmonic devices.

关键词： rotation hyperbolic diagonal

在线全文

学校读者我要写书评

暂无评论

辩论的逻辑模型研究综述

模式识别与人工智能 2010年第3期23卷 362-368页

作者：熊才权孙贤斌欧阳勇湖北工业大学计算机学院武汉430068 湖北工业大学土木工程与建筑学院武汉430068

辩论的逻辑模型是哲学、逻辑学和人工智能等多个领域的研究课题,在非单调推理、法律推理、决策支持和多Agent交互等领域有广泛应用.文中首先简要阐述辩论及辩论模型的基本概念.然后从对辩论建模和用辩论建模两个方面对目前的研究进行总... 详细信息

辩论的逻辑模型是哲学、逻辑学和人工智能等多个领域的研究课题,在非单调推理、法律推理、决策支持和多Agent交互等领域有广泛应用.文中首先简要阐述辩论及辩论模型的基本概念.然后从对辩论建模和用辩论建模两个方面对目前的研究进行总结,分析现有的有影响的辩论模型特点及其存在的问题.最后,指出今后的研究方向和发展趋势.

关键词：非单调推理辩论辩论模型争议评价

在线全文

学校读者我要写书评

暂无评论

强表达描述逻辑本体的后继式公理定位研究

软件学报 2023年第8期34卷 3574-3586页

作者：李静欧阳丹彤叶育鑫吉林大学计算机科学与技术学院吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012

公理定位能够挖掘描述逻辑中可解释的缺陷,并为逻辑蕴含结果寻找隐藏的理由,因此在描述逻辑研究中引起了广泛的关注.平衡描述逻辑表达能力和推理机求解效率问题一直是公理定位研究的重点内容.基于一种后继式判定算法,从白盒和黑盒两个... 详细信息

公理定位能够挖掘描述逻辑中可解释的缺陷,并为逻辑蕴含结果寻找隐藏的理由,因此在描述逻辑研究中引起了广泛的关注.平衡描述逻辑表达能力和推理机求解效率问题一直是公理定位研究的重点内容.基于一种后继式判定算法,从白盒和黑盒两个角度将其用于公理定位.白盒方法利用修正的后继式规则(即定位规则)来追踪推理的具体过程,并引入定位公式的概念建立子句的布尔公式标签与逻辑蕴含的所有极小公理集之间的对应关系.黑盒方法则直接调用基于未修正的后继式规则的推理机,并进一步利用碰集树方法求得逻辑蕴含的所有理由.最后,基于这样的两种面向强表达描述逻辑本体的公理定位算法设计推理工具,从理论和实验两方面验证其可行性,并与已有的推理工具比较求解性能.

关键词：公理定位后继式判定算法定位规则白盒与黑盒

在线全文

学校读者我要写书评

暂无评论

竖向压力对混凝土砖回弹值的影响分析

武汉大学学报（工学版） 2015年第3期48卷 313-317页

作者：陈大川欧阳顺毛延宾毛迪湖南大学土木工程学院湖南长沙410008

选取了混凝土实心砖、混凝土多孔砖两种建筑材料,分别砌筑了6个标准试件.对每个标准试件施加0~100kN,每级20kN,共6级竖向荷载,并采用ZC3-A型混凝土回弹仪和ZC4型测砖回弹仪对其进行回弹测试,记录不同竖向压力下的回弹值,以研究混凝土砖... 详细信息

选取了混凝土实心砖、混凝土多孔砖两种建筑材料,分别砌筑了6个标准试件.对每个标准试件施加0~100kN,每级20kN,共6级竖向荷载,并采用ZC3-A型混凝土回弹仪和ZC4型测砖回弹仪对其进行回弹测试,记录不同竖向压力下的回弹值,以研究混凝土砖竖向压力对回弹值的影响.为进一步分析验证试验结论,对上述影响机理采用ANSYS/LS-DYNA有限元分析软件模拟分析.由试验结果和理论分析可知,竖向压力对回弹值推定砖强度的精度无影响.为扩大回弹法对非烧结砖的适用范围和相关标准、规范的修订提供了依据.

关键词：回弹法竖向压力有限元分析混凝土实心砖混凝土多孔砖

在线全文

学校读者我要写书评

暂无评论

YAP/TAZ的调控机制研究进展

生命科学 2020年第12期32卷 1381-1390页

作者：陈林云欧阳家和段琼朱凌燕南昌大学第一附属医院内分泌科南昌330006 南昌大学第一临床医学院南昌330006 南昌大学第一附属医院心血管科南昌330006

YAP/TAZ是Hippo通路的关键效应因子,在介导Hippo通路调节器官大小及组织恶变中起着重要作用。近年来的研究发现,除了经典Hippo通路,机械信号如Rho激酶和细胞核内因素,可溶性因子如GPCR、Wnt和转化生长因子-β(TGF-β)信号通路,以及能量... 详细信息

YAP/TAZ是Hippo通路的关键效应因子,在介导Hippo通路调节器官大小及组织恶变中起着重要作用。近年来的研究发现,除了经典Hippo通路,机械信号如Rho激酶和细胞核内因素,可溶性因子如GPCR、Wnt和转化生长因子-β(TGF-β)信号通路,以及能量代谢等对YAP/TAZ也起到了多方面的调控作用。越来越多的研究表明,YAP/TAZ在肿瘤、心血管疾病和肥胖等多种疾病中发挥着重要作用。因此,深入探究YAP/TAZ的调控机制显得尤为重要。现对哺乳动物系统YAP/TAZ的调控机制研究进行综述,希望为多种疾病治疗提供新的思路。

关键词： YAP/TAZ Hippo通路 Rho激酶细胞核内因素 Wnt信号通路 TGF-β信号通路能量代谢调控机制