Lukasiewicz三值逻辑度量空间中的反射变换

在Lukasiewicz三值逻辑度量空间中定义了反射变换φ和(准)对称逻辑公式,探讨了反射变换φ的性质,证明了φ保持逻辑等价关系和(准)对称逻辑公式,且为同态变换.研究了φ在商代数——Lindenbaum代数上诱导的反射变换φ*的性质.证明了φ*是自同构的等距变换,进而讨论了φ*的不动点的性态,得到了4类特殊的不动点形式[A]∨φ*([A]),[A]∧φ*([A]),[A]φ*([A])和[A]φ*([A]).     

二代小波消噪在数字信号处理器中的实时实现

以数字信号处理器(DSP)为开发平台，提出了基于二代小波的一种新的信号消噪算法．它只需把信号分解一层，然后把分解后的高频系数和低频系数同时进行软阈值量化处理，再进行小波重构，就可以有效地消除信号中的噪声．相对于传统的一代小波，该算法计算简单，可有效节约内存，因此非常适合于DSP的实时实现．同时，为了提高计算效率，对程序的处理流程进行了并行优化，用仿真信号对该算法进行了验证，并应用于对实测信号的消噪中．研究结果表明，该算法可以有效地提高信噪比，降低原始信号中所含有的噪声．     

驻点集与实数集等势的严格单调可微函数的构造

构造了一个在闭区间上连续,开区间内可导的严格单调可微函数,其驻点集与实数集等势。该函数说明在闭区间上连续,开区间内可导的严格单调可微函数,其驻点的个数可以相当"多"。     

移动阅读——图书馆的新挑战

移动阅读是基于移动互联网的新型阅读方式。介绍了移动阅读的技术实现方式和多种发展模式,分析了在实施移动阅读中图书馆遇到的技术、版权、运营模式、资金等实际问题,并探讨了应对和解决的方法。     

闭黎曼流形上临界度量的研究

本文研究了闭黎曼流形上的双参数二次曲率泛函的临界度量,利用带Yamabe常数及曲率的pinching条件,以及我们证明了一个刚性定理.此外,我们也得到另外一些曲率条件下的刚性结果.     

食饵具常数存放率的食-捕系统极限环的存在性

利用微分方程定性理论。研究一类食饵具有常数存放率的食饵-捕食生态系统,对该系统进行平衡点分析,给出该系统存在极限环的充分条件。     

From Chaos to Ordering: New Studies in the Shannon Entropy of 2D Patterns

Properties of the Voronoi tessellations arising from random 2D distribution points are reported. We applied an iterative procedure to the Voronoi diagrams generated by a set of points randomly placed on the plane. The procedure implied dividing the edges of Voronoi cells into equal or random parts. The dividing points were then used to construct the following Voronoi diagram. Repeating this procedure led to a surprising effect of the positional ordering of Voronoi cells, reminiscent of the formation of lamellae and spherulites in linear semi-crystalline polymers and metallic glasses. Thus, we can conclude that by applying even a simple set of rules to a random set of seeds, we can introduce order into an initially disordered system. At the same time, the Shannon (Voronoi) entropy showed a tendency to attain values that are typical for completely random patterns; thus, the Shannon (Voronoi) entropy does not distinguish the short-range ordering. The Shannon entropy and the continuous measure of symmetry of the patterns demonstrated the distinct asymptotic behavior, while approaching the close saturation values with the increase in the number of iteration steps. The Shannon entropy grew with the number of iterations, whereas the continuous measure of symmetry of the same patterns demonstrated the opposite asymptotic behavior. The Shannon (Voronoi) entropy is not an unambiguous measure of order in the 2D patterns. The more symmetrical patterns may demonstrate the higher values of the Shannon entropy.     

大数据驱动的绿色智能制造模式及实现技术

为实现生产制造过程智能化与绿色制造的有效整合,在运用系统工程理论分析智能制造和绿色制造协同互补性的基础上,提出一种大数据驱动的绿色智能制造新模式。以产品生命周期为主线,从数据驱动的产品绿色定制化研发、基于数字孪生的主动资源配置调度、面向服务的先验维护策略、考虑资源循环的产品回收及再制造流程4个方面阐明了新模式的具体实现思路。最后,结合业务流程再造思想及物元可拓法探讨了传统制造模式向文中所提新模式转型的实施方案与关键技术,并以一个应用案例,验证了该运行模式的可行性与有效性。     

一类二阶微分方程的无穷周期解

通过临界点理论和Z2不变群指标理论,证得I(x)有无穷多个临界点,再由变分原理可得方程(2)与方程(3)等价,在改变条件的情况下,得出了一在二阶泛函微分方程存在无穷多个周期解.     

现代图书馆与现代管理意识的衔接

从图书馆演变的历程出发,分析了现代图书馆的特征,针对现代图书馆的特征,探讨了现代图书馆管理的要点。