LISP-ELP语言的实现技术

LISP-ELP语言是作者设计的一种支持专家系统程序设计的函数/逻辑型程序设计语言,本文介绍LISP-ELP语言的特点及其解释系统的实现技术.该解释系统用C语言编写,并在IBM-PC机上实现.     

源于动态规划的组合型泛函方程解的研究

近年来,对于源于多目标决策过程动态规划的泛函方程在某种特定条件下解的存在性,唯一性以及迭代逼近的研究越来越广泛.然而,通过对这类问题的研究,不难发现泛函方程的类型不必局限于它的基本形式.因此,结合之前对于基本形式下泛函方程的研究成果,本文利用不动点定理以及一种新的组合性思维,研究了一类更加复杂的泛函方程,即f（x）=λsup∈D{u（x,y）＋f（T（x,y））}＋（1-λ）infy∈D{v（x,y）＋f）T,（x,y））},x∈S,其中λ∈[0,1]的解的性质,这类泛函方程的引入扩大了研究问题的范围,同时可以用它来解决更多的实际问题.     

Detection of dynamic brain networks modulated by acupuncture using a graph theory model

Neuroimaging studies involving acute acupuncture manipulation have already demonstrated significant modulatory effects on wide limbic/paralimbic nuclei, subcortical gray structures and the neocortical system of the brain. Due to the sustained effect of acupuncture, however, knowledge on the organization of such large-scale cortical networks behind the active needle stimulation phase is lacking. In this study, we originally adopted a network model analysis from graph theory to evaluate the functional connectivity among multiple brain regions during the post-stimulus phase. Evidence from our findings clearly supported the existence of a large organized functional connectivity network related to acupuncture function in the resting brain. More importantly, acupuncture can change such a network into a functional state underlying both pain perception and modulation, which is exhibited by significant changes in the functional connectivity of some brain regions. This analysis may help us to better understand the long-lasting effects of acupuncture on brain function, as well as the potential benefits of clinical treatments.     

函数方程f^6（z）＋g^6（z）＋h^6（z）=1的整函数解

文章研究了函数方程f^6（z）＋g^6（z）＋h^6（z）=1的整函数解,得到了如下结果：不存在级小于1的非常数整函数f（z）,g（z）,h（z）满足函数方程。此外,对函数方程f^n（z）＋g^n（z）＋h^n（z）=1不存在非常数的整函数解的结果给出新的简洁证明。     

我国土壤动物功能作用的研究进展

生态系统的功能主要是物质循环、能量流动及信息传递,而土壤动物在土壤生态系统中具有重要的生态功能作用.目前,国内土壤动物功能作用研究侧重于土壤动物对凋落物的分解、在物质循环中的作用以及生态指示功能的研究,而对于能量在土壤动物及土壤生态系统中流动及土壤动物对退化生态系统的恢复和发展中作用的相关研究比较薄弱.国外,对于土壤动...     

对联之功能语篇浅析

Halliday建构的系统功能语法可用于语篇分析、翻译等诸多领域,而用于汉语对联的研析还不多见。本文拟从衔接和连贯（Cohesionandcoherence）、逻辑一语义关系（Logico—semanticrelations）、主位结构（Thematicstructure）和信息中心（InformationfocuspL个方面对对联进行功能分析,以证实系统功能语法在分析研究中国传统的文学形式——对联的实用性和可操作性。     

手指按键相关脑磁图信号的功能源提取

独立分量分析(ICA)可用于分离多通道脑磁图信号(MEG)中的信号源。基于约束ICA的思想,通过在ICA模型中加入能够反映事件相关皮层神经活动特征的功能约束条件,实现了一种脑磁逆问题的解决方法,即功能源提取(FSS)方法。文中利用该方法对一例手指按键诱发MEG信号进行功能源提取,结果表明功能源位置位于对侧中央前回皮质运动区,且通过验证功能源提取所得到的分离向量与SAM法计算得到的空间滤波器系数间的相关性,验证了所提取的功能源有效。同时,功能源提取方法所提供的神经活动源的时域与频域信息,为在大量样本中探索大脑对手指运动控制的时间演化机制奠定了基础。     

TiO2光催化反应活性研究进展

纳米TiO2是一种高效节能的光催化功能材料,本文对TiO2光催化技术研究现状及反应机理进行了综述。重点介绍了纳米TiO2晶型、粒子尺寸、表面贵金属沉积、金属离子掺杂、半导体的复合、表面羟基等因素对TiO2光催化活性的影响,并分析了纳米TiO2光催化技术所面临的问题。     

一类泛函微分方程的渐近稳定性

本文研究泛函微分方程解的渐近稳定性,给出了判别准则。     

李雅普诺夫函数与中立型泛函微分方程的稳定性

Ｒａｚｕｍｉｋｈｉｎ技巧已有效地用于各种具有限限或无限时滞的滞后型泛函微分方程，而对于中立型泛函微分方程却不即么成功。本文将推广Ｒａｚｕｍｉｋｈｉｎ技巧到具有无穷时滞的中立型泛函微分方程ｘ＝ｆ（ｔ，ｘｔ，ｘｔ）。甚至此，我们了中立积分微分方程渐近稳定性的充分条件。