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

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

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

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

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

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

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

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

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

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

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

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

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

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

基于真值的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仿真模型,并进行数值仿真分析以验证分数阶建模与理论分析的正确性.     

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

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

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

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

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

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

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

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

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

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

基于MRF的统计预测提升算子的构造与应用研究

根据图像的统计信息, 在Markov随机场(MRF)的理论基础上, 构造了一种新的非线性算子即统计算子, 提出了基于该算子的一种非线性提升小波分析方法. 并根据MRF的条件概率分布, 在理论上证明了采用基于统计算子的非线性提升小波变换可使图像变换后, 在无量化失真的前提下, 提高高频子带的零高频系数. 将该方法与现有的几种非线性形态学小波分析方法以及S+P变换和JPEG2000采用的5/3和9/7线性提升小波变换进行了不同图像的测试分析, 实验结果显示, 利用这种基于统计算子的提升小波分析方法对医学图像和混合文档图像变换后可取得较低的加权熵.     

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

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

放置于驻点的合成射流控制圆柱涡脱落模式的实验研究

将合成射流同时放置于圆柱前、后驻点位置,利用PIV测速技术,在水槽中进行了合成射流控制圆柱绕流的实验研究.在来流雷诺数、合成射流激励器振幅为固定值的情况下,使合成射流激励频率fe为尾迹涡固有脱落频率f0的1到3倍,应用频谱分析和本征正交分解(Pro-per Orthogonal Decomposition,简称POD)等方法,研究了合成射流对圆柱绕流结构的控制效果.随着激励频率的增加,合成射流的影响范围沿流向逐渐扩大,并且激励频率逐渐取代尾迹涡脱落的固有频率主控全流场.不施加控制以及fe/f0=1,2时,前两阶POD模态分布规律及模态系数的频谱分析均体现出尾迹涡固有的反对称脱落特性.激励频率fe/f0=2,3时,尾迹涡脱落模式的变化以及激励频率的主频特性在第3,4阶模态分布及模态系数变化中得到了很好的体现.激励频率fe/f0=2时,尾迹涡脱落兼有对称与反对称模式;激励频率fe/f0=3时,合成射流涡对在近尾迹剪切层诱导产生对称的尾迹涡结构,但是在向下游发展过程中逐渐演化为反对称模式.