作者:高佳宁; 韩蓓; 李国杰; 汪可友; 黄兴德 期刊:《中国电机工程学报》 2019年第24期
针对下垂控制微电网中时刻存在的不确定因素,提出基于齐诺多面体的可达性分析方法,研究系统在不确定条件下的动态运行特性。首先采用齐诺多面体作为集合表达形式,描述系统中的不确定变量,并提出线性动态系统可达集的计算方法。随后基于下垂控制微电网的动态模型,对微电网算例进行仿真分析,并通过时域采样仿真验证了所提方法的有效性。结果表明,可达性分析方法仅需通过一次仿真计算,即可考虑各种不确定因素的持续叠加影响,给出系统...
作者:张腾; 常军; 孙艺璇 期刊:《测绘科学技术学报》 2019年第04期
研究以济南市中小学为分析对象,运用Voronoi模型、引力模型等方法对2012年和2018年济南市中小学分布情况进行分析,结果表明:1)乡级行政区内学校数量差异增大,地区间差异更加显著,各乡级行政区学校数量呈现集聚状态。2)可达性水平方面,济南市中小学具有一定趋同性。以市中区、历下区等市中心地区由高到低向四周扩散,各区县中心区域可达性水平普遍较高。3)地区教育资源发展水平和可达性水平均与人口数量、经济发展水平呈正相关。研究...
作者:张祖敏; 刘士彪 期刊:《江西测绘》 2019年第01期
对赣州市18个区县的道路网密度、人口数和工业产值进行相关性分析,全市各区县的人口分布与工业产值之间存在明显的正相关性。并通过引力模型,对赣州各区县之间进行了可达性分析,以最短交通时间为成本限制,测算了赣州市18个区县之间的经济联系强度,可以看出,赣州交通网络结构呈三横两纵式分布,而且章贡区、南康区和赣县区在城市群中发挥着重要作用,是赣州经济发展的核心区域,城市群的空间联系方向以三区为中心,沿交通廊道成轴线状拓...
作者:闫平; 邹全程 期刊:《林业资源管理》 2018年第05期
以大兴安岭地区2000—2010年卫星火点数据为基础,运用逻辑斯蒂回归模型建立基于气象、植被、地形、社会经济和基础设施因子的林火预测模型,并划分火险等级。此外,基于火险区划对大兴安岭地区的林火监控与扑救效率进行评价分析。模型预测结果表明,坡度、月平均降水、月平均温度等多种因素对大兴安岭地区林火发生有显著影响;火险区划表明,高火险区域面积占研究区域总面积的24.47%;林火监控效果的评价结果显示,对比现有瞭望塔选址方式...
本文主要研究了民用飞机紧固件装配工具可达性分析方法,阐述了虚拟装配环境下的仿真流程,从研究紧固件装配工艺流程入手,通过采用距离测量和模拟仿真相结合的方法进行分析,使得在飞机产品研发阶段能够分析大部分情况下装配工具的可达性,提高结构设计合理性及可装配性。
作者:隗剑秋; 邹进贵 期刊:《武汉工程大学学报》 2005年第02期
根据城市交通可达性分析模型,结合地理信息系统GIS 技术,分析城市中各商业网点的可达性,从而为城市中的商业网点选址规划提供决策依据.
本文以实际工程项目为例,分析人工湿地处理河道黑臭水体的水质目标可达性.根据项目所确定的水质目标,以及项目所采用的工艺 和技术参数,分析项目不同进水水质条件下的水质目标可达性.为人工湿地在河道黑臭水体整治上的应用提供相关技术参考.
作者:牛世鹏; 王聪; 王高鹏; 刘宇 期刊:《核安全》 2019年第02期
本文基于国内典型压水堆核电厂的设计和严重事故管理情况,研究了严重事故的管理操作人员可达性分析方法,并针对具体核电厂进行了相关分析,为严重事故管理导则及其有效实施提供了支持。主要内容包括对严重事故管理所需仪表/设备的操作分析、就地操作及操作位置/路径、操作区域环境条件的计算、严重事故下相关操作人员的可达性评估以及对严重事故管理的影响分析。
作者:胡艳玲 期刊:《长江大学学报·自然科学版》 2018年第18期
城市中特色街区与居民日常行为活动密切相关,较高的可达性可以为居民生活提供方便,同时增强特色街区商业活力,为城市经济发展做出贡献。以合肥市区内10个主要特色街区为研究对象,结合实地调研统计的数据,运用空间句法的方法对所选取的特色街区可达性进行分析。结果表明,合肥市市区内10个特色街区的可达性总体较好,道路通达,居民出行十分便捷;按区分类,包河区的特色街区全局可达性和局部可达性最好,庐阳区的特色街区全局可达性和局...
作者:邵乾虔; 王浩林; 黄明霞; 张云凤 期刊:《系统工程》 2019年第01期
作为电子商务的物流末端,"最后一公里"配送成本的优化对于电商企业物流成本的降低有着重要意义。复杂的路网结构增加了"最后一公里"配送的调度难度,具有较大的研究价值。基于对实际路网的交通可达性分析,提出了A/B RM重构法(Accessibility-Based Reconstructing Method)将实际路网中的客户分布转化为图模型,并利用Dijkstra算法求出客户间的最佳抵达路径。针对当前国内现行的"最后一公里"配送模式,构建了基于实际路网的配送调度优化...
作者:孟玉川; 黄川友; 张金燕 期刊:《西藏科技》 2005年第05期
本文通过对拉萨市区环境空气质量现状、污染源调查及气象条件分析,科学地提出了环境空气质量功能区划分的方案,且进行了功能区环境空气质量目标可达性分析,最后提出了本功能区划分的管理规划措施和综合防治措施,对加强环境管理,保护拉萨市区环境空气质量具有十分重要的意义.
作者:杨克; 贺也平; 马恒太; 王雪飞 期刊:《软件学报》 2018年第01期
精准执行可达性分析探究计算机程序状态之间的可达性关系,通过分析软件的文档、源代码或二进制程序并进行必要的测试验证,以求出在既定限制下从初始状态到特定代码位置的目标状态的准确触发输入和执行路径.精准执行可达性分析在定向测试、静态分析结果核验、错误复现和漏洞POC构造等领域均有广泛的应用.对近年来国内外学者在该研究领域取得的相关研究成果进行了系统的分析、提炼和总结.首先,指出了精准执行可达性分析对应的...
作者:赵建立; 闻英友; 商瑞强; 王光兴 期刊:《东北大学学报·自然科学版》 2004年第04期
介绍了一种新型的卫星网网络管理协议,阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S-不变量分析和T-不变量分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质,从而减少了协议设计中潜在的错误,为此协议的实现打下了良好的基础.
作者:何亚坤; 王璐; 艾廷华 期刊:《地理与地理信息科学》 2019年第01期
随着因健康食品获取不足而爆发肥胖症、糖尿病等慢性疾病的地区越来越多,美国等国家已经将“食品沙漠”问题上升到国家战略。在大数据背景的数据获取驱使下,“食品沙漠”研究由地块或街区等行政区划单元尺度转变到街道网络空间尺度下的食品可达性分析,但该研究将分析尺度固定在街道网络的弧段尺度,不利于街道网络事件的多尺度、多因素分析。考虑到上述问题,本文基于线性剖分模型,将街道网络弧段剖分成同质的线性单元,综合考虑加拿...
作者:刘艳秋; 李建 期刊:《工程与建设》 2017年第06期
随着桥梁船撞引起越来越多人的关注,船桥碰撞研究逐步深入,桥梁防护设计也逐渐完善。鉴于国内尚无桥梁船撞设计规范,本文以已建成的某淮河大桥防护设计为例,说明《公路桥梁抗撞防撞设计规范(报批稿)》提出的设防船舶载重吨确定方法的具体应用。同时,基于桥梁防护设计经验,总结出对于水面宽阔、水中墩较多的桥梁设防桥墩范围的分析方法,供类似工程参考。
作者:龙士工; 李祥 期刊:《计算机仿真》 2005年第06期
采取形式化方法验证协议的安全性,Petri网是有效的方法之一,但传统Petri网分析过程中经常会出现状态空间爆炸问题.该文采用了基于着色Petri网建立安全协议及入侵者攻击的仿真模型方法,从而获得仿真数据.该方法利用逆向状态分析和Petri网可达性分析,能有效地发现协议中的安全漏洞.并且,如果能恰当地控制好状态空间,则能有效地克服Petri网分析过程中的状态空间爆炸问题.该文给出的利用着色Petri网建立安全协议仿真模型分析的一般方法...
作者:眭永波; 王忠民; 郝瑞兵 期刊:《计算机工程与应用》 2004年第23期
针对EFSM可达性分析过程中的状态空间爆炸问题,提出了一种基于变量值域划分的EFSM最小可达图的同步生成算法。该算法将EFSM可达图的生成与最小化两个过程结合在一起同步进行,引入特征配置的思想,依据特征配置指出变迁有效性组合,以及变迁的赋值动作与终止状态分组变量值域的关系,在进行可达性分析的同时仅对可达的状态分组进行稳定性判定及必要的分裂,直到所有可达状态分组均稳定为止,EFSM最小可达图即构造完毕。文中算法最...
作者: 期刊:《上海大学学报·自然科学版》 2006年第03期
首先简介了时间自动机、时钟区域、区域等价、时钟带的概念.利用时钟带,可以将时间自动机的无穷状态空间转化为有穷.实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证.然而,当系统时钟个数较多时,用DBM存储时钟带,会造成内存空间的很大耗费.该文提出了用邻接表存储时钟带,给出了改进的算法,并对算法的空间复杂度作了分析.实验表明,当时钟个数大于5时能节约很大的内存空间,从而在一定程度上缓解了状态爆炸.
密码协议是任何安全系统的基础,其作用主要是利用密码技术实现网络通信中的密钥分发和身份认证,所以它也是实现计算机网络安全的关键,但是在实践中发现有许多密码协议仍然存在漏洞,因此对密码协议的安全性验证就显得非常重要.本文提出了一种基于Petri网的密码协议形式化描述和安全性验证的方法,该方法建立在倒推状态分析思想与颜色Petri网的可达性矩阵描述的基础之上,并通过实例证明了这种方法的有效性.
作者:洪婷婷; 张倩; 庄霆坚; 吴若晖; 陈昕瑶 期刊:《室内设计》 2017年第04期
在快速城市化和地震灾害频发的背景下,绿地系统的防灾避难功能得到极大重视。高校是城市中人口密集区域之一,又是国家人才的集中地,高校绿地系统应急避难机能的研究就显得尤为重要。该研究对福州大学绿地系统应急避难的机能进行分析,首先调查并统计整理了福州大学旗山校区的各项基本数据;其次运用ArcGIS的空间技术分析手段,分别以服务半径300m、500m计算缓冲区所覆盖面积;最后对绿地系统进行可达性分析。通过分析得出结论:...