位置：成果数据库 > 期刊 > 期刊详情页
一组基于PAR的高可靠查找算法程序开发
  • ISSN号：1000-1239
  • 期刊名称：《计算机研究与发展》
  • 时间：0
  • 分类：TP3[自动化与计算机技术—计算机科学与技术]
  • 作者机构：计算机科学国家重点实验室(中国科学院软件研究所), 江西师范大学省高性能计算技术重点实验室, 中国科学院研究生院
  • 相关基金：国家自然科学基金项目(60573080,60773054);科技部国际科技合作计划项目(2008DFA11940)
作者： 石海鹤, 薛锦云
关键词： 查找算法程序, 形式化方法PAR, 可靠性, searching algorithmic program, formal method PAR, reliability
中文摘要：

使用形式化方法PAR,从查找问题的形式化规约出发,使用量词的性质等作为规则,分别施行不同的等价规约变换,开发了一组查找算法程序,并借助PAR平台进一步将其转换成可执行程序,这清晰展示了各算法程序间存在的关系,保证了结果程序的正确性和可靠性,使得算法程序的设计效率得到提高.

英文摘要：

使用形式化方法PAR,从查找问题的形式化规约出发,使用量词的性质等作为规则,分别施行不同的等价规约变换,开发了一组查找算法程序,并借助PAR平台进一步将其转换成可执行程序,这清晰展示了各算法程序间存在的关系,保证了结果程序的正确性和可靠性,使得算法程序的设计效率得到提高.

同期刊论文项目
基于PAR方法和PAR平台的泛型程序设计关键技术研究
期刊论文 39 会议论文 22
基于PAR平台的信息系统应用软件若干共性关键技术研究
期刊论文 36 会议论文 20 获奖 6
同项目期刊论文
组合优化问题简约与算法推演
基于PAR的软件服务外包开发过程应用研究
PAR平台数据库查询优化方案
形式化方法在高中算法教学中的应用研究
A problem reduction based approach to discrete optimization algorithm design
三个经典数学问题的形式化开发
循环不变式开发技术研究
Huffman算法程序的形式化推导
后序遍历二叉树非递归算法的推导及形式化证明
Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs
基于软件体系结构的可复用构件模型
关系代数派生算子语义表达式间等价性证明
软件测试在APLA→JAVA系统中的应用研究
若干算法程序的形式化推导与生成技术研究
泛型编程扩展及其JAVA实现
Formal analysis of cryptographic protocols in a knowledge algorithm logic framework
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic appr
基于形式演算和不变式验证的可信算法程序构造(英文)
基于MSET的框架变化点实例化模式挖掘
一类0-1背包问题算法程序的形式化推导
基于SPEC#的功能性冗余软件开发
基于扩展的构件依赖关系图聚类的体系结构重构策略研究
基于PAR的算法形式化开发
装备维修规划的多目标优化模型和求解算法
并行遗传算法骨架的研究和实现
数据驱动的多Agent装备器材保障决策支持系统
多核集群系统上的混合编程模型研究
XML在并行骨架描述中的应用
调频发射机的Wince驱动设计
Approach of generating parallel programs from parallelized algorithm design strategies
网格编程方法与环境综述
Radl算法到Apla程序的生成系统
AOP及其在状态机工作流中的应用
基于Multi-Agent的装备保障决策支持系统
使用SPEC#开发高可靠性的算法程序
循环不变式开发新策略及其应用
最小生成树算法的PAR方法形式化推导
基于JATLite代理平台的程序设计ICAI的实现
形式化开发若干组合数学问题的算法
Toward a Unified Implementation for Dynamic Programming
Implementation of programming ICAI based on JATLite agent platform
Apla-Java 可重用部件库并行、并发机制的研究
0-1背包问题的一种新解法
Implementing Templated Design Patterns: A Category Theoretic Approach.
关系代数派生算子语义表达式问等价性证明
形式推导支持的递归程序向非递归程序的转换
算法程序变换研究与进展
形式化开发Hanoi塔问题非递归算法
形式化方法Designware、B的比较
算法及其时间复杂度可同步形式化推导的方法
基于Spring框架的轻量级J2EE架构与应用
开发等式比较SQL查询语句的一种模型推理方法
PAR平台从规约出发的算法推导与自动生成
一种自动的形式化验证技术-模型检测
一种形式化开发非递归算法的方法
基于PAR的算法形式化开发
General-Service Ballistic Computer Programming Based on B-Method
基于模式的并行编程环境中任务队列模式的研究与实现
一种基于Java可重用部件库的多核程序开发方法
形式化方法Designware及其规约精化机理
软件模型检测新技术研究
使用SPEC#开发高可靠性的物流信息系统
一种基于Apla-Java可重用部件库的并行(并发)程序开发方法
期刊信息
  • 《计算机研究与发展》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院计算技术研究所
  • 主编：徐志伟
  • 地址：北京市科学院南路6号中科院计算所
  • 邮编：100190
  • 邮箱：crad@ict.ac.cn
  • 电话：010-62620696 62600350
  • 国际标准刊号：ISSN：1000-1239
  • 国内统一刊号：ISSN：11-1777/TP
  • 邮发代号:2-654
  • 获奖情况:
  • 2001-2007百种中国杰出学术期刊，2008中国精品科...,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,荷兰文摘与引文数据库,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:40349