一个具扩散的捕食模型非常数正解的存在性

考虑一个Neumann边界条件下具扩散和Holling型功能反应的捕食-被捕食模型的平衡态问题,获得了该模型正平衡态解的一些结果.首先,给出了正解的先验估计,进而,用能量方法得到其非常数正解的不存在性,用拓扑度理论得出其非常数正解的存在性结果.     

关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

高校网络思想政治工作探究

互联网的迅速发展和普及给传统的思想政治工作造成了巨大的冲击，也带来了新的机遇。各高校在开展网络思想政治工作过程中，既要明确工作重心，也要把握正确的工作原则，既要坚持用马克思主义的内容来占领网络阵地，又要充分运用现代信息网络技术不断地完善和发展高校思想政治工作，坚定不移地发挥网络的思想政冶教育阵地的作用，牢牢掌握网络思想政治教育的主动权。     

往复式压缩机故障信息模糊二元树诊断方法研究

结合图论理论和局域波理论,提出了一种基于模糊图的往复式压缩机故障诊断方法.首先将往复式压缩机故障信号进行局域波时频处理,根据系统的故障状态-特征表,找出最大故障信息量特征群.基于图论理论建立最大故障信息量模糊图,通过对模糊图的分析,找出可以进行匹配的路径信息量最大的部件.该方法应用于某往复式压缩机故障诊断中,具有一定的工程实用性.     

聚2,5—二甲氧基苯胺薄膜极对儿茶酚的电催化作用

研究了电化学方法制备的聚２，５－二甲氧基苯胺薄膜电极对水溶液中的儿茶酚的电催化作用，以及影响催化作用的主要因素。结果表明，在酸性较强的水溶液中，在较宽的浓度范围内均有很好的电催化作用。催化电流与儿茶酚浓度呈良好的线性关系。     

用于历史资料处理的专家系统的理论与实践

本文介绍了一个基于语料库方法建立的历史资料处理专家系统以及它的系统功能，体系结构和处理方法。     

SL（4,7）的局部子群

用有限群论和矩阵方法研究线性群ＳＬ（４，７）的Ｓｙｌｏｗ－子群及其正规化子，完全地了ＳＬ（４，７）的Ｓｙｌｏｗ２－子群，３－子群，５－子群，１９－子群以及它们的正规化子的结构。     

叙事进程中的“起承转合”语篇评价范式

叙事进程关涉叙事语篇展开和推进的过程,已经引起叙事学界的广泛关注。叙事进程中的动态因素表明评价贯穿于整个叙事语篇。无论是语篇的不稳定因素还是张力因素,都离不开叙述者对故事的阐释和判断,离不开叙述者的评价。中国文章学用于论证文章各个部分主题意义相互衔接的起承转合之说,也完全适用于分析叙述者评价建构的语篇人际意义脉络。叙事语篇的主题意义和人际意义两条脉络共同推动作品的叙事进程,有助于全面深化语篇主题意义和修辞目的的识解。     

电阻及其微观机理

电阻是金属的最赋有表征性的特性。认识“电阻”的关健环节是电子散射机构问题。本文围绕着这一关键问题,对比了现代能带论与经典理论,并且用能带论更新了“电阻”的经典概念。     

波浪作用下的海床响应及其对建筑物稳定性的影响

应用动弹性固结有限元法,求解了随机波浪作用下饱和海床土体中的孔隙水压力、有效应力和位移的瞬态响应,并对海洋建筑物的稳定性进行分析。建立的有限元计算模型中采用了动弹性固结理论和线性渗流理论,海床可为具有任意边界条件的分层分块弹性多孔介质;利用简单条分法对海床和建筑物进行稳定性分析,在滑动面上考虑波浪附加应力的影响。孔隙水压力响应的理论计算结果与模型实验的量测值吻合的较好。计算表明,近海工程中考虑海床土体受到的波浪附加应力时,海床和建筑物的整体稳定安全系数将降低,降低幅度主要与海床面上的波浪压力、海床的渗透性有关。