F推理格式及其应用

Ｆ命题推算是Ｆ逻辑的基本内容，本文引进了Ｆ推理格式的概念，并证明了它的一些基本性质，从而，Ｆ命题的演算可以按照一定的Ｆ推理格式进行推理论证，这样才能导出正确的结论，另外，它又为推断Ｆ逻辑公式的相容性提供了理论方法基础。     

超热电子输运方程初始—边值问题的一个二阶收敛差分格式

超热电子输运方程是一个退化的，非局部发展方程，本文建立了一个二阶差分格式，证明了发性，收敛性和稳定性，最后给出一个数值例子。     

论成语广告

近年来，成语广告在广告领域中蔚然成风。本论文对这种现象进行了评析：一是将这种成语广告归纳为原封不动地使用成语原型的广告和变格活用地使用成语的广告两大类，各类中再按成语具体使用的情况分为若干种；二是对成语广告之所以长盛不衰的现象作了理论探讨，指出其原因正在于成语所具有的语体特性恰恰适应了广告语言的几个要求。     

VB中字体对话框的灵活运用

在VisualBasic中对控件上文本的格式设置有三种方法:一是选中控件在属性窗口中设置,二是在适当的事件中编写代码设置,三是利用“字体”对话框设置。采用前二种设置方法,适合于窗体运行过程中文本格式一成不变的状态,采用第三种方法,方便灵活,在运行过程中可以由用户随意设置字体、字形、字号、颜色等格式,样式多形式新。     

商务英语中法律法规翻译特点

法律文书属于应用文体,应用文体的体式十分繁杂,其翻译原则应兼容并包。对于法律翻译工作者来说,法律法规的翻译是跨文化交际的范畴,从事法律翻译似乎是戴着脚镣跳舞。     

视频文件格式及其比较

目前计算机中应用的视频文件格式很多，常常容易造成混淆而影响了它的正确使用．文章对目前使用较多的几种视频文件格式作出了详细的比较，旨在使大家对视频文件有一个全面认识从而更好地运用它．     

MP3播放器使用中的几个问题

本文介绍了如何利用“豪杰超级解霸3000”软件工具来解决 MP3播放器不能播放从网上下载的 MP3文件,以及如何将 VCD 光盘的音频信息转换为 MP3文件格式。     

Schroedinger方程的高精度辛格式

提出由第三类生成函数法构造Schroedinger方程iδu/δt=δ^2u/δx^2的高精度辛格式．首先给出它的典则Hamilton方程组；然后成功地克服了本质上是困难的高阶变分导数的计算．并利用第三类生成函数法得到在时间方向具有任意阶精度的半离散方程．进而得到原始方程相关的修正方程的离散形式．最后得到各种精度的辛格式．数值结果表明该格式是有效的．     

试论推理格式与数学证明方法

本文以命题真值代数的基本知识为依据，阐述种主要的数学证明方法：演绎法，完全归纳法，反证法，并反证法，数学归纳法。     

显式完全平方守恒差分格式的构造及其初步检验

构造完全平方守恒型差分格式是克服非线性计算不稳定的重要措施之一,并且在大气和海洋问题的数值模拟中已得到广泛的应用。以往构造的完全平方守恒的差分格式一般是隐式的,而具体求解时总是化为显式方式近似地求解。既然如此,能否直接构造出显式的完全平方守恒或完全能量守恒的差分格式呢?答案是肯定的。在文献[1]的基础上,本文采用加耗散的方式构造了多种形式的显式完全平方守恒的差分格式,并用Rossby-Haurwitz波进行了初步的检验,结果令人满意。