基于时空自动机的CPS建模与验证     

赵文明  陈仪香  张敏 《科技通报》2015,(1)

为了描述信息物理融合系统(cyber-physical systems,CPS)的时空一致性,一种实时规范语言STe C已经提出[1],CPS的设计和实现能否满足时空一致性显得十分重要。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空自动机。文中提出了基于时空自动机的CPS建模与验证框架。在框架中,首先使用STe C语言对CPS进行了描述并使用时空自动机对CPS进行建模。文中采用的形式化验证方法为微分动态逻辑(differential dynamic logic,DL),其操作模型为HP(hybrid program)。利用DL可以将所建模型转换为对应的HP。结合得到的HP对验证的CPS属性进行规约,最后使用定理证明器Ke Ymaera对属性进行自动化验证。  相似文献   

基于TVCSE拟合的网络入侵预测方法     

牛爱民 《科技通报》2015,(6)

针对传统算法网络入侵预测中,网络检测数据相关性不强,大规模网络入侵导致预测准确性不高的问题。提出了一种基于时序变化率曲面极值(Time-series variation curved surface extremum:TVC-SE)拟合的网络入侵预测算法。对网络流量信息数据进行实时获取,以时序为时间度量构建变化率曲面模型;分别对时序变化率曲面模型的局部极值进行迭代计算,将共有的局部极值作为最终的预测极值进行存储,同时以该时刻的协同局部极值为参考,提高了网络入侵预测的准确性。仿真实验表明,该测试方法能够达到较高的测量精度,虚警率比传统算法平均降低了12.4%,预测时间减少在2.5 s左右,在不增加成本,符合网络程序计算复杂度的情况下,满足了网络入侵预测的要求。  相似文献   

高技术产业与传统产业R&D溢出的比较研究——基于经济权重矩阵视角     

任国强  孟凡军 《软科学》2015,(1):29-32

采用我国29个省、市、自治区高技术产业与传统产业2001~2010年的R&D投入与产出数据,基于空间权重矩阵,利用空间计量分析方法,考察了空间权重矩阵下我国高技术产业与传统产业的省际R&D溢出效应。实证结果表明:在不同空间计量模型下,高技术产业与传统产业省际溢出效应均很明显,尽管我国高技术产业的R&D活动较活跃,但高技术产业在R&D溢出方面低于传统产业;高技术产业研发资本投入对R&D产出的贡献要高于研发人员投入,而传统产业恰恰相反;在不同产业的溢出中,经济距离因素都扮演着重要角色。  相似文献   

排污费制度驱动绿色技术创新的空间计量检验——以29个省域制造业为例          下载免费PDF全文

李婉红 《科研管理》2015,36(6):1-9

基于空间计量经济学理论,将绿色技术创新作为被解释变量、排污费制度作为解释变量、产业规模和创新人员投入作为控制变量,构建了排污费制度驱动绿色技术创新的地理加权回归模型(GWR);以29个省域制造业为例,采用全域Moran’s I指数、局域Moran散点图和LISA集群地图分析了排污费制度和绿色技术创新的空间自相关性;并基于GWR模型估计了排污费制度对绿色技术创新的驱动。研究结果表明:排污费制度和绿色技术创新均存在空间自相关性,且排污费制度对制造业绿色技术创新驱动产生了空间分异,即发达省域支持"波特假说",经济发展水平越高,驱动效应越明显;而欠发达省域并不支持"波特假说",经济发展水平落后抑制了排污费制度对绿色技术创新驱动效应的实现。此外,产业规模和创新人员投入对绿色技术创新的影响也存在空间差异。  相似文献   

中国传统社会的乡绅阶层及其衰落     

徐继存 《当代教育与文化》2015,(1):102-107

在中国传统社会中,乡绅阶层占据重要地位,发挥着不可替代的作用。晚清以降,社会危机四伏,新旧嬗替的社会变革废除了延续千余年的科举制度,直接中断了乡绅阶层的继替,导致整个乡绅阶层的分化和消亡。从此,乡村社会政权痞化,社会关系恶化,阶级冲突激化,乡村经济凋敝,乡村文化衰落,城乡差距拉大,城乡一体的中国传统文化格局被打破了。  相似文献   

北京市耕地多功能空间分异及其社会经济协调模式解释   总被引：15，自引：0，他引：15  

施园园  赵华甫  郧文聚  汤怀志  徐阳 《资源科学》2015,37(2):247-257

以北京市为例,在解析识别耕地功能表征因子的基础上,分别对北京13个区县(不包括中心城区)耕地的生产、生态、社会功能进行评价,利用GIS反映多功能的空间分布形态,并通过信息熵模型对耕地多功能与社会经济的空间相关性进行测算,讨论各区县耕地多功能与其经济社会发展的互动关系以及发展阶段的协调模式。本文旨在揭示北京市耕地多功能在社会经济影响下的空间分异特征,为制定科学的耕地多功能利用布局方案提供理论依据。研究结果表明:北京市各区县经济社会发展水平与耕地多功能的空间相关性较强,具有明显的空间分异特征;此外在经济与政策的共同驱动下,多功能与经济的组合模式随着经济发展经历高生产-中社会-低生态的正三角形态向低生产-中社会-高生态的倒三角形态演变的一般过程。  相似文献   

碳排放约束下能源效率与产业结构解构、空间分布及耦合分析     

江洪  赵宝福 《资源科学》2015,37(1):152-162

运用三阶段DEA方法将能源综合效率解构为能源管理效率和能源环境效率。从高级化、合理化和聚集程度三个维度将产业结构分解描述为产业结构高级度、合理度、集中度三个指数。利用协同学思想构建能源管理效率与产业结构之间的耦合度模型,并分析了2005-2012年中国30个省市二者空间分布及耦合协调关系。研究结果表明:1能源效率和产业结构分布地区差异明显,高能效地区分布看,能源综合效率、管理效率和环境效率分别呈倒"Ω"、"δ"和"U"形分布,产业结构三个维度相对高水平地区分别呈"W"、"J"和"S"形分布;2各省能源管理效率与产业结构耦合度存在明显的地区差异性和空间不对称性。从趋势面上看,能源管理效率自东向西,自南向北呈现先上升后下降趋势,高点集中在中南部地区;3二者耦合协调度与地区经济发展水平呈现相对空间对应性,经济发展水平高的地区,其耦合协调程度相对较高,如北京、上海和广东,而经济相对落后的省份,其耦合协调度也相对较低。  相似文献   

基于 GIS 和景观空间格局的区域耕地适宜度评价--以衡阳市松柏镇为例     

邓美容  周芬  李红伟 《衡阳师范学院学报》2015,(3)

该文利用景观生态学的研究方法,将耕地视为一种特殊的景观斑块,结合 GIS 技术对空间数据分析处理,利用 AHP 层次分析法,选取地形、水源条件、交通便捷性、空间布局等6个指标,建立了基于空间位置分布和空间地物相关关系的耕地适宜性评价体系,并以衡阳市松柏镇这一小区域耕地的适宜性评价为研究对象,为该区域的耕地治理、保护和合理开发提供依据.研究结果显示：松柏镇耕地斑块密度7.89,平均斑块形状指数1.6,总体聚集度指数82.07,表明该区域耕地总体表现为较为集中,不过耕地形状不规则,这对于机械化耕种有一定的不适性.通过 GIS 地理环境分析,最适宜的耕地有838.02hm2,占总耕地面积的39.22％,其所占比例最大,中等适宜的耕地有890.33hm2,占耕地总面积的34.98％,松柏镇耕地质量总体一般,部分耕地距离矿区很近,受到矿区重金属污染和大气污染较重.  相似文献   

诸"鄂"之辨新探     

童力群 《湖北成人教育学院学报》2015,21(3)

湖北应简称"鄂"还是"楚"?改名之争引激辩.湖北省是否应该简称"鄂",不仅涉及鄂文化与楚文化的关系,还涉及"鄂"的起源与迁徙,涉及湖北省、河南省、山西省的"鄂"研究.商周时期,诸"鄂"有别.商代鄂国在南土,商纣王没有消灭鄂国."邘"非鄂国.周代有五个"鄂".晋国鄂侯是姬姓国之君,与商代鄂侯无关.  相似文献   

张家口农业生态旅游产品差异化现状、问题及对策     

姜哲琦  田利琪 《河北软件职业技术学院学报》2015,(1):56-59

农业生态旅游产业一直是张家口的重要产业之一,为提高张家口农民收入和当地经济的持续发展做出了很大贡献。张家口发展农业生态旅游产业具备得天独厚的优势条件,但同时该产业的发展也存在着若干不容忽视并亟待解决的问题,特别是农业生态旅游产业的同质同构问题尤为严重。通过对当前张家口农业生态旅游产品差异化发展的现状进行分析,找出影响张家口农业生态旅游产业发展的突出问题及原因,并针对这些问题,提出了扭转张家口生态旅游产业逆向差异化发展的对策。  相似文献