也谈复合命题

我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题，有不同的观点。应从“真假决说”角度来定义复合命题；复合命题是其中还包含命题，而且其真假由所包含的命题决定的命题；应采取给联言命题、假言命题下定义同样的“反映说”方式来定义两种选言命题；相容选言命题是反映若干事物情况可以同存并且至少有一个存在的选言命题、不相容选言命题是反映若干事物情况不能同存，至少有一个而且至多有一个存在的选言命题；应持“两立说”来对待不相容选言命题，不能对V进行结合运算，这是f10这一真值函项本身的性质使然，不影响不相容选言命题的存在。     

原子结构中的物理理论

本文较系统地介绍了有关原子结构方面的一些基础理论,由定性到定量,并应用量子力学知识描绘了原子结构状态。     

在Windows中传递消息

对Windows中的消息传递机制进行了详细的解析，并说明如何使用消息传递函数进行消息的传递。     

基于改进 HAF的线性调频雷达信号参数估计

针对多项式相位信号(PPS)中的线性调频(LFM)雷达信号参数估计,通过提出频谱方差极大值准则对PPS次优参数估计方法高阶模糊度函数(HAF)进行了改进,提出了适于单分量LFM参数估计的改进HAF。首先讨论了HAF对LFM参数的估计方法及其局限性,然后提出了分段频谱方差极大值法则下LFM调频斜率估计的方法,将其与HAF相结合提出了单分量LFM参数估计的改进HAF,克服了接收信号与实际信号起点不一致性对HAF带来的影响,降低了由于HAF局限性带来的调频斜率估计误差,改善了HAF的累积误差效应。MATLAB仿真验证了改进方法较HAF的优越性。     

强伪凸函数的某些性质

强伪凸函数是凸函数的重要推广函数之一。文中在给出强伪凸函数定义的基础上讨论了它的一些性质,另外还给出了它与强凸函数之间的关系。     

合作学习在体育教学中的运用

在体育教学中通过对合作学习的定义、内涵、基本要素等的探索，使合作学习和新课程标准所提出的理念能够较为完善地结合，把合作学习运用到体育教学中去，推动体育教学多角度全方位的发展，目的是促进学生的身心健康和丰富体育教学的内涵。     

计算机化简逻辑函数的算法研究

针对计算机化简逻辑函数普遍存在操作复杂、存贮容量大、运算速度慢等问题，该文用改进的重复包含算法寻找逻辑函数的质蕴涵，选择极值法求最小覆盖，并对循环函数进行处理。实验表明，这种算法可以减少存储容量、加快运算速度，而且可以增大算法的应用范围。因此，该算法在数字电子设计自动化中具有广泛的应用前景。     

A data model for regions with indeterminate boundaries

Most of spatial phenomena like natural vegetation units and land use areas constantly change over time and have uncertainty spatial extents. Till now, a considerable number of data models have been proposed for spatial objects with sharp boundaries as well as with indeterminate boundaries. However, they mainly concern space and time or space and fuzziness and not yet integrate them into a single unified framework. This paper introduces a formal definition of the conceptual fuzzy spatiotemporal data model, called FSTDM for fuzzy regions based on fuzzy set theory. We also contribute a method of manipulating queries with the presence of both temporal predicate and fuzzy spatial predicate in the condition clause efficiently. We then implement a prototype system.Through the experimental results, we prove that our work can be used to build a specialized system such as GIS, spatial database, and so on.     

列车调度指挥信息系统实施分析

介绍了列车调度指挥信息系统的网络结构和功能以及信息数据流程，分析了系统实施后存在的问题，并提出了相关建议。     

OFDM系统中的峰值平均包络功率比上下界的分析

本文主要对OFDM系统中的峰值平均包络功率比(PMEPR)的上下界进行了推导.推导结果表明,PMEPR的上界仅和数据序列的非周期自相关函数有关,这对于迅速去除PMEPR超过给定门限的数据序列是非常有用的.从推导的PMEPR下界看,只有当子载波数N很少时,它才会随N变化较大.针对一个16子载波的BPSK OFDM系统,本文借助于PMEPR的上界还对一种降低PMEPR的选择性映射技术进行了分析,并给出了所有可能信息序列的PMEPR分布.分析结果表明,最大PMEPR约为6.5dB,比最坏情况下的PMEPR减少了5.5dB.