命题逻辑与数学证明方法（Ⅲ）

简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括反证法推理格式、反证法、数学证明方法总结.     

圆板非线性问题的一种近似解

本文对圆板非线性问题提出了一种近似解,给出并证明了计算量小、程序简明、精确度较高的迭代程序,求解了圆薄板周边固定在均布载荷下的大挠度的二次近似解。其结果更逼近于实验值。     

Production and Application of the Langmuir Aggregates of Eosine with Cetyl Trimethyl Ammonium Bromide

The procedure of microphase adsorption–spectral correction is applied to the interaction of eosine Y (EO) to the micelles of cetyl trimethyl ammonium bromide (CTAB). The Langmuir aggregation of EO on CTAB occurs owing to microelectrostatic attraction. The results have shown that at pH 3.8, monomeric and micellar aggregates have the structure EO₅·CTAB₂ and (EO₅·CTAB₂)₃₉. The adsorption constant of an aggregate is 7.01·10⁵, its molar absorption coefficient is = 8.8·10⁴ liters·mole^–1·cm^–1 at 550 nm. Application of the aggregation of EO on CTAB gives satisfactory results for quantitative determination of cation surfaceactive agents (surfactants).     

Measuring the Polarization Parameters of Rain by Inverse Scattering

The theory is presented for one method of determining the effective polarization parameters of the rain medium in the problem of polarization information processing of detecting target. The determination of the effective polarization parameters of the propagation medium is from the data of propagation measurements over a line-of-sight link. The polarization parameters the effective average value, the effective standard deviation and F the effective shape parameter of the propagation medium are obtained by means of the method of inverse scattering, showing a good agreement with the data from direct measurements.     

我国会计信息失真问题的研究现状评述

众所周知，由于各种原因，目前我国存在十分严重的会计信息失真问题，因此，研究如何保证会计信息的真实性，如何在最大范围内防止会计信息失真，具有重要的现实意义。近十多年来，学术界和实务界对此进行了深入而广泛的研究。我通过检阅和甄别1994年至2004年发表在《会计研究》和《上海会计》上的所有论文，确认了31篇与会计信息失真相关的文章，采用结构化的程序与方法对这些研究状况进行评述。由此总结出这些研究成果所做的贡献和存在的不足。     

评价高边坡断层的直接约束方法

为正确评价断层对于岩石高边坡安全稳定性的影响,采用接触力学的求解方法——直接约束法模拟断层的滑移和脱开等不连续行为。重点分析了岩体中断层不同的接触性状(如考虑断层与岩体的滑移脱开)。应用弹塑性有限元方法对彭水水电站船闸高边坡分步开挖过程进行了数值仿真分析。通过不模拟滑移脱开与模拟滑移脱开的对比研究,模拟滑移脱开后断层的变形和塑性区显著增大,在断层处变形较大以致于有滑坡的可能。该项研究在岩石高边坡稳定分析中具有重要的意义。     

Matlab在物理实验数据处理中的应用

介绍了用Matlab处理杨氏模量实验数据,说明此方法比手工计算的简单快捷。     

判断程序能否并发执行C语言实例

现代操作系统普遍采用多道程序并发执行方式。由于并发执行的程序具有结果不可再现性的特点,即每次运行结果可能不同,因此操作系统必须按Bernstein条件判断程序间是否可以并发执行。本文提供了用C语言编写的判断程序之间是否可以并发执行的实例。     

应用层次分析法确定水生野生动物保护区主要污染源

本文使用层次分析方法来判定水生野生动物自然保护区内主要污染物和污染源,并且使二者由两次判断整合为一次判断,简化了保护区环境质量评价的过程。