期刊文献+
共找到112篇文章
< 1 2 6 >
每页显示 20 50 100
Petri网语言的Pumping引理 被引量:13
1
作者 蒋昌俊 刘关俊 《计算机学报》 EI CSCD 北大核心 2006年第2期274-278,共5页
Petri网语言是Petri网理论的重要组成部分,也是系统行为分析的一种重要的工具.Petri网语言的Pumping引理反映了Petri网语言的共性,可用来证明某些语言不是Petri网语言.已经证明,当一个Petri网语言可被某个有界Petri网产生时,此语言是正... Petri网语言是Petri网理论的重要组成部分,也是系统行为分析的一种重要的工具.Petri网语言的Pumping引理反映了Petri网语言的共性,可用来证明某些语言不是Petri网语言.已经证明,当一个Petri网语言可被某个有界Petri网产生时,此语言是正规语言,因此,正规语言的Pumping引理对此语言是有效的,但正规语言的Pumping引理并不适用于所有的Petri网语言.文中给出了一种Petri网语言的Pumping引理,证明其对任意无空标注的Petri网语言都有效,并且正规语言的Pumping引理是此引理的一种特殊形式.利用此Pumping引理可以证明某些语言是不能由Petri网产生的. 展开更多
关键词 PETRI网 语言 正规语言 pumping引理
在线阅读 下载PDF
Pumping引理的Petri网描述──Petri网语言属型的一组判定条件 被引量:33
2
作者 吴哲辉 《计算机学报》 EI CSCD 北大核心 1994年第11期852-858,共7页
本文通过Pumping引理在Petri网的变迁节引发序列中的反映,揭示了对应的Petri网结构内涵,从而给出了判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件.这样,就可以从网的结构直接判断... 本文通过Pumping引理在Petri网的变迁节引发序列中的反映,揭示了对应的Petri网结构内涵,从而给出了判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件.这样,就可以从网的结构直接判断其语言属型. 展开更多
关键词 形式语言 pumping引理 PETRI网 PETRI网语言
在线阅读 下载PDF
上下文无关Petri网语言的Pumping引理 被引量:3
3
作者 张继军 吴哲辉 《小型微型计算机系统》 CSCD 北大核心 2008年第4期698-702,共5页
Petri网语言可分为正规Petri网语言、上下文无关Petri网语言和Petri网语言三类,Pumping引理反映了一类语言的共性.对于正规Petri网语言类和Petri网语言类都已给出了其相应的Pumping引理,而对于上下文无关Petri网语言类的Pumping引理却... Petri网语言可分为正规Petri网语言、上下文无关Petri网语言和Petri网语言三类,Pumping引理反映了一类语言的共性.对于正规Petri网语言类和Petri网语言类都已给出了其相应的Pumping引理,而对于上下文无关Petri网语言类的Pumping引理却一直未给出.本文通过分析上下文无关Petri网语言的结构性质,给出了上下文无关Petri网语言的Pumping引理,并且正规Petri网语言的Pumping引理是上下文无关Petri网语言的Pumping引理的一种特殊形式,而上下文无关Petri网语言的Pump-ing引理又是Petri网语言Pumping引理的一种特殊形式,从而完整地解决了三类Petri网语言Pumping引理以及它们之间的关系. 展开更多
关键词 pumping引理 语言 PETRI网 上下文无关语言
在线阅读 下载PDF
Development and Application of a Shaft-type Tubular Pumping System with a Siphon Discharge Passage 被引量:7
4
作者 ZHANG Ren-tian ZHU Hong-geng DAI Long-yang 《南水北调与水利科技》 CAS CSCD 北大核心 2013年第1期J0001-J0006,共6页
Based on the characteristics of large flow rate , low head , short annual operation time , and high reliability of the city flood-control pumping stations , a new-type shaft tubular pumping system featuring a shaft su... Based on the characteristics of large flow rate , low head , short annual operation time , and high reliability of the city flood-control pumping stations , a new-type shaft tubular pumping system featuring a shaft suction box and a siphon-type discharge passage with a vacuum breaker as the cutoff device was developed , which possesses such advantages as simple structure , reliable cutoff , and high energy performance.Taking some pumping stations as the case studies , in the light of the specified operation conditions , the hydraulic optimal design of the shaft-type tubular pumping system was determined and the optimized shape of the system was recommended.The performance prediction based on the computational fluid dynamics methodology was determined and the model test verification was conducted.The results show that the predicted data agree with the experimental head and efficiency so that both methods can be used to determine the performance of a real pumping station.Finally , the in-situ measurements of a pumping station during the commissioning period further verified that the shaft-type tubular pumping station with a siphon discharge passage is of higher efficiency , more reliable and stable. 展开更多
关键词 shaft-type tubular pumping station siphon discharge passage development application hydraulic optimal design model test
在线阅读 下载PDF
Dynamic simulation and efficiency analysis of beam pumping system 被引量:3
5
作者 邢明明 董世民 +2 位作者 童志雄 田然凤 陈慧玲 《Journal of Central South University》 SCIE EI CAS CSCD 2015年第9期3367-3379,共13页
An improved whole model of beam pumping system was built. In the detail, for surface transmission system(STS), a new mathematical model was established considering the influence of some factors on the STS's torsio... An improved whole model of beam pumping system was built. In the detail, for surface transmission system(STS), a new mathematical model was established considering the influence of some factors on the STS's torsional vibration, such as the time variation characteristic of equivalent stiffness of belt and equivalent rotational inertia of crank. For the sucker rod string(SRS), an improved mathematical model was built considering the influence of some parameters on the SRS's longitudinal vibration, such as the nonlinear friction of plunger, hydraulic loss of pump and clearance leakage. The dynamic response and system efficiency of whole system were analyzed. The results show that there is a jumping phenomenon in the amplitude frequency curve, and the system efficiency is sensitive to motor power, pump diameter, stroke number, ratio of gas and oil, and submergence depth. The simulation results have important significance for improving the efficiency of beam pumping system. 展开更多
关键词 beam pumping system surface transmission system(STS) sucker rod string(SRS) system efficiency dynamic simulation
在线阅读 下载PDF
Effect of pumping chamber on performance of non-overload centrifugal pump 被引量:2
6
作者 谷云庆 牟介刚 +5 位作者 代东顺 郑水华 吴登昊 蒋兰芳 施瀚昱 WANG Evan 《Journal of Central South University》 SCIE EI CAS CSCD 2015年第8期2989-2997,共9页
In order to specify the characteristics of un-overloaded centrifugal pumps, the IH100-65-200 pump was chosen as the model pump. Different calculation models for centrifugal pumps were established under different pumpi... In order to specify the characteristics of un-overloaded centrifugal pumps, the IH100-65-200 pump was chosen as the model pump. Different calculation models for centrifugal pumps were established under different pumping chamber sectional parameters. In the numerical simulation of the centrifugal pumps flow field, the shaft power, head, efficiency, and the changes of the internal flow field under different sectional areas and sectional shapes were studied with the RNG k-ε turbulence model, and the influence of the pumping chamber section characteristics of the non-overloaded centrifugal pumps were analyzed. The results show that sectional areas have a significant impact on the non-overload characteristics of centrifugal pumps. The shaft power and head of centrifugal pump are increasing with a lager sectional area, by which the gradient of head curves decreases. The efficiency is improved under a large flow rate condition, but the head and the efficiency are reduced at a small flow rate. It is also observed that the sectional shapes have less influence on the shaft power, the hydraulic performance and flow field characteristics of a centrifugal pump. 展开更多
关键词 centrifugal pumps sectional area sectional shape non-overload characteristics numerical simulation
在线阅读 下载PDF
Concurrent implantation of intra-aortic balloon pumping with extracorporeal membrane oxygenation improved survival of patients with postcardiotomy cardiogenic shock 被引量:1
7
作者 Kai Chen Hanwei Tang +1 位作者 Jianfeng Hou Shengshou Hu 《中国循环杂志》 CSCD 北大核心 2018年第S01期148-148,共1页
Background Extra-corporeal membranous oxygenation (ECMO)and intra-aortic balloon pumping (IABP) are widely used in patients with severe circulatory failure. The decision to initiate ECMO and IABP on optimal occasion i... Background Extra-corporeal membranous oxygenation (ECMO)and intra-aortic balloon pumping (IABP) are widely used in patients with severe circulatory failure. The decision to initiate ECMO and IABP on optimal occasion in postcardiotomy cardiogenic shock (PCS) remains controversial in the absence of guidelines. 展开更多
关键词 Extra-corporeal MEMBRANOUS OXYGENATION intra-aortic BALLOON pumping postcardiotomy CARDIOGENIC shock
在线阅读 下载PDF
Determination of Aquifer Parameters by Numerical Model Based on the Large Scale-Pumping Test:A Case Study in Yanqi Basin
8
作者 Jin Gao,Xinguang Dong 1.College of Resources and Environment Science,Xinjiang University,rümqi,China. 2.Xinjiang Water Resources Bureau,rümqi,China 《地学前缘》 EI CAS CSCD 北大核心 2009年第S1期21-21,共1页
The determination of aquifer parameters is the basis for groundwater resource evaluation,development and protection as well as scientific management. Pumping test is a main method to determine the aquifer parameters.H... The determination of aquifer parameters is the basis for groundwater resource evaluation,development and protection as well as scientific management. Pumping test is a main method to determine the aquifer parameters.However,the analytic methods can’t be used to describe the heterogeneous and spatial variant of the parameters in detail.The aquifer parameters derived from analytic methods may lead much uncertainty of groundwater resource evaluation. 展开更多
关键词 pumping test PARAMETERS NUMERICAL MODELING INVERSION MODELING
在线阅读 下载PDF
8^(th) INTERNATIONAL SYMPOSIUM ON PUMPING MACHINERY
9
《排灌机械工程学报》 EI 北大核心 2014年第9期732-732,829,共2页
KSME/ASME/JSME AJK2015 FLUIDS ENGINEERING SUMMER MEETING July 26 to 31,2015 Seoul,KOREA PURPOSE At KSME/ASME/JSME’s AJK2015,the 8th INTERNATIONAL SYMPOSIUM ON PUMPING MACHINERY provides an opportunity for a series of... KSME/ASME/JSME AJK2015 FLUIDS ENGINEERING SUMMER MEETING July 26 to 31,2015 Seoul,KOREA PURPOSE At KSME/ASME/JSME’s AJK2015,the 8th INTERNATIONAL SYMPOSIUM ON PUMPING MACHINERY provides an opportunity for a series of papers on all aspects of pumping and pumping machinery from research and development 展开更多
关键词 pumping ASME OPPORTUNITY SEOUL MACHINERY SUBMISSION encourage acceptance hydraulic completed
在线阅读 下载PDF
Three-dimensional CFD simulation of inlet structure flow in pumping station based on Eulerian solid- liquid two-phase flow model
10
作者 Mi Zihao Zhou Daqing Mao Yuanting 《排灌机械工程学报》 EI CSCD 北大核心 2015年第6期494-498,共5页
Sediment deposition in the pumping station has a huge negative impact on unit operation.The three-dimensional CFD method has been used to simulate inlet structure flow in pumping station based on the Eulerian solid- l... Sediment deposition in the pumping station has a huge negative impact on unit operation.The three-dimensional CFD method has been used to simulate inlet structure flow in pumping station based on the Eulerian solid- liquid two-phase flow model. The numerical results of the preliminary scheme show that sediment deposition occurs in the forebay of pumping station because of poor flow pattern therein. In order to improve hydraulic configuration in the forebay,one modified measure reconstructs water diversion weir shape,and another measure sets a water retaining sill in the approach channel. The simulation results of the modified scheme prove that back flow in the forebay has been eliminated and the sediment deposition region has also been reduced. 展开更多
关键词 pumping station FOREBAY sediment deposition Eulerian two-phase flow model
在线阅读 下载PDF
Design of Rotary Vane Pump Based on Numerical Simulation and Performance Research
11
作者 REN Zheng SONG Qiao-le 《印刷与数字媒体技术研究》 北大核心 2025年第5期286-291,共6页
In the printing industry,vacuum pumps play a critical role in sheet feeding and gripping processes.In order to improve the efficiency of vacuum pumps,By analyzing the internal flow field of the vane type vacuum pump,t... In the printing industry,vacuum pumps play a critical role in sheet feeding and gripping processes.In order to improve the efficiency of vacuum pumps,By analyzing the internal flow field of the vane type vacuum pump,the CFD method was used to simulate the internal flow field of the air pump,and it was found that a main vortex was formed near the rotor of the trailing blade.Based on this observation,a new rotor shape design was proposed in this study,which design places arc-shaped depressed on the circumference of the rotor where the main vortex forms.The existence of the depression facilitated forward motion of the main airflow and thus effectively restricting reverse flow.Simulation results demonstrated that the proposed design is able to decrease pressure-induced torque load on the pump,and the reduction increases for an increasing operating speed.For all three operating speeds tested,the reduction in pressure-induced torque ranges from 5%to up to 10%comparing to the original pump. 展开更多
关键词 Rotary vane pump CFD Novel design Mechanical efficiency Vacuum pump
在线阅读 下载PDF
稠密相对正则语言的一些性质 被引量:7
12
作者 黄磊 喻厚义 谷伟平 《西南大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第8期49-51,共3页
主要讨论了稠密相对正则语言的一些性质.相对于正则语言的pumping引理,给出了稠密相对正则语言的类似结论.继而证明了稠密相对正则语言都含有本原字.最后给出了稠密相对正则语言和极大码的一些联系.
关键词 稠密相对正则语言 pumping引理 本原字 极大码
在线阅读 下载PDF
两种填充型双电渗泵的制作与流量控制 被引量:4
13
作者 尤慧艳 郭明 +2 位作者 张丽华 张维冰 张玉奎 《色谱》 CAS CSCD 北大核心 2007年第3期435-436,共2页
自制了同柱双电渗泵和异柱双电渗泵,考察了这两种填充型双电渗泵的泵流速及流量与驱动电压的关系,并将其与填充型单电渗泵进行了比较,说明了其优势。
关键词 填充柱(packed column) 双电渗泵(double ELECTROOSMOTIC pump) 微流(microflow)
在线阅读 下载PDF
不同经营模式的抽水蓄能电站并网经济性分析 被引量:6
14
作者 胡斌奇 王江波 +4 位作者 成涛 张文磊 梁榕珊 王晶晶 曾鸣 《水电能源科学》 北大核心 2010年第10期131-133,共3页
分析了抽水蓄能电站在租赁和电价两种经营模式下的特性,阐述了两种不同模式下电站并网的电网收益及其研究模型,并以黑麋峰抽水蓄能电站为例,分析了并网对电网经济性的影响,为电站经营模式的决策提供了参考。
关键词 电站经营模式 抽水蓄能电站 并网 经济性分析 BUSINESS Model Different PUMPED Storage Power STATION Analysis 研究模型 电网 租赁 收益 决策 电价
在线阅读 下载PDF
可交换上下文无关文法 被引量:2
15
作者 张继军 吴哲辉 《计算机科学》 CSCD 北大核心 2007年第7期254-256,共3页
本文提出了可交换上下文无关文法及其该文法产生的语言——可交换上下文无关语言,证明了正规语言类是可交换上下文无关语言类的一个子集,而可交换上下文无关语言类是上下文无关语言类的一个子集;讨论了可交换上下文无关语言的结构特点,... 本文提出了可交换上下文无关文法及其该文法产生的语言——可交换上下文无关语言,证明了正规语言类是可交换上下文无关语言类的一个子集,而可交换上下文无关语言类是上下文无关语言类的一个子集;讨论了可交换上下文无关语言的结构特点,并给出了可交换上下文无关语言的Pumping引理。 展开更多
关键词 可交换上下文无关文法 可交换上下文无关语言 pumping引理
在线阅读 下载PDF
带DA阀的A4V液压泵的控制原理分析与应用 被引量:10
16
作者 梁贵萍 何晓晖 《机械设计与制造》 北大核心 2010年第12期105-107,共3页
通过对带DA阀的A4V液压泵的控制原理进行系统分析,论证了其利用DA阀的自动调节作用,始终保持液压泵扭矩与发动机的输出扭矩的最佳匹配,防止了机械系统发动机因负载过大而熄火,并提高了使用效率,同时也减轻操作者的心理负担。带DA阀的A4... 通过对带DA阀的A4V液压泵的控制原理进行系统分析,论证了其利用DA阀的自动调节作用,始终保持液压泵扭矩与发动机的输出扭矩的最佳匹配,防止了机械系统发动机因负载过大而熄火,并提高了使用效率,同时也减轻操作者的心理负担。带DA阀的A4V液压泵在机械行业必将得到越来越广泛应用。 展开更多
关键词 液压泵 控制原理 原理分析 hydraulic PUMP control PRINCIPLE application 发动机 最佳匹配 心理负担 系统分析 输出扭矩 始终保持 使用效率 机械行业 机械系统 调节作用 操作者 自动 熄火 负载
在线阅读 下载PDF
多级离心泵内部流场数值模拟与节能技术研究 被引量:14
17
作者 程云章 张伟国 +1 位作者 骆宾海 吴文权 《水电能源科学》 北大核心 2010年第10期115-117,共3页
采用计算流体力学数值模拟Flunet 6.3.26分析软件,选取标准κ-ε湍流模型和SIMPLE算法模拟了D450-60×7型多级离心泵节能优化前后泵内流道三维湍流数值,并对比分析了采集实际工况运行数据。结果表明,优化后的多级离心泵叶轮和导叶... 采用计算流体力学数值模拟Flunet 6.3.26分析软件,选取标准κ-ε湍流模型和SIMPLE算法模拟了D450-60×7型多级离心泵节能优化前后泵内流道三维湍流数值,并对比分析了采集实际工况运行数据。结果表明,优化后的多级离心泵叶轮和导叶内部流场分布更趋均匀合理、效率高、节约能源,与实际吻合,并验证了该软件的有效性,为改型优化提供了理论依据。 展开更多
关键词 多级离心泵 流场数值模拟 节能技术研究 Technology Energy SAVING Centrifugal Pump Flow Numerical Simulation 计算流体力学数值模拟 节能优化 离心泵叶轮 SIMPLE算法 运行数据 选取标准 湍流模型 三维湍流 分析软件 流场分布 理论依据 节约能源
在线阅读 下载PDF
上下文无关语言的可重复序列及其性质 被引量:1
18
作者 张继军 范昊 《小型微型计算机系统》 CSCD 北大核心 2010年第6期1226-1230,共5页
通过分析下推自动机的运行规律和特点,提出上下文无关语言的可重复序列的概念,将其划分为平衡重复序列、增重复序列、减重复序列三类;研究了这三类可重复序列在下推自动机的状态转换图中的结构表现和性质,通过分析下推自动机状态转换图... 通过分析下推自动机的运行规律和特点,提出上下文无关语言的可重复序列的概念,将其划分为平衡重复序列、增重复序列、减重复序列三类;研究了这三类可重复序列在下推自动机的状态转换图中的结构表现和性质,通过分析下推自动机状态转换图中标注回路与可重复序列之间的关系,给出求解可重复序列的计算方法;证明了不同类型的可重复序列对上下文无关语言性质的影响,利用可重复序列揭示了上下文无关语言的Pumping引理的本质特征,并给出正规语言判定的一个充分必要条件. 展开更多
关键词 可重复序列 pumping引理 状态转换图 上下文无关语言
在线阅读 下载PDF
隔膜泵动力端虚拟样机的计算机仿真研究与验证(英文) 被引量:1
19
作者 程志铭 闫波 赵小飞 《机床与液压》 北大核心 2015年第24期101-105,120,共6页
采用Pro/e软件进行隔膜泵动力端-曲柄滑块机构的三维建模,利用机械系统动力学仿真软件ADAMS构建虚拟样机,通过样机仿真确定隔膜泵曲柄滑块机构的运动学和动力学参数,为隔膜泵动力端的设计打下基础。
关键词 PRO/E modeling DIAPHRAGM pump Virtual prototype Dynamic simulation
在线阅读 下载PDF
江水源热泵系统温排水对江水水温及水质的影响 被引量:10
20
作者 黄向阳 谢磊 《水电能源科学》 北大核心 2010年第7期34-36,共3页
针对江水源热泵系统取水量大可能对江水水质产生影响的问题,以嘉陵江重庆主城段水体为研究对象,采用物理模拟的方法对江水源热泵系统温排水进行了系统的试验研究.结果表明,温排水对排放口近水域水温和水质均有一定程度的影响.在模拟大... 针对江水源热泵系统取水量大可能对江水水质产生影响的问题,以嘉陵江重庆主城段水体为研究对象,采用物理模拟的方法对江水源热泵系统温排水进行了系统的试验研究.结果表明,温排水对排放口近水域水温和水质均有一定程度的影响.在模拟大型江水源热泵系统运行工况的条件下,温排水导致排放口附近水域水温上升约3.3℃,间歇运行时水温能得到有效恢复;温排水导致排放口局部水域溶解氧降低8%~12%;并能加快水中营养物质的循环,从而使水体的高锰酸盐指数升高;温排水有利于水体中的有机氮转化为氨氮,加速氮循环,从而使水体氨氮和总氮含量升高,但对总磷影响不显著. 展开更多
关键词 水源热泵系统 温排水 水温 水质 WATER Quality WATER Temperature Heat Pump WATER Resources 排放口 水体 营养物质的循环 水域 高锰酸盐指数 总氮含量 运行工况 研究对象 物理模拟 试验研究 升高 间歇运行
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部