国家自然科学基金(60673122)

作品数:17被引量:56H指数:5
导出分析报告
相关作者:明仲林伟明曾新红傅向华彭小刚更多>>
相关机构:深圳大学中山大学武汉大学华南理工大学更多>>
相关期刊:《情报学报》《计算机工程》《计算机工程与设计》《电子学报》更多>>
相关主题:中文叙词表本体本体本体构造叙词表基于SOA更多>>
相关领域:自动化与计算机技术文化科学语言文字理学更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
对象行为等价的终结共代数语义被引量:1
《计算机科学》2012年第2期179-182,190,共5页余珊珊 李师贤 苏锦钿 
国家自然科学基金项目(60673122);广东省自然科学基金项目(8151030007000002)资助
终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利用共代数给出面向对象方法中的抽象类、类和对象的形式化描述,其中抽象类被定义为一个包含方法和断言声明的类规范,类被定义为满...
关键词:对象 行为等价 共代数方法 终结共代数 强Monads 
一种基于共代数的面向对象形式语义被引量:1
《计算机科学》2011年第8期142-146,共5页余珊珊 李师贤 苏锦钿 
国家自然科学基金资助项目(60673122);广东省自然科学基金资助项目(8151030007000002)资助
针对面向对象方法的数学理论基础相对薄弱的问题,利用共代数方法从范畴论及观察的角度研究面向对象的形式语义及行为关系。首先,给出类和对象的共代数描述,其中抽象类定义成一个类规范,类定义为满足类规范的共代数,类的各个对象则看成...
关键词:面向对象方法 形式语义 共代数方法 强Monads 
多视点需求工程中视点集成过程的研究被引量:4
《计算机科学》2009年第8期138-144,共7页梁正平 明仲 毋国庆 
国家863高科技计划项目(2007AA01Z185);国家自然科学基金项目(60673122);软件工程国家重点实验室开放基金项目(SKLSE20080702);深圳大学科研启动基金项目(200747)资助
多视点需求工程方法以视点的形式,分散、独立地获取和表示不同项目相关人员的需求信息。为生成一份统一的规格说明,必须对所有相关的视点进行集成。讨论了以公共开发方式作为视点的集成方式,并基于范畴理论对集成过程进行建模。同时,以...
关键词:需求工程 视点 视点集成 范畴论 
基于神经动力学的目标跟踪算法被引量:3
《深圳大学学报(理工版)》2009年第3期283-288,共6页朱安民 明仲 
国家自然科学基金资助项目(60673122);深圳大学科研启动基金资助项目(200744)
通过对神经网络模型的研究,将神经动力学的Shunting模型应用到目标跟踪系统中.该算法具有模型简单、参数不敏感、网络运算不易饱和、算法速度快,且不需要预设工作环境等优点,适用于未知动态环境下的优化目标跟踪.Matlab仿真试验表明,该...
关键词:神经动力学 目标跟踪 路径选择 最短路径 动态环境 
基于wordNet的类别可拓展网页分类系统(英文)被引量:1
《深圳大学学报(理工版)》2009年第2期116-120,共5页彭小刚 明仲 王海涛 周景洲 
国家自然科学基金资助项目(60673122);深圳市科技基金资助项目(200740)
基于文本写作常采用一个意思由多个不同写法的单词来表述,研究词义文本分类法被用来替代使用关键词分类算法以提高分类准确率.分析wordNet内Synset架构,认为一个兼顾词义以及词义间关系的词义文本分类系统可应用到网页分类中.该系统同...
关键词:信息提取 网页分类 WORDNET 基于词义分类 类别拓展 
基于本体的模型集成被引量:6
《电子学报》2009年第4期713-719,共7页蔡树彬 明仲 李师贤 刘显明 
国家自然科学基金(No.60673122);江西省电力公司科技项目(No.200850802);广东省自然科学基金(No.7301315,No.815103000700002)
模型在决策支持系统中具有非常重要的作用.如何更好地集成模型,实现模型协作,一直是该领域的重点研究内容.模型参数的表示和匹配是模型集成的核心问题.由于难以描述模型输入、输出参数的语义,模型集成的自动化程度、智能化程度、扩展性...
关键词:决策支持系统 模型集成 模型表示 本体 
CORBA工作流时间Petri网建模与分析
《深圳大学学报(理工版)》2009年第1期42-46,共5页郑红 明仲 
国家自然科学基金资助项目(60673122);粤港关键领域重点突破项目(2007A090601001)
基于时间Petri网和工作流分析技术,引入时间工作流网概念,建立CORBA系统中由一组受时间约束的子工作流协作组成的工作流的时间工作流网模型,并基于该模型分析时间工作流网模型的有效性,验证了模型与系统需求规范的一致性.
关键词:CORBA系统 工作流 时间PETRI网 
单路径层次化网页分类算法
《计算机工程与设计》2008年第9期2356-2358,2362,共4页彭小刚 傅向华 
国家自然科学基金项目(60673122);深圳大学科研启动基金项目(2006046)
网页自动分类是解决互联网信息检索困难的有效方法。虽然有很多自动分类算法和系统,但是大部分此类算法注重如何将网页准确分到某个独立的类别里面,却忽略类别之间所组成的体系结构本身也具备的一些隐藏分类信息。同时,一般的分类算法...
关键词:网页分类 层次结构 信息提取 单路径 类别信息树 特征传递 
中文叙词表本体一致性检测机制研究与实现被引量:9
《现代图书情报技术》2008年第5期1-9,共9页曾新红 林伟明 明仲 
国家社会科学基金项目"基于本体和知识集成实现中文叙词表的升级;共享和动态完善"(项目编号:05CTQ001);国家自然科学基金项目"视角理论及其在本体集成中的应用"(项目编号:60673122)的研究成果之一
研究中文叙词表本体(OntoThesaurus,即基于中文叙词表建立的本体知识库)的一致性检测机制,并将其应用在中文叙词表本体共建共享系统(OTCSS)的修订意见提交、叙词表本体更新和全局检查等相关过程的实现中,取得了良好的应用效果。
关键词:叙词表 本体 中文叙词表本体 本体构造 一致性检测 本体演化 
一种面向基于内容视频检索的音频场景分割方法
《小型微型计算机系统》2008年第3期557-562,共6页朱映映 明仲 周景洲 
国家自然科学基金项目(60673122)资助;广东省自然科学基金项目(5301029)资助;深圳大学科研启动基金项目(200515)资助
视频数据中的音频流包含了丰富的语义信息.在基于内容的视频检索中,对音频信息的分析是不可分割的一部分.本文主要讨论基于内容的音频场景分割,分析各种音频特征及提取方法,并在此基础上提出一种新的音频流分割方法,根据六种音频类型(...
关键词:音频场景分割 基于内容的音频分析 音频特征 音频分类 
检索报告 对象比较 聚类工具 使用帮助 返回顶部