高等数学在非数学专业教学中的思考

数学在当代社会中的重要性和普及性已被人们所认识，现通过将定积分、极限以另一种方式定义，加深对这两个数学概念的理解，以提高非数学专业同学学习数学的积极性。     

弹性梁静态方程的可解性

给出滑动支撑的弹性梁静态方程可解的一组两参数非共振条件.     

借鉴生物免疫的网络安全研究

生物信息处理系统大致可分为四个子系统,即脑神经系统,遗传系统,免疫系统和内分泌系统。生物的这些智能信息处理系统具有高度的自组织、自适应和自学习能力。其中,相应于脑神经系统和遗传系统,已分别提出了人工神经网络和遗传算法等工程模型,并在很多领域得到成功应用。基于内分泌系统和免疫系统的工程模型和算法则正处于研究之中。 网络安全是计算机网络及其应用领域中一直在研究的关键问题。对于发展网络和电子商务,保证专用的金融网、政府网和军事网的安全运行具     

高维非均匀时空的暴涨

首先讨论一个具有状态方程ρ=Kp的理想流体内部高维非均匀时空的演化,然后对流体的自旋及角速度作一些假定,讨论各种情况下的高维宇宙暴涨解.     

抽水站调速经济运行的非线性规划模型

根据系统分析理论，为确定抽水站最佳转速提出了一种非线性规划模型，该模型以抽水站效率最高为目标函数，并考虑泵工况点、泵允许变速范围、流量、轴功率等多种约束条件，该模型克服了以泵效率最高为准确确定最佳转速的常规方法的局限性，通过试验对该模型的泵装置部分作验证，并给出其与常规方法的比较，该模型所求最佳转速时的泵装置效率比用常规方法得到的高０．６４％－１．４６％。     

核内核子－核子非弹散射截面（Ⅰ）

在与平均场、核内核子－核子弹性散射截面以及输运方程相统一的理论框架内推导了核内核子－核子非弹散射截面的解析表达式．其数值结果能很好地重现自由非弹截面的实验值，所计算的有效非弹截面与Ｄｉｒａｃ－Ｂｒｕｅｃｋｎｅｒ的计算结果相一致．     

Lagrange方程在非惯性参考系中的表达形式

本文给出了完整定常系统在非惯性参考系的Ｌａｇｒａｎｇｅ方程，并举例说明了该表达式的应用。     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

用有效势方法讨论汤川核力场中圆轨道的稳定性

以汤川核力场为例，说明用有效势方法讨论有心力场中圆形轨道的稳定性，数学处理比较简明，物理图象也比较清晰。进而指出非径向微扰引起的速度矩变化对稳定圆轨道半径ｒ＿０的影响，导出两者变化的数量关系，说明在汤川核力场中维持稳定圆运动对微扰量所加的限制。