您的位置: 专家智库 > >

国家重点基础研究发展计划(2003CCA02800)

作品数:15 被引量:44H指数:5
相关作者:薛锦云揭安全郑宇军胡启敏王昌晶更多>>
相关机构:江西师范大学中国科学院软件研究所江西省高性能计算技术重点实验室更多>>
发文基金:国家重点基础研究发展计划国家自然科学基金江西师范大学青年成长基金更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 15篇期刊文章
  • 4篇会议论文

领域

  • 18篇自动化与计算...
  • 1篇电子电信

主题

  • 6篇形式化
  • 4篇PAR方法
  • 3篇形式化方法
  • 2篇递归
  • 2篇递推
  • 2篇形式化推导
  • 2篇循环不变式
  • 2篇契约
  • 2篇可靠性
  • 2篇高可靠
  • 2篇高可靠性
  • 2篇编程
  • 2篇PAR平台
  • 2篇AUTOMA...
  • 1篇递归程序
  • 1篇递归算法
  • 1篇递推方法
  • 1篇递推关系
  • 1篇电子商务
  • 1篇电子商务协议

机构

  • 11篇江西师范大学
  • 10篇中国科学院软...
  • 1篇南昌大学
  • 1篇江西科技师范...
  • 1篇江西省高性能...

作者

  • 13篇薛锦云
  • 4篇郑宇军
  • 3篇揭安全
  • 3篇王昌晶
  • 2篇石海鹤
  • 2篇万松松
  • 2篇化志章
  • 2篇胡启敏
  • 2篇谢武平
  • 1篇肖美华
  • 1篇刘晓清
  • 1篇杨庆红
  • 1篇王兵
  • 1篇李云清
  • 1篇何首武
  • 1篇钟林辉
  • 1篇万剑怡
  • 1篇李晓英
  • 1篇朱宜炳
  • 1篇李海英

传媒

  • 2篇计算机研究与...
  • 2篇计算机工程与...
  • 2篇计算机工程与...
  • 1篇南昌大学学报...
  • 1篇燕山大学学报
  • 1篇计算机工程
  • 1篇江西师范大学...
  • 1篇微电子学与计...
  • 1篇计算机应用研...
  • 1篇计算机工程与...
  • 1篇The Jo...
  • 1篇计算机技术与...

年份

  • 2篇2010
  • 1篇2009
  • 6篇2008
  • 4篇2007
  • 4篇2006
  • 2篇2005
15 条 记 录,以下是 1-10
排序方式:
ISDGen:An Automated Simulation Data Generation Tool for Object-Oriented Information Systems
Large-scale information systems must be populated with large-scale live data to ensure the testing & simulatio...
Yujun Zheng the Systems Engineering Institute of Engineer Equipment
文献传递
形式推导支持的递归程序向非递归程序的转换被引量:5
2007年
本文提出一种递归消除的方法,适于一类基于递归数据结构的程序。该方法将递归程序作为初始规约,以求解过程的状态变迁序列作迭代模式;通过数据展开和变换实现初始规约向基于序列描述规约的变换,继而用PAR形式推导出序列规约的递推关系,并以之为核心近乎机械地构造出非递归算法。树和图的两个算法实例说明了本方法的有效性。
化志章揭安全李云清薛锦云
关键词:PAR方法
算法及其时间复杂度可同步形式化推导的方法被引量:3
2008年
对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且这两个问题关于时间复杂度的递归方程式也可同步且自然地推导得到。这为开发并验证高效率的算法开辟了一条新途径。
王昌晶薛锦云
关键词:形式化推导时间复杂度
一种基于Java可重用部件库的多核程序开发方法被引量:1
2008年
目前多核软件的发展远滞后于多核硬件的发展,多核程序开发的瓶颈集中在软件上.文中介绍了Apla-Java可重用部件库的设计方法,提出了一种基于该部件库的多核程序开发方法,通过实例说明了该部件能够正确应用于多核程序设计.该方法对提高多核程序开发效率具有积极意义.
揭安全石海鹤薛锦云
关键词:PARAPLA-JAVA可重用部件CMP
使用SPEC#开发高可靠性的算法程序被引量:1
2006年
概要介绍了SPEC#的基本特性;使用SPEC#开发了若干典型的算法程序,利用该语言中的契约机制来形式化地描述前置条件、后置条件、对象不变式等程序规约,从而显著地提高了程序的可读性、可靠性和可维护性,有助于软件自动化水平的提高。
郑宇军马燕薛锦云
关键词:形式化方法契约
Approach of generating parallel programs from parallelized algorithm design strategies被引量:6
2008年
Today, parallel programming is dominated by message passing libraries, such as message passing interface (MPI). This article intends to simplify parallel programming by generating parallel programs from parallelized algorithm design strategies. It uses skeletons to abstract parallelized algorithm design strategies, as well as parallel architectures. Starting from problem specification, an abstract parallel abstract programming language+ (Apla+) program is generated from parallelized algorithm design strategies and problem-specific function definitions. By combining with parallel architectures, implicity of parallelism inside the parallelized algorithm design strategies is exploited. With implementation and transformation, C++ and parallel virtual machine (CPPVM) parallel program is finally generated. Parallelized branch and bound (B&B) algorithm design strategy and parallelized divide and conquer (D & C) algorithm design strategy are studied in this article as examples. And it also illustrates the approach with a case study.
WAN Jian-yi LI Xiao-ying
关键词:并联结构通信技术
基于方面构件模型及其组装与实现被引量:2
2009年
将面向方面编程技术融入传统的基于构件开发方法,提出了一种基于方面的构件模型。同时探讨了基于方面构件的组装策略以及利用XML语言描述组装、编织方面化构件的处理逻辑。新的构件模型采用更加模块化的构件实现方式,从传统构件模型中提取出方面元素,很好地解决了传统的基于构件开发方法中构件间关注点横切所导致系统混乱的问题,提高了构件的可复用性以及软件的开发效率。
谢武平薛锦云万松松
关键词:面向方面编程
PAR平台中结构化需求语言研究
1 引言在软件生存周期的需求、设计、编码、测试和维护等各个阶段中,需求过程处于软件工程的开始部分,它提供了构建软件项目其余部分的根基,因而对于软件项目的成败尤为重要。从众多披露的材料来
王昌晶薛锦云
文献传递
若干算法程序的形式化推导与生成技术研究被引量:7
2008年
PAR方法基于分划与递推、量词变换规则、循环不变式开发新策略和软件转换工具,实现了复杂算法问题的形式化开发.采用PAR方法形式化推导几个典型的算法问题.通过量词变换规则对程序规约进行形式化推导,可以得到具有数学引用透明性、易于形式化证明的求解算法问题的递推关系;并在此基础上,自然地导出循环不变式.在得到简短、易于理解、高可靠性的Apla算法程序之后,通过转换工具自动生成Java,C++等可执行程序.
胡启敏薛锦云
关键词:PAR方法形式化推导递推关系
A High Performance Solution for Automated Computer Examination Systems
In this paper we present an effective and practical approach for developing high-performance,scalable,and mana...
Yujun Zheng 1
文献传递
共2页<12>
聚类工具0