一类动态投入产出模型的解

本文讨论动态投入产出模型（连续型和离散型）的求解问题，利用矩阵分析的理论和常微分方程的方法，在一定条件下，将ｎ个变量方程的求解化为ｒ个变量（ｒ〈ｎ）方程的求解。     

Petri网和图文法

通过对Ｐｅｔｒｉ网的点火变迁过程和图文法推导过程的研究，给出了从Ｐｅｔｒｉ网到图文法的构造过程，并进一步证明了网络的点火过程等价于图文法的推导过程，提供了关于并发性研究的又一途径。     

基于分布式的网络信息处理模型及性能分析

针对网络信息处理的特点，提出了一种基于分布式的网络信息处理模型．通过对该模型进行排队分析，得到该模型的阻塞率可以用Erlang公式计算的结论．研究表明，实验结果与分析所得结果一致，表明分布式模型在特征匹配能力和使用效率方面都得到大幅提高．     

网络信息的入侵与安全防护

随着Internet的高速发展，网络对社会的重要性和影响力越来越大，网络信息的安全问题也日益突出，目前威胁计算机网络信息安全的因素主要是人为无意失误、人为恶意入侵、操作系统漏洞、计算机病毒等因素，在介绍威胁因素的基础上，运用反向思维的方法，分析了网络攻击的方法，并时计算机网络信息安全防护提出了几点建议．     

对中小型水电站季节性容量经济论证的一些意见

本文讨论确定中小型水电站季节性容量时存在的一些问题,提出了改进意见,并建议采用年净效益最大法来确定这种水电站的季节性容量.     

酒石酸美托洛尔亚硝化衍生物单扫描示波极谱法的研究

研究了酒石酸美托少尔亚硝化衍生物的单扫描示波极谱与电化学行为。酒石酸美托洛尔经亚硝化拓应后,其产物在０．１ｍｏｌ／Ｌ ＨＣｌ介质中于－０．８４Ｖ附近出现一清晰的不可逆的阴极还原吸附波,其导数峰高与浓度在１．０×１０＾－５－１、．０×１０＾－６ｍｏｌ／Ｌ和１．０×１０＾－６－１．０×１０＾－７ｍｏｌ／Ｌ范围内呈现良好的线性关系。     

基于Petri网的数据流与控制流相结合的协议测试

提出一种数据民控制流相结合的测试方法,在Ｐｅｔｒｉ网模型对上于控制流选定操作符覆盖标准,对于数据流采用ａｌｌ－ｄｅｆｓ标准,最后给出一既考虑数据流标准又考虑控制流标准的求测试序的算法。     

基于T-不变量消除的Petri网合法变迁引发序列判定算法

Petri网的合法变迁引发序列问题(LFS)是其可达性问题的子问题.前人在LFS判定时常因判定算法的指数级时空复杂度或算法难以推广至一般Petri网而受限.因此,基于Petri网T-不变量支集变迁与可达图有向环路上标注变迁的对应关系,综合应用线性代数与可达树分析,原LFS判定被缩减为以基础向量为发生数向量的LFSb判定.通过两棵可达树(分别以原网、初始标识;逆网、目的标识为根)层序轮流构造同时比较当前叶节点层中的标识,若算法终止前有相同标识出现,则LFSb(LFS)判定成功;反之,LFS判定失败.分析表明,算法的时间复杂度为多项式级别的,且适用于一般Petri网的LFS判定.     

信息技术下的英语专业精读课教学模式研究

多媒体网络技术推动了教育领域的改革。信息技术也加速了与各门学科的整合。而目前高校英语专业精读课教学模式存在种种弊端,无法满足时代发展的要求。因此,本文试图探讨一种新型的教学模式,即以信息技术为载体,以任务型教学为主,以协作式教学为辅的教学模式,以提高教学效率。     

信息安全投资的经济学分析

从经济学角度出发,叙述了在信息安全投资决策活动中的4种经济学模型。对这4种模型的特点进行了分析。