简介：

简介：

简介：本文借鉴传染病研究中的SIR模型，并结合森林火灾发生的特点，建立森林火灾SIR模型并对森林火灾燃烧扩散状态进行仿真模拟，根据模拟仿真结果及分析结论，得出了有效预防和控制森林火灾的手段．

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

简介：本文考虑一类连续系统具有模糊初始状态，运用文［１］中的模糊仿真原理，求得该系统的数值解．

简介：通过建立机理模型,量化分析可能对袋式除尘系统除尘效率产生影响的因素,并分析其对除尘效率的影响随时间的变化,再以袋式除尘系统作为研究对象,定义1年内正常工作状态下除尘效率的变异系数（标准差/平均值）为系统稳定性合理指标,对系统运行稳定性作出评价。最后,预测垃圾焚烧厂的最大扩建规模和使用新工艺后的稳定性能提升情况,并给环保部门的检测提供相关建议。

简介：讨论一种合理的绿色机房模型,求出了在不同的任务量、分配方式、空调风速和空调温度下机房的平均温度、热点、以及热分布和气流速度分布图。分别用人工神经网络和模拟仿真软件Airpak软件建立模型分析空调的热分布。通过在Airpak中更改机柜发热功率、空调的送风温度、送风速度来模拟仿真不同情况下机房的热循环过程。最后进行改进和优化,使其能够适应更多情况和条件。

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

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

简介：本文运用模糊仿真技术中的近似推理方法和差分原理，求解具有模糊不确定性时的二阶微分方程的边值问题．

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

简介：就两人绕正三角形的追逐问题建立起了两个数学模型：一个充分应用运动的周期性首先给出了两人共边的充要条件，然后直接给出在一个周期内两人共边的次数及起止时刻；另一个则利用初等数论的方法给出了两人共边的另一个充要条件．利用matlab长于计算和强大的绘图功能，分别给出了求解两个模型的matlab程序，通过动画仿真演示两个绕正三角形的追逐模型，并给出了二者同边的时间起止点和同边的次数．

简介：针对当前评估防空作战效能方法的局限性，将排队论应用于舰艇编队防空系统的突防过程分析和突防概率的计算，建立了计算作战效能的数学模型，在此基础上仿真分析了导弹毁伤概率、火力单元反应时间对突防概率的影响，对防空兵力的优化部署具有重要指导意义。

简介：利用元胞自动机方法建立植物病虫害传播的数学模型。在此基础上,分别对两种不同病虫害来源的情况进行仿真。仿真结果表明,在参数给定的情况下,无论病虫来源于自身还是外界,植物病虫害的传播均在一定时间后达到稳定状态,不同状态元胞占有率相近;相同参数下,同病虫来源于自身相比,植物病虫从外界入侵时,植物被感染的变化率较低,病虫害传播路径较有规律,有利于病虫害源的确定和病虫害的治理。

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