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

为了描述信息物理融合系统(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对属性进行自动化验证。     

流域开发的生态效应问题初探

文章通过黄河、猫跳河和汉江三个流域开发的案例分析表明：随着现代流域开发程度的提高,水利水电工程建设所产生的生态负效应也不断显示出来。实际上,由于流域开发的正负生态效应两者的发生存在明显的时空差,目前流域开发所做规划和设计尚无法通过及时的反馈机制加以修正和完善。如此状态使得工程建设的规模越大,梯级开发的程度越高,流域开发利弊的争论也就越大,所冒的开发生态风险也就越大。有鉴于此,最大限度地从以往流域开发的经验、特别是从失败案例的分析和研究中汲取有益成分,就成为现代流域开发生态效应评价的基本出发点和基础所在     

印鉴识别中印章的提取和修复问题研究

提取质量高,干扰小的印章是识别印章的前捉,本文采用了一种基于HSI色彩模型和RGB色彩模型的印章提取方法,并提出了先使厩Hough变换对印章分割,再根据印章中轮廓和文字的特征分别修复的方案.实验证明,该提取方法在保证印章质量的同时把噪声干扰降到最小;先分割后修复的方案能够填充印章轮廓,并保持印章文字的骨架结构,去除椒盐噪声.     

2001 年至2010 年三峡库区重庆段植被活动时空特征及其影响因素

利用2001年-2010年的MODIS陆地产品MODl3A3NDVI数据对三峡库区重庆段近10年来的植被生长状况及其影响因素进行分析,结果表明：①三峡库区重庆段东部、中南部中高山区NDVI较高,西部川东平行岭谷区,长江干流及其支流谷地NDVI较低;地形和人类建设活动成为主要的影响因素;②近10年来三峡库区重庆段植被活动总体上呈逐渐增强的趋势;③研究区植被活动出现极化的趋势,植被稀疏的区域植被活动进一步减小,植被茂密的区域植被活动保持稳定或增强,夏季最为明显;（D研究区6种植被类型中,阔叶林的NDVI最高,为0．6904;水生植被的NDVI最低,为0．5710。草甸和灌丛、灌草丛两种植被类型增长最为迅速,分别为0．6％和0．48％;⑤地形、坡度和地形起伏度是影响三峡库区重庆段植被生长状况最为重要的因素,三个因素从根本上决定了植被的空间分布与变化轨迹。其中,地形起伏是坡度与地形起伏度形成的充分条件,成为最根本的决定性影响因素,同时,人类活动已经成为该区植被退化的主要因素。     

基于Z指数的辽宁省气象干旱时空特性分析

利用辽宁省21个气象站点1958年-2008年逐日降水观测资料,采用Z指数方法计算单站旱涝指标,在此基础上确定区域旱涝等级,从时间和空间两个方面对辽宁省近51年年际和春季气象干旱特征进行分析。研究结果表明：时间上,年际变化中,辽宁省旱涝交替发生,易发生连续性气象干旱,年际旱涝存在9年左右的显著周期,各个分区中辽西北地区干旱频次最大,辽南地区干旱频次最小;春季干旱变化与年际变化相似,春季旱涝存在3年左右的显著周期,各分区中辽西北与辽中地区春旱频次最大,而辽南地区春旱频次最小。空间上,年际干旱分布特征较集中,地域分布总体由西北向东南递减,其中重旱易发区为辽北和辽南,大旱易发区为辽西南部,偏旱易发区较分散;春旱分布特征较分散,其中重旱易发区为辽西北部,大旱易发区为辽北和辽南部分地区,而偏旱易发区较多且分散。研究结果与实际基本相符,可为辽宁省相关部门制定抗旱对策提供参考。     

基于知识时空的技术创新研究范式的构建

本研究通过分析知识在技术创新中的核心作用,确定知识-信息-知识相互转化在技术创新中的微观机制地位,以信息作为技术创新中行为主体的相互作用的载体,并以此展开技术创新研究范式的构建。本研究从技术创新的研究对象与研究范围、理论分析框架和概念组织三个方面来阐释基于知识时空的技术创新研究范式的认识功能与纲领功能。首先确定基于分形的不同层次相统一的技术创新网络是技术创新的研究对象与研究范围;其次以知识时空作为视角,建立技术创新的知识时空特征与信息流特征相联系的参考坐标系统,并进一步探讨以张量分析作为基本分析工具在技术创新中的应用,综合三者构建了完整的理论分析框架;最后研究相关概念的层次组织与展开,形成一个逻辑自洽的概念体系。本研究为融合技术创新相关领域的研究提供一个较为统一的平台。     

基于IHS变换的图像融合方法研究

在分析亮度、色度、饱和度(IHS)变换影像融合方法的基础上,针对HIS变换存在光谱扭曲的缺点,提出了一种新的图像融合方法。该方法采用加权平均融合方法和高通滤波理论对I分量进行处理。通过matlab仿真实验表明,改进的图像融合方法可以最大限度地减弱传统IHS融合法存在的光谱退化现象,同时也可提高融合图像的清晰度和空间分辨率。     

以图证史，以图释史——高中历史地图教学的有效措施探究

在历史教材中,历史地图作为配套资源,可以对历史事件的发展进程进行清晰明确的说明,不仅可以证实历史事件,也可以对历史现象、历史事件加以解释,是发展学生核心素养的有效途径。对此,文章解读历史地图在高中历史教学中的应用价值,从认真研读课标关注学生主体、构建图文联系培养时空观念、获取有效信息增强实证意识、创设问题情境促进历史解释、挖掘情感因素渗透家国情怀、加强学习指导深化地图素养几个方面入手,重点探讨高中历史地图教学的有效措施。     

二次曲线方程的标准化

本耙一般二次曲线方程的化简、变换公式、作图三统一于标准直角坐标未的建立。得出了变换关系式，简化方程各系数的求法，标准直角坐标未和二次曲线的作囤法。     

电压并联负反馈放大器的精确分析

一般电了技术基础教材中对各类负反馈放大器均采用以方框图法为基础的近似分析法，本文试图用密勒定理对电压并联负反馈放大器的反馈支路作等效变换，然后用节点法和晶体管y参数模型，对电压并联负反馈放大器的中频增益特性作更精确的分析。