正则语言的可递归性

根据可计算理论,形式语言的递归性是计算机产生和识别形式语言的基础。从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集,同时讨论了正则语言的可递归性。有助于进一步研究正则语言的自动产生机制。     

正则语言的可递归性

根据可计算理论,形式语言的递归性是计算机产生和识别形式语言的基础.从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集,同时讨论了正则语言的可递归性.有助于进一步研究正则语言的自动产生机制.     

使用最小串行策略的均质脉冲神经膜系统的计算通用性

脉冲神经膜系统是根据神经网络中神经元相互之间依靠突触来处理脉冲的生物现象而提出的,具有良好的计算性能及潜在的应用价值。使用最小串行策略的脉冲神经膜系统是一类特殊的脉冲神经膜计算模型,为了验证其在均质情况下的通用性,引入了带权值的突触,构建了均质的基于最小脉冲数目的串行脉冲神经膜系统。使用自动机理论和形式语言,通过模拟注册机证明了作为数的产生装置和接受装置,使用最小串行策略的均质脉冲神经膜系统都是通用的。     

使用最小串行策略的小通用脉冲神经膜系统

膜计算是生物计算的新分支,具有强大的计算能力和潜在的应用价值.使用最小串行策略的脉冲神经膜系统是一类基于神经元细胞的膜计算模型,在该系统中引入带权的突触,分别构造了含有71个神经元的基于最小脉冲数目的函数计算型小通用串行脉冲神经膜系统和含有66个神经元的基于最小脉冲数目的数的产生型小通用串行脉冲神经膜系统,通过模拟注册机证明了2个系统的通用性.     

递归可枚举的fuzzy集合

本文给出了递归和递归可枚举B——值fuzzy集合的概念。证明了递归fuzzy集合对并、交、补封闭,证明了一般递归论中递归可枚举集合的大部分初等性质,对于递归可枚举B——值集合仍然成立。     

基于有限递归和μ-算子的α-递归论

根据Ｂｌｕｍ，Ｓｈｕｂ和Ｓｍａｌｅ定义实数环上的计算模型中将递归和μ－算子限制在自然数上这一特点，提出了基于自然数上的递归定义和μ－算子。研究了在可允许序数α－上定义的可计算函数－弱α－递归函数的弱α－递归论的基本性质及其与α－递归论的差别，证明了每个弱α－递归函数是以自然数为参量关于取值α上的变量的多项式函数，并且每个弱α－递归可枚举集与自然数集的交集是递归可枚举的。     

实数的可计算性与计算复杂性研究〈Ⅰ〉——构造性连续统的不可解问题

设C是一切可计算实数的类,R是有理数类.设a∈C 以α表示可计算实数α的一切程序的指标集.定义本文获得了下述结果:〈4〉C不是递归可枚举类,R是递归可枚举类;〈5〉(?)与(?)都是产生集;〈6〉(?)相对于(?)不可解;〈7〉设M是可计算实数的极小程序指标集,则有:((?)部分递归函数ψ)((?)x:W_z无穷且     

关于递归可枚举集派生集定理的一点注记

在文献[1,2]及具有相同体系的著作中,有不少牵涉到代数方面的定理,其中有一条关于递归可枚举集派生集的定理:设V 是任意一个递归可枚举集,则由V 用有限原始递归函数系列F_i(x_1,x_2,…,x_m_i)(i=1,2,…s,)派生出来的自然数集V~g 是递归可枚举集.这里派生集V~g 是指包含V 且关于运算F_1,F_2,…,F_s 封闭的最小集合,即以V 为定义域,相对于F_i(i=1,2,…,s)封闭的集合的交集与V 的并集.直接给V~g 的元素编号,就获得了[1]的证明,但用在此却使证明过于冗长和复杂,下     

基于CPLD的相机调焦控制系统的设计

介绍一种基于CPLD的多光谱数字遥感相机调焦控制系统的设计方法。使用VHDL硬件语言作为CPLD的输入方式。重点介绍了串行接收模块,控制模块的设计方法。经过仿真验证了该系统可以完成相机调焦的功能。该设计也可提高系统的可靠性和稳定性。     

基于SOC技术的串行通信接口设计实例

基于SOC(System On Chip)技术,利用QUARTUS II软件和VHDL语言设计开发具有奇偶校验功能、数据位和波特率可调的串行通信接口。该接口内置异步接收和发送模块,易于移植至其它SOC系统使用,可减少设计者的工作量。本设计采用VHDL语言描述,并通过了仿真验证。     

Cm命题演算的定理机器证明系统

C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定它属于C_m可证公式集.并给出了C_m命题演算系统的一个定理机器证明系统.因此证明了C_m系统至少是半可判定的.     

基于融合特征和LS-SVM的脱机手写体汉字识别

提出的脱机手写体汉字识别系统主要研究特征提取和分类识别两个模块.特征提取模块主要包括采用基于不变矩和弹性网格技术的串行特征融合方法,所得到的特征向量不仅充分反映了手写体汉字的全局和局部特征,而且具有很强的区分表达能力.分类识别模块将神经网络多类分类策略与最小二乘支持向量机相结合,所得到的分类器不仅识别率高、泛化能力强,而且有效地解决了多类分类问题.实验证明本文提出的识别系统能够取得很好的识别效果.     

基于FPGA的字串行FIR滤波器的实现

根据字串行算法,使用字串行加法器、字串行乘法器和延时器基本功能模块,构建了一种基于FPGA的字串行FIR滤波器.与传统的位串行方式相比,构建的字串行FIR滤波器提高了运行速度,减少了硬件消耗,可更好的协调速度与占用面积的关系.并通过几种5阶FIR滤波器实现性能的比较,得出字长N=2的字串行FIR滤波器具有最小的面积—时间积.     

基于双人指纹识别的家用保险柜控制系统设计

针对家庭公共财产及贵重物品的存放,设计了一款基于双人指纹识别的家用保险柜控制系统。系统由单片机最小系统、指纹模块、串行通信模块、电磁继电器模块、蜂鸣器模块和触摸彩屏模块组成,能够实现用户注册、开锁和注销功能。通过录入和验证双人的指纹,增强了系统的安全性。经测试,系统稳定、可靠,灵敏度高,达到设计要求。     

递归原子集生成的布尔代数的分解

自Metakides和Nerode建议用通常的递归论为工具研究某些代数结构以来,Metakides和Nerode,Kalantari,Retzlaff,Remmel,Sbore等人已经研究了递归表示向量空间及其他能行的数学结构。Remmel在文[1]、[2]中研究了弱递归表示布尔代数的一些问题。作者在[3]中研究了递归可枚举布尔代数的创造对。本文对递归原子集生成的弱递归表     

Hammerstein系统遗忘因子有限窗口分解辨识

提出一种带遗忘因子和分解辨识策略的有限数据窗口递归最小二乘Hammerstein系统辨识方法。针对Hammerstein系统具有耦合参数的问题,将Hammerstein系统分解为2个子系统：一个子系统包含线性子系统参数,另一个子系统包含非线性子系统参数;提出一种基于遗忘因子的有限窗口递归最小二乘方法对分解模型进行在线递归估计;仿真示例验证了所提算法能够快速跟踪参数,实现对Hammerstein系统的精确辨识。     

MSC.Patran中能量法计算断裂力学参数的应用

本文介绍了有限元中能量法,包括虚拟裂纹闭合法（VCCM）及等效区域J积分（EDI）计算线弹性断裂力学参数的思路;使用PCL语言在MSC.Patran中开发了能量法计算应力强度因子的模块,该模块可用于任意二维线弹性断裂力学参数的求解,最后通过算例验证了该模块的计算结果,并讨论了网格对计算精度的影响。     

Niosll-IP下自定义高速串行接口的设计与实现

介绍了NiosII处理器的外设IP的设计方法,并详细介绍了用于多片FPGA间的命令、数据传输的自定义高速串行接口IP设计、验证和测试方法。该设计使用VerilogHDL语言完成硬件逻辑部分设计,对主从串行模块进行了详尽的协议设计,并编写了相关的驱动程序。实验表明该IP可被无缝整合到各种形式的SOPC嵌入式系统中。     

化工流程模拟程序自动生成及微机化

提出了一种借助系统模拟自动生成主控模块,实现通用化工流程系统模拟程序自动生成的方法。该方法使用系统模拟的主控模块,通过高级语言与批处理语言的嵌套,处理对特定化工过程的系统结构分析得到的有关系统分块、切断、计算顺序的信息,自动生成一套可执行系统模拟程序,从而避免了模拟程序的人工编写,并在微机上实现、该主控模块可用于序贯模块法和联立模块法等多种模拟策略。     

递归可枚举布尔代数的创造对

<正> 在[1]中,Mctakides 和 Ncrode 建议用当代的递归论作为工具,对某些代数结构进行研究。通过这样的研究,弄清这些代数结构的递归性质。1977年,Metakides 和 Nerodc 发表了[2].嗣后,Kalantari,Retzlaff,Rcmmel,Shore 等人继续对递归可枚举向量空间进行研究,发表了一批论文。1978年,Remmel 发表了[3],对弱递归可表示布尔代数第一次进行了研究.在这篇文章中,Remmel 相应于自然数上的创造集,定义了弱递归可表示布