PMS-代数的同余理想

给出PMS-代数L的主同余θ（0，b）及θ（a，1）的一个新的刻划，利用这个刻划，得到理想I=（d]是同余理想的充要条件，从而断定L的同余理想只能是正则理想．     

也谈复合命题

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

整函数的奇偶性与唯一性

本文将讨论整函数的奇偶性与唯一性     

用可调光锥系统获得卫星照片大尺度空间频谱的初步研究

将可调光锥系统直接应用于获得大尺度空间频谱的研究，得到了较满意的实验结果。     

最佳实验方案的选择

应用物理实验实例，从函数形式、测量条件的选择及仪器配置3个方面讨论了如何选择最佳实验方案。     

在Windows中传递消息

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

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

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

数量积在初等代数中的应用

数量积也叫点积或内积,它在解析几何里用来讨论有关直线和平面的度量性质(即涉及一般距离和角度的性质),是最自然而简便的方法。殊不知它在初等代数中,也有着广泛的应用。本文试图运用数量积的方法研究初等代数问题。     

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

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

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

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