含有不可控变迁的Petri网死锁避免策略

文章针对Petri网建模的并发系统中的死锁问题,利用Petri网可达树分析方法检测系统死锁的存在,结合Petri网控制器的设计来达到预防和避免死锁的目的;提出了一种新的约束设计思想,进行控制器设计,使得系统不会出现死锁;更进一步地考虑到控制器设计过程中存在不可控变迁的情况下系统避免死锁的设计问题。     

RC4算法引起的WEP协议安全性的研究与改进

与有线局域网相比,无线局域网的应用越来越广泛,然而无线传输过程中的安全问题更应引起重视。文章介绍了WEP协议的安全问题,并针对WEP协议中IV冲突所引起的问题提出分组分配机制,在发送端可以方便地进行冲突检测;对于检测到的冲突,又提出了密钥更新机制,主要是利用伪随机数发生器来生成一组密钥,在发生IV冲突时使用新的密钥;用IV分组分配机制与密钥更新机制保证了传输的安全性,并对改进后算法的性能进行了分析。     

一类Cantor集的盒维数

以[0,1]区间为研究对象,利用单调递减的分割比例序列构造了Cantor集E,给出了该序列极限状态下E的盒维数.当固定分割比例0<<1时,证明了利用E的余集定义的维数等于其盒维数.     

利用酸性末端产物气相色谱分析判定产氢细菌

利用气相色谱分析液相末端产物，对于区分细菌类型和指导制氢反应器的启动运行都具有十分重要的意义．采用实验室配制的专用于分离厌氧发酵细菌的HPB-LR培养基，利用改进后的Hungate厌氧滚管技术和培养瓶平板法，从生物制氢反应器厌氧活性污泥中分离出3株具有代表性的产氢细菌，即R3、R120、RL37；还有一株非产氢细菌fuLl6．同时以乙醇型发酵混合茵作对比．对它们的酸性末端产物进行了气相色谱分析，结果表明，厌氧发酵反应器中的微生物发酵产物主要有乙醇、乙酸、丙酸、丁酸、戊酸和乳酸．发现3株产氢细菌的酸性末端产物中的乙醇、乙酸的分布占挥发酸总量比例可达99．0％～100．0％，为典型的乙醇型发酵；而分离到的1株非产氢菌RL16，其酸性末端产物的乙醇、乙酸之和的质量分数几乎相当于丙酸的质量分数，为丙酸型发酵；尽管产氢细菌和混合污泥存在着生理代谢上的差异，主导代谢类型没有发生改变，仍然为乙醇型代谢．可以得出结论，利用气相色谱分析从制氢反应器分离出的细菌培养物的液相末端产物，可以初步判断细菌的代谢类型．如果乙醇和乙酸占液相末端产物质量分数的95．0％～99．0％，可以认为该细菌是发酵产氢细菌。     

含石蜡燃料热分解特性研究

采用差示扫描量热法(DSC)和热重法(TGA)对HTPB燃料、石蜡及含石蜡燃料的热分解过程进行了分析。研究了石蜡含量、碳粉含量和不同升温速率对含石蜡燃料热分解过程的影响。实验结果表明:石蜡热分解过程可以分为低温分解阶段和高温分解阶段。含石蜡燃料的热分解主要分为四个阶段;随着石蜡含量的增加,样品的初始分解反应放热峰温和第三反应放热峰温不断提前,放热量不断增大,而对其第二分解放热峰和镁粉氧化放热峰基本无影响;随着升温速率的增大,含石蜡燃料各分解反应的放热峰温不断提高,第二、第三分解反应的放热量增大;计算出了4#含石蜡燃料的第一、第二、第三热分解反应的活化能E和指前因子A。     

气体水合物生成条件的理论计算

以统计热力学为基础,建立了气体水合物生成条件－分解压力和分解温度的理论计算方法,并对７种以ＣＦＣ替代工质蓄冷媒的气体水合物的生成条件进行计算,计算结果与文献报道的实验数据比较吻合。     

酸性介质中铜阳极溶出和阴极沉积过程的EQCM研究

运用电化学循环伏安和石英晶体微天平(EQCM)方法研究了酸性介质中铜阳极溶出和阴极沉积过程.结果表明:铜阳极溶出和阴极沉积过程都只有一个电流峰,其M/n分别为32.0和34.2g/mol,且都是一个2-电子过程.在目前实验条件下,并未检测到Cu(Ⅰ)中间产物,这与极谱研究酸性硫酸盐溶液中Cu2 只有一个极谱波相一致.本文从电极表面质量定量变化的角度提供了Cu阳极溶出和阴极沉积过程的新数据.     

隐马尔科夫多元线性回归模型中未知隐状态个数的贝叶斯模型选择

针对隐马尔科夫模型在进行马尔科夫链蒙特卡洛方法(MCMC)迭代时隐状态向量不停改变的问题.首先,使用贝叶斯方法研究隐状态个数未知的隐马尔科夫多元线性回归模型,对偏差信息准则计算方法进行改进.其次,使用MCMC算法对模型进行后验模拟,计算模型的DIC值.最后,通过比较不同隐状态个数模型的DIC值实现了贝叶斯模型选择的目的.     

赖氨酸发酵工艺参数优化

在赖氨酸发酵动力学研究的基础上,把发酵过程划分四个阶段,收集了22组赖氨酸分批流加发酵实验数据,用模式识别及人工神经网络技术和发酵工艺参数优化,优化工艺参数应用于实际生产,取得很好效果,。     

氧化—萃取光度法检测单线态氧

光敏剂吸光敏化为三线态，与溶液中O2反应产生单线态氧(^1O2)，后者与卡巴肼(DPCI)反应，生成卡巴腙(DPCO)，以苯-四氯化碳萃取，在563nm处有强吸收，吸光度值与光照时间和光敏剂浓度呈一定量效关系，从而可以检测^1O2的产生及其相对产量，方法简便易行。