期刊文献+
共找到188篇文章
< 1 2 10 >
每页显示 20 50 100
Petri 网研究在中国——过去、现在与将来
1
作者 陆维明 《计算机科学》 CSCD 北大核心 1992年第3期23-24,共2页
Petri 网研究与中国计算机学会同步存在与发展。前者始于1962年 Carl Adam Petri的一篇著名论文,后者成立于1962年6月4日,这不能不说是历史的巧合。Petri 网研究三十年有了丰硕成果。每年一次的国际会议已过十二届(91年第十二届年会在... Petri 网研究与中国计算机学会同步存在与发展。前者始于1962年 Carl Adam Petri的一篇著名论文,后者成立于1962年6月4日,这不能不说是历史的巧合。Petri 网研究三十年有了丰硕成果。每年一次的国际会议已过十二届(91年第十二届年会在丹麦阿呼斯召开),每两年一次的国际会议专门讨论 Petri 网与系统性能,已过四届(91年第四届 PNPM 国际会议在澳大利亚墨尔本召开)。国际著名出版社 Spri-nger-Verlag 在其灰皮书系列中(LectureNotes in Computer Science)每年至少出一卷 Petri 网研究专集,称为 Advances 展开更多
关键词 中国计算机学会 系统性能 PETRI 理事会成员 十年 山东矿业学院 分布式系统 学木 交流机会 姓氏笔划
在线阅读 下载PDF
Petri网系统活性的研究 被引量:10
2
作者 陆维明 甄强 《计算机科学》 CSCD 北大核心 1999年第4期1-4,共4页
随着Petri网在平行计算、通讯系统、计算机集成制造系统等领域的广泛应用,在以Petri网为实际系统建立模型之后,人们很关心模型系统各种性质与行为,其中,活性是最关心的性质之一。我们知道Petri网系统是动态系统的静态描述,从它可以很容... 随着Petri网在平行计算、通讯系统、计算机集成制造系统等领域的广泛应用,在以Petri网为实际系统建立模型之后,人们很关心模型系统各种性质与行为,其中,活性是最关心的性质之一。我们知道Petri网系统是动态系统的静态描述,从它可以很容易得到系统的状态转换图,一般称Petri网系统的可达图(系统无界时,得覆盖图)。实质上,可达图是动态系统的动态描述;系统有多少种不同状态(不考虑系统无界时),可达图就有多少个结点;结点间由有向弧连结。 展开更多
关键词 PETRI网系统 活性 可达图 动态系统
在线阅读 下载PDF
格廷根的数学传统 被引量:8
3
作者 袁向东 李文林 《自然科学史研究》 1982年第4期339-348,共10页
格廷根(Gottingen)是德国的一座历史悠久的大学城,在现代科学史上占有重要地位,尤其是格廷根的光辉数学传统,深刻地影响了现代数学的发展。现在本文就格廷根数学传统的形成背景、发展过程、主要特征,以及格廷根数学的衰落,作一初步的、... 格廷根(Gottingen)是德国的一座历史悠久的大学城,在现代科学史上占有重要地位,尤其是格廷根的光辉数学传统,深刻地影响了现代数学的发展。现在本文就格廷根数学传统的形成背景、发展过程、主要特征,以及格廷根数学的衰落,作一初步的、历史的分析。一、十八世纪德国学术一瞥十八世纪的德国,落后的经济、政治与繁荣的文学、艺术和哲学(包括自然哲学)形成了鲜明的对照。历史学家们认为,这种社会状态是由德国资产阶级的特殊状况造成的。当时的德国资产阶级反对封建专制统治,想变革德国的现状,但又缺乏力量和勇气。 展开更多
关键词 数学发展 希尔伯特 十九世纪 数学家 十八世纪 现代数学 应用数学 德国数学 资产阶级 数学研究
在线阅读 下载PDF
基于Petri网语言的并发系统性质研究(英文) 被引量:7
4
作者 蒋昌俊 陆维明 《软件学报》 EI CSCD 北大核心 2001年第4期512-520,共9页
给出 Petri网弱活性 (无死锁 )与活性的两个语言刻画 ,讨论了同步合成 Petri网的语言性质 .基于 Petri网语言 ,给出了判定 Petri网活性的充分必要条件 .同时研究了 Petri网同步合成过程中活性保持问题 ,给出保持活性的充分必要条件 .
关键词 PETRI网 并发系统 活性 同步合成 形式语言
在线阅读 下载PDF
棒球挥击速度的研究 被引量:4
5
作者 孙柏庆 周家颖 +3 位作者 王慧 姚康乐 陈学方 曹岳钟 《西安体育学院学报》 CSSCI 1995年第1期30-34,93,共6页
应用高速动态分析仪对部分运动员挥击速度现状的解析参数进行了研究.得出从启动──中球的挥击时间:斜碰撞时是在棒速下降时进行的.现要求棒的挥击时间在100ms以内,投手球飞行至本垒前3.4m左右时棒开始启挥.
关键词 棒球挥击速度 最高速击球 挥击时间
在线阅读 下载PDF
Petri网研究:机遇与挑战 被引量:10
6
作者 陆维明 林闯 《计算机科学》 CSCD 北大核心 1994年第4期1-5,共5页
本文是文[2]的姐妹篇,以国际动态为背景展示研究工作可以取得成就的方面,也试图就她面临的难点进行建设性的讨论。
关键词 PETRI网 计算机网络
在线阅读 下载PDF
阿拉伯代数方程求解几何方法的比较研究 被引量:4
7
作者 包芳勋 《自然科学史研究》 CSCD 1997年第2期119-129,共11页
代数方程的求解是阿拉伯数学最突出的成就之一。该文主要从比较的角度讨论了阿拉伯代数方程求解的几何方法。几何方法在代数方程求解中的运用在阿拉伯学者那里得到了进一步的发展。考查阿拉伯学者这方面的工作,我们发现其思想发展的两... 代数方程的求解是阿拉伯数学最突出的成就之一。该文主要从比较的角度讨论了阿拉伯代数方程求解的几何方法。几何方法在代数方程求解中的运用在阿拉伯学者那里得到了进一步的发展。考查阿拉伯学者这方面的工作,我们发现其思想发展的两条不同路线:一是以花拉子米为代表明确给出解的代数表述或算法,同时为之提供以"出入相补原理"为基础的几何证明;另一则是以奥马为代表,以二次曲线相交的几何方法为基础寻求代数方程的解。这两条路线有着不同的思想来源,并产生不同的历史影响。以花拉子米为代表的路线,本质上属于中国与印度传统,体现了东方数学的特色,这条路线对文艺复兴时期的数学家的代数方程研究有着不容忽视的影响;以奥马为代表的另一条路线,则明显地是希腊几何代数的延伸。但由于种种原因,这项本来可以推动代数与几何密切结合的重要成就,却随着阿拉伯文化的衰落被忽视,与花拉子米代数的影响形成鲜明对照。 展开更多
关键词 代数方程 几何方法 二次曲线 阿拉伯数学
在线阅读 下载PDF
当前数据库领域的热点研究课题 被引量:2
8
作者 周龙骧 《计算机应用》 CSCD 1996年第2期4-5,共2页
本文介绍国际上最重要的数据库领域的学术会议即国际超大型数据库会议(VLDB),ACM数据库系统原理学术会议(PODS),ACM数据管理国际会议和数据库和专家系统应用国际会议(DEXA)所注目的当前热点课题,并对这些研究方向进行了总结和分析。
关键词 数据库 专家系统 多媒体
在线阅读 下载PDF
数据库管理系统的未来研究方向——从拉古纳海滩到维也纳 被引量:1
9
作者 周龙骧 《计算机科学》 CSCD 北大核心 1994年第6期19-22,共4页
1993年8月在爱尔兰首都都柏林举行了第19届国际超大型数据库会议(VLDB93)。会议的一个特邀报告是M.Stonebfaker所作的“处于十字路口的DBMS研究:维也纳修改意见”。该报告回顾了1988年2月美国加州拉古纳海滩讨论会以来DBMS研究方向的情... 1993年8月在爱尔兰首都都柏林举行了第19届国际超大型数据库会议(VLDB93)。会议的一个特邀报告是M.Stonebfaker所作的“处于十字路口的DBMS研究:维也纳修改意见”。该报告回顾了1988年2月美国加州拉古纳海滩讨论会以来DBMS研究方向的情况和变化,提出了今后最有希望的研究方向和被认为是误导的研究方向。该文表达了一批美、德资深学者对DBMS研究方向的看法,显然对我国学者的研究工作具有重要的参考价值。本文是对该文的综述和评论。 展开更多
关键词 数据库 管理系统 维也纳 拉古纳海
在线阅读 下载PDF
含无序产生式的故事分析文法的研究 被引量:1
10
作者 张松懋 《软件学报》 EI CSCD 北大核心 1994年第1期10-18,共9页
基于故事分析文法的故事理解法是本文作者在其博士论文中提出的一种面向故事深层含义的对语法、语义和语用综合进行理解的形式化方法,故事分析文法是一种高维的上下文有关文法,为了提高它的描述能力和表达范围,本文定义了一种特殊的... 基于故事分析文法的故事理解法是本文作者在其博士论文中提出的一种面向故事深层含义的对语法、语义和语用综合进行理解的形式化方法,故事分析文法是一种高维的上下文有关文法,为了提高它的描述能力和表达范围,本文定义了一种特殊的产生式:无序产生式,并将它引入故事分析文法,讨论了由此带来的对故事分析文法的影响和无序产生式在故事分析文法中的性质,最后给出了含无序产生式的故事分析文法的一个子类文法的语法分析算法. 展开更多
关键词 人工智能 故事理解 语法分析算法
在线阅读 下载PDF
辩论的理论模型及其算法研究
11
作者 赵致琢 《计算机学报》 EI CSCD 北大核心 1992年第5期332-345,共14页
本文研究分布式人工智能背景下的辩论的理论模型及其算法,提出并建立了一个基于命题性知识的辩论的理论框架.在此框架下,我们给出了几个体现不同辩论策略的辩论算法,并对算法的正确性给出了理论证明.本文的研究可为分布式人工智能中多... 本文研究分布式人工智能背景下的辩论的理论模型及其算法,提出并建立了一个基于命题性知识的辩论的理论框架.在此框架下,我们给出了几个体现不同辩论策略的辩论算法,并对算法的正确性给出了理论证明.本文的研究可为分布式人工智能中多专家系统的辩论和意见综合提供参考,进一步的研究可望推进多专家联合系统的实用化进程. 展开更多
关键词 辨论 分布式 人工智能
在线阅读 下载PDF
硬化路面与温度场响应模型研究 被引量:3
12
作者 陈亮 张弘 孟伟 《环境科学研究》 EI CAS CSCD 北大核心 2004年第3期71-74,共4页
硬化路面是城市热环境效应影响因素中较为重要的一个因素。笔者在研究了深圳市城市热效应的基础上,建立了一个三维动态模型对硬化路面条件下的温度场进行模拟。通过将模型的计算结果和在深圳的实测结果进行对比,发现2条曲线吻合较好,模... 硬化路面是城市热环境效应影响因素中较为重要的一个因素。笔者在研究了深圳市城市热效应的基础上,建立了一个三维动态模型对硬化路面条件下的温度场进行模拟。通过将模型的计算结果和在深圳的实测结果进行对比,发现2条曲线吻合较好,模拟结果十分接近实测结果。模型模拟结果还证明了硬化路面由于铺筑的材料具有较大蓄热、导热的能力,而且透水性差,因此温度升降都很快,对城市的热效应贡献大;城市绿化隔离带对城市温度场具有很好的调节作用,因此合理配置城市中的绿地对城市区域微热环境的改善能够起到很好的作用。 展开更多
关键词 热环境效应 地表覆盖 硬化路面 温度场 数值模型
在线阅读 下载PDF
历史上的数学学派──理论初析 被引量:3
13
作者 高嵘 李文林 《自然科学史研究》 CSCD 1998年第3期207-218,共12页
数学学派是数学史研究中的一个重要方面,学派研究为研究数学史提供了一种新的线索和角度。该文系统探讨了数学学派的起源、定义、类型,它的形成条件及特征、功能与影响等,并对数学学派的衰落原因进行了分析,为数学学派提供了一个系... 数学学派是数学史研究中的一个重要方面,学派研究为研究数学史提供了一种新的线索和角度。该文系统探讨了数学学派的起源、定义、类型,它的形成条件及特征、功能与影响等,并对数学学派的衰落原因进行了分析,为数学学派提供了一个系统的理论概括。 展开更多
关键词 数学学派 起源 定义 类型 形成 功能 数学史
在线阅读 下载PDF
城市热效应与热效应模型研究
14
作者 陈亮 张弘 孟伟 《环境科学研究》 EI CAS CSCD 北大核心 2004年第2期65-67,共3页
影响城市热环境的因素有很多,其中地表覆盖类型是热效应影响因素中较为重要的一个。笔者在研究深圳市城市热环境效应的基础之上建立了一个三维动态模型,对硬化路面覆盖条件下的温度场进行模拟,并对该热环境效应模型进行了较为详细的分析。
关键词 热环境效应 硬化路面 温度场 数学模型 地表覆盖
在线阅读 下载PDF
关于知识研究的历史成果之批判与继承
15
作者 金雅芬 《计算机科学》 CSCD 北大核心 1995年第3期20-24,19,共6页
1.知识研究的历史与现状 1.1从哲学领域开始 早在古希腊时期,哲学家就已经开始研究讨有关知识的种种问题了,因此在哲学领域蕴藏着丰富的研究成果,历代哲学家的许多思想,今仍具有重要的参考价值。例如。
关键词 专家系统 知识研究 历史成果 批判 继承
在线阅读 下载PDF
玛雅数学初探 被引量:3
16
作者 李家宏 《自然科学史研究》 CSCD 1997年第4期344-356,共13页
玛雅文明是古代美洲的伟大文明之一,它发祥甚早。玛雅人曾用象形文字留下了反映其在农业、数学、天文、历法和艺术上的成就的大量历史文献。这些成就显示了玛雅人高超的创造力和辉煌灿烂的文化。研究玛雅文化,对认识人类社会和科学技... 玛雅文明是古代美洲的伟大文明之一,它发祥甚早。玛雅人曾用象形文字留下了反映其在农业、数学、天文、历法和艺术上的成就的大量历史文献。这些成就显示了玛雅人高超的创造力和辉煌灿烂的文化。研究玛雅文化,对认识人类社会和科学技术的发展都具有重要意义。本文介绍了玛雅文化的概况,并着重对玛雅数学进行全面的探讨。其内容涉及记数法、进位制、分数概念、计算工具、算术和几何等内容。主要观点有:玛雅的20进制内包含一个10进制的层次;玛雅的“零”,应该叫作“空(位)”;玛雅人有最简单的几个分数概念;玛雅人的计算工具是自然环境中常见的一些实物;玛雅人有进行乘除法运算的能力和证据,玛雅有一些简单的几何图形等。 展开更多
关键词 空位 运算 几何图形 玛雅文化 古代数学
全文增补中
基于领域知识的需求信息获取 被引量:26
17
作者 陆汝钤 金芝 +1 位作者 万荣林 夏幼明 《软件学报》 EI CSCD 北大核心 1996年第3期137-144,共8页
本文提出一种基于领域知识的需求信息获取方法.相应的MIS开发环境PROMIS已成功地应用于多个领域.
关键词 需求说明 管理信息系统 信息获取
在线阅读 下载PDF
基于起伏地表的混合法叠前深度偏移 被引量:17
18
作者 王成祥 赵波 张关泉 《石油地球物理勘探》 EI CSCD 北大核心 2002年第3期219-223,共5页
王成祥 ,赵波 ,张关泉 .基于起伏地表的混合法叠前深度偏移 .石油地球物理勘探 ,2 0 0 2 ,37(3) :2 19~ 2 2 3对于起伏地表条件下的叠前深度偏移 ,克希霍夫积分法可以灵活地处理起伏的地表条件 ,但是对于复杂构造成像的精度较低 ;而波... 王成祥 ,赵波 ,张关泉 .基于起伏地表的混合法叠前深度偏移 .石油地球物理勘探 ,2 0 0 2 ,37(3) :2 19~ 2 2 3对于起伏地表条件下的叠前深度偏移 ,克希霍夫积分法可以灵活地处理起伏的地表条件 ,但是对于复杂构造成像的精度较低 ;而波动方程混合法偏移对复杂构造的成像精度很高 ,但是不易处理起伏的地表条件。本文实现了起伏地表条件下的波动方程混合法叠前深度偏移 ,从而达到既能使复杂构造精确成像 ,又能处理任意起伏地表的目的。从起伏地表开始的叠前深度偏移 ,将地表的高程校正隐含在了偏移本身的过程中 ,且比常规的高程校正更精确 ,因为常规的高程校正仅仅是垂向的静态时移 ,忽略了水平分量 ,而偏移过程中的高程校正则是按照波的实际传播路径来校正的。 展开更多
关键词 混合法 叠前深度偏移 复杂地表 双重复杂性 波动方程 地震勘探
在线阅读 下载PDF
关系网模型——基于社会合作机制的多Agent协作组织方法 被引量:44
19
作者 陈刚 陆汝钤 《计算机研究与发展》 EI CSCD 北大核心 2003年第1期107-114,共8页
在多Agent系统 (MAS)的研究中 ,如何表示Agent之间的相互关系 ,以及有效地组织Agent之间的协作通信机制 ,提高系统的可靠程度、降低整个系统的通信代价和减少资源开销 ,一直是困扰很多MAS研究者的问题 该文主要从研究Agent社会合作机... 在多Agent系统 (MAS)的研究中 ,如何表示Agent之间的相互关系 ,以及有效地组织Agent之间的协作通信机制 ,提高系统的可靠程度、降低整个系统的通信代价和减少资源开销 ,一直是困扰很多MAS研究者的问题 该文主要从研究Agent社会合作机制入手 ,对大规模开放式多Agent系统 (OMAS)环境下的Agent社会组织方法、Agent协作行为表现进行了研究 引入了一个表示Agent之间联系的熟人关系网模型 ,对Agent之间的可信任度关系进行了讨论 ,并分析了Agent熟人关系链上可信任关系的传播机制 。 展开更多
关键词 关系网模型 社会合作机制 多Agent协作组织方法 熟人关系链 可信任度 人工神经
在线阅读 下载PDF
基于元数据和Web Service中间件的分布式资源库集成 被引量:17
20
作者 何清林 杨森 徐泽同 《计算机工程与设计》 CSCD 北大核心 2009年第9期2201-2204,共4页
在分析我国教育资源库建设现状的基础之上,提出了一种基于教育资源元数据集中统一管理的、采用Web Service中间件实现的分布式异构资源库集成方案,并结合分布式教育资源库之间的连接和互操作的实际情况为Web Service中间件设计了9个功... 在分析我国教育资源库建设现状的基础之上,提出了一种基于教育资源元数据集中统一管理的、采用Web Service中间件实现的分布式异构资源库集成方案,并结合分布式教育资源库之间的连接和互操作的实际情况为Web Service中间件设计了9个功能模块及各个模块的工作模式。该方案能够解决异构教育资源库中教育资源的共享问题,可重复利用当前已经建设好的教育资源库,保护已有投资,同时也为用户提供了一个透明的,一站式的访问环境。 展开更多
关键词 元数据 WEB SERVICE 中间件 教育资源库 集成
在线阅读 下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部