不确定程序语义模型的研究-东篱科研大数据发现系统（DRDS）

位置：立项数据库 > 立项详情页

不确定程序语义模型的研究

项目名称：不确定程序语义模型的研究
项目类别：面上项目
批准号：60273052
申请代码：F020201
项目来源：国家自然科学基金
研究期限：2003-01-01-2005-12-01

项目负责人：陈仪香
负责人职称：教授
依托单位：上海师范大学
批准年度：2002

中文摘要：

程序的不确定性是指一个程序的运行可能会有两种或两种以上的方式，其结果可能一样，也可能不一样，它是软件形式化的一个重要的研究对象，其研究成果对网络计算、并行计算、平行计算以及分布式计算等研究领域有重大的实际意义，本项目主要研究不确定程序的论域语义模型，包括Dijkstra 的谓词转换器模型，经典幂域模型，以及并行计算的概率幂域模型。

中文主题词：不确定性程序；论域语义模型；最弱前置语义；区间值进程演算；证据推理

结论摘要：

英文主题词Non-deterministic programa; Domain theory; Weakest preconditional semantics; Calculus of interval-valued processes; Reasoning of witnesses.

成果综合统计