搜索筛选:
搜索耗时1.8383秒,为你在为你在102,285,761篇论文里面共找到 54 篇相符的论文内容
发布年度:
[期刊论文] 作者：王生原,,
来源：榆林科技 年份：2012
1.立枯病1.1症状立枯病也叫猝倒病,是一种世界性病害,我国各地普遍发生。病害多在4～6月发生,根据发生的不同时期有4种症状:种芽腐烂型;茎叶腐烂型;幼苗猝倒型;苗木立枯型。此...
[期刊论文] 作者：杨萍, 王生原,,
来源：计算机科学 年份：2019
同步数据流语言(如Lustre,Signal)近年来在航空、高铁、核电等安全关键领域得到了广泛应用,因此与这类语言相关的开发工具本身的安全性问题受到高度关注.同步数据流语言到串...
[期刊论文] 作者：王生原,杨萍,
来源：兰州大学学报：自然科学版 年份：1996
Ｔｒａｃｅ模型是定义并发进程指称语义的基本方法之一，在Ｔｒａｃｅ模型的基础，为获得更广泛的表达能力，通过进程指称论域的各种变化，派生出了一系列的语义模型，并对于这些模型进行了综述。......
[期刊论文] 作者：杨萍,王生原,
来源：计算机科学 年份：2020
CompCert是著名的C语言可信编译器,是经过形式化验证的编译器的杰出代表,近年来被广泛应用于学术界和工业界的许多研发工作中。CompCert编译器的当前版本支持多种目标机结构...
[期刊论文] 作者：王生原,杨萍,
来源：兰州大学学报：自然科学版 年份：1995
本文定义了一种描述分布式数据系统并发事务行为的操作模型，以此为基础讨论了并发事务的调度，并享模式的Ｌｏｃｋｉｎｇ机制，死锁等问题。...
[期刊论文] 作者：杨萍,王生原,
来源：计算机应用与软件 年份：1996
ROFD是我们为兰州炼油化工总厂开发的一个用于大型转机故障诊断的专家系统。本文介绍了ROFD的系统结构、知识表示及推理机制,并对其特点作了简要评论。...
[期刊论文] 作者：杨萍, 王生原,
来源：计算机科学 年份：2005
本文是关于多目标编译系统构造的目标机体系结构描述的一个综述.主要涉及的话题:机器描述应当描述什么和描述语言的设计原则,现行的体系结构描述语言的状况及分类,一个典型的...
[会议论文] 作者：蔡表砂,王生原,
来源：全国软件理论与计算理论第三次学术会 年份：1987
...
[期刊论文] 作者：张铎,王生原,董渊,
来源：计算机工程 年份：2010
基于开源高性能编译器Open64，以PowerPC嵌入式处理器为例，开展重定向关键问题研究和代码实现，自主开发完成一款具有工业产品水准的高性能开源编译器后端。gcc—c．torture和SPEC20...
[期刊论文] 作者：王生原,杨良怀,等,
来源：软件学报 年份：2002
如果不考虑继承性，并发性与对象技术的结合是很自然的，继承反常（又称继承异常）现象是继承性和并发性不相容的主要原因之一，现阶段人们对继承反常现象的认识有许多模糊之外，出发点不......
[期刊论文] 作者：闫鑫,王庆生,王生原,
来源：太原理工大学学报 年份：2014
为了达到经过形式化验证分区操作系统内核隔离性质的目标,采取形式化方法描述系统的顶层规范设计中描述隔离性质需求,通过将航空电子应用软件标准接口ARINC653与GWV定理相结...
[期刊论文] 作者：袁崇义,余鹏,王生原,
来源：系统仿真学报 年份：2003
许多程序模型是以数学或逻辑为基础设计并分析的,但程序模型的实现首先是个物理系统,它依物理规律,而非数学或逻辑规则活动。但人们习惯于用状态序列对并列程序模型的语义作数学处理。一旦偏序的状态空间用交叉的方法全序化,并用于论证程序性质,误导就在所难免......
[期刊论文] 作者：喻坚,王生原,袁崇义,
来源：计算机科学技术学报(英文版) 年份：2002
This paper presents a concurrent object-oriented modeling language based on Petri nets: OMNets, which helps greatly to avoid the inheritance anomaly problem app...
[期刊论文] 作者：李凌,李璜华,王生原,
来源：计算机科学 年份：2020
Jourdan等在其2012年发表的论文“Validating LR(1)Parsers”中提出了一种形式化验证语法分析器的方法,并将其成功地应用于CompCert编译器(2.3以上版本)的语法分析器验证中。...
[期刊论文] 作者：王生原,董渊,张素琴,
来源：计算机教育 年份：2009
在“编译原理”课程的教学中，实验项目是十分关键的部分。Decaf／Mind项目是近几年清华大学计算机系本科生“编译原理”课程的主体实验项目，在该项目中，学生在实验框架基础上，针对......
[期刊论文] 作者：董渊,王生原,张素琴,
来源：计算机教育 年份：2009
“编译原理专题训练”是清华大学为计算机科学与技术系本科生开设的实践类限选课，旨在提高学生的实践能力。课程首次将开放源代码软件GCC和Open64作为实验框架引入实践教学，引...
[期刊论文] 作者：梅佳,王生原,伍华健,,
来源：小型微型计算机系统 年份：2014
实时系统已经广泛应用于人们工作生活中的各个领域,通常要求具有很高的可靠性,采用形式化方法对实时系统建模并验证是构建可信实时系统的重要手段.现有的实时系统大多是由组...
[期刊论文] 作者：梁英毅,王生原,董渊,,
来源：中国科学:信息科学 年份：2010
随着片上多处理器/多核技术的不断发展,采用机器级语言的并发程序(低级并发程序)有了更加广阔的应用前景.然而,低级并发程序的验证问题也成为程序语言领域一种新的挑战.并发...
[期刊论文] 作者：王生原,杨萍,田存生,
来源：兰州大学学报 年份：1995
ＢＳＰ（ＢｒｏａｄｃａｓｔｉｎｇＳｅｑｕｅｎｔｉａｌＰｒｏｃｅｓｓｅｓ）是一种带有广播原语的分布式语言，能很好地支持分布式系统中的消息传递。本文强调了ＢＳＰ在分布式系统协议规范方面的应用，并完成了对ＯＳＩ参考模型的网络协议以及数据库并发控制的ｔｉｍｅｓｔａｍｐ协议的......
[期刊论文] 作者：谢江宏,李雪梅,王生原,,
来源：信息化纵横 年份：2009
研究多元统计分析的理论,利用主成分分析和聚类分析的方法对区域经济指标体系进行分析和综合,找出实质体的数量特征和内在统计规律性。通过实际的历史数据进行演算,证实与当...
相关搜索：
