商业网点规划与现状比较研究——以长沙为例

商业网点规划是指导城市商业网点建设和发展的法律依据,商业业态空间布局则是零售企业根据对市场和规划的分析和判断作出的区位选择。以商业地理学为主要依据,以长沙为例从空间布局和业态结构的角度,应用GIS方法比较分析了商业网点规划与商业业态空间区位及结构现状之间的差别和影响机制,提出了完善商业网点规划的对策和建议。     

基于缺陷检测难度的测试用例检错能力模型

在经典的变异评分计算过程中,因为不考虑被播种软件缺陷的检测难度而使得变异评分的可信性受到质疑.因此提出一种基于缺陷检测难度评价测试用例集合的方法.以logistic回归为基础,利用经验回归方程建立缺陷的识别概率与缺陷检测难度之间的数量关系.借助关系曲线下的面积,变异评分被重新定义.新定义的变异评分不但不受缺陷样本的检测难度影响,而且规避了因等价变异体的出现而使得经典变异评分的计算不准确的问题.     

商业业态分化与城市商业空间结构的变迁——来自长沙的实证研究

长沙市作为中部地区中心城市之一,长期以来第三产业占据了城市经济发展的主导地位,商业的发展对长沙的城市经济发展与空间结构产生了重要的影响.本文对长沙市商业业态的分化历程及其空间分布进行实证分析,进而得出长沙市城市商业空间结构的演变基本规律.本文的主要结论是:城市发展历史、交通、城市规划政策、商业自身规律共同构成了商业空间结构的演变,长沙商业业态分化已经呈现出多元化趋势,中心区商业空间逐渐向外疏解,传统商业中心面临升级与转型的压力.     

串空间模型的原理与应用

介绍了安全协议形式化分析方法串空间模型的基本概念,给出了检查消息机密性的定理的变形公式,形式化地证明了由未泄漏私钥签字的消息起源于诚实主体串,并利用上述结论检验了BAN修改后的CCITTX.509(3)协议的机密性和认证性。