检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

针对硬件木马的形式化验证模型构造方法

西安电子科技大学学报 2021年第3期48卷 146-154页

作者：沈利香慕德俊曹国谢光前束方勇西北工业大学自动化学院陕西西安710072 常州工学院计算机信息工程学院江苏常州213032 西北工业大学网络空间安全学院陕西西安710072 西北工业大学管理学院陕西西安710072 常州工学院经济与管理学院江苏常州213032

针对硬件安全验证的效率受形式化验证模型构建方式影响的问题,提出了一种面向硬件木马检测的自动构造形式化验证模型的方法。该方法首先遍历寄存器传输级设计的控制流图,提取出赋值语句的路径条件及其对应赋值表达式,构成Kripke结构中... 详细信息

针对硬件安全验证的效率受形式化验证模型构建方式影响的问题,提出了一种面向硬件木马检测的自动构造形式化验证模型的方法。该方法首先遍历寄存器传输级设计的控制流图,提取出赋值语句的路径条件及其对应赋值表达式,构成Kripke结构中状态转移的约束关系;然后将Verilog语法的约束关系转换成模型检测器的语法,从而生成形式化验证模型;最后利用模型检测器对所构造的模型进行验证,当模型违反设定的安全验证属性时,检测到其中的硬件木马。利用Trust-HUB硬件木马测试基准的实验结果表明,该方法生成的形式化验证模型,能够有效检测寄存器传输级硬件设计中的木马。

关键词：形式化验证模型检测硬件安全硬件木马安全验证

生态水文学视角下的山地海绵城市规划方法研究——以重庆都市区为例

在线全文

学校读者我要写书评

暂无评论

山地学报 2017年第1期35卷 68-77页

作者：赵万民朱猛束方勇重庆大学建筑城规学院

海绵城市是我国新型城镇化和生态文明建设的重要内容,在城市内涝灾害频发的背景下,具有缓解雨洪灾害和水资源短缺问题、构建城市水文安全体系的重要意义。山地作为海绵城市建设的主体区域之一,其海绵城市建设受到自然地形、气象水文和... 详细信息

海绵城市是我国新型城镇化和生态文明建设的重要内容,在城市内涝灾害频发的背景下,具有缓解雨洪灾害和水资源短缺问题、构建城市水文安全体系的重要意义。山地作为海绵城市建设的主体区域之一,其海绵城市建设受到自然地形、气象水文和城市建设等多方面因素的制约。本文以重庆都市区为研究对象,在系统梳理山地水文过程特征的基础上,将生态水文体系与海绵城市规划两者间的理论性和技术性耦合,提出重庆都市区海绵城市规划建设的一般途径,从建设目标、生态空间、雨水单元、场地规划等角度制定规划管控措施,落实海绵城市建设要点,实现山地海绵城市规划的理论创新和实践指导价值。

关键词：海绵城市规划方法山地水文重庆都市区

多维度比较导向下的山地城市特色凝练与格局构建研究——以重庆市巴南区为例

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国名城 2018年第6期32卷 53-58页

作者：束方勇重庆大学建筑城规学院

随着我国城镇化进程向西南地区推进,山地城市独特的地域风貌正逐渐被现代建筑代替,城市面临着严峻的特色危机。然而由于山地城市尚处于由数量增长向内涵提升的转型期,城市特色相关理论十分缺乏,亟需规划研究与指导。以重庆巴南区为例,... 详细信息

随着我国城镇化进程向西南地区推进,山地城市独特的地域风貌正逐渐被现代建筑代替,城市面临着严峻的特色危机。然而由于山地城市尚处于由数量增长向内涵提升的转型期,城市特色相关理论十分缺乏,亟需规划研究与指导。以重庆巴南区为例,将多维比较的方法引入城市核心特色资源识别,在自然山水、历史文化、城市空间三个方面将巴南与重庆其他区县进行比较,凝练出巴南核心城市特色,并通过构建"点线面"结合的城市特色格局,将特色要素融入空间规划,提出培育城市核心节点、梳理山水绿道、规划城市色彩等与巴南相适应的城市特色规划措施。

关键词：山地城市城市特色多维度比较特色格局巴南区

空间消费视角下城市特色塑造的规划途径研究——以重庆为例

在线全文

学校读者我要写书评

暂无评论

上海城市规划 2021年第1期 77-83页

作者：赵万民束方勇重庆大学建筑城规学院

我国城镇化发展由量向质的转型反映出空间由批量生产向高品质、个性化消费转变的趋势。基于空间生产与消费理论,分析资本生产逻辑下特色危机成因,构建城市特色"消费—生产—治理"内涵逻辑框架,提出回归日常生活的空间体验、特色外部效... 详细信息

我国城镇化发展由量向质的转型反映出空间由批量生产向高品质、个性化消费转变的趋势。基于空间生产与消费理论,分析资本生产逻辑下特色危机成因,构建城市特色"消费—生产—治理"内涵逻辑框架,提出回归日常生活的空间体验、特色外部效应制造超额剩余价值、城市规划管控空间消费风险等城市特色塑造途径。以重庆地域性特色城市为例,从社会、资本、政府3种视角总结城市空间特色形成机制,验证"消费—生产—治理"模型架构。结合空间经济转型背景和网络信息数据环境,提出凝练城市空间特色资源、山城品牌与特色空间结构规划、城市特色要素规划管控、规划管理实施模式等策略建议,实现理论研究的实践指导价值。

关键词：城市特色空间消费规划策略重庆

在线全文

学校读者我要写书评

暂无评论

天然气长输管道焊接质量无损检测管理探析

建材与装饰 2018年第52期 45-46页

作者：束方勇江苏南京210000

焊接质量控制当中无损检测是非常重要的一项环节和措施。对此,本文将会重点阐述其无损检测的方式和相应的检测程序,并分析某一管道的检测统计结果,找出焊缝的缺陷。

关键词：天然气长输管道焊接质量无损检测管理

浅谈新企业所得税法对港口外资企业的影响及对策

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

交通财会 2010年第3期 41-43页

作者：束方勇上海沪东集装箱码头有限公司上海201315

新企业所得税法(指《中华人民共和国企业所得税法》及相关法规)已于2008年1月1日起施行。新企业所得税法在税率、扣除办法以及税收优惠上都有了较大的变化,将在实现内外资企业的平等税收负担、引导资金的流向、调整产业结构和实现区域... 详细信息

新企业所得税法(指《中华人民共和国企业所得税法》及相关法规)已于2008年1月1日起施行。新企业所得税法在税率、扣除办法以及税收优惠上都有了较大的变化,将在实现内外资企业的平等税收负担、引导资金的流向、调整产业结构和实现区域均衡发展等方面产生重要的影响。港口作为国家重要的基础设施,是国家重点扶持的项目,本文拟从税率、税前扣除、优惠政策三个方面分析新企业所得税法对港口外资企业产生的主要影响,并试探性的提出一些应对措施。

关键词：新企业所得税法港口外资企业税收优惠扣除

海绵城市理念下的热岛效应生成机制与治理策略

在线全文

学校读者我要写书评

暂无评论

海绵城市理念下的热岛效应生成机制与治理策略

2017中国城市规划年会

作者：束方勇重庆大学建筑城规学院

近年来,由于城镇化进程的加速,热岛效应在我国城市不断发生,对城市热环境平衡状况和人居环境品质产生了严重的负面影响。本文以海绵城市建设为契机,提出将海绵城市的低影响开发理念融入城市热岛效应治理。文章首先在梳理国内外城市热岛... 详细信息

近年来,由于城镇化进程的加速,热岛效应在我国城市不断发生,对城市热环境平衡状况和人居环境品质产生了严重的负面影响。本文以海绵城市建设为契机,提出将海绵城市的低影响开发理念融入城市热岛效应治理。文章首先在梳理国内外城市热岛效应研究的基础上,总结热岛效应的形成原因,提出城市下垫面热特性变化、人为热排放、绿地水面减少和建筑物高密度布局是影响热岛效应的主要因素。同时文章利用海绵城市低影响开发原理,以重庆都市区为例提出热岛效应治理的四项基本策略,即构建多中心组团式的城市布局、保护区域生态安全格局、构建以绿地为中心的低影响设施体系和规划城市通风廊道,为当前山地城市人居环境发展提供参考。

关键词：热岛效应生成机制治理策略海绵城市重庆都市区

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

港口企业财务内部控制问题研究

财会学习 2020年第10期 254-254,256页

作者：束方勇上海国际港务(集团)股份有限公司

随着我国对外开放程度不断深入,社会主义市场经济体制不断完善,我国港口企业发展所面临的市场竞争环境也愈发复杂,港口企业迫切需要提升竞争力。在新的形势环境下,如何将港口企业的管理体系与我国特色市场行情结合起来是一个值得研究的... 详细信息

随着我国对外开放程度不断深入,社会主义市场经济体制不断完善,我国港口企业发展所面临的市场竞争环境也愈发复杂,港口企业迫切需要提升竞争力。在新的形势环境下,如何将港口企业的管理体系与我国特色市场行情结合起来是一个值得研究的问题,对港口企业来说也是一次巨大的考验。目前,港口企业管理体系还存在着较多问题,其中财务内部控制效率低下最为突出,既影响了港口企业现金流的稳定,也不利于港口企业的长远发展。因此,本文基于财务内部控制分析了港口企业财务管理现存的一些问题,并结合现状给出相应的解决措施,希望以此来帮助我国的港口企业不断提升财务内部控制的效率与水平,为自身的良性发展打下坚实的基础。

关键词：港口企业财务内部控制意义问题对策

西南山地城市特色塑造机制与规划策略研究——以重庆主城区为例

在线全文

学校读者我要写书评

暂无评论

西南山地城市特色塑造机制与规划策略研究——以重庆主城区为例