船舶静态电场跟踪的渐进更新扩展卡尔曼滤波器

为了实现利用船舶静态电场对船舶进行跟踪的目的,针对传统卡尔曼滤波算法中存在的问题,设计一种新的非线性滤波器。建立船舶的状态空间模型,分析传统卡尔曼滤波算法在船舶跟踪中存在的问题;依据渐进贝叶斯思想,利用连续白噪声与离散白噪声序列噪声协方差之间的关系,设计一种新的渐进更新扩展卡尔曼滤波器。仿真结果表明,该滤波器能有效地抑制由于初始误差较大而造成的滤波性能下降和滤波发散,能够有效地跟踪船舶,具有较高的实用价值。     

辐射传热时活塞式气缸中加热气体的最大膨胀功

对热辐射传热定律q∝Δ(T4)下,给定初态内能、体积,末态体积以及过程时间时,加热气体膨胀的最优构型进行了研究,利用最优控制理论得出最大膨胀功输出时膨胀的最优构型由两个瞬时绝热分支和一个E-L分支组成的结论.给出了各分支之间转换点参数的求解方法及最优构型的数值算例,最后将线性唯象传热定律、牛顿传热定律、平方传热定律、立方传热定律和辐射传热定律下加热气体膨胀的最优构型进行了比较.结果显示,随着传热指数的增加,理想气体的内能呈现出明显的整体增加趋势,而体积则呈现出明显的整体减小趋势.     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

多尺度方法在强非线性系统中应用的一个注释

多尺度法在求解非线性系统时，目前所得到的结果多集中在弱非线性系统上。论文对多尺度法进行了改进。对强非线性杜芬系统进行了变换，得到了强非线性杜芬系统存在3个解的结论，其中大的和小的是稳定的，中间的是不稳定的，物理上实现哪个稳定运动取决于初始条件。     

学前儿童交通安全教育的价值探析

对学前儿童进行交通安全教育的直接目的是减少交通事故，保护其生命和身体，同时还具有重要的教育价值。基于教育价值的两个方面即教育的个人价值和社会价值，学前儿童交通安全教育的价值主要体现在对学前儿童的发展价值和以学前儿童为中心扩散开来的延伸价值。发展价值是指交通安全教育促进学前儿童的认知、动作、情意等方面的发展。延伸价值是指学前儿童获得的交通安全知识与意识、规则与行为、尊重与利他等对其成为合格的社会公民是一种自然而然的准备，同时在生态系统理论之下以儿童为中心扩散开来的重要他人、社会相关机构和行业等都会发生相应的改变，将最终有利于社会的进步。     

一种面向Agent的概念化建模方法*

面向Agent的建模方法为基于Agent系统的概念化描述提供了一种新的技术.针对多Agent系统分析与建模问题,扩展并规范了面向Agent概念化建模过程,定义了Agent模型及其扩展模型,并给出了形式化描述.同时,给出面向Agent的分析和设计过程,为其具体建模提供了一种高层指导.最后,与其它现有面向Agent的方法在应用方面进行了类比分析,为该方法的广泛和深入地应用研究打下基础.     

Introduction

ABSTRACT

The new nuclear history can make a critical contribution by forcing us to reconsider or reframe the theoretical premises of the concepts we apply to our understanding of the present – and with which we try to navigate the future. It bears on fundamental questions, such as: How should the US manage its alliances? Should it establish a multilateral nuclear policy dialogue in Asia? In what depth should it discuss issues of doctrine and targeting with its Asian allies? What capabilities might reassure European allies in light of current Russian revisionism? Could nuclear war be limited and controlled in an East Asian maritime arena? Do nuclear weapons strengthen an alliance, or do they introduce a divisive bone of contention? Is extended nuclear deterrence (END) stabilizing or is it on the contrary pushing the allies to ask for more? What is the relationship between nuclear and conventional forces in END credibility? How do nuclear alliances contribute to international security and international order? The lessons and insights from these papers, which look at five historical cases of US extended deterrence during the Cold War, should help us think about crucial current issues, and be of use both to historians who want to have a better understanding of the Cold War past and to policymakers who are currently grappling with these issues.     

“迷狂式”构思状态及成因管窥

具有强烈的思想感情和丰富的想象，是中西方诗歌的共同特点。但由于中西方历史和文化背景等方面的不同，中西方诗歌在许多方面存在差异，中西方诗人构思时的情绪状态也有差异。中国有“虚静说”，西方有“迷狂说”。西方诗人的“迷狂式”构思状态亦有其产生的原因。     

基于fMRI的静息状态脑功能复杂网络分析

分析静息状态下人脑中不同区域之间的功能连接模式对研究静息状态下人脑正常功能活动具有重要意义。基于复杂网络理论对脑功能网络进行建模,考察静息状态脑功能网络的结构和拓扑特性。结果显示,网络具有小世界性质和无标度特性。进一步引入一种概率混合模型分析网络社团结构,得到的10个子网络中包含视觉系统、听觉系统、运动系统、默认网络以及与执行和工作记忆相关的脑区。推测出静息状态脑功能网络是由这些相对独立又彼此关联的子网络组成,其中楔前叶和扣带回作为网络的关键节点,在信息调度和传递中占据重要地位。     

通用扩张状态观测器鲁棒飞行控制方法

针对存在参数不确定、外界干扰与测量噪声情况下飞行控制问题，提出一种基于通用扩张状态观测器的鲁棒飞行控制方法。首先基于状态相关的Riccati方程（SDRE）控制方法，对飞行器俯仰通道非线性模型进行扩展线性化；而后引入基于通用扩张状态观测器的控制方法，设计干扰补偿增益，实现对外界干扰的估计与补偿；最后通过在线解算状态相关矩阵及代数黎卡提方程，得出状态反馈增益与干扰补偿增益，实现对飞行器期望攻角的跟踪控制。通过与已有方法进行对比，验证了本文所提方法不仅对系统模型不确定性与外界干扰具有较强鲁棒性，而且在较大测量噪声情况下，其依然能够保证良好的跟踪控制效果，具有较强的工程应用价值。