关于《数学是什么》的若干疑问

本文对文「１」的几个论断提出一些疑问,并在“非欧几何与现实空间”、“数理逻辑与思维”、“哥德尔不完备性定理的意义”等若干问题上表述了与《数学是什么》一文中不同的观点。     

应用TeX控制功能和图像检测的文本密写

提出一种利用排版工具TeX在文本文件中实现密写的方法。该方法属于“文本-图像”方式,在TeX源文件中修改TeX命令,对一部分单词间空格进行微小的改变,从而将数据嵌入。经编译和转换,生成含隐蔽信息的pdf文件在互联网上传输。隐蔽信息的提取在图像域中进行,根据水平和垂直投影分别检测文字的行和单词之间的空格,恢复出原嵌入数据。密写的安全性取决于从图像中准确检测空格微小差异的能力、文本文件相对于嵌入数据量的大小、采用的加密和编码技术等因素。     

采用两次模运算的无直方图异常安全密写法

提出一种以像素对为基础的数字图像密写方法,该方法同时对像素灰度值和像素对的差值进行模运算（modulo gray-value modulo difference,简称MGMD）,在每一对像素中可嵌入的比特数取决于像素对差值的大小.基于待嵌入的数据和两次模运算的结果修改像素对,并维持其差值不变.MGMD密写不会引起像素直方图和像素差值直方图的异常,不仅避免了一些基于像素对的密写法如PVD和SM的安全漏洞,还能抵御针对常规LSB密写的RS分析和χ²分析.该方法的安全性得到实验的验证.     

对RS攻击的分析及抗RS攻击的隐写算法

基于位图的隐写分析方法较有效的检测算法是RS法,其检测率达到0.05 bpp.通过对RS法的分析,提出一种针对该方法的隐写算法,使隐藏率达到0.2 bpp.     

p~2q~2阶群的完全分类

设p,q为奇素数,且p＞q,本文对p~2q~2阶群进行了完全分类并获得了其全部构造:当q~2(×)p~2矿-1时,恰有4个彼此不同构的类型;当q∣ p-1但q~2(×)p~2矿-1时,恰有11个彼此不同构的类型;当q~2∣p-1时,恰有15个彼此不同构的类型;当q∣p+1但q~2(×)p+1时,恰有6个彼此不同构的类型;当q~2∣p+1时,恰有7个彼此不同构的类型.     

“写长法”在医学专业英语教学中的运用探究

受王初明教授等教育一线专家对专业英语学生做的"以写促学——一项英语写作教学改革的试验"的成功经验启发,成立课题组在非英语专业的大学英语教学中尝试类似的教学模式:在大学英语教学改革中循序渐进,以提高医学生英语写作水平为主线,以"写长法"为根本理论基础,以满足学生需求、提高大学英语教学的社会实用性为原则。     

基于二重扰动SVM集成分类的JPEG图像隐写检测

针对目前大部分JPEG隐写分析方法主要采用单一支持向量机分类器,可能产生泛化能力恶化、分类精度难以提高等问题,提出了一种新的基于二重扰动SVM集成分类的JPEG图像隐写检测方法.利用多项式核函数和高斯核函数构造混合核函数模型,并用主成分分析法进行特征变换,去除冗余信息,最后在变换后的特征空间上进行模型参数和特征的二重扰动产生成员分类器,并用多数投票法对它们进行组合.实验结果表明,与传统方法相比,具有更高的JPEG隐写图像检测率.     

基于RSA加密和DS算法嵌入的DWT变换域图像隐写

为提高秘密数据安全性并保持载体图像良好的视觉质量,本文提出了一种基于RSA算法加密和DS算法嵌入的离散小波变换(DWT)域图像隐写方法.首先借助经典的RSA算法对数据进行加密,秘密数据被转换成密文,借助二维离散小波变换域的修正细节系数,利用DS算法将已加密的秘密数据嵌入载体图像,并分析了接收端对秘密数据的复原过程.最后,借助MATLAB软件对本文提出的方法进行验证,并用峰值信噪比(PSNR)对结果进行评估.结果表明,本文提出的方法能有效增强秘密数据的安全性并能保证载体图像的视觉质量,因此具有可行性和有效性.本文隐写机制高度安全,在信息安全领域具有良好的应用前景.     

pq3阶群的完全分类

设P,q均为素数,且P>q,对pq3阶群进行了完全分类并获得了其全部构造:1)当q不整除P-1且P不整除(q2+q+1)时,G恰有5个彼此不同构的类型;2)当q不整除P-1但P整除(q2+q+1)时,G恰有6个彼此不同构的类型;3)当q整除P-1但q2不整除P-1且P不整除(q2+q+1)时,G恰有12个彼此不同构的类型;4)当q整除P-1且P整除(q2+q+1)但q2不整除p-1时,G恰有13个彼此不同构的类型;5)当q2整除P-1但q3不整除P-1时,G恰有14个彼此不同构的类型;6)当q3整除P-1时,G恰有15个彼此不同构的类型.     

基于通用攻击结构的秘密共享方案及其化简

借助集合论的相关概念设计了一种基于通用攻击结构的秘密共享方案，证明了该方案满足秘密共享所要求的秘密重构及完善保密两个基本特性。整个方案运行过程中只需执行简单的模加和模减运算，有着很高的计算性能。最后，又在参与方集合上定义了一种关于攻击结构的等价关系并给出了相应的化简方案，分析显示简化后的方案保持了原方案的基本特性。