中国科学技术信息研究所--国家工程技术数字图书馆

[会议] 张亮姚淑珍第十次全国Petri网学术年会暨形式化方法学术讨论会 2005年共 4 页

摘要 : 为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体函数,消息机制,控制变量等,描述了工作流模式中的多实例... 展开

关键词 : Petri网工作流工作流模型变迁入口函数变迁体函数消息机制

2. Coons型分形曲面

[会议] 邱佩璋张廷杰张朋第五届全国计算机应用联合学术会议 1999年5届共 6 页

摘要 : 该文详细讨论了高阶差分方程分形边值问题的解的结构，从而引进Coons型分形曲面片。

关键词 : 高阶差分方程网函数分形曲面

3. 面向对象Petri网生产调度建模

[会议] 臧娈王景华韩江洪吴宗彦全国第18届计算机技术与应用学术会议(CACIS) 2007年共 5 页

摘要 : 针对离散制造业生产调度的特点,选择用面向对象的Petri网为其建模工具,建立了易于扩展的系统模型;选用满足交货期的成本最低原则作为其目标函数,运用最优化方法进行了目标优化。

关键词 : 生产调度 Petri网面向对象目标函数

4. 可拓方法在古文今译中的应用

[会议] 任瑞春刘巍 2005年中国模糊逻辑与计算智能联合学术会议 2005年共 4 页

摘要 : 对于烦琐复杂的古文翻译工作,如何使其变的简捷,高效,准确是一项难题,本文通过可拓学的基本思想,借鉴<知网>的建立,建立了一个古、现代文语义数据库,利用物元变换使该工作在计算机上得以实现.并基于实例证明该理论确为一条切实可行的理论.

关键词 : 物元关联函数语义数据库知网古文翻译

5. Coons型分形曲面

[会议] 邱佩璋张廷杰张朋第一届全国分形图学学术研讨会 1998年共 13 页

摘要 : 该文详细讨论了高阶差分方程分形边值问题的解的结构。从而引进Ｃｏｏｎｓ型分形曲面片。

关键词 : 高阶差分方程网函数 Coons型分形曲面

6. MPI通信函数的增广Petri网模型

[会议] 崔焕庆吴哲辉韩丛英第九届全国Petri网学术年会 2003年9届共 4 页

摘要 : MPI是目前最流行的并行编程消息传递标准之一,它提供了多种点到点通信函数和集群通信函广Petri网模型,有利于解决此问题,并更好地利用它们编写并行程序.

关键词 : Petri网点到点通信集群通信通信函数

7. 基于三角形面积坐标与B网方法的单元构造方法

[会议] 陈娟李崇君第十三届现代数学和力学学术会议（MMM-XIII）暨钱伟长诞辰100周年纪念大会 2012年共 6 页

摘要 : 传统有限元构造四边形单元以及薄板单元主要基于等参单元, 如DKQ 单元是基于Q8 单元.然而,等参单元对网格畸变很敏感, 当单元的畸变加大时, 精度明显变低, 其原因在于完备阶数受到等参变换的影响. 基于三角形面积坐标与研究样条的B网方法, 发展了一套... 展开

关键词 : 四边形单元插值函数 B网方法面积坐标有限元

8. 地质统计学在矿床勘探方面的应用

[会议] 王桂兰盛亚君徐宁第四届全国轻金属冶金学术会议 2001年4届共 6 页

摘要 : 文章以山东淄博"G"层铝土矿为例,以露天矿区地质资料为子样品,以变异函数为工具,探讨了地质统计学在矿床勘探网度方面的应用.

关键词 : 地质统计学矿床勘探网度铝土矿变异函数

9. 一种着色赋时的面向对象Petri网及在自动制造系统中的应用

[会议] 刘心印桂生 2009年全国开放式分布与并行计算学术年会 2009年共 3 页

摘要 : 着色赋时的面向对象Petri网(Colored Timed Object-Oriented Petri Net,CTOPN)是在面向对象Petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是Petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了CTOPN在自动制造... 展开

关键词 : Petri网着色令牌变迁函数自动制造系统着色赋时死锁分析

10. 利用接收函数方法并结合台阵技术研究上海地震台阵网下方地壳、地幔的结构

[会议] 王小平于海英朱元清中国地球物理学会第20届年会 2004年共 1 页

摘要 : 利用远震PS转换波波形提取出的接收函数来研究地震台站下方地壳、上地幔速度间断面结构是有效的方法之一.最近几年,利用SP转换波波形的接收函数为进一步研究地壳、上地幔间断面提高了精度,并出现了利用SKS和Receiver Function来研究地壳、上地幔的各向异性的研究.

关键词 : 接收函数上海地震台阵网地壳结构地幔结构