位置：立项数据库 > 立项详情页
若干软件新技术及其在PAR平台中的实验研究
  • 项目名称：若干软件新技术及其在PAR平台中的实验研究
  • 项目类别：国际(地区)合作与交流项目
  • 批准号：61020106009
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：薛锦云
  • 依托单位：江西师范大学
  • 批准年度：2010
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 49
  • 7
  • 0
  • 4
  • 3
期刊论文
Unified categorical models for three typical resource allocation problems
Constraint verification of generic algorithmic program for solving general network path problems
Radl形式规格说明相对正确性研究
PAR 平台数据库查询优化方案
基于 PAR 的软件服务外包开发过程应用研究
A Formal Approach to Critical Components in Disaster Management Information Systems
Research on automated sorting algorithms generation based on PAR
基于PAR的软件服务外包开发过程应用研究
PAR平台数据库查询优化方案
SRLtoRadl生成系统及其范畴论语义
Radl算法到Apla程序的生成系统
一类单元赋值语句型循环不变式的开发方法研究
基于BPMN的Web服务并发交互机制
Fuzzy Combinatorial Optimization With Multiple Ranking Criteria:A Staged Tabu Search Faramework，，201
A new particle swarm optimization algorithm for fuzzy optimization of armored vehicle scheme design
基于主从粒子群模型的分布式Agent计算框架
Biogeographic harmony search for emergency air transportation
Emergency railway transportation planning usinga hyperheuristic approach
An Algebraic Approach to Population-Based Evolutionary Algorithm Generation
Apla中泛型约束机制研究
Disaster rescue task scheduling: An evolutionary multiobjective optimization approach.
Water wave optimization: A new nature-inspiredmetaheuristic
Evolutionary optimization for disaster relief operations: A survey
The forgetting mechanism in Dirichlet reputation system
Apla语言中并发分布式机制的研究
基于PAR的排序算法自动生成研究
Rescue Wings: Mobile Computing and Active ServicesSupport for Disaster Rescue
Transaction在PAR平台中的实现方法及应用研究
软件形式化开发关键部件选取的水波优化方法
多Agent 主从粒子群分布式计算框架
基于形式演算和不变式验证的可信算法程序构造(英文)
在建模语言Apla中实现多媒体数据库应用的方法研究
Apla→Java程序生成系统中泛型机制实现方法研究
会议论文
An approach of verifying service composition based on Hierarchical Timed Automata
Formal Semantics of Orc Based on TLA(+)
Research on a new abstract programming language for generic constraints
Researchon Formal Development ofNon-recursive Algorithms of Graph Search
An approach of verifying service composition based on Hierarchical Timed Automata
A generative approach to searching algorithmic programs development
A reputation model based on hierarchical bayesian estimation for Web services
获奖
XXXX精益维修管理工程建设
Emergency scheduling of engineering rescue tasks in disaster reliefoperations and its application in China
XXXX精益维修管理工程建设
Emergency scheduling of engineering rescue tasks in disaster reliefoperations and its application in China
著作
FormalAspects of component software, The 10thInternational Symposium,FACS2013, Nanchang, China October 27-29, 2013, Revised Selected Papers
算法设计
装备保障智能优化决策方法与应用
薛锦云的项目
计算机科学和软件新技术
分划递推法应用于高可靠Java程序开发方法研究
期刊论文 2
部分实现理论及其在算法形式推导和证明中的应用
期刊论文 1
基于PAR方法的算法设计形式化和自动化研究
期刊论文 23 著作 17
若干新的算法程序设计和证明方法研究
期刊论文 8 获奖 6
实用的软件形式化方法及其开发工具研究
期刊论文 2
基于PAR平台的信息系统应用软件若干共性关键技术研究
期刊论文 36 会议论文 20 获奖 6
第十届构件化软件形式化方法国际研讨会及相关前沿技术讲习班
高可靠软件建模语言及模型自动转换方法研究
期刊论文 9
新概念循环不变式及其自动探测技术研究
期刊论文 4
基于PAR方法和PAR平台的泛型程序设计关键技术研究
期刊论文 39 会议论文 22