检索结果-南通市图书馆

基于RDF4S的一种轻量语义Web服务组合

在线全文

学校读者我要写书评

暂无评论

计算机科学 2009年第6期36卷 114-118页

作者：黄蓓蓓 Philip C-Y Sheu 应时张韬崔华张桂刚武汉大学软件工程国家重点实验室武汉430072 加州大学尔湾分校电子工程与计算机科学系美国加州92697

首先简要介绍语义Web服务资源描述框架(RDF4S),在此基础上提出语义Web服务包装机制,语义Web服务经包装后,分别通过组合接口和调用接口为组合语义Web服务的设计与调用提供支持。然后分别详细介绍组合语义Web服务的设计存储和调用执行:通... 详细信息

首先简要介绍语义Web服务资源描述框架(RDF4S),在此基础上提出语义Web服务包装机制,语义Web服务经包装后,分别通过组合接口和调用接口为组合语义Web服务的设计与调用提供支持。然后分别详细介绍组合语义Web服务的设计存储和调用执行:通过图形化的设计工具按照语义Web服务的3种基本逻辑关系设计组合结构图,然后将该图映射到组合结构信息表存储,组合语义Web服务执行时根据结构信息表生成语义Web服务代理对象和相应的语义消息,再根据语义消息传递机制调用Web服务实体。最后用一个实例展示组合语义Web服务执行时的消息传递,试验表明该方法有效。

关键词：服务资源描述框架语义Web服务包装组合结构信息表语义消息语义消息传递机制

在线全文

学校读者我要写书评

暂无评论

一种新的语义对象行为语言

计算机科学 2008年第11期35卷 272-275页

作者：张桂刚 Phillip C-Y Sheu 黄蓓蓓龚志远武汉大学软件工程国家重点实验室武汉430072 加州大学尔湾分校电子工程与计算机科学系加州CA92697

针对人类用自然语言与机器交互所面临的巨大鸿沟,提出了一种基于类自然语言的语义对象行为语言。SOBL是一种宣称式的陈述语言,用于开发数据库驱动的应用,支持复杂的用户交互,主要由一个SemanticObjectsTM的对象关系开发框架所支持。该... 详细信息

针对人类用自然语言与机器交互所面临的巨大鸿沟,提出了一种基于类自然语言的语义对象行为语言。SOBL是一种宣称式的陈述语言,用于开发数据库驱动的应用,支持复杂的用户交互,主要由一个SemanticObjectsTM的对象关系开发框架所支持。该语言扩展结构化自然语言,携带语义信息,能够面向非程序员使用,降低了软件的开发难度。最后通过一个具体的实例验证了该语言的有效性。

关键词：语义对象行为语言语义对象技术^TM 语义语义计算

云计算环境下的多路数据流分层模块化建模与设计

在线全文

学校读者我要写书评

暂无评论

系统工程理论与实践 2013年第6期33卷 1570-1576页

作者：冯辉宁加州大学伯克利分校电子工程与计算机科学系加州94720

提出多路数据流计算模型和对云计算物理系统的分层模块化建模方法.云计算物理系统包含大量相连的嵌入式设备和计算节点.其开发难点在于系统复杂性所带来的设计和管理困难,以及对海量数据的处理.可行的解决办法是以多路数据流构造抽象的... 详细信息

提出多路数据流计算模型和对云计算物理系统的分层模块化建模方法.云计算物理系统包含大量相连的嵌入式设备和计算节点.其开发难点在于系统复杂性所带来的设计和管理困难,以及对海量数据的处理.可行的解决办法是以多路数据流构造抽象的设计模型,利用自动化工具进行仿真、检验和优化,再通过映射生成最终系统.多路数据流扩展了传统数据流和Google的MapReduce计算框架,在简化设计的同时也使最终系统易于在云计算环境中实现.

关键词：物联网计算物理系统云计算 MapReduce 多路数据流

在线全文

学校读者我要写书评

暂无评论

脉冲神经网络研究进展综述

控制与决策 2021年第1期36卷 1-26页

作者：胡一凡李国齐吴郁杰邓磊清华大学类脑计算研究中心北京100084 加州大学圣塔芭芭拉分校电子与计算机工程系美国CA 93106

近年来,起源于计算神经科学的脉冲神经网络因其具有丰富的时空动力学特征、多样的编码机制、契合硬件的事件驱动特性等优势,在神经形态工程和类脑计算领域已得到广泛的关注.脉冲神经网络与当前计算机科学导向的以深度卷积网络为代表的... 详细信息

近年来,起源于计算神经科学的脉冲神经网络因其具有丰富的时空动力学特征、多样的编码机制、契合硬件的事件驱动特性等优势,在神经形态工程和类脑计算领域已得到广泛的关注.脉冲神经网络与当前计算机科学导向的以深度卷积网络为代表的人工神经网络的交叉融合被认为是发展人工通用智能的有力途径.对此,回顾了脉冲神经网络的发展历程,将其划分为神经元模型、训练算法、编程框架、数据集以及硬件芯片等5个重点方向,全方位介绍脉冲神经网络的最新进展和内涵,讨论并分析了脉冲神经网络领域各个重点方向的发展机遇和挑战.希望本综述能够吸引不同学科的研究者,通过跨学科的思想交流与合作研究,推动脉冲神经网络领域的发展.

关键词：脉冲神经网络神经网络类脑计算神经形态计算深度学习人工通用智能

在线全文

学校读者我要写书评

暂无评论

基于GIS系统的空间查询语言

计算机科学 2010年第6期37卷 206-210,213页

作者：徐承志许承瑜钱铁云武汉大学软件工程国家重点实验室武汉430072 加州大学尔湾分校电气工程和计算机科学系加州92617

目前,主流的空间数据查询语言都是在SFASQL或SQL/MMSpatial这两大国际标准的基础上进行扩展的。然而,这两大标准对于空间查询和空间分析都是函数式的,所以当查询条件增多时,其复杂的查询表达式既不适合普通用户使用,也不利于提高查询的... 详细信息

目前,主流的空间数据查询语言都是在SFASQL或SQL/MMSpatial这两大国际标准的基础上进行扩展的。然而,这两大标准对于空间查询和空间分析都是函数式的,所以当查询条件增多时,其复杂的查询表达式既不适合普通用户使用,也不利于提高查询的效率。提出了一种基于GIS系统的空间查询语言SQDL-G,将空间谓词表示为空间运算符,将子查询结构引入查询表达式中,并在ArcGIS平台上建立了该语言的执行引擎。实验表明,该语言表达灵活,结构清晰,易于被用户接受。

关键词：空间数据库空间查询语言 SQDL-G ArcGIS

在线全文

学校读者我要写书评

暂无评论

基于满足性判定的布尔网络环求解算法

电子科技大学学报 2015年第6期44卷 881-886页

作者：郭文生杨国武李晓瑜高敏电子科技大学计算机科学与工程学院成都610054 加州大学洛杉矶分校电子工程学院美国加州洛杉矶ca90034

环是布尔网络状态转换过程中的稳定态,在模式检测、基因调控网络和可达性分析等领域都有重要的意义。计算布尔网络状态转换中的所有环是一个NP完全问题。该文基于全解布尔满足性判定(SAT)算法,设计了一种求解所有小于等于指定步长环的... 详细信息

环是布尔网络状态转换过程中的稳定态,在模式检测、基因调控网络和可达性分析等领域都有重要的意义。计算布尔网络状态转换中的所有环是一个NP完全问题。该文基于全解布尔满足性判定(SAT)算法,设计了一种求解所有小于等于指定步长环的算法。算法基于布尔网络的状态转换函数和状态环属性生成合取范式形式(CNF)的问题集,通过融合冲突子句学习(CDCL)、非时序回退、阻塞子句和变量分类等技术,降低算法的计算复杂度。实验结果表明,该算法能够高效地计算指定步长的环。对于无法计算所有环的复杂网络,指定步长计算环的方式将更有应用价值。

关键词：布尔网络环满足性判定阻塞子句

在线全文

学校读者我要写书评

暂无评论

演化多目标优化中的几何热力学选择

计算机学报 2010年第4期33卷 755-767页

作者：应伟勤李元香 SHEU Phillip C-Y 吴昱余法红武汉大学软件工程国家重点实验室武汉430072 加州大学尔湾分校电气工程和计算机科学系美国加利福利亚92697

热力学遗传算法(Thermodynamical Genetic Algorithms,TDGAs)借鉴热力学中的自由能极小过程来统一处理多目标优化在逼近性和多样性两方面的任务.为提高TDGA的运行效率和解集分布均匀性,提出了一种几何热力学选择.在该选择中首先定义角... 详细信息

热力学遗传算法(Thermodynamical Genetic Algorithms,TDGAs)借鉴热力学中的自由能极小过程来统一处理多目标优化在逼近性和多样性两方面的任务.为提高TDGA的运行效率和解集分布均匀性,提出了一种几何热力学选择.在该选择中首先定义角度熵通过扇形采样来度量种群逼近方向的多样性.然后利用距离精英定义距离能量来度量种群的逼近程度,避免了耗时的非劣分层操作.此外,引入分量热力学替换规则以较低计算代价驱动种群的几何自由能快速下降.在多目标0/1背包问题上的实验结果表明,几何热力学选择极大地提高了TDGA的运行效率和解集分布均匀性;采用该选择的TDGA算法可生成与NSGA-II在逼近性和分布多样性上性能相当的解,但在运行效率上明显优于NSGA-II.

关键词：多目标优化演化算法热力学替换角度熵距离能量

分数阶扩散系统子区域能控性研究的现状与发展

在线全文

学校读者我要写书评

暂无评论

控制理论与应用 2023年第8期40卷 1357-1364页

作者：葛富东陈阳泉寇春海中国地质大学(武汉)计算机学院湖北武汉430074 加州大学默塞德分校机械工程学院(MESA实验室) 美国加州95343 东华大学数学与统计系上海201620

近年来,随着分数阶微积分理论研究的不断深入,分数阶扩散系统因更有效描述自然界和工程中的反常扩散现象而引起了学者们的广泛关注,并取得了较为丰硕的研究成果.然而,据作者所知,目前鲜有文献总结分数阶扩散系统子区域能控性研究的相关... 详细信息

近年来,随着分数阶微积分理论研究的不断深入,分数阶扩散系统因更有效描述自然界和工程中的反常扩散现象而引起了学者们的广泛关注,并取得了较为丰硕的研究成果.然而,据作者所知,目前鲜有文献总结分数阶扩散系统子区域能控性研究的相关内容.因此,本文首先详细综述分数阶扩散系统能控性、子区域能控性的研究进展,并予以分析;然后给出仍需解决的问题和可能的研究机遇.

关键词：分数阶扩散系统反常扩散过程能控性子区域能控性

在线全文

学校读者我要写书评

暂无评论

Radix-8复数除法器的设计与实现

西安交通大学学报 2009年第10期43卷 1-6页

作者：王东郑南宁 Milos D．ERCEGOVAC 西安交通大学电子与信息工程学院西安710049 加州大学洛杉矶分校计算机科学系美国洛杉矶90024

设计了一种高性能、低功耗的Radix-8时序复数除法器.该复数除法器采用了逐位递归算法和操作数预变换技术,并在传统结构的基础上,选用冗余形式保留预校正变量,节省了超长进位加法器的使用,缩短了关键路径的延时.设计还通过实部和虚部商... 详细信息

设计了一种高性能、低功耗的Radix-8时序复数除法器.该复数除法器采用了逐位递归算法和操作数预变换技术,并在传统结构的基础上,选用冗余形式保留预校正变量,节省了超长进位加法器的使用,缩短了关键路径的延时.设计还通过实部和虚部商位的合并以及基于6输入查找表结构的硬件优化,提高了乘加逻辑单元的资源利用率.Stratix-II型现场可编程逻辑器件仿真验证表明,与使用超长进位加法器的传统结构相比,所设计的复数除法器的速度提高了44%,硬件资源减少了31%.

关键词：复数除法器逐位递归算法现场可编程逻辑器件