命题逻辑中几种常见的推理证明方法

数理逻辑是《离散数学》的难点之一．其主要原因是内容比较抽象且方法较独特，加之题型以知识较广的证明题居多．而命题逻辑又是数理逻辑的基础，熟练而灵活地掌握好命题逻辑中推理证明的方法既是学习命题逻辑的重点，又会为进一步学习谓词逻辑打下良好的基础．本文结合适当的例题总结了命题逻辑中几种常见的推理证明方法，以期在帮助学生掌握命题逻辑的推理证明方法的同时，又能对学生进行逻辑思维能力的训练，培养学生分析问题和解决问题的能力．     

霍夫兰军中说服研究引鉴

霍夫兰是传播学的四大奠基人之一,作为耶鲁大学的实验心理学教授,他在第二世界大战时期为美国军方从事的士兵心理实验研究,将传播学带入了更为宽广的范围,把心理实验方法引进了传播学领域。霍夫兰在第二次世界大战时期进行的该项军事说服效果研究,从实验的背景到具体的实验步骤与方法,将这项在传播学史中占有重要地位的研究过程展示开来。     

一种空间域自适应低失真防篡改图像数字水印方案

为提高嵌入水印后的图像质量,提出一种空间域自适应低失真防篡改图像数字水印方案。该方案的水印嵌入位置由混沌密钥确定,以使水印能均匀、随机嵌入到图像的各个部位;采用S LSB算法将水印嵌入到图像像素的次低位,使其能够抵抗一些非恶意的图像水印攻击。该嵌入算法下水印图像的峰值信噪比（peak signal to noise ratio, PSNR）由水印长度和混沌位置密钥决定。为提高水印图像的质量,在给定水印的情况下,自适应地调整水印位置密钥,使水印图像的PSNR达到给定的要求;为降低算法的运算量,快速完成混沌位置密钥的自适应调整,进一步提出分段自适应水印算法。实验表明,该算法能够获得满足应用需求的PSNR,且对一些常用篡改操作能给出篡改率和篡改位置。     

柯西不等式的证明及应用研究

文中给出柯西不等式的3种证明方法，即利用行列式方法证、利用欧氏空间中内积性质证和利用初等方法证．并举例说明柯西不等式在不等式证明中应用的广泛性和灵活性．     

Robustness Proof on A United Watermarking Based on CRT Theorem

A new method of embedding and detecting a joint watermarking is proposed. It applies the asmuth-bloom secret sharing scheme, which is based on CRT (Chinese remainder theorem) theorem, to the digital watermarking technology. On the base of describing the watermarking embedding proceeding and analyzing the watermarking detection proceeding, a series of experiments is done. The experiments emphasize on the method‘s robust proving and security analysis. And the experiments show that the method can resist the attacks of JPEG compress, geometry, noise and gray adjusting. The results of the experiments show that the method has a nice recognition of copyright for joint ownership.     

高校学报校对工作点滴

探讨了提高学报校对质量，保证学报编辑出版质量的认识与实践。     

Liebowitz公式的另一数学证明

本文从弹性应变能变化的观点,采用复变函数理论的方法,给出了H.Liebowifz公式的另一数学证明。同时,也得出了Griffith能量变化修正公式。     

《世说新语新校》中的笺疏商兑

《世说新语》一书，已传世较久，舛误疑点不少，校释工作难以做到尽善尽美。先哲与时贤在词语的校勘考释方面做了不少工作，成绩斐然。李天华先生所撰《世说新语新校》一书就颇有创获，但书中仍有若干笺疏，值得进行商兑。     

基于节点权重的DPoS共识算法

针对委托权益证明（delegated proof of stake,DPoS）共识机制中节点作恶以及如何降低恶意节点成为代表节点可能性的问题,结合埃欧塔（IOTA）共识机制在安全性和稳定性方面的优势建立了节点之间的信任关系,提出了一种基于节点权重的DPoS（delegated proofof stake based on node weight,NW-DPoS）共识算法。将节点历史行为信息、自身权重值和在线状态作为计算认可度的因素,选取累积认可度高的节点作为区块生产者;根据节点行为表现并以降低节点累积认可度的方式惩罚有恶意行为的节点。仿真实验和分析表明： NW-DPoS共识算法能够明显降低恶意节点成为代表节点的概率,并且在抵御双花攻击和贿赂攻击方面比DPoS共识机制更可靠,从而提高了系统的安全性。     

铝合金框架结构的弹体穿击损伤特性

针对直升机机身框架易受子弹弹击导致损伤问题,有必要开展机身铝合金框架结构的子弹穿击损伤特性研究.基于ABAQUS软件平台,采用修正后的Johnson-Cook模型,建立机身铝合金框架弹伤冲击的显示动力学模型,研究子弹弹头倾角和子弹材料等参数对铝合金框架的损伤特性影响.结果 表明:弹头倾角影响子弹穿透能力,但该影响存在临界值,到达临界值前,子弹穿透能力随着倾角的减小而增大;到达临界值后,继续减小倾角不再增大穿透能力;同时随着倾角的减小,框架的损伤面积先增大后减小,倾角为45°时损伤面积最大.子弹材料影响子弹的强度和刚度,影响子弹的穿透能力和破坏能力,计算结果表明铜质子弹的穿透能力大于钢质子弹,钢质子弹破坏能力大于铜质子弹.