基于T-不变量的可重复向量的求解算法

研究了Petri网中T-不变量与可重复向量之间的关系,并基于此关系给出一个求解可重复向量的新方法。首先定义了变迁扩充网的概念,证明一个网的可重复向量与其变迁扩充网的T-不变量之间存在一一对应关系,从而将一个网可重复向量的求解转换为其变迁扩充网T-不变量的求解上。在此方法中,如果利用FM-算法去求解T-不变量,则某些求解的步骤可以省略,从而得到一个类似于FM-算法的算法来求解可重复向量。此算法能够求出一组可重复向量,而任一可重复向量都可被这组可重复向量非负有理系数线性表出。     

蓄电池电牵引单轨吊在我国采矿业中的意义

单轨吊辅助运输系统是一种适应性强、应用范围广、运输能力强的煤矿井下运输设备,易形成运输网络化系统,适合我国煤矿条件。其广泛应用对推动煤矿采掘现代化具有重要意义。     

捕捉远古人文信息的收藏家——记红山文化专家任南先生

<正>目前国内热爱收藏的人士可谓恒河沙数,数不胜数;而真正有建树、能够提出自己理论主张,归为收藏家一类的"腕儿",则如晨星寥寥。而任南先生则是其中最为璀璨皎洁的一颗。任南先生经过40余年的研究比较以及走访体会,系统总结出"红山文化玉器鉴定12字法":净、熟、肥、透、葬、孔、坑、缩、次、过、浆、神:以及与之相配的6种辅助方法,被业界称为"任     

Visual FoxPro中的索引文件详解

VFP中的索引文件类型较多.本文详细介绍了不同类型的索引文件及特点,同时也介绍了主索引和辅助索引.希望通过本文的介绍能使大家较为准确和熟练地掌握索引文件及其使用方法.     

唐山供电公司电能计量管理探讨

电能计量装置是用于测量和记录发电量、厂用电量、供（互供）电量、线损电量和客户用电量的电能计算器具及其辅助设备的总称。它的准确性和可靠性直接关系到双方贸易结算是否公平、公正、合理,直接影响着发、供、用三方的利益分配和社会经济效益,是保证电力市场向前推进的重要基础条件。     

一维等熵Navier-Stokes方程的泛函分离变量解

研究了刻画一维空间中等熵可压流体运动规律的Navier-Stokes方程的泛函分离变量解.利用微分及分裂的方法把泛函微分方程简化为标准的双线性泛函方程并求解此泛函方程,建立了一维等熵Navier-Stokes方程的几类泛函分离变量解.     

苏通大桥主桥中跨顶推辅助合龙技术

通过综合国外顶推合龙工艺和国内温度配切合龙工艺优点，提出了全新的顶推辅助合龙工艺，并介绍了顶推辅助合龙工艺实施条件、关键施工参数和主要工艺措施的计算分析要点以及实施情况。     

C语言常见错误浅析

C语言是一种与硬件扣系统靠得较近，同时又面向用户，容易理解、便于阅读扣书写的中级语言。本根据C语言的特点，列举了运用C语言时一些常见错误，并加以简要分析，帮助初学更好地掌握C语言。     

CAI课件制作应注意的几个问题

CAI在近年来得到了很快的发展,但很多老师在制作CAI课件时都存在一些问题,本文针对这些问题,提出了自己的见解,希望能对教师制作CAI课件有一定的帮助。     

浅谈生物学对照实验中的变量控制

<正>生物学实验设计中的对照实验,是通过设置实验组和对照组进行对比来显示实验结果。如何增加实验结果的可信度和说服力,实验中变量的控制是关键。所谓变量的控制就是通过限制或改变实验中的变量,并运用对比来探索实验结果的科学方法,即创造一个典型或特殊环境而进行控制的活动。例如在进行"绿叶在光下能否制造淀粉"的实验中,光照强度和温度、光照和饥饿处理的时间长短、碘液、水浴加热的装置等,都对实验结果有着直接或间接的影响,因此,这些都构成了实验的重要条件。如上述实验中,如果饥饿处理不够,就会使遮光的叶片体内残存淀粉,而影响对照效果,甚至同样的研究对象,在不同的条件下所表现的性质不同,其实验的结果也不同。要揭示某一因素与所研究的问题间的必然联系,就应该正确地确定变量,并在实验中加以控制。控制是生物学实验的灵魂,实验的成功与否取决于实验中变量控制的严密程度。