期刊文献+
共找到895篇文章
< 1 2 45 >
每页显示 20 50 100
袋自动机 预览 被引量:4
1
作者 张继军 吴哲辉 +1 位作者 董卫 耿霞 《计算机研究与发展》 EI CSCD 北大核心 2008年第z1期 190-195,共6页
提出了袋自动机模型和袋语言的概念,并给出了袋自动机的状态转换图;分析了袋语言重复序列在状态转换图中的反映,并划分为不变重复序列、增重复序列、减重复序列和传递重复序列,给出了袋语言的结构特性;研究了袋语言类同Chomsky文法体系... 提出了袋自动机模型和袋语言的概念,并给出了袋自动机的状态转换图;分析了袋语言重复序列在状态转换图中的反映,并划分为不变重复序列、增重复序列、减重复序列和传递重复序列,给出了袋语言的结构特性;研究了袋语言类同Chomsky文法体系中各型语言的关系,证明了正规语言类是袋语言类的真子集,袋语言类是上下文有关语言类的真子集,而袋语言类同上下文无关语言类是两个相交但互不包含的语言类,即存在不是上下文无关语言的袋语言,也存在无法用袋自动机产生的上下文无关语言. 展开更多
关键词 袋自动机 状态转换图 袋语言 重复序列
在线阅读 下载PDF
推广应用温室除雾防病促生长系统 预览 被引量:1
2
作者 朱雅玲 王波 《农业开发与装备》 2009年第4期 21,共1页
温室电除雾防病促生长系统是大连市农机研究所的专利产品.是当前设施农业防病促生长的首选产品.它能够调节植物生长环境,显著促进植物生长并能十分有效地预防气传播病害发生的空间电场环境调控系统。该项技术可应用在温室、暖棚和露... 温室电除雾防病促生长系统是大连市农机研究所的专利产品.是当前设施农业防病促生长的首选产品.它能够调节植物生长环境,显著促进植物生长并能十分有效地预防气传播病害发生的空间电场环境调控系统。该项技术可应用在温室、暖棚和露地的农业生产中.经应用试验得出如下结论: 展开更多
关键词 生长系统 电除雾 防病 温室 应用 生长环境 专利产品 植物生长
在线阅读 下载PDF
新型细胞自动机规则空间的参数化 预览 被引量:4
3
作者 曹兴芹 王能超 《计算机科学》 CSCD 北大核心 2007年第3期 145-147,164,共4页
细胞自动机在复杂性科学研究中占有重要地位,规则空间的规律性是细胞自动机理论研究的核心问题。本文首次引入沃尔什正交变换,结合计算机实验,提出了刻画细胞自动机规则空间规律性的δ参数。通过对所有初等细胞自动机的分析,并与朗... 细胞自动机在复杂性科学研究中占有重要地位,规则空间的规律性是细胞自动机理论研究的核心问题。本文首次引入沃尔什正交变换,结合计算机实验,提出了刻画细胞自动机规则空间规律性的δ参数。通过对所有初等细胞自动机的分析,并与朗顿λ参数的对比研究,结果表明该参数能更好地刻画细胞自动机规则空间中从有序到混沌的相变,不存在关于相变临界值的争论。 展开更多
关键词 细胞自动机 规则空间 相变 参数 沃尔什正交变换
在线阅读 免费下载
A Scheme for Reconstructing Free-form Surface from Shading with Cellular Automata 预览
4
《武汉理工大学学报》 CAS CSCD 北大核心 2006年第S2期517-521,共5页
The reconstruction of free-form surface is a fundamental problem in digital manufacture.This article presents a novel solution to reconstructing free-form surface from an intensity image under the Lambertian reflecti... The reconstruction of free-form surface is a fundamental problem in digital manufacture.This article presents a novel solution to reconstructing free-form surface from an intensity image under the Lambertian reflection model,that is a method called shape from shading (SFS).Our approach is based on the two-dimensional cellular automata (CA),and fully uses the local information of both image and the reconstructed surface.After several iterations,the free-form surface corresponding to the input image is obtained.The encouraging results on both synthetic and real-world images are provided in this paper,and the perfor- mance of our algorithm is analyzed on synthetic images using mean and standard deviation of depth (Z) errors. 展开更多
关键词 digital design 3D RECONSTRUCTION SHAPE from SHADING CELLULAR AUTOMATA
在线阅读 下载PDF
基于FPGA与ARM的多路时序控制系统设计与实现 预览 被引量:10
5
作者 王鹏 吕志刚 杜卫东 《计算机测量与控制》 CSCD 北大核心 2012年第6期1540-1543,共4页
介绍了基于FPGA与ARM7的多通道、多时间范围的同步时序控制系统,采用FPGA实现20路高精度的信号延时输出控制,通过ARM7的数据总线接口实现了ARM与FPGA的数据交互;重点介绍了系统的硬件电路设计、ARM与FPGA总线的设计和FPGA内部程序模... 介绍了基于FPGA与ARM7的多通道、多时间范围的同步时序控制系统,采用FPGA实现20路高精度的信号延时输出控制,通过ARM7的数据总线接口实现了ARM与FPGA的数据交互;重点介绍了系统的硬件电路设计、ARM与FPGA总线的设计和FPGA内部程序模块的设计;各通道的输出信号类型与延时时间等参数均可以通过人机接口现场配置,也可以通过上位机软件来配置;该设计可以保证各通道信号通过外触发信号为基准来进行延时输出,系统的延时时间精度小于2μs;ARM7处理器芯片采用PHILIPS公司的LPC2214,FPGA采用Altera公司Cyclone系列的EPlC12Q240;采用硬件描述语言VerilogHDL来设计延时模块,延时精度达到1μs;该系统在靶场测试中验证了其正确性和有效性。 展开更多
关键词 LPC2214 FPGA 时序控制 EP1C12Q240
在线阅读 下载PDF
基于安全熵的多级访问控制模型量化分析方法 预览
6
作者 车天伟 马建峰 +1 位作者 王超 李娜 《华东师范大学学报:自然科学版》 CAS CSCD 北大核心 2015年第1期172-177,211共7页
针对访问控制模型的安全性分析与证明问题,提出了基于安全熵的量化分析方法.首先,结合信息论有关知识引入安全熵的概念,提出了系统对违规访问行为响应的不确定性计算方法;然后,基于安全熵提出了不同等级信息系统的安全性定理;最后,应用... 针对访问控制模型的安全性分析与证明问题,提出了基于安全熵的量化分析方法.首先,结合信息论有关知识引入安全熵的概念,提出了系统对违规访问行为响应的不确定性计算方法;然后,基于安全熵提出了不同等级信息系统的安全性定理;最后,应用该方法对经典安全模型进行了量化分析,验证了该方法的实用性,并比较了这些访问控制模型安全性以及在等级化信息系统中的适用性.结果证明该方法可适用于访问控制模型的安全性度量以及系统的访问控制能力评估。 展开更多
关键词 信息熵 安全熵 等级化访问控制模型 直接违规访问 流向违规访问
在线阅读 免费下载
加权Moore机的同余与最小化 预览
7
作者 李苏妮 李天朝 李永明 《计算机工程与科学》 CSCD 北大核心 2010年第9期 165-168,共4页
本文定义了加权Moore机的同余、同态,给出了同态定理并证明了同余关系在加权Moore机中构成一个完备格。在同余关系下给出了加权Moore机的商Moore机,并给出了求最小状态Moore机的算法。
关键词 加权Moore机 同余 算法
在线阅读 下载PDF
物联网技术在连锁超市自动化设备上的应用 被引量:1
8
作者 张华 《自动化与仪器仪表》 2017年第5期153-155,共3页
随着网络技术的广泛应用和不断创新,物联网技术在我国的经济产业中得到飞速发展。而作为国内新的经济增长点之一的连锁超市迅猛扩张,在日益激烈的市场竞争下,仍面临着诸多严峻的挑战,传统超市的设备已不适应市场的需求。超市应当通... 随着网络技术的广泛应用和不断创新,物联网技术在我国的经济产业中得到飞速发展。而作为国内新的经济增长点之一的连锁超市迅猛扩张,在日益激烈的市场竞争下,仍面临着诸多严峻的挑战,传统超市的设备已不适应市场的需求。超市应当通过改进传统售卖模式,依托物联网技术,加快智能化、信息化的超市自动化设备的应用,方便顾客购买商品,进而赢得顾客的信赖和惠顾,进一步降低连锁超市的管理成本和商品损耗,促进连锁超市经营能力的提高。 展开更多
关键词 物联网技术 连锁超市 自动化设备
一类混合系统的广义Petri网模型 预览 被引量:15
9
作者 徐心和 李政国 《自动化学报》 EI CSCD 北大核心 1997年第3期 297-301,共5页
提出一种含有变形连续时不变系统状态方程的广义Petri网,并用它为一类混杂系统建模:宏观为Petri网;微观为变形的线性时不变状态方程。同时研究了所提出的混合状态的演变规则,运行轨迹的状态方程。
关键词 混杂系统 离散事件动态 PETRI网 HDS 自动机
在线阅读 下载PDF
格值正则语言的代数性质 预览
10
作者 邵海成 梁常建 《西南民族大学学报:自然科学版》 CAS 2009年第6期 1147-1149,共3页
本文主要从可容集的角度研究了格值正则语言,给出了一个语言是格值正则语言的充要条件,并说明了格值正则语言关于商是封闭的.
关键词 格值正则语言 可容集 代数性质
在线阅读 下载PDF
交替ω—有穷自动机接受ω—语言能力的研究 预览
11
作者 周清雷 周文俊 《郑州大学学报:自然科学版》 CAS 1999年第3期 23-27,共5页
本文研究了交替ω-有穷自动机关于接受条件Z1和Z2接受ω=语言的能力,并且与交替ω-有穷自动机关于另外接受条件接受ω-语言的能力进行了比较,从而得出了下面主要结果:AC1=AZ1=A62Z1=A^SZ2=AZ2。
关键词 Ω-有穷自动机 接受条件 Ω-语言 自动机
在线阅读 免费下载
Gnutella环境下基于兴趣和信任的资源发现算法 预览
12
作者 周金洋 杨寿保 +1 位作者 郭磊涛 王菁 《华中科技大学学报:自然科学版》 EI CAS CSCD 北大核心 2006年第z1期 98-100,共3页
在Gnutella系统中融入兴趣和信任,构建超级节点叠加网络时考虑信任和兴趣的因素,提出一种基于兴趣和信任的资源发现算法,减少资源定位的跳数和系统的网络负载,一定程度上解决恶意节点提供虚假欺诈服务问题,提高系统可用性和服务质量.仿... 在Gnutella系统中融入兴趣和信任,构建超级节点叠加网络时考虑信任和兴趣的因素,提出一种基于兴趣和信任的资源发现算法,减少资源定位的跳数和系统的网络负载,一定程度上解决恶意节点提供虚假欺诈服务问题,提高系统可用性和服务质量.仿真表明,该算法有效地抑制了欺骗,降低了网络的消息负载,提高了算法的搜索效率. 展开更多
关键词 GNUTELLA 兴趣 信任 资源发现算法
在线阅读 下载PDF
细胞自动机的演化与计算理论 预览 被引量:6
13
作者 吕晓阳 孔令江 《华南师范大学学报:自然科学版》 CAS 1996年第2期 43-49,共7页
本文介绍一细胞自动机的基础原理,讨论了细胞自动演化位形序列与形式语言的等价性,并给出90规则与150规则的正则语言集,则时还建立了Turing机仿真90规则的程序并给出相应的状态转移图。
关键词 形式语言 Turing机 细胞自动机 演化 自动机
在线阅读 下载PDF
万通机电 YFC系列冷压爆复合触头自动机 预览
14
《电工材料》 2008年第2期 F0004,共1页
本公司前身是国营九七0六厂(广西峻岭机器厂)军工企业,1988年军转民。我公司现有员工218人,其中各类生产技术管理人员82人,中级以上人员40人。公司主要产品:YFC系列复合触头自动机、装载机配件。公司拥有机械加工设备齐全,为柳... 本公司前身是国营九七0六厂(广西峻岭机器厂)军工企业,1988年军转民。我公司现有员工218人,其中各类生产技术管理人员82人,中级以上人员40人。公司主要产品:YFC系列复合触头自动机、装载机配件。公司拥有机械加工设备齐全,为柳州市最大的精密铸造和热处理专业加工中心,是中国专业冷压焊复合触头自动机生产基地, 展开更多
关键词 自动机 冷压焊 触头 复合 机电 机械加工设备 军工企业 管理人员
在线阅读 下载PDF
海上距离元胞自动机分析法 预览
15
作者 王加胜 杨昆 +1 位作者 朱彦辉 熊建红 《测绘学报》 EI CSCD 北大核心 2019年第3期384-392,共9页
针对障碍存在情况下距离变换研究较少的问题,提出了一种基于元胞自动机的绕障欧氏距离变换方法。以南海为例,基于海陆分布数据和目标点数据,以最短绕障路径长度为元胞状态,设计了包含距离算子的元胞状态转换规则。通过元胞自动机模拟距... 针对障碍存在情况下距离变换研究较少的问题,提出了一种基于元胞自动机的绕障欧氏距离变换方法。以南海为例,基于海陆分布数据和目标点数据,以最短绕障路径长度为元胞状态,设计了包含距离算子的元胞状态转换规则。通过元胞自动机模拟距离扩散计算过程,得到绕障距离变换结果,并分析了绕障效果和精度。结果表明:本文方法动态直观地展示了绕障距离变换过程,能够自动计算绕过障碍的最短距离;具有更新机制,能够根据邻域的变化修正状态值;为绕障距离变换问题提供了一种近似的解决途径,错误率低于3.96%,可应用于航线设计、海上救助等领域。 展开更多
关键词 距离变换 元胞自动机 绕障 南海
在线阅读 下载PDF
基于有穷自动机的路径覆盖测试方法 预览
16
作者 毛红梅 《计算机系统应用》 2009年第11期 103-105,102,共4页
软件测试是当前软件生成重要的研究课题。从源程序流程图开始,提出了基于自动机的路径覆盖算法,该算法将源程序通过转换规则构造成与之等价的有穷自动机,应用自动机的特性处理有穷自动机中回边,并通过有限自动机的覆盖路径算法实现路径... 软件测试是当前软件生成重要的研究课题。从源程序流程图开始,提出了基于自动机的路径覆盖算法,该算法将源程序通过转换规则构造成与之等价的有穷自动机,应用自动机的特性处理有穷自动机中回边,并通过有限自动机的覆盖路径算法实现路径覆盖测试路径的选择。此方法实现路径覆盖的目标,与其它路径覆盖算法相比,覆盖路径生成数少。 展开更多
关键词 覆盖测试 回边 有穷自动机
在线阅读 下载PDF
支持向量机(SVM)主动学习方法研究与应用 预览 被引量:45
17
作者 张健沛 徐华 《计算机应用》 CSCD 北大核心 2004年第1期 1-3,共3页
文中介绍了一种用SVM进行主动学习的方法,解决在某些机器学习问题中,训练样本获取代价过大带来的问题.实验表明,该方法与普通SVM方法相比,在保证SVM分类器性能的前提下,可有效减少学习所需的样本数量.最后设计了一个基于该思想的邮件过... 文中介绍了一种用SVM进行主动学习的方法,解决在某些机器学习问题中,训练样本获取代价过大带来的问题.实验表明,该方法与普通SVM方法相比,在保证SVM分类器性能的前提下,可有效减少学习所需的样本数量.最后设计了一个基于该思想的邮件过滤器模型,依据该模型设计的邮件过滤器将有实时监控、自动更新邮件过滤模块的能力. 展开更多
关键词 支持向量机 主动学习 文本分类 邮件过滤
在线阅读 下载PDF
相位变换法用于雷达天线扫描信号的分析 预览
18
作者 徐钦 张什永 李臻 《科技风》 2018年第22期110-110,共1页
为了对雷达天线扫描参数进行正确分析,本文首次将心电信号处理思想用于雷达天线扫描分析,提出了一种基于相位变换法的雷达天线扫描分析新算法,该算法能够有效地提取波形相关特征参数,尤其是对精细特征的提取,可以更加准确地用于天线扫... 为了对雷达天线扫描参数进行正确分析,本文首次将心电信号处理思想用于雷达天线扫描分析,提出了一种基于相位变换法的雷达天线扫描分析新算法,该算法能够有效地提取波形相关特征参数,尤其是对精细特征的提取,可以更加准确地用于天线扫描类型的识别。仿真分析表明,相位变换法可以提高天线扫描自动分析的正确性和精确性。 展开更多
关键词 天线扫描参数 相位变换法 雷达信号分析
在线阅读 下载PDF
广义可能线性时序逻辑的自动机方法 预览 被引量:1
19
作者 张博 李永明 《内江师范学院学报》 2016年第6期1-6,共6页
模糊自动机是自动机理论与基础研究的一个重要内容.然而如何对模糊自动机进行构造至关重要.在给出广义可能测度下线性时序逻辑语构公式所对应模糊交替Btchi自动机构造方法基础上,并对其归纳验证.结果表明,模糊交替Buchi自动机所识别... 模糊自动机是自动机理论与基础研究的一个重要内容.然而如何对模糊自动机进行构造至关重要.在给出广义可能测度下线性时序逻辑语构公式所对应模糊交替Btchi自动机构造方法基础上,并对其归纳验证.结果表明,模糊交替Buchi自动机所识别的语言与广义可能测度下线性时序逻辑公式语义一致. 展开更多
关键词 模型检测 广义可能测度 KRIPKE结构 自动机 模糊自动机
在线阅读 下载PDF
实时嵌入式系统形式化自动验证的研究与应用 预览 被引量:2
20
作者 郑建华 李迪 +1 位作者 肖舒华 苏兆港 《制造业自动化》 北大核心 2007年第9期 20-24,共5页
实时嵌入式系统的重时间特性决定了在系统设计时需对系统作确定性验证。本文分析了不同的验证方法后认为形式化验证中基于时间自动机的模型检验方法最适用于实时嵌入式系统的分析和验证。在此基础上本文给出了时间自动机的定义和验证性... 实时嵌入式系统的重时间特性决定了在系统设计时需对系统作确定性验证。本文分析了不同的验证方法后认为形式化验证中基于时间自动机的模型检验方法最适用于实时嵌入式系统的分析和验证。在此基础上本文给出了时间自动机的定义和验证性工具UPPAAL的介绍,并对行人优先可控交通灯控制系统实例做了详细的建模、验证分析,结果表明该系统满足预定的各种特性要求。 展开更多
关键词 实时嵌入式系统 UPPAAL 时间自动机 交通灯控制
在线阅读 下载PDF
上一页 1 2 45 下一页 到第
使用帮助 返回顶部 意见反馈