模式伴随化的基本规则及代价分析

从程序语法结构而不是从具体问题本身出发,提出了基于最小程序行为分解的模式伴随化方法.此方法无论在算法设计上还是在软件实现上均更具普遍性,并具有许多独特的优点.它保留了断点存储技术在减少浮点计算量和降低存储开销方面的优点,同时克服了其仅仅适用于计算过程均匀可分假设的局限性.首先给出了模式伴随化实现的基本规则,详细介绍了基于最小程序行为分解的模式伴随化方法.然后,基于自动微分(AD)基本假设定义了可分程序空间和微分代价函数,得到了两个反映计算微分代价的基本常数σ和μ.在计算过程均匀可分性假设下,讨论了断点存储在浮点计算量和空间存储开销上的最优实现,证明了深度划分在这两个方面同时具有对数复杂性的结论.最后,详细论证了基于最小程序行为分解的模式伴随化方法在浮点计算量和空间存储开销两个方面同时具有过程引用和划分深度依赖性.     

模式伴随化的基本规则及其代价分析

从程序语法结构而不是从具体问题本身出发, 提出了基于最小程序行为分解的模式伴随化方法. 此方法无论在算法设计上还是在软件实现上均更具普遍性, 并具有许多独特的优点. 它保留了断点存储技术在减少浮点计算量和降低存储开销方面的优点, 同时克服了其仅仅适用于计算过程均匀可分假设的局限性. 首先给出了模式伴随化实现的基本规则, 详细介绍了基于最小程序行为分解的模式伴随化方法. 然后, 基于自动微分(AD)基本假设定义了可分程序空间和微分代价函数, 得到了两个反映计算微分代价的基本常数s和m. 在计算过程均匀可分性假设下, 讨论了断点存储在浮点计算量和空间存储开销上的最优实现, 证明了深度划分在这两个方面同时具有对数复杂性的结论. 最后, 详细论证了基于最小程序行为分解的模式伴随化方法在浮点计算量和空间存储开销两个方面同时具有过程引用和划分深度依赖性.     

生物耦合功能特性及其实现模式

生物在大自然优胜劣汰的法则下, 进化出与自身生长和生存环境高度适应的功能特性. 生物通过两个或两个以上不同部分的协同作用或不同因素的耦合作用有效地实现生物的各种功能, 充分展现其对生境的最佳适应性. 本文从仿生学角度, 分析了生物耦合功能、特性及其类别, 初步揭示了生物耦合功能实现的机制与模式, 最后, 展望了生物耦合功能仿生实现的工程技术前景     

遗传算法的模式欺骗性分析

讨论了遗传算法的模式欺骗性和欺骗问题. 描述了模式包含、竞争与关联等概念，给出了基于主竞争关系的模式欺骗性与GA欺骗问题的严格定义，包括完全欺骗问题、一致欺骗问题、序列欺骗问题和基本欺骗问题. 分析了完全欺骗吸引子的特征，给出了形成完全欺骗问题的吸引子应满足的条件. 然后，讨论了GA欺骗性与隐含并行性、收敛性之间的关系. 结合计算实例说明了模式欺骗性对GA搜索行为的影响.     

TIME-IGGCAS模式与经验模式和观测数据的比较

TIME—IGGCAS（Theoretical Ionospheric Model of the Earth in Institute of Geology and Geophysics,Chinese Academy of Sciences）模式是我们在前人工作的基础上完善的一个中低纬理论电离层模式．本文把该模式的结果与其他一些有代表性的经验模式和多种观测数据作了详细的对比．比较结果表明：TIME-IGGCAS模式模拟的电子浓度、电子离子温度在数量级上均与经验模型和观测符合得较好,在地方时变化、纬度变化、季节变化这些变化形态上也符合得较好,并且模式能很好地模拟出赤道异常、冬季异常和半年异常这些电离层异常,这为我们进一步开发电离层数据同化模式奠定了良好的基础．无论是与经验模式还是与观测相比,TIME—IGGCAS模式均低估了电子温度而高估了离子温度,模式在日出日落时段和在低高度模拟的偏差较大,这些结果为我们以后进一步完善模式、改善模式的模拟能力提供了参考．     

基于平均增益模型的连续型(1+1)进化算法计算时间复杂性分析

连续型进化算法的计算时间复杂性分析是进化计算理论研究的一项公开难题,目前相关研究成果较少.针对连续型(1+1)EA,基于适应值差函数提出了平均增益模型及其分析方法,给出了平均计算时间的计算理论,为算法的计算时间复杂性分析提供了依据.在此基础上,研究还选取了学术界关注的球形函数作为研究对象,分别推导了变异步长满足标准正态分布和均匀分布的连续型(1+1)EA在优化球形函数时的平均增益,并估算出了它们的平均计算时间.理论分析说明:1)两种算法的计算时间复杂性都是指数级的;2)在给定相同精度和初始适应值差的前提下,采用均匀分布变异算子的算法其寻优速度优于采用标准正态分布变异算子的算法.进一步地,通过数值实验对理论分析结果进行了验证,结果表明平均增益模型分析是有效的.     

星载合成孔径雷达TOPS模式研究

TOPS(循序扫描地形观测)模式作为一种新的星载合成孔径雷达(SAR)工作模式,通过天线波束指向的改变避免了扫描工作模式SAR图像的扇贝效应.本文给出了一种广义的SAR成像模型,适用于TOPS模式和其他工作模式,以模式因子描述天线的转角率、多普勒中心率、照射时间范围和方位分辨率.分析了TOPS模式带宽扩展和间隔缩放的信号特点及其处理方法,提出了一种以Chirp-z变换算法为基础,引入去转动函数解决输出长度问题的TOPS成像处理流程,最后通过点目标仿真验证了算法的有效性.     

基于真值的SBL_～公理化扩张系统的计量化

本文首先在带有对合否定的△模糊逻辑系统SBL～中,运用△演绎定理和真值分布,论证了SBL～系统中有效推理的真值关系定理.其次以SBL～系统的公理化扩张Godel～为例,提出了△相似度、△距离,运用真值关系定理论证了△度量空间逻辑算子→,～的连续性,给出了公式与理论间距离的计算方法,从而实现了△模糊逻辑系统的计量化.最后在Godel～系统中提出了3种近似推理模式,并讨论了3种模式之间的关系.     

北部湾红树林的HJ星多光谱遥感提取模式

大区域红树林多光谱遥感提取易受多种地物及自身覆盖度等因素影响,针对这一难题,文中以广西北部湾为研究区,基于HJ星CCD影像,并结合红树林空间分布特征和图谱特征,建立一种适合大区域海岸带的红树林识别提取模式.首先分析影像地物图谱特征,提出用于瞬时海水边线提取的海水比值指数,以及指示红树林的特征指数:红波段角度植被指数和像元波段反射率标准差指数.再从红树林空间生境判定和不同覆盖度反射率变化两方面入手,划分生长适宜区,通过特征指数辅助判定建立最终提取模式.应用结果表明该模式能完整准确地提取不同覆盖度红树林,最大程度消除其他干扰因素影响,总体制图精度达83.70%,用户精度为79.37%,同时也证实HJ卫星CCD多光谱遥感数据应用于海岸带红树林研究的有效性.     

适用于多种蕴涵算子的赋值空间上的测度与积分理论

对多种蕴涵算子导出的赋值空间进行统一处理,引入公用的Lebesgue测度,证明了相对于若干常见蕴涵算子而言,全体逻辑公式都是可测函数.建立了t(α重言式)理论,提出了一般的语义MP规则和一般的语义HS规则. 基于积分理论引入了逻辑公式的真度概念,提出了积分MP规则和积分HS规则.最后,通过通用逻辑度量空间概念在全体公式集上引入了伪距离,为近似推理提供了一种可能的框架.     

湘南地区庭院生态农业模式的能值分析

应用能值分析方法对庭院生态农业模式(模式Ⅰ)和庭院常规农业模式(模式Ⅱ)进行比较研究,并将两种模式的经济效益进行了对比.结果 表明,2006年度,模式I的系统太阳能值转换率(STR)、系统产出能值反馈率(FYE)、能值可持续指标(ESI)分别是模式Ⅱ的4.81、2.25和66.67倍;基于能值的产品安全性指标(Elias)模式Ⅰ为0,模式Ⅱ为-0.14;环境负载率(ELR),模式I是模式Ⅱ的2.25%;模式Ⅰ实现经济净收益为模式Ⅱ的8.69倍.由此可见,庭院生态农业模式具有自组织能力、可持续发展能力强,产品安全性高,经济效益好的明显优势.为了进一步提高模式I的能值效益和经济效益,还必须加大对系统的科技投入.     

基于分数阶微积分的电感电流断续模式下Boost变换器的建模与分析

基于实际电容和实际电感在本质上是分数阶的事实,采用分数阶微积分理论建立电感电流断续模式下Boost变换器的分数阶数学模型.依据状态平均建模方法,建立电感电流断续模式下Boost变换器的分数阶状态平均模型,并进行理论分析.然后,比较电感电流断续模式下Boost变换器的分数阶模型与整数阶模型的区别.最后,基于分数阶微积分的改进Oustaloup滤波器算法,建立电感电流断续模式下Boost变换器分数阶模型的Matlab/Simulink仿真模型,并进行数值仿真分析以验证分数阶建模与理论分析的正确性.     

大规模互联网图像检索与模式挖掘

在互联网时代，爆炸式增长的数字图像不仅给图像检索带来巨大的技术挑战，同时也带来了很多机遇和研究问题的新思路．本文简单回顾了图像检索的三个阶段的研究历史．以及在此过程中数据量的增多给图像检索带来的影响，并对作为关键问题的特征提取方面的研究进行了深入的分析．本文尤其指出视觉模式挖掘是寻找中层特征表示并缩小语义鸿沟的重要研究方向，并根据视觉模式的表征粒度将其分为五种类别分别进行了介绍，从中可以看到大数据对于视觉模式挖掘的重要作用．     

平衡探索与利用的广义鸽群优化算法

为了平衡鸽群优化算法的探索与利用能力,本文提出了一种广义鸽群优化算法.传统的鸽群优化算法包含两种优化算子,分别为地图与指南针算子和地标算子.这两种算子依次执行,在一次算法运行中,仅执行一轮迭代.在广义鸽群优化算法中,将算法搜索分为多个阶段,每个阶段分别执行两种算子.在算法的一次运行中,两种算子执行多轮.地图与指南针算子侧重于算法的探索能力,而地标算子侧重于算法的利用能力.改进算法仅改变了两种算子的执行顺序,无需增加额外的函数值计算.此外,广义鸽群优化算法扩展了解集合结构和算子参数设置,这对于提高算法的搜索质量大有裨益.在11个单目标测试函数和8个多模态优化测试函数上进行仿真对比试验,结果表明广义鸽群优化算法提高了鸽群优化算法的搜索效率,改进了算法的搜索结果.     

法国在检测月球起源模式方面做出具有创新意义的贡献

SMART 1是欧洲第一个月球研究计划,由欧洲空间署(ESA)领导,瑞典空间署负责具体实施。该计划实际上是对有关技术进行检测,以验证用于星际旅行的电力推进技术的可能性。法国正以创新的方式加入这一计划,向其提供一台静止等离子推进器和一台摄像机,并参与开发用来检测月球起源模式的仪器。     

风景名胜区泥石流治理模式: 以世界自然遗产九寨沟为例

系统分析了风景名胜区泥石流治理的特点, 提出了风景名胜区泥石流治理原则, 结合九寨沟泥石流活动特征和保护对象, 提出了一些减灾工程的布设方法, 构成了一套科学、合理、可行的泥石流治理技术实现途径. 综合泥石流治理的原则和技术实现途径, 形成了以减灾工程与自然景观相协调和工程减灾与生态减灾功能相结合为核心的风景名胜区泥石流治理模式. 这种治理模式不同于城镇、交通、农田等泥石流治理模式, 九寨沟的泥石流治理中体现了这一模式, 有效地控制了泥石流, 达到了保护景观资源、生态环境、游客和居民安全的目的. 目前, 国内外还有许多风景名胜区受泥石流危害或威胁, 其灾害也可以用这种模式治理.     

一种新的信号二进小波变换模极大值重构信号的迭代算法

基于Hilbert空间单调算子理论和求解单调算子方程的迭代算法, 给出了一个新的基于信号二进小波变换模极大值重构信号的迭代算法, 证明了算法的收敛性. 同Mallat的交替投影算法相比, 该算法更加简单、快速和有效. 数值实验表明, 对于不同类型的信号, 该算法仅需要较少的几次迭代, 就可获得较好的重构效果.     

上海石库门里弄演替历程与再生模式新探

本文从上海石库门里弄源流再探和价值再识,到城市更新中的石库门里弄现状问题和再生模式,分三个部分展开讨论.第一部分再次追溯了“石库门”的词源及意涵, 19世纪中至20世纪初的建造缘起与早期形态,中英宅形间两次形态更替和交融,以及后期演进的境况.第二部分结合国际遗产宪章和话语背景,对石库门里弄在上海城市遗产体系中的定位和分类,在保护和活化中的复杂与矛盾、问题与症结和活化途径与方式等,进行了多维度的讨论.第三部分对石库门里弄再生典型案例的四种模式作了批判性反思,对石库门里弄再生的未来走向提出了策略建议.     

用基本逼近算子加附加插值算子构造三角曲面片

提出了构造三角曲面片的一个新方法. 新方法通过基本逼近算子加上附加插值算子构造满足给定边界曲线和跨界切矢的三角曲面片. 基本逼近算子由逼近插值条件的5次多项式构成, 附加插值算子用边点法产生. 基本逼近算子和附加插值算子在构成三角曲面片中具有不同的作用, 前者使三角曲面片以五次多项式精度逼近插值条件, 而后者则使三角曲面片满足给定的插值条件. 所构造的三角曲面片可以重构五次多项式曲面. 给出了新方法和其他两种方法进行比较的结果.     

二元年径流演化模式及其在无定河流域的应用

由于受人类社会活动影响的不断加强,流域水循环过程变得越来越复杂.探索流域年径流量的演变规律对定量分析变化环境中的水资源状况和预测流域未来水资源的演变规律具有特别重要的意义,因为以年为时间尺度能最好地反映天然和人类活动驱动下的流域水资源变化规律.在水资源的二元演化模式下提出了年径流的天然-人工二元演化理论,并在黄河中游的无定河流域进行了应用.应用实例中着重对无定河流域下垫面动态变化情况下的降水径流关系进行了深入的对比分析,并提出了代表流域水保措施的水保指标面积的概念,利用水保指标面积来反映流域下垫面条件,并建立了反映流域下垫面动态变化的降水径流经验模型.