基于DCT域的数字水印算法

该文系统介绍了数字水印的原理和应用方法,并研究了一种基于离散余弦变换（DCT）的数字图像水印算法,并借助MATLAB编程工具,实现数字水印的嵌入、提取和攻击测试。     

递归Prolog程序的正确性证明

本文提出了一种称为Ｐｒｏ图的图形方法,并用该图形方法进行了递归Ｐｒｏｌｏｇ程序的正确性证明,文中包括Ｐｒｏ图的基本概念及生成规则,Ｐｒｏ图上各节点的的关系,Ｐｒｏ图的激活过程,并给出了着急递归程序正确性证明的公理和定理。     

基于基频的朝鲜语方言辨识方法的研究

该文提出了一种基于基音频率特征的中国朝鲜族语言、韩国朝鲜语和朝鲜朝鲜语方言的自动辨识方法。首先,选择具有良好区分度的基频移位差分系数作为三个方言的特征参数;其次,设计和采用了分层支持向量机分类器,并进一步引入投票法确定最佳的分类结果。实验结果表明该文提取的特征参数具有良好的区分性和较强的稳定性,该文提出的方言辨识方法比传统的移位差分倒谱系数特征方法识别率高,可以有效解决朝鲜朝鲜语、韩国朝鲜语和中国朝鲜族语言的方言辨识问题。     

Formal Translation of Bytecode into BoogiePL

Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on this representation. Using an intermediate language improves the interoperability of tools and facilitates the computation of small verification conditions. Even though the translation into an intermediate representation is critical for the soundness of a verifier, this step has not been formally verified. In this paper, we formalize the translation of a small subset of Java bytecode into an imperative intermediate language similar to BoogiePL. We prove soundness of the translation by showing that each bytecode method whose BoogiePL translation can be verified, can also be verified in a logic that operates directly on bytecode.     

VB和MATLAB混合编程的实现与应用

充分利用MATLAB强大的运算及显示功能和VB开发界面友好的特点，将二者有机结合，同时通过中间数据库对MATLAB程序的运算结果进行保存。可以开发出复杂的，界面友好且易于维护的人机交互处理软件。文中以实例说明了如何通过VB实现对MATLAB程序运算结果的调用。     

基于MATLAB的风力发电系统单相整流/逆变电路仿真研究

介绍了风力发电的能量转换,风力发电机的发展,以及并网换流器。搭建了基于MATLAB/Simulink的单相整流/逆变电路仿真模型,并对该模型进行仿真,仿真结果表明,搭建的单相整理/逆变电路能较好的模拟风力发电系统变流器的工作过程,对进一步提高变流器的性能具有促进作用。     

徐坤学人小说论

以学者和女性的双重身份出发,探讨了徐坤的小说在内容、女性视角、语言风格三个方面区别于其他学人小说的特征。     

采用MATLAB图像处理技术在鱼病诊断中的应用

本文介绍了一种可以对水产养殖中鱼的病变情况进行监控的系统。通过MATLAB软件中强大的图像处理功能,对读入的图像进行中值滤波、灰度处理和二值处理,然后根据收缩与扩张的原理,编写程序,对二值图像进行数次收缩与扩张,以去除杂质点,最后采用区域矩特征的概念,统计出白色像素的数目,与统计数据相比较,即可判断出是否出现鱼类病变死亡等异常情况。     

基于MATLAB的传动误差测试系统及其模拟实验智能化信号发生器

介绍了机械传动误差测试中数字量计数法的特点,给出了传动误差测量系统FMT的系统框图。PC机程序采用VC调用MATLAB编译后的C函数实现FFT分析,重点介绍所研制的智能脉冲信号发生器,用其产生的两路信号对实际光栅输出信号进行模拟,进而验证FMT系统测试和FFT分析的正确性,并通过实际实验进一步验证了正确性。