检索结果-维普期刊中文期刊服务平台

程序:物理对象上的操作表达式(英文) 被引量：4: 1; 作者袁崇义黄雨赵文《计算机科学与探索》 CSCD 2009年第2期144-153,共10页; 把赋值语句看作物理对象上的操作时,程序就呈现为物理对象上的操作构成的表达式(简称O表达式)。给出了定义O表达式语法的BNF公式,并用公理规定O表达式的语义。主动式的O表达式以计算最终结果为目的,因而相关公理给出的是施行表达式中操... 展开更多; 关键词程序物理对象物理对象上的操作物理对象上的操作表达式语义公理; 在线阅读下载PDF 职称材料

操作表达式的Petri网表示(英文) 被引量：2: 2; 作者袁崇义黄雨 +1 位作者赵文黄舒志《计算机科学与探索》 CSCD 2010年第11期961-976,共16页; 程序以操作表达式的形式呈现,而其语义则以公理的形式给出。为帮助理解这些公理并作为实现操作表达式的基础,给出了操作表达式的Petri网表示。传统Petri网的库所(place)概念与程序中变量概念有本质的不同,增加了变量概念的Petri网称为C_... 展开更多; 关键词物理对象操作表达式 PETRI网语义公理; 在线阅读下载PDF 职称材料

赋值:物理对象上的操作(英文) 被引量：5: 3; 作者袁崇义《计算机科学与探索》 CSCD 2008年第5期487-499,共13页; 研究了命令式程序的形式语义。赋值被看成当作物理对象的变量上的操作。变量x一方面是个可以容纳数据值的物理对象,另一方面当它出现在数学表达式中时又代表它所容纳的值。作为物理对象,变量x允许它的值用读/写操作来观察或改变,读操作... 展开更多; 关键词赋值命令式程序物理对象物理对象上的操作操作公理公理语义; 在线阅读下载PDF 职称材料

Linux集群环境下面向对象数据库的性能及其仿真研究(英文) 被引量：3: 4; 作者孙功星戴贵亮渡濑芳行《核电子学与探测技术》 CAS CSCD 北大核心 2003年第6期513-517,共5页; 提出了一个廉价的Tier-3区域中心的方案。为了评价Objectivity/DB在这个Tier-3区域中心的性能,建立了一个简单的原形系统,该原形系统能够容易地扩展到一个更大的试用系统。在多个并发作业运行的环境下,对系统和网络性能进行了测试,包括... 展开更多; 关键词面向对象数据库计算机仿真 LINUX 高能物理学操作系统; 在线阅读下载PDF 职称材料

面向对象的XML-RL更新语言的设计与实现: 5; 作者张晓琳战立军谭跃生《计算机应用与软件》 CSCD 北大核心 2008年第7期53-54,73,共3页; XML的迅猛发展使得对XML更新语言的需求进一步地增强,XML更新语言已成为一个新的研究热点。面向对象的XML-RL更新语言的设计支持具有面向对象特征的XML更新。首先介绍面向对象XML-RL更新语言,其次论述了逻辑操作符和物理操作符的设计思... 展开更多; 关键词面向对象的XML-RL 更新语言逻辑操作符物理操作符; 在线阅读下载PDF 职称材料

影响消毒药效果的因素: 6; 作者王飞《畜牧兽医科技信息》 2016年第11期52-52,共1页; 随着我国畜牧业生产集约化程度的不断提高,消毒灭源工作显得越来越重要。消毒工作在防止动物传染病的发生和传播、保护畜牧业的健康发展、保障人民身体健康等方面有着不可替代的作用。但在平时的消毒过程中,有许多因素严重影响着消毒效果。; 关键词消毒法物理消毒消毒对象消毒作用消毒灭源生产集约化动物传染病消毒操作表面消毒煮沸消毒; 在线阅读下载PDF 职称材料

题名程序:物理对象上的操作表达式(英文) 被引量：4: 1; 作者袁崇义黄雨赵文; 机构教育部高可信软件技术重点实验室北京大学信息科学技术学院北京大学软件工程国家工程研究中心; 出处《计算机科学与探索》 CSCD 2009年第2期144-153,共10页; 基金 The National Natural Science Foundation of China under Grant No.60803014,60873061 the National High-TechResearch and Development Plan of China under Grant No.2006AA01Z160 the National ResearchFoundation for Doctoral Program of Higher Education of China under Grant No.200800011017.~~; 文摘把赋值语句看作物理对象上的操作时,程序就呈现为物理对象上的操作构成的表达式(简称O表达式)。给出了定义O表达式语法的BNF公式,并用公理规定O表达式的语义。主动式的O表达式以计算最终结果为目的,因而相关公理给出的是施行表达式中操作以后的变量与施行之前变量之间的准确依赖关系。反应式O表达式要对外来需求作反应。描述反应的公理规定如何反应。有关通讯的公理要求正确的信息被正确的接受者收到。共享变量公理则给出有关共享变量的性质判断。例子用于说明异步顺序O表达式的性质是如何分析的。; 关键词程序物理对象物理对象上的操作物理对象上的操作表达式语义公理; Keywords program physical object operation on physical object expression of operations on physical object semantic axiom; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名操作表达式的Petri网表示(英文) 被引量：2: 2; 作者袁崇义黄雨赵文黄舒志; 机构北京大学教育部高可信软件技术重点实验室北京大学信息科学技术学院北京大学软件工程国家工程研究中心; 出处《计算机科学与探索》 CSCD 2010年第11期961-976,共16页; 基金 The National Natural Science Foundation of China under Grant No.60803014 the National Grand Funda-mental Research973Program of China under Grant No.2010CB328103 +1 种基金 the National Research Foundation for Doctoral Program of Ministry of Education of China under Grant No.200800011017~~; 文摘程序以操作表达式的形式呈现,而其语义则以公理的形式给出。为帮助理解这些公理并作为实现操作表达式的基础,给出了操作表达式的Petri网表示。传统Petri网的库所(place)概念与程序中变量概念有本质的不同,增加了变量概念的Petri网称为C_net。从回顾C_net的基本定义入手,研究操作表达式的网表示。; 关键词物理对象操作表达式 PETRI网语义公理; Keywords physical objects； expressions of operations； Petri net； semantics axiom; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名赋值:物理对象上的操作(英文) 被引量：5: 3; 作者袁崇义; 机构北京大学信息科学技术学院; 出处《计算机科学与探索》 CSCD 2008年第5期487-499,共13页; 基金 the National Grand Fundamental Research 973 Program of China under Grant No.2002CB312004,2002CB312006 the National High-Tech Research and Development Plan of China under Grant No.2006AA04A119,2006AA01Z160~~; 文摘研究了命令式程序的形式语义。赋值被看成当作物理对象的变量上的操作。变量x一方面是个可以容纳数据值的物理对象,另一方面当它出现在数学表达式中时又代表它所容纳的值。作为物理对象,变量x允许它的值用读/写操作来观察或改变,读操作则是写操作的逆操作。事实上赋值就是对物理对象施加写操作。提出了与单变量赋值、多重赋值、顺序赋值及条件赋值等相对应的操作,提出了这些操作应服从的公理,并给出了用这些公理证明程序性质的实例。; 关键词赋值命令式程序物理对象物理对象上的操作操作公理公理语义; Keywords assignment imperative program physical object operation on physical object operation axiom axiom semantics; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名Linux集群环境下面向对象数据库的性能及其仿真研究(英文) 被引量：3: 4; 作者孙功星戴贵亮渡濑芳行; 机构中国科学院高能物理研究所日本文部科学省高能加速器研究机构; 出处《核电子学与探测技术》 CAS CSCD 北大核心 2003年第6期513-517,共5页; 基金中国科学院高能物理研究所创新资金资助(U-512); 文摘提出了一个廉价的Tier-3区域中心的方案。为了评价Objectivity/DB在这个Tier-3区域中心的性能,建立了一个简单的原形系统,该原形系统能够容易地扩展到一个更大的试用系统。在多个并发作业运行的环境下,对系统和网络性能进行了测试,包括系统和网络的有效利用率,并分析了系统的瓶颈。最后,还对在这样的计算系统中运行的Objectivity/DB进行了仿真研究,并将其结果与测试结果进行了比较。; 关键词面向对象数据库计算机仿真 LINUX 高能物理学操作系统; Keywords regional center objectivity/DB Linux, simulation; 分类号 O572 [理学—粒子物理与原子核物理] TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名面向对象的XML-RL更新语言的设计与实现: 5; 作者张晓琳战立军谭跃生; 机构内蒙古科技大学网络中心; 出处《计算机应用与软件》 CSCD 北大核心 2008年第7期53-54,73,共3页; 基金内蒙古自然科学基金资助项目(200508010808); 文摘 XML的迅猛发展使得对XML更新语言的需求进一步地增强,XML更新语言已成为一个新的研究热点。面向对象的XML-RL更新语言的设计支持具有面向对象特征的XML更新。首先介绍面向对象XML-RL更新语言,其次论述了逻辑操作符和物理操作符的设计思想与具体实现算法。; 关键词面向对象的XML-RL 更新语言逻辑操作符物理操作符; Keywords Object-oriented XML-RL Update language Logic operational word Physics operational word; 分类号 TP311.13 [自动化与计算机技术—计算机软件与理论] TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名影响消毒药效果的因素: 6; 作者王飞; 机构江苏省如皋市磨头兽医站; 出处《畜牧兽医科技信息》 2016年第11期52-52,共1页; 文摘随着我国畜牧业生产集约化程度的不断提高,消毒灭源工作显得越来越重要。消毒工作在防止动物传染病的发生和传播、保护畜牧业的健康发展、保障人民身体健康等方面有着不可替代的作用。但在平时的消毒过程中,有许多因素严重影响着消毒效果。; 关键词消毒法物理消毒消毒对象消毒作用消毒灭源生产集约化动物传染病消毒操作表面消毒煮沸消毒; 分类号 S851.36 [农业科学—预防兽医学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	程序:物理对象上的操作表达式(英文)	袁崇义黄雨赵文	《计算机科学与探索》 CSCD	2009	4	在线阅读下载PDF 职称材料
2	操作表达式的Petri网表示(英文)	袁崇义黄雨赵文黄舒志	《计算机科学与探索》 CSCD	2010	2	在线阅读下载PDF 职称材料
3	赋值:物理对象上的操作(英文)	袁崇义	《计算机科学与探索》 CSCD	2008	5	在线阅读下载PDF 职称材料
4	Linux集群环境下面向对象数据库的性能及其仿真研究(英文)	孙功星戴贵亮渡濑芳行	《核电子学与探测技术》 CAS CSCD 北大核心	2003	3	在线阅读下载PDF 职称材料
5	面向对象的XML-RL更新语言的设计与实现	张晓琳战立军谭跃生	《计算机应用与软件》 CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料
6	影响消毒药效果的因素	王飞	《畜牧兽医科技信息》	2016	0	在线阅读下载PDF 职称材料