现代逻辑三题

现代逻辑是综合运用多种一般思维方法，广泛联系其他科学技术领域，深入研究不同类型推导形式的逻辑学科群．相对于传统逻辑来说，它具有两大特征：一是形式化，二是实用性。     

C3I系统的时效性分析

本文介绍了时效性这个概念, 讨论了在C~3I系统中考虑时效性概念的意义与必要性。文中针对炮兵火力支持系统研究了如何对C~3I系统的时效性进行评估, 给出了一种评价C~3I系统时效性的方法, 详细讨论了不同作战方案对C~3I系统时效性的影响, 通过对案例进行的深入分析, 进一步揭示了时效性概念的内涵, 以及时效性概念在C~3I系统分析与设计中的重要性。     

言语交际中的模糊语言及其语用分析

借助题旨情境，模糊语言在言语交际中十分活跃，语用灵活，可使言语表达更加有效、更加睿智、更加委婉、更加灵活。应结合语境并随语随文来剖析其表象，阐释其语义，体会其言外之意和弦外之乐。     

一类非线性方程的渐近解

用两变量方法讨论了一类二阶非线性方程εy＂ a(x)y＇ b(x)y＂=0,n∈Z,x∈(0,1),y(0)=α,y(1)=β，并得到了该类非线性方程的渐近解。     

一阶线性非齐次微分方程求解方法的讨论和一个简化的求解方法

本文证明了一阶线性非齐次微分方程y＇+P(x)·y=f(x)三个求解方法:参数变易法、积分公式、积分因子法之间的等同关系.从参数变易法中引出一个简化的积分公式.事实上此公式恰是对用参数变易法解高阶线性非齐次微分方程时对n=1的拓广.最后以实例验证此公式的简易.     

含参数λ微分方程类型的可积判据

提出几类含参数λ微分方程,借助变量替换法、线性化法、降阶法、交换变量位置法,论证其可积性,给出可积的判据及通解的表达式.扩大微分方程的可积范围,提供其求解的方法及通解公式.     

预测我国钢铁工业发展趋势的递归模型

本文根据我国钢铁工业生产特点,建立了60多个变量、28个方程的递归模型,描述了钢铁工业生产的结构形式,确定了主要生产环节的生产函数,给出了各种经济变量间的相互关系,预测了我国矿、铁、钢、钢材、产值等28个主要的内生变量的未来值,分析了“七五”、“八五”、“九五”三个五年计划可达指标、发展速度及保证条件。经过1984年的实际检验,证明模型的预测效果良好。