检索结果-南通市图书馆

中国农村金融 2005年第9期 61-62页

作者：王峥雷志坚本刊记者特约记者

作为首批深化农村信用社改革试点8省市之一,贵州率先正式挂牌开业。改革试点工作自2003年8月正式展开,历经两年。目前,各项工作进展顺利,取得了阶段性成果。

关键词：农村信用社发展夯实基础农信社农村信用社改革工作进展产权制度改革试点工作统一法人农村合作银行转换经营机制

在线全文

学校读者我要写书评

暂无评论

王峥作品

美术教育研究 2016年第11期 182-182页

作者：王峥厦门大学建筑与土木工程学院

“双碳”目标下中国服务业碳强度时空交互特征及跃迁机制

在线全文

学校读者我要写书评

暂无评论

地理学报 2023年第1期78卷 54-70页

作者：王峥程占红山西财经大学文化旅游学院太原030031

为实现国家自主贡献承诺,如期达到“碳达峰、碳中和”目标,中国服务业的低碳发展是必然趋势。基于多种空间分析方法,从时空交互视角研究了中国服务业碳强度差异格局、空间关联、动态演化及跃迁机制。结果表明:①2005—2019年中国服务业... 详细信息

为实现国家自主贡献承诺,如期达到“碳达峰、碳中和”目标,中国服务业的低碳发展是必然趋势。基于多种空间分析方法,从时空交互视角研究了中国服务业碳强度差异格局、空间关联、动态演化及跃迁机制。结果表明:①2005—2019年中国服务业碳强度的总体差异存在动态收敛趋势,在空间上也呈现显著的聚类现象,且空间集聚水平逐渐趋于稳定。②在服务业碳强度局部空间结构与依赖方向上,西北与东北地区波动性较强,东部沿海地区相对稳定;在碳强度时空跃迁的过程中整体表现出一定的转移惰性,具有较强的空间依赖或路径锁定特征,其中中部、西部的多数地区始终保持高碳强度属性,是制约中国服务业协同减排的关键区域。③服务业碳强度的时空网络格局主要以正向关联为主,表现出较强的空间整合性,但少数邻接省域仍存在一定程度的时空竞争。④各地区服务业碳强度时空跃迁的驱动模式存在差异,其中,东部沿海省份主要受人口—城镇化制约模式的影响,西北、西南和东北的多数地区主要受技术—规制驱动模式的影响。自东南至西北,中国服务业碳强度的跃迁模式逐渐呈现出“同向制约—反向发展—同向发展”的阶梯递变格局。因此,政府减排政策的制定不仅应统筹考虑各类驱动/制约因素,还需要结合不同碳强度集聚类型与和跃迁路径,强调差异化的服务业减排措施,同时也离不开区域之间的协同减排,避免省际间减排政策的封闭性。

关键词：服务业碳强度时空交互分位数回归跃迁机制

基于窄带Mumford-Shah模型的图像分割方法(英文)

在线全文

学校读者我要写书评

暂无评论

红外与毫米波学报 2002年第3期21卷 161-166页

作者：王峥杨新施鹏飞上海交通大学图像处理与模式识别研究所上海200030

在结合Mumford Shah模型和水平集方法中的窄带解法优点的基础上 ,提出了一种新的图像分割模型 .Mumford Shah模型虽然具有良好的图像分割结果 ,但是其每次迭代过程都需要对所有图像数据进行计算 ,因而很费时 ,导致这种方法不适用于大的... 详细信息

在结合Mumford Shah模型和水平集方法中的窄带解法优点的基础上 ,提出了一种新的图像分割模型 .Mumford Shah模型虽然具有良好的图像分割结果 ,但是其每次迭代过程都需要对所有图像数据进行计算 ,因而很费时 ,导致这种方法不适用于大的图像数据 ,特别是三维图像的分割 .本文通过一种新的初始化方法把Mumford Shah模型和水平集中的窄带解法结合在一起 .这种新的初始化方法是通过在特定条件下简化快速行进法得到的 .通过去除快速步进法中费时的排序过程 ,使得初始化的计算时间只有O(N) .窄带Mumford Shad模型把分割计算限制在窄带范围内 ,避免了大量的计算 ,但取得了与原始的Mumford Shah模型相同的分割效果 .实验结果表明基于快速步进法的初始化方法是可行的 ,而窄带M S分割模型一次迭代计算的时间比原M

关键词：图像分割 Mumford-Shah模型水平集方法窄带法图像处理三维图像

在线全文

学校读者我要写书评

暂无评论

结构-地基系统静-动力联合分析模型

计算力学学报 2012年第2期29卷 165-170页

作者：王峥峥高波大连理工大学土木工程学院大连116024 西南交通大学土木工程学院成都610031

以有限区域模拟无限区域的动力计算必须考虑边界上波的传播效应,应不使波在边界上发生反射再返回到计算域中,并且应考虑初始静力场对其动力反应的影响。因此,基于无限元的静、动力特性提出静-动力统一无限元,通过算例验证无限元静-动力... 详细信息

以有限区域模拟无限区域的动力计算必须考虑边界上波的传播效应,应不使波在边界上发生反射再返回到计算域中,并且应考虑初始静力场对其动力反应的影响。因此,基于无限元的静、动力特性提出静-动力统一无限元,通过算例验证无限元静-动力统一人工边界在静-动力联合分析模型中的精度和稳定性。结果表明:无限元静-动力统一人工边界在静力、动力及静-动力联合分析模型中具有很高的精度和良好的稳定性,突破了传统动力人工边界不能兼顾静力效应的局限。

关键词：结构-地基系统静-动力分析模型无限元统一边界有限元人工边界

在线全文

学校读者我要写书评

暂无评论

非晶合金中的流变单元

物理学报 2017年第17期66卷 19-34页

作者：王峥汪卫华中国科学院物理研究所北京100190

非晶合金是一类具有诸多优异性能的先进金属材料,同时也是研究非晶态物质的模型体系.最近,大量的实验和模拟证据显示,在非晶合金中可能存在类似晶体中缺陷的"流变单元",这些动力学单元和非晶合金的的流变、物理、力学性能密切关联.本文... 详细信息

非晶合金是一类具有诸多优异性能的先进金属材料,同时也是研究非晶态物质的模型体系.最近,大量的实验和模拟证据显示,在非晶合金中可能存在类似晶体中缺陷的"流变单元",这些动力学单元和非晶合金的的流变、物理、力学性能密切关联.本文主要综述了流变单元提出的背景、实验证据、流变单元的特征、激活与演化过程、相互作用以及相关的理论.文中提供了大量实验证据证明流变单元模型不仅可以帮助理解非晶态物质中如形变、玻璃转变、弛豫动力学以及非晶结构和性能的关系等重要的基本物理问题,而且可以指导非晶合金性能的调控和设计,获得性能优异的非晶合金材料.

关键词：非晶合金流变单元玻璃转变形变

在线全文

学校读者我要写书评

暂无评论

雾计算中用户和属性可撤销的访问控制方案

北京邮电大学学报 2020年第6期43卷 88-95页

作者：王峥李玲李娜太原理工大学信息与计算机学院晋中030600 国网山西省电力公司太原030024

雾计算中的属性基加密技术在解决数据细粒度访问控制问题的同时也带来了用户和属性的撤销问题,对此,提出一种用户和属性可撤销的访问控制方案.改进了现有的基于属性组撤销属性的访问控制方案,使其适用于雾计算,同时提高了密钥更新效率.... 详细信息

雾计算中的属性基加密技术在解决数据细粒度访问控制问题的同时也带来了用户和属性的撤销问题,对此,提出一种用户和属性可撤销的访问控制方案.改进了现有的基于属性组撤销属性的访问控制方案,使其适用于雾计算,同时提高了密钥更新效率.另外,利用雾节点实现了用户的撤销,同时为了降低用户端的负担,将部分计算和存储开销从用户端转移到了临近的雾节点.基于判定双线性diffie-hellman(DBDH)假设的安全性分析结果表明,所提方案可以抵抗选择明文攻击.对方案进行了理论和实验,分析结果表明,所提方案具有较高的撤销效率和实用价值.

关键词：雾计算访问控制撤销外包属性基加密

在线全文

学校读者我要写书评

暂无评论

基于损伤和能量指标的隧道结构地震反应分析

大连理工大学学报 2011年第6期51卷 861-867页

作者：王峥峥檀永刚张哲高波大连理工大学土木工程学院辽宁大连116024 西南交通大学土木工程学院四川成都610031

采用Hilbert-Huang变换的波谱分析技术,对输入地震波进行波谱分析;并根据能量原理,推导损伤状态下的能量反应方程.基于损伤能量方程对隧道结构进行非线性地震反应分析,讨论了隧道结构的抗震薄弱部位及其渐近破坏过程.研究结果表明:隧道... 详细信息

采用Hilbert-Huang变换的波谱分析技术,对输入地震波进行波谱分析;并根据能量原理,推导损伤状态下的能量反应方程.基于损伤能量方程对隧道结构进行非线性地震反应分析,讨论了隧道结构的抗震薄弱部位及其渐近破坏过程.研究结果表明:隧道衬砌拱肩和墙脚是隧道抗震的薄弱部位,在一些强震作用下,仰拱也会出现破坏,隧道抗震设计应加强这些部位的抗震措施.研究结果可为隧道结构抗震设计提供依据和指导.

关键词：隧道结构地震反应能量指标损伤指标波形敏感性

航空矢量重力测量中光纤陀螺随机漂移误差实时补偿方法

在线全文

学校读者我要写书评

暂无评论

测绘学报 2017年第2期46卷 144-150页

作者：王峥李建成武汉大学测绘学院湖北武汉430079 武汉大学地球空间环境与大地测量教育部重点实验室湖北武汉430079

光纤陀螺随机漂移误差是影响航空矢量重力测量系统姿态解算精度的关键因素。建立模型并在输出中对其补偿是抑制该项误差的有效方法。针对传统ARMA模型只能对平稳随机漂移误差建模,且模型无法满足实时滤波需求的问题,本文引入适用于非平... 详细信息

光纤陀螺随机漂移误差是影响航空矢量重力测量系统姿态解算精度的关键因素。建立模型并在输出中对其补偿是抑制该项误差的有效方法。针对传统ARMA模型只能对平稳随机漂移误差建模,且模型无法满足实时滤波需求的问题,本文引入适用于非平稳随机漂移误差的ARIMA模型,同时给出详细的建模过程,并提出采用实时平均算法消除原始采样序列中常值分量的思路,实现了随机漂移误差的实时Kalman滤波估计。基于本文所提出的模型和实时滤波算法,对光纤陀螺实测数据进行分析,结果表明处理后信号中随机漂移误差的方差减小了46.5%。Allan方差分析结果表明,滤波后角度随机游走系数和角速率随机游走系数分别降低了约50%和40%。本文的结果说明ARIMA模型能够准确描述陀螺的非平稳随机漂移误差。基于实时平均算法的Kalman滤波可实现随机漂移误差的在线估计,有望提高航空矢量重力测量系统的姿态解算精度。

关键词：光纤陀螺 ARIMA模型 Kalman滤波 Allan方差

基于形式化方法的道口控制系统规范建模与验证

在线全文

学校读者我要写书评

暂无评论

西南交通大学学报 2019年第3期54卷 573-578,603页

作者：王恪铭王峥西南交通大学信息科学与技术学院四川成都611756 西南交通大学系统可信性自动验证国家地方联合工程实验室四川成都610031

为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证.基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用 UML 图方法并结合精化策略建立了系统各层的 Event-B语言模型.通过对不变式的证明义务... 详细信息

为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证.基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用 UML 图方法并结合精化策略建立了系统各层的 Event-B语言模型.通过对不变式的证明义务进行证明,验证了系统设计中的安全、时间特性,检查出了需求规范分析中的缺陷,提出了增强系统稳健性的改进方案,修正了系统的设计原型.最后,通过不变式冲突与死锁检验进一步确认了模型的正确性.研究表明文中方法提高了形式化建模过程的准确性与层次性,且确认得出目前规范中存在列车驶入道口时不能确保道口出清的缺陷,证实了使用本文形式化流程可以验证道口控制系统的需求规范并形成可靠的设计原型,从而可提高铁路道口的安全性.

关键词：铁路运输铁路道口需求规范形式化方法系统设计模型验证