用实二次型理论解多元函数的极值问题

文章以二次型理论为依据,提出了解决多元函数极值问题的另一种方法.     

整函数的奇偶性与唯一性

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

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

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

最佳实验方案的选择

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

在Windows中传递消息

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

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

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

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

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

NP问题的3轮零知识证明系统的存在性

研究NP问题的3轮零知识证明的存在性.O.Goldreich与H.Krawczyk在1996年证明BBP以外的语言不存在（欺骗概率可忽略的）3轮黑箱模拟零知识协议,但是否存在3轮非黑箱模拟零知识证明仍然是一个尚未解决的问题.采用一种新的交互证明模式,在标准的DDH假设下,对图的3着色问题构造了一个3轮零知识证明.由于对零知识性的证明采用了一种特殊的方法,文中的协议实际上是非黑箱模拟意义下的零知识证明,从而证明了在DDH假设下,所有的NP语言都有3轮零知识证明系统.     

新黑箱理论及其应用

提出了新的黑箱理论,阐述了该理论的研究内容,结合实例讨论了黑箱问题的成因、特点及解决方法(黑箱方法),揭示了新黑箱理论的立论基础。     

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

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