导读:本文包含了可达性问题论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:可达性,可达,性问题,期权,实物,公共服务,时机。
可达性问题论文文献综述
乔浩,李曾浩,李新国,孙鹏[1]（2017）在《飞行器可达性问题的统一求解方法研究》一文中研究指出针对飞行器的可达性问题,研究了可达域与可返回窗口2个子问题。前者着眼于飞行器在现有条件下对地面目标的覆盖范围,后者则更关注于飞行器在返回过程中的空间上界。对描述飞行器可达性问题的2种方法进行深入研究,提出一种统一框架下的飞行器可达性数值求解方法。通过研究与可达域相对应的终端优化问题以及与可返回窗口相对应的初值优化问题,形成了一套完整的求解流程。仿真结果表明,利用所提求解方法能够快速获得飞行器完整的可达性信息,为飞行器的总体设计、任务规划等提供设计参考。(本文来源于《弹道学报》期刊2017年04期）
郭浩,万向东[2]（2015）在《公共服务的空间分布与可达性问题初探——以林和街家庭综合服务中心为例》一文中研究指出家庭综合服务中心是广州市推行公共服务的重要载体,以往的研究重点关注其管理、运营、评估等方面。其实,从地理学的角度,借鉴空间研究的可达性概念来分析家庭综合服务中心提供服务的空间分布问题,更有利于实现公共服务均等化的精神。人口特征、需求分布和可达性是影响公共服务均等化的空间意义上的重要因素。公共服务提供者可依据公共服务空间分布模型来设计、反思和改进。(本文来源于《社会工作与管理》期刊2015年02期）
马占有,李永明[3]（2014）在《基于广义可能性测度的可达性问题的模型检测》一文中研究指出在广义可能性测度下,提出了广义可能性Kripke结构来描述系统的量化行为。在广义可能性Kripke结构下重新定义了线性时序逻辑的语构和语义,研究了线性时间属性的最终可达性、限制可达性、重复可达性等模型检测问题。本文所获得的结果扩大了可能性测度在模型检测中的应用范围。(本文来源于《模糊系统与数学》期刊2014年06期）
李杨佳[4]（2014）在《量子程序的终止与可达性问题》一文中研究指出量子程序是对量子计算进行设计、实现、推理与验证的核心概念。随着量子计算的物理技术不断实现以及相关商业化应用前景逐步明朗，量子程序的重要性已经日益显现出来。然而，由于量子系统的运行规律与经典系统有着很大的不同，经典的程序理论并不能胜任对量子程序的开发与研究，因此需要建立与量子物理兼容的量子程序理论，发展针对量子计算系统的分析方法，并提出验证量子程序性质的有效技术。本文是作者攻读博士期间在量子程序相关问题上所做研究工作的总结。通过讨论量子程序的可达性问题，本文建立了一套研究量子程序性质的系统理论，其具体内容包括几下几个方面：1.提出了量子程序的基本模型，并研究了程序的终止概率、可达空间以及发散态集合等基本概念，建立了研究量子程序问题的基础框架。2.发展了两项量子程序分析的新技术量子版本的0-1定律和一类量子降链条件，并在此基础上解决了有限维量子程序的终止问题。3.研究了一般的量子程序可达性问题，并证明了这一量子问题是不可判定的，从而揭示了与对应的经典程序问题的本质不同。4.设计了验证量子程序正可达性的方案并构造了相应的算法，得到了量子正可达性的可判定性结果。5.提出了一个量子程序的调试方法，使得量子程序的漏洞有可能在合理的时间内被找到并清除。通过应用可达性问题的判定算法，构造了具体的调试协议。总的来看，本文论证了量子程序无论表现行为还是内在性质都与经典程序有着本质的不同，并提供了新的方法和技术克服这一不同所带来的研究上的困难，从而进一步丰富和发展了量子程序理论。(本文来源于《清华大学》期刊2014-06-01）
林昌龙,刘开周[5]（2013）在《基于面向对象Petri网的水下机器人体系结构建模与可达性问题研究》一文中研究指出针对之前构建的水下机器人体系结构仅停留在系统结构框图层面的不足,本文对其进行建模并对它的正确性进行理论分析.首先简要地介绍之前的研究成果,即趋于通用化的水下机器人体系结构.然后根据该体系结构的模块化封装和层次化组织的特点,采用面向对象的Petri网对其进行建模.在此基础上,针对系统能否顺利完成使命的问题,给出了一个充分性判据,从而在理论上比较严密地论证了该体系结构的时序和逻辑的正确性.最后通过半物理仿真实验对其进行仿真验证.(本文来源于《机器人》期刊2013年03期）
吴敏,颜钢锋,林志赟[6]（2009）在《多面体上彷射系统可达性问题研究(英文)》一文中研究指出The paper studies reachability problem of autonomous affine systems on n-dimensional polytopes.Our goal is to obtain both the largest positive invariant set in the polytope and the backward reachable set(the attraction domain) of each facet.Special attention is paid to the largest stable invariant affine subspace.After presenting several useful properties of those sets,a partition procedure is given to determine the largest positive invariant set in the polytope and all the attraction domains of facets.(本文来源于《自动化学报》期刊2009年12期）
岳昊[7]（2008）在《叁划分问题可多项式归约为唯一可达向量Petri网可达性问题》一文中研究指出为了对基于唯一可达向量Petri网(URV-PN)的密码体制进行密码分析工作,有必要对唯一可达向量网系统的数学本质和各种性质进行深入的研究.定义了扩展的叁划分问题,叁划分问题是扩展的叁划分问题的一种特殊情况;给出了一个一般的多项式时间复杂度算法构造扩展的叁划分问题的Petri网模型;证明扩展的叁划分问题有解当且仅当所构造的Petri网模型中某个标识可达;从而说明叁划分问题可多项式归约为唯一可达向量Petri网系统的可达性问题,从而给出了求解唯一可达向量网系统可达性问题的一个复杂度下界.(本文来源于《2008年全国开放式分布与并行计算机学术会议论文集(下册)》期刊2008-10-25）
岳昊[8]（2008）在《叁划分问题可多项式归约为唯一可达向量Petri网可达性问题》一文中研究指出为了对基于唯一可达向量Petri网(URV-PN)的密码体制进行密码分析工作,有必要对唯一可达向量网系统的数学本质和各种性质进行深入的研究.定义了扩展的叁划分问题,叁划分问题是扩展的叁划分问题的一种特殊情况;给出了一个一般的多项式时间复杂度算法构造扩展的叁划分问题的Petri网模型;证明扩展的叁划分问题有解当且仅当所构造的Petri网模型中某个标识可达;从而说明叁划分问题可多项式归约为唯一可达向量Petri网系统的可达性问题,从而给出了求解唯一可达向量网系统可达性问题的一个复杂度下界.(本文来源于《微电子学与计算机》期刊2008年10期）
蔡晓钰,陈忠,蔡晓东[9]（2007）在《随机条件下房地产开发的最优时机选择及其可达性问题研究》一文中研究指出实物期权框架下的房地产投资相关研究长期忽视了对投资时机可达性问题的研究、忽视了对收益流与成本流相关性问题的探讨。有鉴于此,本文在房地产价格与建安成本二重随机性以及二者具有相关性的条件下,运用期权分析技术建模研究了房地产开发商的最优时机选择问题及最优时机的可达性问题。同时,文章对研究结果作了可达性分析、比较静态分析、数值分析、经济含义分析与政策含义分析,并对结论做了定性的实证检验。(本文来源于《管理工程学报》期刊2007年01期）
刘志刚,蔡晓钰,朱荣林[10]（2006）在《存在即期收益时房地产开发的投资时机与可达性问题研究》一文中研究指出本文在房地产价格与建设成本均随机以及二者存在相关性的条件下,运用期权分析技术建模,研究了存在即期收益情形下的房地产最优投资时机及其可达性问题,指出投资规则中应当包含期权价值。此外,比较静态的数值分析表明,当相关性存在时,不确定性不一定提高期权价值反而会抑制房地产投资。该结论与不确定性提高期权价值,从而抑制投资的经典结果相反。同时,我们也指出,即期收益提高了投资的临界水平并赋予了投资期权以更大的价值,这表明即期收益抑制了投资水平。特别地,我们对结果亦给出了经济与政策含义。(本文来源于《数量经济技术经济研究》期刊2006年09期）
可达性问题论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
家庭综合服务中心是广州市推行公共服务的重要载体,以往的研究重点关注其管理、运营、评估等方面。其实,从地理学的角度,借鉴空间研究的可达性概念来分析家庭综合服务中心提供服务的空间分布问题,更有利于实现公共服务均等化的精神。人口特征、需求分布和可达性是影响公共服务均等化的空间意义上的重要因素。公共服务提供者可依据公共服务空间分布模型来设计、反思和改进。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
可达性问题论文参考文献
[1].乔浩,李曾浩,李新国,孙鹏.飞行器可达性问题的统一求解方法研究[J].弹道学报.2017
[2].郭浩,万向东.公共服务的空间分布与可达性问题初探——以林和街家庭综合服务中心为例[J].社会工作与管理.2015
[3].马占有,李永明.基于广义可能性测度的可达性问题的模型检测[J].模糊系统与数学.2014
[4].李杨佳.量子程序的终止与可达性问题[D].清华大学.2014
[5].林昌龙,刘开周.基于面向对象Petri网的水下机器人体系结构建模与可达性问题研究[J].机器人.2013
[6].吴敏,颜钢锋,林志赟.多面体上彷射系统可达性问题研究(英文)[J].自动化学报.2009
[7].岳昊.叁划分问题可多项式归约为唯一可达向量Petri网可达性问题[C].2008年全国开放式分布与并行计算机学术会议论文集(下册).2008
[8].岳昊.叁划分问题可多项式归约为唯一可达向量Petri网可达性问题[J].微电子学与计算机.2008
[9].蔡晓钰,陈忠,蔡晓东.随机条件下房地产开发的最优时机选择及其可达性问题研究[J].管理工程学报.2007
[10].刘志刚,蔡晓钰,朱荣林.存在即期收益时房地产开发的投资时机与可达性问题研究[J].数量经济技术经济研究.2006
论文知识图
