Second-Order Formulas in Action

This survey article illustrates many important current trends and perspectives for the field and their applications, of interest to researchers in modern algebra, mathematical logic and discrete mathematics. It covers a number of directions, including completeness theorem and compactness theorem for hyperidentities;the characterizations of the Boolean algebra of n-ary Boolean functions and the bounded distributive lattice of n-ary monotone Boolean functions;the functional representations of finitely-generated free algebras of various varieties of lattices via generalized Boolean functions, etc.

雷达数据的准无损压缩

利用不同周期雷达信号之间的相关性,采用二维小波变换,融合信号去噪和数据压缩算法,实现雷达数据的准无损压缩.针对雷达数据噪声较多的特点,在压缩之前通过软阈值滤波去除雷达信号中的大部分噪声,大大降低数据熵值.为评价重建信号质量,设计了形态逼真度指标.实验结果表明,该方法能对航空探测雷达回波数据进行较大比率压缩.

基于自适应滤波的语音降噪算法

为提高语音通信系统在工业现场环境下的抗噪性能,提出一种基于自适应滤波的语音降噪算法,即改进递归对数最小均方p范数(QN-RLLMP)算法,通过拟牛顿法构建正定矩阵进行语音降噪处理。设计以STM32F429为控制核心的双通道语音降噪系统硬件,编写自适应滤波算法处理软件,并进行实验验证。结果表明:与RLLMP算法和RLS算法相比,本文算法在处理适用于α稳定分布描述的有色噪声时具有更快的收敛速度和更小的稳态误差;在本文实验条件下,得到的降噪语音信号比含噪语音信号的信噪比平均提升10 dB,语音可懂度平均提升0.3,说明本文算法能够有效降低语音信号中混杂的有色噪声信号,提高语音信号质量。

基于修正的拟牛顿法的基追踪去噪研究

为提高一维信号去除噪声的稀疏分解基追踪算法的效率,提出了采用修正的拟牛顿法来解决基追踪去噪过程中的无约束优化问题。该算法在传统拟牛顿法的基础上,对BFGS(Broyden-Fletcher-Goldfarb-Shanno)公式进行修正,有效地减少了最优化过程中所需的迭代次数。实验结果表明,修正的拟牛顿法与传统算法相比,能够明显提高目标函数的收敛速率。

一种快速有效的神经网络新算法

基于输出层函数为线性函数的三层前馈神经网络，结合自适应步长和动量解耦的伪牛顿算法及 迭代最小二乘法导出了一种混合算法．仿真证明该混合算法自适应能力强、计算量小、收敛速度快，是一 种有效的工程实用算法。

准循环LDPC码快速编译码算法及DSP实现

为了降低准循环低密度奇偶校验QC-LDPC(quasi-cyclic low-density parity-check)码编译码算法的复杂度,研究了QC-LDPC码的构造方法。介绍了一种由校验矩阵构造系统生成矩阵的简化方法,该方法可以在很大程度上降低编码复杂度,实现线性编码。基于上述校验矩阵结构,译码提出了Turbo串行消息传递的最小和译码算法(TM S算法)。在保持性能基本不变的情况下,改善消息传递的收敛特性,同时降低译码复杂度。基于定点DSP结构,设计了一种高效LDPC码编译码器。仿真结果表明,该算法以较低的复杂度实现了QC-LDPC码的快速编译码。

范氏气体任意准静态过程的研究

本文提出折合功容Cwep=(dW+dEp)/dT的概念,导出了范氏气体任意准静态过程的微分方程和摩尔热容公式,并指出范氏气体多方过程的最基本特征是折合功容为常量.

水不偶合装药爆破时的破岩特征

根据水中爆炸冲击波理论和流体力学理论,分析探讨了炮孔水不偶合装药爆破时孔壁初始冲击压缩作用和由其引起的岩石破坏特征,以及这种装药结构条件下的炮孔准静压力和由其引起的炮孔周围岩石中的准静态应力场。结果表明,不偶合装药系数是影响水不偶合装药爆破作用的主要因素。

求解旅行商问题的人工协同搜索算法

针对传统人工协同搜索(ACS)算法求解精度不高、收敛速度慢等问题,提出一种基于Sigmoid函数的反向人工协同搜索(SQACS)算法求解旅行商问题(TSP)。首先,利用Sigmoid函数构造比例因子,增强算法的全局搜索能力;其次,在变异阶段,加入差分进化(DE)算法的DE/rand/1变异策略,对当前种群进行二次变异,提高算法的计算精度和种群的多样性;最后,在算法后期的开发阶段,引入拟反向学习策略,进一步提高解的质量。对TSP测试库TSPLIB中的4个实例进行仿真实验,结果显示,SQACS算法在最短路径与花费时间上均优于麻雀搜索算法(SSA)、DE、阿基米德算法(AOA)等7种对比算法,并且具有良好的鲁棒性;与其他求解TSP的改进算法综合对比,SQACS算法也显示了良好的性能。实验结果表明,SQACS算法在求解小规模TSP时是有效的。

BIBD循环置换矩阵的多进制LDPC码构造

提出了基于均衡不完全区组设计(Balanced Incomplete Block Design,BIBD)的多进制准循环LDPC(Low-Density Parity-Check)码代数构造方法。在该构造方法中提出了广义多进制位置向量的概念,并根据广义多进制位置向量和BIBD法对指数矩阵进行广义二维扩展,构造出具有循环置换子矩阵的多进制校验矩阵,由此得到girth不小于6的多进制LDPC码。仿真结果表明,采用FFT-QSPA(基于快速傅里叶变换的多进制和积算法)对构造出的LDPC码进行译码,在AWGN信道下相比于同参数的RS码来说可以取得明显的编码增益,并且优于多进制Mackay码。

一类无散射耦合的Korteweg—de Vries方程组的约化和精确解

将一类无散射耦合的Korteweg-de Vries方程组约化为一阶拟线性双曲型方程，并给出了它们之间的一种变换关系，然后利用拟线性双曲型方程的解，得到无散射耦合的Korteweg-de Vries方程组的精确解。

一个具退化强制和零阶项的拟线性方程解的存在性

研究了一类具退化强制和零阶项的p-Lapalce方程.通过选取适当的检验函数,借助于De Giorgi迭代技术且在适当的右端项可积条件下证明了弱解的L~∞正则性,并且得到弱解的存在性.

体词性偏正组合及“的”字形式

在考查大量偏正组合的基础上 ,对其规律性进行描写 ,并试图运用音步、长度、隐形关系、配价等等从韵律、结构和语义上加以解释。指出了“的”形式的大体使用环境。此项研究无法进行穷尽式统计 ,对组合灵活、无特殊规律者未作介绍。

Korteweg-de Vries方程的准孤立子解及其在离子声波中的应用

应用推广的tanh函数展开法,给出了Korteweg-de Vries方程具有准孤立子行为的两组孤子-椭圆周期波解,其中一组为新解.推导了均匀磁化等离子体中描述离子声波动力学行为的Korteweg-de Vries方程,发现电子分布、离子电子温度比、磁场大小、磁场方向对离子声准孤立子的波形具有显著影响.

KdV方程的孤子-椭圆周期波解及其准孤立子行为

以KdV方程为例讨论了孤子-椭圆周期波解的准孤立子行为及其相互作用性质.首先应用推广的tanh函数展开法构造了KdV方程的孤子-椭圆周期波解及其准孤立子极限,并由孤子-椭圆周期波解的“穿衣服”结构给出了周期波的相移公式.此外,结合国内外研究前沿,讨论了该解的物理应用.

拟常曲率的曲率齐性黎曼流形

本文给出了拟常曲率的曲率齐性黎曼流形的局部结构。

高校分类发展的实践逻辑和治理路径——基于政府、市场与院校“三角协调”的分析

高等教育在大众化、普及化阶段以高校分类办学为基础的多样化发展,不仅关涉高等教育系统内部结构的优化,更攸关其促进公民个体发展和经济社会发展双重功能的有效实现。高校种群基于科学定位和多元办学的分类发展在本质上是政府、市场和院校等各利益相关方理性博弈的结果,也是政府调控、市场调节和院校自主选择等多重机制综合作用的结果。以政府、市场和院校之间的“三角协调”为分析框架,我国高校分类发展改革在实践中存在一定的逻辑缺陷和机制偏差,突出地表现在市场调节不足和院校被动选择。相应的治理路径包括推动高等教育治理向准市场化模式转换、加强市场逻辑与机制的作用、加快高校的“去单位化”组织制度变革,并以办学层次上的升层来克服现行“分层型分类”的制度缺陷和实践阻力。

从“他的老师当得好”看句法中重新分析的必要性

"他的老师当得好"代表一类特殊的汉语句式,其中的主语由"准定中"结构充当。对于这一结构如何生成的问题,文章首先讨论了已有的几种分析方法,并且指出,虽然这些方法都极力避免"重新分析"的句法操作,但实际上都存在某个步骤上的"重新分析"。本文证明,汉语的一些句式在特定的句法、语义、或音韵条件下,存在发生结构重新分析的可能性。我们基于"重新分析"提供了两种新的方法来解释准定中结构。新的解释不但避免旧有分析的各种缺陷,而且更加简单自然,能够一致地解释所有的准定中结构。另外,重新分析的视角还有助于更深入地认识汉语各种"的"字结构。

“他的老师当得好”的重新审视

半个多世纪以来,"他的老师当得好"这类句式吸引了学界的反复关注。本文对此进行了重新审视,发现这类句式并没有"形义错配",其中不仅不涉及"名物化",而且不存在"准定语",这类句式实应分析为"[NP1 i的NP2]jproiV得tjR"。处于句首位置的名词短语是经由话题化操作从动词后宾语位置上前移而来的,其内部语法关系仍是领属性定中关系。现代汉语助词系统的发达以及助词的多功能性是造成这类句式在现代汉语中比较旺盛的直接原因。在汉语内部,相关助词在地域发展上的不平衡性是造成这类句式在方言之间不对称分布的真正原因。而类似功能的助词的缺失以及空主语的非允准则从根本上限制了这类句式在其他一些语言中的出现。

论全面正确履行政府职能的行政逻辑

中国共产党十八届三中全会通过的《中共中央关于全面深化改革若干重大问题的决定》文件中提出要全面正确履行政府职能。通过对该文件相关论述的展开分析,发现其中蕴含有市场在资源配置中起决定作用、简政放权、去行政化三大基本的行政逻辑。从理论上对三大基本的行政逻辑进行了深入解读,分析了每个行政逻辑的理论前提,以及由理论前提所推导出的基本内涵,并对基本内涵进行适当的展开和阐述,这对于当前我国深化行政体制改革的实践具有一定借鉴意义。