论文部分内容阅读
安徽省C市林长制改革实践探究
【出 处】
：
南京师范大学
【发表日期】
：
2021年01期
其他文献
随着软件规模和复杂度的不断提高,软件缺陷问题不断出现。如何提高软件的可靠性已经成为软件工程领域的一个重要研究问题。程序验证技术被广泛应用于提高软件可靠性。当前的程序验证技术主要分为静态验证和动态验证两类。静态验证对程序进行抽象建模,然后验证模型是否满足给定性质,能够确保程序的覆盖率,但是受限于分析误报、自动化程度低或可扩展性差等问题。动态验证实际执行程序,基于程序的运行时信息来检查程序的正确性,能
随着软件需求的不断增加,软件系统日趋复杂与庞大,软件的可信性要求越来越高,尤其是在航空、航天、医疗、金融等安全攸关领域。许多安全攸关软件特别是嵌入式软件的设计与运行,与硬件系统及其所处环境的数学模型和物理模型密不可分,不可避免地会涉及大量数值运算。许多可信性质或缺陷均与程序的数值性质密切相关,比如除零错、算术溢出、数组越界等常见的运行时错误。因此,对程序中数值相关性质进行分析,自动获取程序中变量之
当激光场脉冲场强达到可以扭曲原子核库仑势的程度时,强激光场与原子分子相互作用会产生许多非线性现象,例如:高次谐波辐射、阈上电离和非次序双电离。尤其,亚飞秒周期脉冲场的产生,使得研究的激光场与物质相互作用的动力学过程可以缩短到几个飞秒甚至亚飞秒周期尺度。实现电子动力学的阿秒尺度探测和调控,对于科学技术的发展有着重要的意义。在本文工作中,我们利用阿秒脉冲以及少周期脉冲,研究学习了原子分子的超快动力学过
合成孔径雷达（Synthetic Aperture Radar,SAR）进行探测工作时可以不受日照条件、云层遮挡以及各种气象因素干扰,这种全天时全天候成像的独特能力使其成为一种持续、可靠的对地观测工具。星载、机载SAR系统的蓬勃发展使得对地观测数据爆炸式增长,然而与此不相匹配的是SAR图像处理技术的相对迟滞。目标解译是SAR图像的一项重要应用,由于人们对人造目标的重点关注,从SAR图像中提取目标轮
台风强度的预报是当前数值模式发展的重点和难点。台风中非对称对流活动与台风平均环流间复杂的相互作用是台风强度变化和路径突变的重要原因之一。目前,对于台风的非对称增强机制仍然存在争议。其中,非对称对流活动的非绝热加热被认为是台风强度维持和发展的重要能量源,但与对流活动相匹配的非对称风场对台风强度变化的动力机制仍然存在争议。本研究利用理想台风模型研究了中心定位偏差对于台风非对称特征强度和空间结构的影响;
分组密码是对称密码的一个重要部分,在信息安全领域有着极其重要的作用.不可能差分分析和零线性相关分析是分组密码中常用的两种攻击方法.本文提出密码结构和平移结构的概念,用于对密码算法抵抗上述两种攻击方法的能力进行评估.本文对三种广义Feistel结构抵抗不可能差分分析和零线性相关分析的能力进行评估,包括类SMS4结构、类MARS结构和类Type-I型广义Feistel结构,分别给出了这些结构最优的不可
为解决燃烧驱动DF/HF激光器的高效和紧凑化问题,本课题开展了燃烧驱动DF/HF激光器燃料预热及气膜冷却型增益发生器研究。主要目的在于通过燃料预热提高激光器的运行效率,大大减小激光器的燃料消耗,进而减小燃料供给系统、激光装置以及压力恢复系统的体积和重量,使激光器更加紧凑化;通过对气膜冷却型喷管组件的结构优化,使得可有效保护喷管喉道的He气膜流量大大减小。针对燃烧驱动DF/HF激光器,进行了燃料预热
随着超短超强激光技术的发展,使得利用激光等离子体相互作用产生新型台面型粒子源和辐射源成为了研究热点。这些源与传统源相比具有尺度小、方向性好、造价成本低等特点,从而在惯性约束聚变、新型粒子加速器、医疗诊断和国防建设等方面有着广泛的应用前景。本文采用理论分析和计算机数值模拟相结合的方法研究了激光等离子体相互作用中的尾波场电子加速和辐射产生。论文的主要研究内容包含以下三个部分:第一部分（第二至第四章）研
硅基波导具有导光能力强、器件尺寸小、制备工艺成熟、成本低廉、与互补金属氧化物半导体技术高度兼容等优点;基于硅基波导设计的各种光子器件是集成光路重要组成部分,可在硅基芯片上实现光学信号处理、光学逻辑门、全光通信等功能。特殊地,硅基波导具有高非线性系数和可控色散特性,可作为四波混频效应非线性介质实现各种非线性光学功能。其中,基于受激四波混频效应的非线性波长转换/多点广播是密集波分复用系统的关键技术;基
声学超表面是一种具有超薄厚度的人工声学功能材料,能够对声波阵面进行控制,使得声波朝着异常的但是却可控的方向传播。根据亚波长孔径格栅和反射壁构成的孔径系统的反射特性,本文提出了一种遵循广义Snell定律的新型声学超表面,在空气环境中融合理论计算、模拟仿真和实验测试等方法验证了其具有优秀的异常反射特性。本文首先基于经典的模式展开理论,推导得到了考虑格栅材料阻抗情况时一维亚波长孔径系统反射系数的解析表达