您的位置： 专家智库 > >

国家重点基础研究发展计划(2007CB310800)

作品数：47 被引量：218H指数：9
相关作者：缪淮扣应时李德毅陈圣波贾向阳更多>>
相关机构：上海大学武汉大学解放军理工大学更多>>
发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术自然科学总论理学交通运输工程更多>>

文献类型

  • 47篇期刊文章
  • 1篇会议论文

领域

  • 43篇自动化与计算...
  • 2篇交通运输工程
  • 2篇自然科学总论
  • 2篇理学
  • 1篇生物学

主题

  • 7篇网络
  • 7篇WEB应用
  • 7篇测试用例
  • 5篇WEB服务
  • 3篇有限状态机
  • 3篇语义WEB服...
  • 3篇状态机
  • 3篇拓扑
  • 3篇互操作
  • 3篇复杂网
  • 3篇复杂网络
  • 3篇测试用例生成
  • 2篇信息系统
  • 2篇形式化
  • 2篇顺序图
  • 2篇特性分析
  • 2篇状态图
  • 2篇自动机
  • 2篇网络化
  • 2篇面向语义

机构

  • 16篇上海大学
  • 13篇武汉大学
  • 9篇解放军理工大...
  • 8篇上海市计算机...
  • 4篇中国电子系统...
  • 3篇广西财经学院
  • 2篇北京航空航天...
  • 2篇江西财经大学
  • 2篇新疆大学
  • 2篇中国人民解放...
  • 2篇中国人民解放...
  • 1篇电子科技大学
  • 1篇国防科学技术...
  • 1篇华东师范大学
  • 1篇安徽建筑工业...
  • 1篇清华大学
  • 1篇上海第二工业...
  • 1篇上海交通大学
  • 1篇华南理工大学
  • 1篇教育部

作者

  • 16篇缪淮扣
  • 8篇应时
  • 6篇李德毅
  • 4篇陈圣波
  • 4篇贾向阳
  • 3篇梅佳
  • 3篇高洪皓
  • 3篇张海粟
  • 2篇钱忠胜
  • 2篇曹虹华
  • 2篇高阜乡
  • 2篇王皙
  • 2篇郭亮
  • 2篇曾红卫
  • 2篇蒋曹清
  • 2篇欧有远
  • 2篇赵楷
  • 2篇曾志浩
  • 2篇马超
  • 2篇邓智龙

传媒

  • 7篇计算机科学
  • 4篇小型微型计算...
  • 4篇应用科学学报
  • 3篇计算机学报
  • 3篇计算机应用研...
  • 3篇上海大学学报...
  • 2篇计算机工程
  • 2篇计算机工程与...
  • 2篇复杂系统与复...
  • 2篇计算机技术与...
  • 2篇中国电子科学...
  • 1篇计算机研究与...
  • 1篇电子学报
  • 1篇武汉理工大学...
  • 1篇计算机工程与...
  • 1篇西安交通大学...
  • 1篇中国科学（E...
  • 1篇系统仿真学报
  • 1篇中国基础科学
  • 1篇中文信息学报

年份

  • 2篇2014
  • 1篇2013
  • 3篇2012
  • 9篇2011
  • 12篇2010
  • 13篇2009
  • 5篇2008
  • 3篇2007
共 47 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
耗散耦合矩阵第二大特征值的先收缩后反幂算法
2007年
无权无向耦合动态网络所对应的耗散耦合矩阵的第二大特征值是判断网络同步稳定性的重要指标。试图改善目前一般直接调用Matlab中函数eig计算1 000阶以上耗散耦合矩阵第二大特征值复杂度高、时间长的问题,利用耗散耦合矩阵具有一个零特征值及其对应的特征向量为[1,1,…,1]T的特点,提出了一种先收缩后反幂算法,证明了收缩矩阵的特征值与原矩阵的非零特征值误差为零,其对应特征向量相等,并导出对于1 000阶以上矩阵,先收缩后反幂法所需乘法次数比Matlab中调用函数eig所用的QR算法大幅度减少。数值计算验证了理论分析的正确性。
刘砚青陆君安
军事电子信息系统互操作性测评研究综述被引量：19
2009年
总结了不同组织对互操作性的定义,在此基础上指出了互操作性概念的三个本质特征,分析了国内外军事电子信息系统互操作性测评的研究现状,对当前几种典型的互操作性等级模型进行了详细讨论,介绍了两种不同的互操作性测试方法,并指出了军事电子信息系统互操作性测评研究未来的发展趋势。
高阜乡马超欧有远
关键词：军事电子信息系统互操作
需求工程——对复杂系统的软件工程的基础研究被引量：12
2009年
国家重点基础研究发展计划(973计划)项目"需求工程——对复杂系统的软件工程的基础研究"针对软件在网络计算环境下成为服务的趋势,开展服务于大众的网络化软件需求元描述的关键科学问题研究,为网络时代的软件工程提供基础理论和关键技术支撑。本文介绍了该项目启动两年来取得的一些重要研究进展。
李德毅
关键词：网络化软件软件即服务互操作
涌现计算:从无序掌声到有序掌声的虚拟现实被引量：14
2007年
以音乐厅自发同步掌声作为研究对象,建立了一个描述复杂多个体系统集体行为的非线性涌现模型.基于这个模型,开发了一个仅仅依靠局部相互作用的涌现计算实验平台,揭示了涌现行为的不确定性和多样性.通过对多人鼓掌过程数据的分析,发现了观众的掌声在从无序转向同步过程中存在一个明显的临界区域,并得到了掌声同步的基本判据:若耦合系数c1和c2满足条件0.02≤c2≤0.965c1+0.018,则掌声能够实现同步.
李德毅刘坤孙岩韩明畅
关键词：从众心理
社会标注系统幂律特性分析被引量：7
2014年
为全面了解社会标注行为,帮助用户多样化、个性化地使用资源,首先归纳总结标签增长、标签使用与重用以及标签网络等方面的幂律特性。然后,分析幂律特性的形成原因,并使用拓扑势方法进行描述。最后,讨论幂律特性在标签可视化、自动标注、推荐系统和兴趣挖掘等方面的应用,并提出个性化推荐模型。幂律特性分析可以提高信息的个性化、完善社会标注系统的设计。
吴振宇胡军李德毅
关键词：幂律分布
SMV的观察迁移系统的模型检测分析
2008年
模型检验技术是开发高可信系统的重要途径。提出了一种基于定理证明的模型验证方法,并实现了工具验证。它以代数规约语言CafeOBJ描述系统的无限状态并把它转换成有限状态的SMV规约。通过观察迁移系统,证明产生的SMV规约的反例即CafeOBJ规约的反例,来找出开发早期阶段的系统的潜在错误,从而避免时间、金钱的耗费及重复性的劳动。
何涛缪淮扣
关键词：SMV
基于RDF4S语义服务描述模型的服务资源搜索框架被引量：1
2008年
语义服务资源搜索是一个满足服务请求者快速、便捷地定位可用语义服务资源的过程。一个高效、精确的基于语义的语义服务资源搜索框架和经过精心设计并实现的搜索工具是语义服务框架中的一个必要组件。提出一种基于RDF4S语义服务描述模型的服务资源搜索框架,详细说明了该搜索框架的结构。搜索框架根据RDF4S语义服务描述模型的QoS、执行、功能和接口四种语义标注元素类型,分别采用不同的搜索匹配策略,可以很大程度上提高搜索的效率和精度。
曾志浩应时曹虹华
关键词：语义服务
基于维基百科的语义知识库及其构建方法研究被引量：26
2011年
维基百科(Wikipedia)是规模最大的在线网络百科全书之一,采用群体在线合作编辑的Wiki机制,具有质量高、覆盖广、实时演化和半结构化等特点,是用来构建语义知识库的优质语料来源。分析了维基百科语料库的基本情况,综述了目前基于维基百科所构建的多种语义知识库及其概念抽取和关系抽取方法,讨论了各类方法的优缺点、开放问题和可能的研究方向。
张海粟马大明邓智龙
关键词：维基百科语义挖掘知识库文本挖掘
一种面向语义Web服务的软件设计语言和设计方法被引量：4
2007年
在分析已有的面向服务的设计和开发方法的基础上，设计了一种语义编程语言SPL，并基于该语言提出一种面向语义web服务的软件设计和开发方法，试图提供一种有效的解决方案，用于设计和开发面向语义web服务的软件系统．结合旅游预订领域的一个实例，讨论了该方法的全过程．还给出了SPL语言和相关语言的比较．该研究对面向语义Web服务的软件分析、设计和开发具有一定的参考作用 .
曹虹华应时杜德慧贾向阳
关键词：语义WEB服务软件设计方法
一种用于模型验证的Web应用模型抽取方法被引量：1
2009年
以模型验证为目标,提出一种Web应用FSM(finite state machines)模型的抽取方法。该方法将模型抽取划分为链接提取、模型构造和结果显示。通过建立标签库和对标签的定位,并结合正则表达式的方法,对Web应用进行逆向分析,从源代码开始进行链接及相关信息的提取、规整和存储。对Web应用中的页面、链接等建模元素进行分析,应用映射与聚合等抽象技术对获得的信息进行重构,得到适用于验证的Web应用的FSM模型。
方明科缪淮扣
关键词：WEB应用模型有限状态机
全选 清除 导出
共5页<12345>
聚类工具0