函数在谓词逻辑符号化中的应用

针对不同个体域,用实例讨论了谓词逻辑中命题符号化时函数的引入、函数的作用以及谓词和函数的区别,并给出了错误使用函数的例子,分析了产生错误的原因。     

重值与唯一性

对杨乐关于亚纯函数的唯一性定理中六个集的情况，也可以精确化，对于五个集的情况还可以进一步精确化。     

亚硝酸盐及其相关物种的环境暴露与生理功能

本文对亚硝酸盐及其相关物种的产生来源及其人在其中的暴露环境进行了剖析,认为有内源性与外源性双重作用,并具有各自的规律,而内源性与外源性的结合是危险因素,并对其暴露结果及其阻断进行了讨论。     

高等院校校园育人环境的功能及构建途径

独具特色、生态和谐、优美宜人的高校校园育人环境对学生有着潜移默化的教育功能，因此，在对校园育人环境的内涵进行界定分析的基础上，翔实的论述了高校校因育人环境建设的现实意义．并对校园育人环境构建的途径提出了自己的见解，以此为高技科学地进行校园育人环境建设提供参考．     

中英文广告中语气系统的功能分析

随着语言学与语言教学的迅速发展,越来越多的人关注到文体学。文体学中运用的研究方法是多种多样的。韩礼德的功能语法的出现给我们提供了一个新的分析不同语篇的方法。不少学者对英文广告进行功能分析,但是功能语法的理论很少被运用到对中文广告语篇的分析上。本文旨在提供详尽的对两篇中英文广告的语气系统的分析。一篇是产于中国的奥迪A6的广告。另一篇是美洲虎汽车的广告。首先,本文简单介绍了功能语法关于语气系统的有关理论,然后提供了对这两篇广告语气系统具体的分析。本文分析了应用于两篇广告中的语气(包括情态状语),情态和归一性,以期得出结论:英文和中文广告使用的语气系统在某种程度上是相似的但是也有不同。     

关于积分问题的一题多解

本文拟从换元法角度对无理函数的不定积分的解题方法作一定探讨。     

两个著名不等式的统一证明

首先证明了数b1，b2，…，bn的一个加权平均不等式链Hn(b,P)≤(Pn ∑Pibi)/(Pn ∑Pi/bi)≤Gn(b,P)≤[∑Pibi/(1 bi)]/[∑Pi/(1 bi)]≤An(b，P)，用这个结果证明了名的王-王不等式和ky Fan不等式链Hn(b,P)/Hn(1-b,P)≤Gn(b,P)/Gn(1-b,P)≤An(b,P)/An(1-b,P)。     

论企业深层次文化建设的意义和途径

建立现代企业制度，客观上要求加强企业化建设。针对部分企业化建设尚未被引起足够重视的状况，本从建设企业深层化的必要性、加强企业深层化建设的意义、加强企业深层化建设的一些基本措施等方面，阐述了企业深层化的内涵、建设途径。     

微分中值定理的推广

把微分中值定理推广到一元（行列式）函数、向量函数、抽象函数等n个方面.     

Mathematical Analysis of Energy Efficiency in IEEE 802.11 DCF

The standardized IEEE ,802. II distributed coordination function （ DCF） provides a contention-based distributed channel access mechanism for mobile stations to share the wireless medium. However, when stations are mobile or portable units, power consumption becomes a primary issue since terminals are usually battery driven. This paper proposes an analytical model that calculates the energy efficiency of both the basic and the RTS/CTS access mechanisms of the IEEE 802. II protocol. The model is validated with simulation results using NS-2 simulation package. The effects of the network size, the average packet length, the initial contention window and maximum backoff stages on the energy efficiency of both access mechanisms are also investigated. Results show that the basic scheme has low energy efficiency at large packet length and large network size, and depends strongly on the number of stations and the backoff procedure parameters. Conversely, the RTS/CTS mechanism provides higher energy efficiency when the network size is large, and is more robust to variations in the backoff procedure parameters.