国家重点基础研究发展计划(2007CB310800)
- 作品数：47 被引量：222H指数：9
- 相关作者：缪淮扣应时李德毅陈圣波贾向阳更多>>
- 相关机构：上海大学武汉大学解放军理工大学更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术自然科学总论理学交通运输工程更多>>
- 耗散耦合矩阵第二大特征值的先收缩后反幂算法
- 2007年
- 无权无向耦合动态网络所对应的耗散耦合矩阵的第二大特征值是判断网络同步稳定性的重要指标。试图改善目前一般直接调用Matlab中函数eig计算1 000阶以上耗散耦合矩阵第二大特征值复杂度高、时间长的问题,利用耗散耦合矩阵具有一个零特征值及其对应的特征向量为[1,1,…,1]T的特点,提出了一种先收缩后反幂算法,证明了收缩矩阵的特征值与原矩阵的非零特征值误差为零,其对应特征向量相等,并导出对于1 000阶以上矩阵,先收缩后反幂法所需乘法次数比Matlab中调用函数eig所用的QR算法大幅度减少。数值计算验证了理论分析的正确性。
- 刘砚青陆君安
- 军事电子信息系统互操作性测评研究综述被引量：20
- 2009年
- 总结了不同组织对互操作性的定义,在此基础上指出了互操作性概念的三个本质特征,分析了国内外军事电子信息系统互操作性测评的研究现状,对当前几种典型的互操作性等级模型进行了详细讨论,介绍了两种不同的互操作性测试方法,并指出了军事电子信息系统互操作性测评研究未来的发展趋势。
- 高阜乡马超欧有远
- 关键词：军事电子信息系统互操作
- 需求工程——对复杂系统的软件工程的基础研究被引量：12
- 2009年
- 国家重点基础研究发展计划(973计划)项目"需求工程——对复杂系统的软件工程的基础研究"针对软件在网络计算环境下成为服务的趋势,开展服务于大众的网络化软件需求元描述的关键科学问题研究,为网络时代的软件工程提供基础理论和关键技术支撑。本文介绍了该项目启动两年来取得的一些重要研究进展。
- 李德毅
- 关键词：网络化软件软件即服务互操作
- 涌现计算:从无序掌声到有序掌声的虚拟现实被引量：15
- 2007年
- 以音乐厅自发同步掌声作为研究对象,建立了一个描述复杂多个体系统集体行为的非线性涌现模型.基于这个模型,开发了一个仅仅依靠局部相互作用的涌现计算实验平台,揭示了涌现行为的不确定性和多样性.通过对多人鼓掌过程数据的分析,发现了观众的掌声在从无序转向同步过程中存在一个明显的临界区域,并得到了掌声同步的基本判据:若耦合系数c1和c2满足条件0.02≤c2≤0.965c1+0.018,则掌声能够实现同步.
- 李德毅刘坤孙岩韩明畅
- 关键词：从众心理
- 社会标注系统幂律特性分析被引量：8
- 2014年
- 为全面了解社会标注行为,帮助用户多样化、个性化地使用资源,首先归纳总结标签增长、标签使用与重用以及标签网络等方面的幂律特性。然后,分析幂律特性的形成原因,并使用拓扑势方法进行描述。最后,讨论幂律特性在标签可视化、自动标注、推荐系统和兴趣挖掘等方面的应用,并提出个性化推荐模型。幂律特性分析可以提高信息的个性化、完善社会标注系统的设计。
- 吴振宇胡军李德毅
- 关键词：幂律分布
- SMV的观察迁移系统的模型检测分析
- 2008年
- 模型检验技术是开发高可信系统的重要途径。提出了一种基于定理证明的模型验证方法,并实现了工具验证。它以代数规约语言CafeOBJ描述系统的无限状态并把它转换成有限状态的SMV规约。通过观察迁移系统,证明产生的SMV规约的反例即CafeOBJ规约的反例,来找出开发早期阶段的系统的潜在错误,从而避免时间、金钱的耗费及重复性的劳动。
- 何涛缪淮扣
- 关键词：SMV
- 基于RDF4S语义服务描述模型的服务资源搜索框架被引量：1
- 2008年
- 语义服务资源搜索是一个满足服务请求者快速、便捷地定位可用语义服务资源的过程。一个高效、精确的基于语义的语义服务资源搜索框架和经过精心设计并实现的搜索工具是语义服务框架中的一个必要组件。提出一种基于RDF4S语义服务描述模型的服务资源搜索框架,详细说明了该搜索框架的结构。搜索框架根据RDF4S语义服务描述模型的QoS、执行、功能和接口四种语义标注元素类型,分别采用不同的搜索匹配策略,可以很大程度上提高搜索的效率和精度。
- 曾志浩应时曹虹华
- 关键词：语义服务
- 软件网络的多粒度拓扑特性分析及其应用被引量：12
- 2009年
- 随着软件与网络的融合,以网络为基础的软件系统在规模、用户数量、组成单元的交互关系方面都成数量级的增长,成为一类重要的复杂系统,超出了开发人员的理解和控制.文中首先分析软件工程40年来软件开发设计方法学的变迁历程,并给出软件网络的定性描述,提出网络时代软件工程的新观点.然后以eCos开源系统为分析载体,从不同粒度上对网络模型进行拓扑特性分析,结果表明该载体网络在不同粒度上具有自相似的结构特性.最后针对嵌入式系统的本质特性,从节点异质性、局部抱团性和多粒度的网络规模简约3个方面进行实证分析,用以指导嵌入式软件系统的可配置、可裁剪目标,从而达到资源的最小负载.
- 韩言妮李德毅陈桂生
- 关键词：软件网络中心性复杂网络
- 基于层次赋时CPN的网络系统建模与可生存性优化
- 2009年
- 生存性分析是生存性增强的前提条件。针对当前生存性分析方法动态建模和复杂系统建模能力差的缺陷,提出了一种基于层次赋时CPN(HTCP-nets)的系统可生存性分析法,应用建模仿真工具CPN Tools对网络系统的生存环境和服务流程进行建模分析,求得了关键服务请求的平均响应时间、平均服务时间等表征系统生存能力的指标,最后根据分析结果给出了进行系统可生存增强的方法。
- 熊琦王丽娜刘陶杨墨
- 关键词：可生存性
- 基于场景规约的系统行为建模被引量：2
- 2009年
- 提出一种基于场景规约的系统行为建模方法。采用消息序列图描述场景,把场景规约中构件实例之间消息传递的事件序列作为一种显式的场景提取物并给出语义表示,通过场景正样本构造前缀树接受器。此前缀树接受器是一个能接受正样本的最大确定有限自动机,通过合并状态得到商自动机,给出一个状态合并算法。该算法支持交互式增量的场景产生。
- 陈中育缪淮扣
- 关键词：消息序列图
