连续映射网的极限的连续点集

本文给出了连续映射网的极限保持连续性的一个充分必要条件，推广了３内的一个重要结果并且首次探讨了极限的连续点集的结构。     

格的语法述评

格的语法是费尔摩(Fittmor)在其论文《格之格》(1968年)提出来的,是生成语义学的一个重要部分·本文全面地介绍了格语法的理论及其应用,并进一步指出了其重要性及其存在问题     

基于时间Petri网的航班延误链式反应模型构建

由于一架飞机一天要执行多个航班,使得航班之间存在前后衔接关系,因而一个航班的延误会波及到与之衔接的下游航班,造成航班延误链式反应。基于时间Petri网理论,对单架飞机执行多个航班提出了时间Petri网链式模型,并给出了具体算法,用于在初始延误时间已知的条件下,判断初始延误机场的下游机场是否出现航班延误并计算航班延误的时间。实例仿真及分析表明,航班延误链式反应波及的机场个数与飞机的初始延误时间存在一定的量化关系,机场可以参考这个量化关系,根据初始延误时间建立航班延误预警机制。     

原初态与生成性：对文化差异的考察

文化存在着差异，这种差异体现为原初态差异和生成性差异。通过考察文化差异的原初态与生成性，对于文化建设理论和在具体的对全球多元文化进行借鉴，都有十分重要的意义。     

Serial Failure Diagnosis of a Transmission Line Protection Relaying System by Petri Nets

1. INTaODVCTIONThe fundamental and basic objective of transmission line Protection is to provide isolation of an abnormal orfaulted area in the system quickly so that the remainder of the power System is able to continue service. With thedevelopmellt of large-scale complicated modern power systems, it is increasingly imperative to develop effectiveanalytical tools for the systematic design and the dynamic performance eValustion of the protection schemes.With the convelltional methods, fau…     

A discussion on the upper limit of maturity for gas generation by marine kerogens and the utmost of gas generative potential： Taking the study on the Tarim Basin as an example

The experimental data yielded by Rock-Eval pyrolysis, kerogen atomic H/C, Py-GC and gold-tube sealing thermal simulation on the marine Cambrian-Ordovician source rock from the Tarim Basin revealed that the upper limit of maturity for natural gas generation or the ＂deadline of gas generation＂ for marine types Ⅰ and II kerogens is equal to 3.0% of vitrinite reflectance （Ro）; while the ＂deadline of gas generation＂ for type Ⅲ kerogens typically like coals is as high as 10% Ro. Thus, different organic matter has obviously different utmost maturities for gas generation. The mass-balance calculation by kerogen elements showed that when Ro〉1.5%, the utmost amount of gas generation for the marine type II kerogen is less than 185 m^3/t TOC, accounting for less than 30% of its total hydrocarbon generative potential; when Ro〉2.0%, it becomes 110 m^3/t TOC, less than 20% of the total hydrocarbon generative potential. The amount of the gas generative potential obtained by Rock-Eval is only around one tenth of the calculated value by the mass balance of kerogen elements at the same thermal evolutionary stage, while those by Py-GC and gold-tube sealing simulation are intervenient between the above two. The utmost of gas generative potential at the over 1.3% Ro stage is around 60--90 m3/t TOC, therefore, the amount of gas generation obtained by Rock-Eval is the minimum of gas generative potential, while that by the mass-balance calculation of kerogen elements is the maximum that the actual amount of gas generation should not exceed.     

一种变结构Petri网模型及其应用

引入一种变结构有色Petri网模型及其相应的结构变化机制，阐述两种结构变化方式及其相应算法．一种是修正结构方法CBM（change—by—modification），一种是添加子网方法CBC（change—by—composition）．结合铁路车站信号联锁中的进路自动解锁建模，讨论了该模型的具体应用。     

催化剂离心分离机故障频度高的原因分析及处理

主要介绍了催化剂污水处理装置中卧式螺旋卸料离心分离机的使用情况及在生产中出现的主要故障,通过监测分析和生产能力核算找出这些故障产生的原因,并从3方面介绍几种故障解决办法以及改造建议．     

基于加权模糊Petri网的电子电路故障诊断

提出了一种适用于电子电路故障诊断的加权模糊Petri网,给出了用加权模糊Petri网表示电子电路故障诊断模糊知识的方法及故障诊断过程中的反向推理算法。     

基于广义随机Petri网的轨道车辆门系统可靠性分析

轨道车辆车门系统的安全性和可靠性极为重要。采用广义随机Petri网建立轨道车辆车门系统工作过程的可靠性模型,描述系统的静态结构及动态运行过程;对该模型进行Monte-Carlo仿真计算,计算系统在各时间段的可靠性指标。研究表明,应用Petri 网建立的车门系统可靠性模型结构清晰,拓展性强,便于仿真实现,能够为车门系统设计及维保安排提供指导。