搜索筛选:
搜索耗时0.0904秒,为你在为你在102,285,761篇论文里面共找到 31 篇相符的论文内容
发布年度:
[期刊论文] 作者：王捍贫,
来源：北京大学学报：自然科学版 年份：1997
设Ｉ是有单位元的环Ｒ的一个理想，ＭＲ是一个Ｒ－模，则ＭＲ也可看作一个Ｉ－模ＭＩ。证明了ＭＲ与ＭＩ之间，模理论的纯性，纯入射性，初等等价，初等嵌入等初等性质都是保持的。......
[期刊论文] 作者：王捍贫,
来源：北京大学学报：自然科学版 年份：1997
将环Ｒ的分式环Ｓ＾－１Ｒ上的模Ｍｓ－１Ｒ“限制”到Ｒ上时，模理论的纯性、纯入射性、初等等价、初等嵌入等模型论都是保持的。还 讨论了（Ｓ＾－１Ｍ）ｓ＾－１Ｒ与ＭＲ之间模型论性质的保持性......
[期刊论文] 作者：王捍贫,
来源：数学进展 年份：1999
本文讨论了将分式环Ｓ＾－１Ｒ上的模归约为Ｒ上模时ｎｏｆｏｒｋｉｎｇ性质的保持性，证明了：Ｌｓ＾－１Ｒ中型ｑ是ｐ的ｎｏｆｏｒｋｉｎｇ扩充当且仅当它们在ＬＲ上的限制ｑＲ的一个ｏｆｏｒｋｉｎｇ扩充，还讨论了分式模Ｓ＾－１Ｍ与Ｍ的ｏｆｏｒｋｉｎｇ性质保持的条件。......
[学位论文] 作者：王捍贫,
来源：北京师范大学 年份：1992
...
[期刊论文] 作者：王捍贫,,
来源：数学学报 年份：2004
本文讨论了将分式环S-1R上的模归约到R上的模时包(hull)、类(class)、界(bound)、秩(rank)的保持性,证明了: 1) NR是A在MR中的包当且仅当NS-1R是A在MS-1R中的包; 2)(X) 3)(X)...
[期刊论文] 作者：王捍贫等,
来源：中国大学教学 年份：2012
摘 要：算法不但是计算机科学与技术专业的核心课程，也是软件工程专业的核心课程。算法知识不仅广泛地用于软件系统的设计与分析中，同时对培养学生分析和解决实际问题的能力具有重要的作用。本文基于北京大学软件与微电子学院的教学实践，对软件工程专业硕士研究生算......
[期刊论文] 作者：王捍贫,张磊,
来源：广州大学学报:自然科学版 年份：2019
在当今信息时代,随着互联网技术的飞速发展,人们需要能够便捷存储和处理大量信息的技术,因而云计算技术得到了广泛的应用.云计算技术有着快速灵活、资源共享、网络连接、按需...
[期刊论文] 作者：王捍贫,张博闻,
来源：广州大学学报:自然科学版 年份：2019
随着计算机系统复杂性的日渐增加,可靠性正成为计算机软件理论中新的研究热点.运用数理逻辑中的推理方法,研究人员可以严格分析和验证计算机程序的正确性.分离逻辑作为一种分...
[期刊论文] 作者：谢惠扬,王捍贫,
来源：安徽师大学报 年份：1996
对的格值模型，取其论域Ａ的幂集Ｓ（Ａ）的一个子集ｑ及Ａ中一组元素，把（Ｑ）中公式Ｑｘ（ｘ，）在（，ｑ）中处的值定义为，则（，ｑ）就构成（Ｑ）的一个格值弱模型．本文对（Ｑ）的格值弱模型证明了紧性致定理。......
[期刊论文] 作者：谢惠扬,王捍贫,
来源：北京大学学报：自然科学版 年份：2001
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上.对有限的线性序弱可补格,讨论了关于L(Q)模型的初等子模型的一些性质,如强升和强降L-S-T定理,初等图像在初...
[期刊论文] 作者：谢惠扬,王捍贫,
来源：大学数学 年份：1995
本文将［１］中（Ｑ）的二值弱模型概念推广到取值于完备弱可补格上．对有限的线性序弱可补格证明了超积基本定理。...
[期刊论文] 作者：王捍贫,谢惠扬,
来源：北京大学学报：自然科学版 年份：1999
将带广义量词Ｑ的一个阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。...
[期刊论文] 作者：王捍贫,谢惠扬,,
来源：北京大学学报(自然科学版) 年份：1999
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理....
[会议论文] 作者：黄雨,袁崇义,王捍贫,
来源：2005年全国理论计算机科学学术年会 年份：2005
在工作流精化模型中,本文加入了工作流过程相关数据的来进一步细化工作流控制模型,用前置条件后置条件来对活动进行简单规格说明,然后提出了用约减的方法来建立约束条件表达...
[期刊论文] 作者：金暐,王捍贫,朱梅霞,
来源：北京大学学报：自然科学版 年份：2012
为了形式化地定义BPEL和BPEL4People的语义，提出了一个π演算的变种——πit演算。相对于传统的π演算，πit演算可以描述中断事件和时间事件，从而拥有更好的建模表达能力。介绍...
[会议论文] 作者：徐春香,黄雨,王捍贫,
来源：2006年全国理论计算机科学学术年会 年份：2006
本文对工作流逻辑模型进行了分析。文章从工作流过程逻辑人手，用向量的形式来表示活动间的逻辑关系，利用迹(变迁序列)理论讨论了工作流的模型性质，并用规约的思想分析了结构的正......
[会议论文] 作者：金暐,王捍贫,曹永知,
来源：2011年全国理论计算机科学学术年会 年份：2011
MARTE是统一建模语言UML的一个实时和嵌入式方面的扩展.本文给出了pi演算的一个带时序的变体来对MARTE顺序图的主要元素进行建模.相对于传统的pi演算来说,时序pi演算中增加了时间算子,可以对时间的流逝和计时器事件进行描述.......
[会议论文] 作者：黄雨,徐春香,王捍贫,
来源：2006年全国理论计算机科学学术年会 年份：2006
本文对工作流过程的Petri网建模方法进行了研究。文章提出了LSID方法,该方法以工作流过程为中心,把过程模型的建立分成逻辑层,语义层,实施层,部署层四个层次来完成,逐渐精化模型,从而达到对工作流过程的全面建模和正确部署。......
[期刊论文] 作者：屈婉玲,王捍贫,段莉华,
来源：中国大学教学 年份：2012
算法不但是计算机科学与技术专业的核心课程，也是软件工程专业的核心课程。算法知识不仅广泛地用于软件系统的设计与分析中，同时对培养学生分析和解决实际问题的能力具有重要的......
[会议论文] 作者：朱梅霞,王捍贫,刘西奎,
来源：2011年中国计算机学会服务计算学术会议(CCF NCSC2011) 年份：2011
本文提出了一种形式化模型—TTS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析。首先给出顺序图的形式定义, 把时间变迁系统(TTS) 扩充...
相关搜索：
