检索结果-南通市图书馆

Formal Verification Platform as a Service:WebAssembly Vulnerability Detection Application

Computer Systems Science & Engineering 2023年第5期45卷 2155-2170页

作者： liangjun deng Hang Lei Zheng Yang WeiZhong Qian XiaoYu Li Hao Wu Sihao deng RuChao Sha WeiDong deng School of Information and Software Engineering University of Electronic Science and Technology of ChinaChengdu610054China School of Physics University of Electronic Science and Technology of ChinaChengdu611731China ICB-PMDM-LERMPS UMR 6303 CNRSUTBMUniversitéde Bourgogne Franche-ComtéBelfort90010France Chengdu Railway Science and Technology Innovation Co.LTD Chengdu640041China

In order to realize a general-purpose automatic formal verification platform based on WebAssembly technology as a web service(FVPS),which aims to provide an automated report of vulnerability detections,this work builds a Hyperledger Fabric blockchain runtime *** proposes an optimized methodology of the functional equivalent translation from source program languages to formal *** methodology utilizes an external application programming interface(API)table to replace the source codes in compilation,thereby pruning the part of housekeeping codes to ease code *** inflation is a significant metric in formal language ***,minor code inflation enhances verification scale and performance *** determines the efficiency of formal verification,involving launching,running,and memory *** instance,path explosion increases exponentially,resulting in *** experimental results conclude that program languages like golang severely impact code *** reduces the wasm code size by over 90%,achieving two orders of optimization magnitude,from 2000 kilobyte(KB)to 90 *** means we can cope with golang applications up to 20 times larger than the original in *** work eliminates the gap between Hyperledger Fabric smart contracts and *** approach is pragmatic,adaptable,extendable,and ***,FVPS is successfully applied in a Railway-Port-Aviation blockchain transportation system.

关键词： WebAssembly formal verification blockchain smart contract

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

降低重组腺相关病毒载体免疫反应的策略

引用

病毒学报 2018年第1期34卷 121-127页

作者：邓樑钧邱飞华侨大学分子药物研究院泉州362021 华侨大学生物医学学院泉州362021 分子药物教育部工程研究中心泉州362021

重组腺相关病毒（Recombinant adeno-associated virus,rAAV）载体在基因治疗研究中应用广泛,但可能引发机体产生免疫反应,限制了其在基因治疗领域的临床应用,如何降低rAAV载体的免疫反应已经成为基因治疗领域的研究重点之一。本文从对r... 详细信息

重组腺相关病毒（Recombinant adeno-associated virus,rAAV）载体在基因治疗研究中应用广泛,但可能引发机体产生免疫反应,限制了其在基因治疗领域的临床应用,如何降低rAAV载体的免疫反应已经成为基因治疗领域的研究重点之一。本文从对rAAV载体的选择和对患者免疫抑制调控两个方面介绍降低rAAV载体免疫反应的策略。

关键词：基因治疗重组腺相关病毒(rAAV)载体免疫反应衣壳蛋白

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

金安桥水电站枢纽建筑物边坡工程设计

引用

水力发电 2011年第1期37卷 35-37页

作者：马俊李双宝邓良军中国水电顾问集团昆明勘测设计研究院云南昆明650051

金安桥水电站枢纽区边坡范围大,地质条件复杂,并处于高地震烈度区域,边坡开挖设计工作难度大。在进行多种计算方法比较和对地质参数等基础数据进行多样化分析研究的基础上,对边坡滑移模式进行了推演,对边坡稳定进行了详细的分析计算,为... 详细信息

金安桥水电站枢纽区边坡范围大,地质条件复杂,并处于高地震烈度区域,边坡开挖设计工作难度大。在进行多种计算方法比较和对地质参数等基础数据进行多样化分析研究的基础上,对边坡滑移模式进行了推演,对边坡稳定进行了详细的分析计算,为施工设计提供了充足的理论依据。

关键词：边坡工程稳定分析支护措施金安桥水电站

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

金安桥水电站表孔泄流及底流消能研究

引用

水力发电 2011年第1期37卷 38-41页

作者：李双宝马俊邓良军中国水电顾问集团昆明勘测设计研究院云南昆明650051

介绍了金安桥水电站泄洪消能方案的选择,以及泄洪消能建筑物布置及水力学计算,重点对消能进行了较为详尽的分析研究,同时也简要介绍了水力模型试验,进一步验证了理论分析的成果,从而为该工程泄洪消能结构形式的确定提供了理论及试验依据。

关键词：泄洪消能理论分析模型试验金安桥水电站

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

金安桥水电站大坝抗震分析和抗震措施设计

引用

水力发电 2011年第1期37卷 26-28页

作者：邓良军李双宝吴余生中国水电顾问集团昆明勘测设计研究院云南昆明650051

金安桥水电站大坝地震设防烈度高达9度,基岩场地设计水平动峰值加速度为0.399 g,大坝抗震分析和抗震措施设计是工程关键性技术问题之一。采用数值计算法和模型试验法对碾压混凝土大坝进行了全面的动力分析,确定了大坝的抗震薄弱部位,为... 详细信息

金安桥水电站大坝地震设防烈度高达9度,基岩场地设计水平动峰值加速度为0.399 g,大坝抗震分析和抗震措施设计是工程关键性技术问题之一。采用数值计算法和模型试验法对碾压混凝土大坝进行了全面的动力分析,确定了大坝的抗震薄弱部位,为金安桥水电站大坝设计提供了保证。

关键词：碾压混凝土坝抗震研究设防烈度设计水平动加速度峰值金安桥水电站

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

交通容量分析在控制性详细规划编制中的应用

引用

城市规划 2015年第A1期39卷 97-101页

作者：周杲尧邓良军王峰马巧英杭州市城市规划设计研究院

为缓解当前日益突出的交通拥堵、环境污染等大城市问题,实现城市的可持续发展目标,本文以城市用地和交通两个系统相互协调为切入点,在控规层面引入交通容量控制,通过用地与交通的互动反馈,提升交通容量对于土地开发强度的约束力,从而实... 详细信息

为缓解当前日益突出的交通拥堵、环境污染等大城市问题,实现城市的可持续发展目标,本文以城市用地和交通两个系统相互协调为切入点,在控规层面引入交通容量控制,通过用地与交通的互动反馈,提升交通容量对于土地开发强度的约束力,从而实现用地与交通的一体化发展。同时,提出了交通容量测算的技术框架和方法以及在控规中的具体应用,并以杭州市九乔商贸单元为例进行了实证分析。

关键词：交通容量土地利用控制性详细规划

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

黄登水电站碾压混凝土重力坝设计与实践

引用

水力发电 2019年第6期45卷 17-20页

作者：杨宜文邓良军李文杰向弘中国电建集团昆明勘测设计研究院有限公司

黄登水电站工程位于云南省兰坪县境内,采用堤坝式开发,其拦河大坝选用碾压混凝土重力坝,最大坝高为203m,电站总装机容量1900MW(4×475MW)。围绕黄登工程大坝设计与实践,分别论述了坝体混凝土与温控设计、大坝基础处理设计、坝体泄洪消... 详细信息

黄登水电站工程位于云南省兰坪县境内,采用堤坝式开发,其拦河大坝选用碾压混凝土重力坝,最大坝高为203m,电站总装机容量1900MW(4×475MW)。围绕黄登工程大坝设计与实践,分别论述了坝体混凝土与温控设计、大坝基础处理设计、坝体泄洪消能设计,以及工程实践效果与评价;研究讨论碾压混凝土重力坝设计的关键技术问题和关注点,并在工程中加以实践与应用。

关键词：设计碾压混凝土重力坝黄登水电站

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

县域融合发展下建德城乡公交枢纽布局选址研究

引用

现代城市研究 2022年第4期37卷 116-121页

作者：雷心悦邓良军周杲尧过秀成吕剑杭州市规划设计研究院东南大学交通学院杭州市规划设计研究院新技术研究所

合理布局公交枢纽是统筹城乡交通一体化、推动县域融合发展的现实需求。论文从宏观布局、微观选址两个层面出发,对县域城乡公交枢纽进行布局选址,包括:(1)生成初始节点;(2)改进节点重要度评价模型以识别枢纽潜在单元;(3)考虑需求覆盖率... 详细信息

合理布局公交枢纽是统筹城乡交通一体化、推动县域融合发展的现实需求。论文从宏观布局、微观选址两个层面出发,对县域城乡公交枢纽进行布局选址,包括:(1)生成初始节点;(2)改进节点重要度评价模型以识别枢纽潜在单元;(3)考虑需求覆盖率最大和城区公交站点可达性最高,构建枢纽分级选址模型。以浙江县级市建德为实例应用,提出的方案与城乡发展格局保持较好的协调性,为多数出行需求提供服务,有利于发挥枢纽功能。

关键词：县域城乡公交枢纽布局选址节点重要度评价网络地图开放平台

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于综合因素刺激的肠易激综合征模型构建方法学研究

引用

Journal of Chinese Pharmaceutical Sciences 2023年第3期32卷 180-189页

作者：邹鑫峰郭海华邓樑钧杨淯婷袁正强谭文广东工业大学生物医药学院广东广州510006 暨南大学沅芷健康科技有限公司博士后创新基地广东珠海519000 蒙纳什大学马来西亚校区Jeffrey Cheah医学与健康学院马来西亚圣威班达尔47500

为了建立一个建模周期短且符合IBS发病机制的模型,我们将慢性不可预知刺激与化学刺激相结合,建立一种新的肠易激综合征模型,并探讨其可行性。以慢性不可预测刺激为单因素模型,慢性不可预测刺激加冰醋酸刺激为综合因素模型。从体重增长... 详细信息

为了建立一个建模周期短且符合IBS发病机制的模型,我们将慢性不可预知刺激与化学刺激相结合,建立一种新的肠易激综合征模型,并探讨其可行性。以慢性不可预测刺激为单因素模型,慢性不可预测刺激加冰醋酸刺激为综合因素模型。从体重增长率、基本食物消耗量、蔗糖消耗量、粪便颗粒数、Bristol分值、腹部回撤反射、旷场实验、高架十字迷宫试验、肠道运输时间、HE染色等一系列试验中分析了肠易激综合征模型的症状。结果显示,与单因素模型和对照组相比,综合因素组模型中的大鼠体重增加较少、食物消耗、蔗糖消耗减少、粪便颗粒数增加、Bristol评分和疼痛阈值下降、运动量大大减少。由于综合刺激对大鼠模型有明显的作用,综合因素组模型更加符合IBS复杂的发病机制,可用于建立有效的IBS模型。与雌性大鼠相比,雄性大鼠的造模效果明显。

关键词：肠易激综合征大鼠模型焦虑综合因素

来源：

维普期刊数据库

同方期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

FUKO管在黄登水电站大坝坝基接触灌浆设计中的应用

引用

山西建筑 2020年第6期46卷 155-157页

作者：张彩秀陈述存李文杰邓良军陈建安中国电建集团昆明勘测设计研究院有限公司云南昆明650051 华能澜沧江水电股份有限公司黄登·大华桥建管局云南昆明650000

介绍了FUKO管的结构与特点,论述了采用FUKO管进行大坝坝基面接触灌浆的设计内容,包括管路设计、灌浆浆液、灌浆压力、灌浆条件及灌浆次序等,该设计成果可供类似工程参考。

关键词：大坝坝基 FUKO管接触灌浆黄登水电站

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：