期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
程序:物理对象上的操作表达式(英文) 被引量：4
1
作者 袁崇义 黄雨 赵文 《计算机科学与探索》 CSCD 2009年第2期144-153,共10页
把赋值语句看作物理对象上的操作时,程序就呈现为物理对象上的操作构成的表达式(简称O表达式)。给出了定义O表达式语法的BNF公式,并用公理规定O表达式的语义。主动式的O表达式以计算最终结果为目的,因而相关公理给出的是施行表达式中操... 把赋值语句看作物理对象上的操作时,程序就呈现为物理对象上的操作构成的表达式(简称O表达式)。给出了定义O表达式语法的BNF公式,并用公理规定O表达式的语义。主动式的O表达式以计算最终结果为目的,因而相关公理给出的是施行表达式中操作以后的变量与施行之前变量之间的准确依赖关系。反应式O表达式要对外来需求作反应。描述反应的公理规定如何反应。有关通讯的公理要求正确的信息被正确的接受者收到。共享变量公理则给出有关共享变量的性质判断。例子用于说明异步顺序O表达式的性质是如何分析的。 展开更多
关键词 程序 物理对象 物理对象上的操作 物理对象上的操作表达式 语义公理
下载PDF
休谟问题的解读与休谟法则的证伪——兼答马永侠、武宏志先生 被引量：2
2
作者 程仲棠 《学术研究》 CSSCI 北大核心 2003年第12期62-68,共7页
进入休谟的道德学体系就不难从休谟问题的黑箱中发现隐藏的体谟法则,即:不可能从“是”推出“应该”。但可以证明,存在着反映社会事实与价值关系的分析命题或语义公理,因而也存在着从“是”推出“应该”的有效推理,即休谟法则的反例,根... 进入休谟的道德学体系就不难从休谟问题的黑箱中发现隐藏的体谟法则,即:不可能从“是”推出“应该”。但可以证明,存在着反映社会事实与价值关系的分析命题或语义公理,因而也存在着从“是”推出“应该”的有效推理,即休谟法则的反例,根据休谟法则的反例可以证伪休谟法则。 展开更多
关键词 休谟问题 休谟法则 语义公理 道德学体系 分析命题
下载PDF
操作表达式的Petri网表示(英文) 被引量：2
3
作者 袁崇义 黄雨 +1 位作者 赵文 黄舒志 《计算机科学与探索》 CSCD 2010年第11期961-976,共16页
程序以操作表达式的形式呈现,而其语义则以公理的形式给出。为帮助理解这些公理并作为实现操作表达式的基础,给出了操作表达式的Petri网表示。传统Petri网的库所(place)概念与程序中变量概念有本质的不同,增加了变量概念的Petri网称为C_... 程序以操作表达式的形式呈现,而其语义则以公理的形式给出。为帮助理解这些公理并作为实现操作表达式的基础,给出了操作表达式的Petri网表示。传统Petri网的库所(place)概念与程序中变量概念有本质的不同,增加了变量概念的Petri网称为C_net。从回顾C_net的基本定义入手,研究操作表达式的网表示。 展开更多
关键词 物理对象 操作表达式 PETRI网 语义公理
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部