简介：

简介：双天线GPS提供的载体姿态信息与惯性导航系统信息进行融合可提高组合导航系统的性能。由于在实际应用中,GPS接收机可能会受到某种干扰无法提供舰船航向信息,从而降低传统卡尔曼滤波器的性能。因而提出了一种新的基于模糊逻辑控制的自适应卡尔曼滤波器。改进后的卡尔曼滤波器使用两个模糊逻辑控制器来调整两个系统的组合模式,并且根据卡尔曼滤波器的内部状态、GPS工作状态和舰船运动状态来计算卡尔曼增益。通过使用INS和GPS的实测数据验证,这种基于模糊逻辑控制的自适应卡尔曼滤波器能有效的提高INS/GPS组合导航系统的性能。

简介：

简介：考虑了以数理逻辑中的等值演算为工具对一个结构较为复杂的定理的逻辑结构做了分析.这为我们常用的分析命题结构的方法如逆否命题等提供了一个新思路.

简介：介绍了时序逻辑单元和组合逻辑单元发生单粒子效应的机理,以反熔丝型FPGA芯片ActelA54SX32A为实验对象,设计了3种典型的链电路系统。在中国原子能科学院HI-13串列静电加速器上采用Br离子对电路进行辐照实验,在频率为20MHz的条件下,3个链电路的翻转截面分别约为3.268×10-3cm2,7.449×10-4cm2和3.988×10-4cm2。实验结果验证了在0.22μm工艺条件下,时序逻辑单元比组合逻辑单元更加敏感,并且在包含两者的电路中,组合逻辑单元会屏蔽部分单粒子效应。最后,针对电路中不同逻辑单元,给出了两种加固方法。

简介：在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理.

简介：逻辑推理的方法和探索工具——类比思维若谷数学学习能使人聪明，故人们称数学是“思维的体操”类比思维就是“思维体操”中非常重要，非常关键的一节，著名数学教育家波利亚曾说过：“类比是获得发现的源泉，是最富创造性的逻辑推理方法和探索工具”。实际上，类比是根据...

简介：对谓词逻辑推理中关于量词加免的四项法则重新进行了审定，并讨论了这些法则的使用技巧。

简介：爆炸逻辑网络是用炸药非常规爆轰特性实现的传爆序列，它由多个爆炸逻辑单元（逻辑零门、与门和破坏性交叉通路）组成，主要运用在定向战斗部等常规武器系统中，起引爆控制作用。2005年，研制出爆炸逻辑零门（设计参数间隙L为0．3～2．1）、破坏性交叉通路（设计参数夹角动35°～60°）。但是作为应用技术，爆炸逻辑网络的可靠性关系到整个武器系统可靠性，关系到武器能否准确打击预定目标。

简介：为保持对目标接收机的持续有效欺骗,增强欺骗干扰的隐蔽性,从信号传播损耗、噪声基底、仰角因素等方面对欺骗干扰的功率控制问题进行了定量的分析,得出了一种欺骗功率控制策略。该方法通过实时调整欺骗干扰的总功率及各支路信号功率,使得噪声基底的抬高幅度和最大欺骗信号信噪比限制在一定范围内。仿真表明,通过实时调整欺骗功率,可以将噪声基底限制在3dB内,将最大欺骗信号信噪比限制在22dB内,实现持续有效欺骗。该方法可行性较强,对欺骗干扰机的研制具有重要的指导意义。

简介：摘要随着配网供电可靠性管理向业务前端延伸，基建工程项目业务与生产运行业务的协同关系分析日趋重要。考虑项目施工安全质量和生产紧急程度等约束条件，分析基建、技改、检修项目、试验、维护及反措工作计划综合协同安排对配网运行设备停电和供电可靠性的影响。以供电可靠率最大化为目标，获取最优停电计划协同安排模式，以实现公司综合运营效益的最大化。因此，分析了配电网频繁停电，制定了合理的停电控制策略，以有效降低配电网停电风险，提高供电安全性，提升客户满意度。

简介：本文研究了随机工件加工时间的生产系统在JIT（Just-In-Time）控制策略下的运行机制。基于文[1]所提出的看板控制生产系统的生产率与其马尔柯夫模型的状态空间相对应的理论，本文探讨了在JIT控制策略下生产系统的看板在安全库存受限的条件下的最优配置问题，并给出了工作站数目小于5的生产系统看板最优配置公式。

简介：摘要装表接电工作作为供电建设中重要组成部分，对于电网整体安全运行具有十分深远的影响，所以加强装表接电工作是必然选择。控制装表接电工作质量，严格遵循相关工作流程和制度开展工作，但是在实际工作开展中由于客观因素影响，时常会出现一系列安全问题，甚至会造成严重的安全事故。所以说，在当前背景下，供电企业首要的工作就是做好装表接电工作，只有这样才能为后续供电建设打下坚实的基础。由此看来，对装表接电工作中存在问题和对策进行研究十分必要。

简介：摘要装表接电工作作为供电建设中重要组成部分，对于电网整体安全运行具有十分深远的影响，所以加强装表接电工作是必然选择。控制装表接电工作质量，严格遵循相关工作流程和制度开展工作，但是在实际工作开展中由于客观因素影响，时常会出现一系列安全问题，甚至会造成严重的安全事故。所以说，在当前背景下，供电企业首要的工作就是做好装表接电工作，只有这样才能为后续供电建设打下坚实的基础。由此看来，对装表接电工作中存在问题和对策进行研究十分必要。

简介：针对混合动力公交车在循环工况内功率需求的特点,建立了未来功率需求贝叶斯预测模型;利用2一阶段随机动态规划模型将大规模的随机动态规划问题简化为多个小规模的随机动态规划问题和一个确定型动态规划问题;对于随机动态规划模型的求解,给出了稀疏表示的降维方法,将复杂的泛函极值问题转化为常规的随机动态优化问题,并采用分布估计算法和计算资源最优配置算法的计算机仿真优化算法对随机动态优化问题进行求解;给出了基于查表的在线控制策略,为模型的实际应用进行了有益的探索。

简介：针对2014年全国大学生数学建模竞赛A题'嫦娥三号软着陆轨道设计与控制策略'问题,根据全国评阅的具体情况,首先介绍了问题的要求和评阅基本要点;然后给出几种有代表性的解法和模型;最后对参赛论文中存在的较普遍的问题作了分析。

简介：分析了罗素悖论与康托的实数集合不可数证明及康托定理S〈P（S）证明之间的本质性联系，发现康托的这两个非构造性证明与罗素悖论有完全相同的思路，但是康托犯了两个逻辑性错误而使他误用了这个悖论思路。得到明确的结论：康托在集合论中如上两个证明里的核心部分实际上是罗素悖论的翻版，这两个证明中的思路与做法是错误的，这样的证明结果没有科学性。

简介：针对嫦娥三号软着陆轨道设计与控制策略问题,在合理假设的前提下,建立动力学模型,求解得到了嫦娥三号着陆准备轨道近月点和远月点的速度。针对软着陆过程的6个阶段,通过受力分析,建立了嫦娥三号运动的微分方程模型,以燃料消耗最小为优化目标,以每个阶段的起止状态为约束条件,将软着陆轨道的优化设计问题转化为主发动机推力的泛函极值问题,并将其控制函数转化为近似的多项式函数优化问题。运用四阶Runge-Kutta差分迭代方法进行求解计算,从而得到各个阶段的最优控制函数和控制策略。结果表明,嫦娥三号软着陆过程耗时695s,消耗燃料1269.1kg。

简介：介绍了由可编程逻辑器件集成的数字预滤器(prefilter)的设计原理,该预滤器用于滤除某些输入信道的尖峰或毛刺干扰,提供了其IP软核(SoftCore)的状态机模型、原文件和仿真结果.设计软件中状态变量安排合理,换用其它器件或采用其它开发软件平台也不会造成上电紊乱,占用编程资源很少,模块具有简洁稳定性和可移植性.

简介：静电陀螺的支承控制系统中由于不可避免地存在建模不准确及对象扰动,传统的控制器设计只能在系统动态控制与对象扰动消除之间折衷。根据自适应逆控制的结构,利用模糊径向基函数神经网络进行对象建模、逆对象建模和扰动消除建模,设计了带扰动消除的自适应逆控制的八电极静电陀螺支承控制器。仿真表明,该控制器可以同时提高控制的精度和鲁棒性,在保证支承系统动态性能的同时,大大抵消对象扰动的影响,克服传统控制方法的折衷缺陷,对静电陀螺的自适应逆控制器的工程实现具有重要意义。