陈剑锋
- 作品数：3 被引量：4H指数：2
- 供职机构：中国科学院成都计算机应用研究所更多>>
- 发文基金：国家重点基础研究发展计划国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于SVG的专用公式编辑工具的设计与实现被引量：2
- 2009年
- 提出了一种基于SVG技术的专业领域公式编辑工具解决方案。使用自定义的公式输入规则、Java图形编程技术和Batik软件包设计并实现了一个应用于交互式马尔可夫链(IMC)的并发系统性能评价系统的公式编辑器。该方案设计完善、操作简单、编辑方便、公式显示效果出色、通用性强,能方便地进行转化以适应于多种专业领域。
- 唐勇吴尽昭陈剑锋
- 关键词：可伸缩矢量图形BATIK
- 基于马尔可夫链的性能检测器的设计与实现被引量：1
- 2010年
- 为了可视化建模和验证并发系统的性能,设计并实现了一个以交互式马尔可夫链为数学原型的性能检测器。对该软件的系统结构、数据结构和功能模块等进行了探讨和设计,并举例验证。该软件采用Java Swing界面编程技术,支持图形化建模系统和撰写逻辑公式,界面友好,易于操作。
- 许振兴吴尽昭陈剑锋
- 关键词：时序逻辑性能检测系统结构
- 基于交互式马尔可夫链的模型检验被引量：2
- 2008年
- 研究了基于交互式马尔可夫链(IMC)的模型检验,IMC是集功能描述和性能刻画为一体的并发系统模型,模型检验是一种自动功能验证与性能评价技术。文中提出的模型检验算法结合了传统的功能验证与性能评价的功能,并且与现有的算法相一致。实验分析表明,该算法具有较高的性能,适用于大型复杂系统的验证和评价。
- 许翔吴尽昭林连南陈剑锋
- 关键词：性能评价
