期刊文献+
共找到40篇文章
< 1 2 >
每页显示 20 50 100
控制软件设计与验证计算机辅助系统 被引量:3
1
作者 蒋昌俊 张鹏 叶志宝 《高技术通讯》 EI CAS CSCD 2001年第3期62-65,共4页
介绍了控制软件设计与验证系统的原理与实现过程 ,给出顺序功能图[1] (Se quentialFunctionCharts,即SFC)需求说明语言到系统Petri网模型的转化算法和系统几种异常现象的验证算法 ,讨论了系统实现的若干关键技术 。
关键词 控制软件设计 验证系统 计算机辅助系统
在线阅读 下载PDF
计算机联锁软件的Z规格说明 被引量:8
2
作者 王铁江 郦萌 《铁道学报》 EI CAS CSCD 北大核心 2003年第4期62-66,共5页
计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求。形式化其安全需求是一件十分必要,也是一件十分艰巨的任务。本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规... 计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求。形式化其安全需求是一件十分必要,也是一件十分艰巨的任务。本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。形式化规格说明不仅有助于提高计算机联锁软件的质量,而且也有利于将来对它进行更严格的测试。 展开更多
关键词 形式化规格说明 Z语言 安全需求 计算机联锁 铁路信号
在线阅读 下载PDF
基于信任机制的协作系统形成与演化机制 被引量:4
3
作者 王伟 曾国荪 刘涛 《通信学报》 EI CSCD 北大核心 2006年第11期31-35,共5页
通过借鉴人际关系信任模型,利用Bayesian方法对agent的可信度进行评估,提出了一种基于信任机制的多agent协作系统的形成方案。通过agent间基于信任关系的链接更新形成稳定的多agent协作系统,并通过随机图模型分析了提出的协作系统的演... 通过借鉴人际关系信任模型,利用Bayesian方法对agent的可信度进行评估,提出了一种基于信任机制的多agent协作系统的形成方案。通过agent间基于信任关系的链接更新形成稳定的多agent协作系统,并通过随机图模型分析了提出的协作系统的演化特征。仿真结果证实,提出的协作方案不仅能有效地促进agent间的协作效率,提高共同完成任务的成功率,还能提高整个网络系统的交互性能,使agent聚集在服务能力较强的可信agent周围,保证协作对象选取的可靠性。 展开更多
关键词 协同工作 多AGENT 协同系统 Bayesian方法
在线阅读 下载PDF
一种新的模糊规则动态调整正则项系数的神经网络学习方法 被引量:4
4
作者 武妍 张立明 《红外与毫米波学报》 SCIE EI CAS CSCD 北大核心 2002年第3期189-194,共6页
从偏差 方差模型出发 ,提出了一种通过模糊规则推理动态调整正则项系数的新方法 ,并有效地确定了模糊推理规则和隶属度函数 .并将该方法与BP算法和固定正则项系数的方法进行了比较 ,该方法具有精度高、收敛快和泛化能力高等优点 。
关键词 动态调整 学习方法 神经网络 模糊规则推理 泛化能力 正则化 正则项系数
在线阅读 下载PDF
基于Internet的远程监控在电力系统中的应用研究 被引量:2
5
作者 倪丽娜 张金泉 蒋昌俊 《山东科技大学学报(自然科学版)》 CAS 2004年第3期26-29,共4页
对电力系统基于Internet的远程监控系统进行研究,介绍了远程监控实现的基本原理、系统的总体结构、工作过程,并开发了一个监控系统。对系统实现的关键技术进行了讨论,该系统综合利用了网络通信的WindowsSockets技术、Web数据库技术和网... 对电力系统基于Internet的远程监控系统进行研究,介绍了远程监控实现的基本原理、系统的总体结构、工作过程,并开发了一个监控系统。对系统实现的关键技术进行了讨论,该系统综合利用了网络通信的WindowsSockets技术、Web数据库技术和网络信息安全技术,实现连接在广域网上的一个网络设备对另一个监控设备的远程访问和控制,该系统可以推广到许多应用领域。 展开更多
关键词 远程监控 WINDOWS SOCKETS TCP/IP WEB数据库 信息安全
在线阅读 下载PDF
GPS实时货物跟踪系统的设计与实现 被引量:4
6
作者 黄晓生 《华东交通大学学报》 2005年第1期49-52,共4页
根据我国第三方物流企业的特点,利用GPS全球卫星定位系统、GIS地理信息系统和GSM短信服务系统,设计和实现了一个基于GPS的实时货物跟踪系统.介绍了系统拓朴结构、软件结构与功能,分析了各软件子系统实现的关键技术.利用该系统,客户可以... 根据我国第三方物流企业的特点,利用GPS全球卫星定位系统、GIS地理信息系统和GSM短信服务系统,设计和实现了一个基于GPS的实时货物跟踪系统.介绍了系统拓朴结构、软件结构与功能,分析了各软件子系统实现的关键技术.利用该系统,客户可以通过Internet实时查询货物当前的位置、状态、估计到达时间等信息,企业则可以对其移动的车船进行实时监控、调度、导航、接警等处理. 展开更多
关键词 货物 第三方物流企业 客户 短信服务 信息 中国 跟踪系统 实时 软件 移动
在线阅读 下载PDF
关于形式系统L^(*)的强完备性 被引量:3
7
作者 裴道武 《工程数学学报》 CSCD 北大核心 2005年第1期128-132,共5页
进一步讨论了形式系统 L? 中的一般演绎推理及强完备性问题。对于任意的公式集 Γ, 引入一种 新的代数结构—R0(Γ) 代数, 利用子代数结构, 代数滤子理论及次直积分解理论等代数工具, 证明 了系统 L? 的强完备性定理。
关键词 模糊逻辑 形式系统L^(*) R_(0)(Γ)代数 强完备性
在线阅读 下载PDF
基于认知模拟的多路信息融合系统的研究 被引量:1
8
作者 王继成 《电子学报》 EI CAS CSCD 北大核心 2002年第5期738-740,共3页
本文根据认知科学的理论 ,同时以神经科学、脑科学等学科的最新研究成果为指导 ,利用计算机科学、数学及工程科学的方法 ,提出了一种基于认知模拟的多路信息融合的新方法 .根据该方法开发的多路信息融合系统(MIFS) ,可以较好地模拟人类... 本文根据认知科学的理论 ,同时以神经科学、脑科学等学科的最新研究成果为指导 ,利用计算机科学、数学及工程科学的方法 ,提出了一种基于认知模拟的多路信息融合的新方法 .根据该方法开发的多路信息融合系统(MIFS) ,可以较好地模拟人类的感知。 展开更多
关键词 认知模拟 多路信息融合系统 认知科学 神经网络 模式识别
在线阅读 下载PDF
基于认知模拟的符号神经网络系统的研究 被引量:1
9
作者 王继成 《电子学报》 EI CAS CSCD 北大核心 2000年第11期99-101,共3页
本文根据认知科学的理论 ,同时以神经科学、脑科学等学科的最新研究成果为指导 ,利用计算机科学、数学及工程科学的方法 ,提出了一个基于认知模拟的符号 -神经网络系统 .该系统不仅具有好的逻辑思维能力 ,而且具有好的形象思维能力 ,可... 本文根据认知科学的理论 ,同时以神经科学、脑科学等学科的最新研究成果为指导 ,利用计算机科学、数学及工程科学的方法 ,提出了一个基于认知模拟的符号 -神经网络系统 .该系统不仅具有好的逻辑思维能力 ,而且具有好的形象思维能力 ,可以较好地模拟人类的感知。 展开更多
关键词 认知科学 神经网络 混合系统 人工智能
在线阅读 下载PDF
特定人脸模型编辑系统中纹理映射技术探讨 被引量:6
10
作者 沈润泉 何本阳 《陕西理工学院学报(自然科学版)》 2007年第2期29-32,共4页
在真实感的人脸动画系统中,纹理贴图技术是其中一个很重要的环节,它直接关系到系统的逼真度和动画的效果。提出特定人脸模型的纹理映射的技术,用圆柱投影把人脸单独3幅渲染图展开成3幅新的视图,再用多分辨率技术把这3幅新的贴图进行无... 在真实感的人脸动画系统中,纹理贴图技术是其中一个很重要的环节,它直接关系到系统的逼真度和动画的效果。提出特定人脸模型的纹理映射的技术,用圆柱投影把人脸单独3幅渲染图展开成3幅新的视图,再用多分辨率技术把这3幅新的贴图进行无缝拼接,以得到全视角无缝贴图,最后用该无缝贴图对特定人脸模型进行渲染。实验表明,该方法所得到的人脸纹理贴图非常逼真。 展开更多
关键词 人脸动画 圆柱投影 多分辨率技术 全视角无缝贴图 纹理映射
在线阅读 下载PDF
决策支持系统中应用数据仓库技术的研究 被引量:1
11
作者 赵玉勇 吴永明 《电子工程师》 1999年第3期16-18,共3页
传统的决策支持技术已发展成为智能型决策支持系统。90年代出现的数据仓库技术更加有力地推动了决策支持的发展。阐明了两种技术系统的概念、结构及发展状况,介绍了以数据仓库为核心的智能决策支持系统,叙述了其功能框架、逻辑结构... 传统的决策支持技术已发展成为智能型决策支持系统。90年代出现的数据仓库技术更加有力地推动了决策支持的发展。阐明了两种技术系统的概念、结构及发展状况,介绍了以数据仓库为核心的智能决策支持系统,叙述了其功能框架、逻辑结构及内部各部件之间的支持和集成。 展开更多
关键词 决策支持系统 数据仓库 数据处理系统 知识库
在线阅读 下载PDF
基于Softswitch的呼叫控制中心体系构建探讨
12
作者 张小月 胡宗福 宋志光 《铁路计算机应用》 2003年第10期41-44,共4页
介绍了Softswitch的概念和当前呼叫中心技术存在的问题,提出基于Softswitch的呼叫控制中心构建方案及相关技术。
关键词 SOFTSWITCH 呼叫控制中心体系 构建方案 VOIP 软交换 分层设计体系结构 移动通信
在线阅读 下载PDF
基于和欣嵌入式操作系统的数字电视OSD工具开发
13
作者 黄玉婷 顾伟楠 《电子技术应用》 北大核心 2006年第6期69-72,共4页
讨论了和欣嵌入式操作系统上数字电视OSD工具的开发,采用EZCOM技术构建OSD中间件,设计实现了基于SDA55XX芯片的OSD开发工具,并以此芯片为例,重点介绍了数字电视OSD开发工具的设计思想、体系结构以及基于此工具的OSD开发方法。
关键词 OSD 数字电视 构件技术 中间件 ezCOM
在线阅读 下载PDF
基于和欣嵌入式操作系统的构件化网络协议栈
14
作者 胡代前 陈榕 《电子技术应用》 北大核心 2006年第6期64-66,共3页
介绍了和欣嵌入式操作系统的特点以及CAR构件技术,分析了在和欣嵌入式系统上TCP/IP协议栈的特点及其实现。
关键词 和欣嵌入式操作系统 CAR构件技术 TCP/IP协议栈
在线阅读 下载PDF
一种社交网络群组间信息推荐的有效方法 被引量:9
15
作者 黄震华 张波 +1 位作者 方强 向阳 《电子学报》 EI CAS CSCD 北大核心 2015年第6期1090-1093,共4页
群组间信息推荐是社交网络中人们传递和分享资讯的重要途径,然而获取精确的最优推荐方案需要指数级时间开销.为此,本文提出一种有效算法EAOORS(Efficient Algorithm for Obtaining Optimal Recommendation Solution),将该指数级时间开... 群组间信息推荐是社交网络中人们传递和分享资讯的重要途径,然而获取精确的最优推荐方案需要指数级时间开销.为此,本文提出一种有效算法EAOORS(Efficient Algorithm for Obtaining Optimal Recommendation Solution),将该指数级时间开销问题等价归约为EST(Extended Steiner Tree,扩展Steiner树)问题,并在多项式时间复杂度内快速获取近似最优推荐方案.理论分析和仿真实验表明,本文所提的算法具有有效性和实用性. 展开更多
关键词 社交网络 信息推荐 近似算法 性能评估
在线阅读 下载PDF
基于家态的多事务工作流完整性分析 被引量:4
16
作者 庞善臣 闫春钢 蒋昌俊 《电子学报》 EI CAS CSCD 北大核心 2006年第6期1163-1168,共6页
工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.基于工作流的Petri网结构化建模方法,研究了同一品质多事务工作流的Petri网模型,分析了模型处理多种事务的能力,... 工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.基于工作流的Petri网结构化建模方法,研究了同一品质多事务工作流的Petri网模型,分析了模型处理多种事务的能力,对以往研究中的不足和错误进行了补充和更正,给出了基于家态的模型结构完整性验证的一个充要条件.所得结果为工作流模型分析和验证提供了理论基础和依据,对于分析工作流系统处理事务的能力,提高事务处理效率有重要意义. 展开更多
关键词 PETRI网 家态 工作流 多事务工作流网 完整性
在线阅读 下载PDF
基于对向传播神经网络的人脸识别方法 被引量:6
17
作者 金明曦 武妍 《电子科技大学学报》 EI CAS CSCD 北大核心 2004年第5期573-576,共4页
根据对向传播网络适于模式分类的特性,提出了基于对向传播网络的人脸识别方法。同时,为了克服对向传播网络在训练过程中的不稳定性,改进了对向传播网络的学习算法,并且以国际通用的ORL人脸库为对象进行实验研究。结果表明,选择合适的参... 根据对向传播网络适于模式分类的特性,提出了基于对向传播网络的人脸识别方法。同时,为了克服对向传播网络在训练过程中的不稳定性,改进了对向传播网络的学习算法,并且以国际通用的ORL人脸库为对象进行实验研究。结果表明,选择合适的参数,就可以达到理想的识别效果。证明了基于对向传播网络的人脸识别方法是有效可行的。 展开更多
关键词 神经网络 对向传播网络 人脸识别 模式分类
在线阅读 下载PDF
基于模糊化输入和反转提高神经网络分类性能的方法 被引量:3
18
作者 武妍 王守觉 《红外与毫米波学报》 SCIE EI CAS CSCD 北大核心 2005年第1期15-18,共4页
为有效提高神经网络的分类性能,首先提出了一个可处理模糊输入的模糊神经网络结构,然后由模糊输出和非模糊目标输出定义了代价函数,推导出相应的学习算法,并对该模糊神经网络进行反转,提出了模糊化的反转算法.最后,通过计算机仿真实际... 为有效提高神经网络的分类性能,首先提出了一个可处理模糊输入的模糊神经网络结构,然后由模糊输出和非模糊目标输出定义了代价函数,推导出相应的学习算法,并对该模糊神经网络进行反转,提出了模糊化的反转算法.最后,通过计算机仿真实际的模式分类问题,验证了所提出的方法的有效性.实验结果表明,所提出的方法具有学习效率高、分类准确率高、泛化能力高的优点. 展开更多
关键词 模糊神经网络 模糊化 学习算法 输入 泛化能力 模式分类 计算机仿真 代价函数 性能 优点
在线阅读 下载PDF
超对等网络中的轮廓查询优化 被引量:2
19
作者 黄震华 向阳 +1 位作者 孙圣力 陈千 《电子学报》 EI CAS CSCD 北大核心 2013年第8期1515-1520,共6页
轮廓查询是近年来信息服务领域的一个研究重点和热点.现有的三阶段算法TPAOSS(Three-PhaseAlgo-rithm for Optimizing Skyline Scalar)至少存在如下两个缺陷:(1)在TPAOSS算法的第3阶段中,当网络节点上的对象个数较多时,Bloom filter的... 轮廓查询是近年来信息服务领域的一个研究重点和热点.现有的三阶段算法TPAOSS(Three-PhaseAlgo-rithm for Optimizing Skyline Scalar)至少存在如下两个缺陷:(1)在TPAOSS算法的第3阶段中,当网络节点上的对象个数较多时,Bloom filter的长度将呈指数级增长,从而严重影响获取子空间重复值的效率以及占用内存空间的大小;(2)TPAOSS算法只考虑预处理阶段的时间代价,而没有考虑各网络节点进行局部或全局子空间轮廓查询计算的效率.为此,提出一种适合超对等网络(Super-Peer Architecture,SPA)的子空间轮廓查询方法EPSSQDN(Efficient Processing of Sub-space Skyline Queries in Distributed Networks).EPSSQDN算法有效解决了TPAOSS算法的的两个主要性能问题,并且显著提高了SPA网络中的子空间轮廓查询处理的效率.此外,为了能够进一步降低子空间上轮廓查询的时间开销以及网络节点间的数据传输量,我们给出新颖且有效的优化策略.实验结果表明,EPSSQDN算法比TPAOSS算法更能够缩短SPA网络中子空间轮廓查询的时间开销. 展开更多
关键词 轮廓查询 SUPER-PEER体系架构 信息服务 查询优化
在线阅读 下载PDF
神经网络中将任务学习与模型学习相结合的E-H和E-H-W学习方法 被引量:3
20
作者 武妍 张立明 《电子学报》 EI CAS CSCD 北大核心 2004年第2期278-281,共4页
本文从获取好的神经网络泛化能力出发 ,首先提出了将Hebbian学习与增加问题复杂性统一起来的思想 ,并通过在总的误差函数中增加一限制函数来实现Hebbian学习 .基于此 ,提出了一种将误差驱动的任务学习与Hebbian规则的模型学习相结合的E ... 本文从获取好的神经网络泛化能力出发 ,首先提出了将Hebbian学习与增加问题复杂性统一起来的思想 ,并通过在总的误差函数中增加一限制函数来实现Hebbian学习 .基于此 ,提出了一种将误差驱动的任务学习与Hebbian规则的模型学习相结合的E H方法 .然后 ,根据模型学习应同时考虑减小网络复杂性和增加问题复杂性的思想 ,又提出了一种将误差驱动的学习与Hebbian规则、简单的权退化法结合起来 ,共同来提高神经网络的泛化能力的E H W方法 .最后通过大量实例仿真将它们与纯误差驱动的方法、权退化法、其它文献中的相关方法进行了比较 .结果表明我们的方法具有最好的泛化能力 ,是很有效的神经网络学习方法 . 展开更多
关键词 神经网络 模型学习 任务学习 泛化能力 Hebbian学习
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部