贝叶斯神经网络在生物序列分析中的应用

生物序列分析在生物信息学中占有重要地位.本文对贝叶斯神经网络(Bayesian neural networks)及其在生物序列分析中的应用作了评述.首先,简要地介绍了生物序列分析的重要性并对分析方法作了回顾;然后着重介绍了神经网络的贝叶斯学习及算法,并分析了算法的优点,同时介绍了贝叶斯神经网络在生物序列分析中应用的一个实例;最后展望了用贝叶斯神经网络进行生物序列分析的前景及面临的问题.     

构造高阶约束流的Lax表示的一般方法

利用高阶约束,一个零曲率方程可分解为两个可交换的x-和t_n-高阶约束流.如何构造这些约束流的Lax表示是可积系统理论研究中的一个重要问题.本文将给出构造高阶约束流的Lax表示的一般方法.为此,考虑如下Kaup-Newell谱问题:     

l_2空间中的一个问题

1.问题的提出 我们用N~+表示非负整数集。l_2表示N~+上满足sum from t=0 to +∞ x~2(t)<+∞的实函数x的全体所构成的实Hilbert空间。l_2中的内积和范数分别用(,)和‖‖来表示。l_2中分量全为零的元记为θ,称为零元素。     

飞秒激光刺激诱导星形胶质细胞调控海马神经元同步钙振荡

大量证据表明星形胶质细胞通过钙信号积极参与脑功能. 在星形胶质细胞的功能研究中, 诱导其产生钙信号是一项关键技术. 然而, 传统的刺激方法不能同时满足非接触、无损、高时空精度的要求, 本研究小组提出的飞秒激光刺激星形胶质细胞的方法能够弥补这些不足. 在此基础上, 验证了该方法在海马神经网络水平上研究星形胶质细胞功能的应用. 混合培养的海马神经网络中, 星形胶质细胞被飞秒激光刺激后: (1) 诱导神经元同步钙振荡; (2) 即时性干预神经元自发同步钙振荡; (3) 调制神经元的高频自发同步钙振荡. 因此, 通过演示光诱导的星形胶质细胞钙信号调控海马神经元同步钙振荡, 证明飞秒激光刺激方法能够为星形胶质细胞在神经网络中的功能研究提供强有力的工具.     

二值图像的数字搜索树表示及其线性编码

基于递归分解原则的四元树及八元树是表示二维及三维图像的一类重要的空间数据结构.这类结构传统上以指针方式实现,为了进一步压缩存储,可对结点先序遍历形成线性序列,即线性四元树(Iinear quadtree,简称LQ)及线性八元树(Iinear octree,简称LO)。LQ及LO的压缩编码已接近其极限。本文提出的二值图像的数字搜索树表示及其线性编     

论FFP中ρ和μ两函数的合成逻辑本质

一、前言文献[1]为函数程序设计语言FP奠定了合成逻辑基础,证实了“FP是一种高级的合成逻辑”。至于FFP与合成逻辑的关系,文献[2]论述了“基本合成子I,S,K能够被定义成FFP中的泛函”。本文,从另一方面,论证“FFP中的表示函数ρ和语义函数μ可表示成合成逻辑中的合成子”,从而,揭示了ρ和μ的本质,也为FFP语言奠定了合成逻辑基础。将文献[1]中的第四层逻辑(FP语言)与ρ和μ两合成子联合起来,就构成了FPP这一更高级合成逻辑。     

Levesque的信念逻辑中模态词O的若干语义特征

Levsque的信念逻辑具有一个特别的模态词O,这使得表达“仅仅某一句子(或有限个句子)被相信(或被知道)”成为可能.在这种逻辑里仅利用古典的元逻辑概念(可满足性,永真性,蕴涵)就可以刻画推理的非单调性,而在其他信念逻辑加Moore的自动认识逻辑中,非单调推理的刻画需用到一些新的元逻辑性质的概念.由此看来,模态词O的研究具有特别重要的意义.这方面我们已有一些结果.本文将给出所谓k确定的句子的若干重要性质,而文献[1]仅讨论了1确定的句子.     

神经计算机的应用

神经计算是一门涉及神经网络的设计实现及应用的新的工程学科。神经网络是非算法的计算结构,其拓扑是有向图,它可以通过对连续或初始输入的状态响应来进行信息处理。神经网络中的节点称为处理单元,有向边(信息通道)称为互连通路。神经网络已经表明能够进行如下的信息处理操作:感觉信息处理(模式预处理,模式识别),知识处理(知识表示,从数据中自动抽取知识,对不精确及矛盾的知识进行推理)和控制(平滑,快速机器人手腿控制,机器人“手眼协调”)。     

变量极小公式复杂性

基于逻辑公式的极小变量集合的需求, 研究了变量极小等价(VME)和变量极小可满足(VMS)问题的理论性质. 引入等价关键变量和可满足关键变量概念, 证明它们的判定复杂性分别为NP-完全和D^P-完全. 通过等价关键变量和可满足关键变量, 分别定义VME和VMS. 证明了Unique-SAT VMS VME SAT, 其中Unique-SAT是具有唯一成真赋值的公式类. 进一步证明VME是NP-完全, VMS属于D^P且是coNP-难.     

Herbrand基上的语义映射

Emden和Kowalski(以下简称E、K二氏)以horn集为对象,研究了谓词逻辑的操作语义、模型语义和不动点语义及它们之间的等价性.但他们只考虑不包含负子句的horn集,这种子句集是一定可以满足的,因而结论是局限的.他们也没有给出最小不动点的构造方法.本文在定义新的语义映射的基础上,解决了这些问题.     

Garsia不等式的函数论证明

那么称f(x)为f(x)的非增重排函数,简称f的重排函数.(1.1)式的记号表示使函数之值大于λ的点集的测度.不难验证,满足上述条件的f(x)是存在且唯一的。事实上     

第8届全国多值逻辑与模糊逻辑学术会议将在深圳召开

本刊讯　为了推动和发展我国多值逻辑与模糊逻辑的理论和应用的研究,使其早日在国民经济中得到推广和应用,第8届全国多值与模糊逻辑学术会议(ＭＶＬ＆ＦＬ’98)将于1998年12月在深圳特区召开.本届会议将由中国计算机学会多值逻辑与模糊逻辑专业委员会、深圳大学共同主办.1会议内容:　　Ａ多值逻辑与模糊逻辑基础理论;Ｂ多值逻辑与模糊逻辑的工程设计与应用,器件、器件物理及计算机模拟、电路与系统及其在国民经济中的应用;Ｃ多值逻辑与模糊逻辑和软计算:在神经网络、进化计算、模糊系统、计算智能等领域中的应用;Ｄ多值逻辑与模糊逻辑与自动…     

U(1)格点规范理论的相变结构和MK重正化群轨迹

Migdal一Kadanoff(MK)方法已被尝试用来讨论格点规范理论的相变结构。但是这一方法应用于包含基本表示和伴随表示的格点规范理论时发现将遇到问题。例如,对于U(1),即紧致QED理论,单方块作用量取     

寓数学于物理语言的佳作——《群表示论的新途径》

群表示理论最初由弗罗比钮斯(Froben-ius)、扬(Young)和舒尔(Schur)等奠基.韦尔(Weyl)从不变式的角度来阐述经典群,使这些群的内容有一个共同的出发点,但在群表示理论中各个群的个性仍显得非常突出而缺乏一个统一规划的思想.群表示理论的大师们的学问虽博大精深,但他们的工作都完成于量子力学和现代线性代数理论问世以前,数理科学的这些发展在群表示理论中只是偶有零星的反映.陈金全教授的书则另辟蹊径,发现群表示的要点是找到各种群的不可约表示和荷载矢的适当     

神经网络计算机的应用

当前,一门新的"神经工程学"正在勃然兴起.许多杰出的科学家和工程师,以及国家科技、军、政部门,均对神经网络寄予厚望.发达国家纷纷投入巨大的人力、财力,用以开展神经网络的基础理论研究,开发神经网络计算机产业.国内一些科研机构和高等院校,也开始行动起来,试图应用神经网络信息处理的原理和方法,来解决一些具体的工程问题,解决智能计算机的设计问题.国家自然科学基金会已经把神经网络的原理和应用研究列为重点课题.神经网络理论,从本质上讲,是从神经生理学和心理物理学研究成果出发,应用数学方法,描述具有大脑风格的信息处理机的本质和能力.它涉及物理学、复杂系统,涉及计算机科学、人工智能、知识工程、机器人学.不言而喻,这是一门新兴的边缘性交叉学科.本刊曾在1989年第7期介绍过神经网络研究和神经计算机研制的概况,引起了读者广泛的兴趣.现再发表"神经网络计算机的应用"、"并行分布处理的理论框架"(下期发表)等两篇文章,以进一步满足读者的需要.     

关于《合成逻辑作为一阶数学理论》一文的讨论

本刊1989年第12期发表江明德、文蕙(以下简称江、文)《合成逻辑作为一阶数学理论》一文后,先后收到中国科学院软件研究所林惠民(以下简称林)及上海华东化工学院计     

应用信噪比理论分析三维转动角神经网络模型的存储容量

人工神经网络是最近发展起来的十分热门的交叉学科,它涉及到生物、电子、计算机、数学和物理等学科,有着非常广泛的应用前景.本文讨论的是一类多值神经网络模型一一Q态三维转动角神经网络模型的存储容量 该模型是Hopfield神经网络模型、四态复数神经网络模型、复相角神经网络模型和多态四元数神经网络模型的推广,具有一定的理论研究价值;可以在灰度或彩色图像识别中得到应用.     

约束流的r-矩阵

经典γ-矩阵和Poisson结构在可积系统研究中具重大作用,因为它们蕴含了系统的许多内在性质.近年来,依赖于动力系统变量的动力γ-矩阵及相联系的推广的Yang-Baxter方程的研究已引起越来越多的兴趣.然而,孤立子方程约束流的经典Poisson结构和γ-矩阵至今尚未被研究过.实际上,约束流的γ-矩阵具有丰富的结构,其中有些是动力型的,且满足推广的带矩阵附加项的Yang-Baxter方程.因此,这些γ-矩阵不仅给出研究约束流可积性质的途径,而且为研究动力γ-矩阵的内在结构提供了例子.本文以AKNS方程族为例阐述有关内容.AKNS方程族的约束流的Lax表示为     

关于Columbus问题的几点注记

在Columbus问题的研究中,应用全充液腔体定点旋转运动稳定理论模型(以下简称定点模型)已有长期历史。最近,文献[13]认为“定点模型”是错误的,这是一个无视这个问题理论和实验研究历史的武断的结论。文献[13]中公式(5)和(6)只是小扰动条件下线性理论的结果,却被作为依据导出大扰动条件下的公式(7)。本文目的就是为了澄清这些问题,同时叙述了一项新的流体转子陀螺实验。     

一个对称型的变分方程问题

作者讨论了一个解为偶函数的变分方程,即附加不等式约束的微分方程参阅文献[1,2].问题来源于奇异型随机控制中的折扣费用问题研究.证明中除运用通常分析工具外,还运用了随机分析.下述本文主要结论.设μ(x),σ(x),g(x),h(x)为R上的实函数且满足: