Petri网系统的可达性分析

对Petri网系统的可达性问题做了综合性的阐述和分析, 提出了利用能量优化方法来解决可达性问题的方法, 并在此基础上结合计算代数方法和神经计算模型对可达性问题做了进一步的研究. 主要工作包括 1.给出了Petri网到线性空间的映射规则及其可达性的等价性定理; 2.建立了能量优化模型, 将可达性判断化为优化问题; 3.用神经网络来求解能量优化模型; 4. 最后综合了计算代数方法和能量优化模型的优点给出一个基于计算代数和神经计算的方法. 作者提出了一种利用基于硬件的大规模并行的神经计算来代替基于软件的串行的数字计算的可达性判断的解决方案.     

浅谈路由器qos技术

本文主要探讨路由器qos技术在下一代英特网中的应用,分别介绍集成服务(IntSer),区分服务(Dif-ser),以及其它一些探索性的路由器qos技术。     

一类带限制集值型投入产出方程的存在性定理

引入了一类带限制的集值型投入产出方程.通过利用某些非线性分析方法,得到了一些存在及连续相依性结果.     

西部大开发与铜梁林业跨跃式发展

1 铜梁林业必须跨跃式发展 1.1铜粱林业的现状决定了必须跨跃式发展 党的十一届三中全会以来,铜梁县相继实施了长防林、水保林、多功能防护林、生态环境综合治理、天然林资源保护工程以及正在实施的退耕还林(草)重点林业生态工程。近十年累计造林23.4万亩,四旁植树2550万株,实现了森林面积、蓄积的双增长,森林覆盖率由1984年的21.3％增长到现在的27.6％。生态环境逐步得到改善。但是,必须看到,铜梁林业生产力仍然处于较低层次的水平,     

重庆高交会:西部科技与市场融合的"快车道"

由科学技术部、国防科工委、中国科学院、中国发明协会和重庆市人民政府共同主办的第五届中国重庆高新技术成果交易会于2003年11月15日至19日在重庆隆重举办.     

HG-AFS测定土壤水溶态、可交换态Se(Ⅳ)和Se(Ⅵ)

硒的形态分析(含价态)在环境、生命科学以及食品、医药卫生方面具有重要意义.为了了解土壤水溶态和可交换态中硒具体价态以及相关价态含量,通过实验优化了氢化物发生原子荧光光谱法测定条件,直接测定Se(Ⅳ)和定量还原后测总无机硒,差减法测得Se(Ⅵ)量.对两种供试土壤的水溶态和可交换态硒存在的价态及含量进行了报道,方法简便可行.     

合成金属有机(高分子)铁磁体

本文介绍了纯有机(高分子)磁体及金属有机(高分子)磁体的种类、结构和发展慨况,并概述了近年来我们所合成的常温稳定二茂铁型有机(高分子)铁磁体及其应用前景.     

传统骨折疗法中布带张力计的设计

本文根据力学原理设计了布带张力计,使传统骨折方法由定性过渡到定量。     

在Triton X—100存在下,用2-(5-溴-2-吡啶偶氮)-5-二乙胺基苯酚(5-Br-PADAP)分光光度测定方钍石中的钍

方钍石是钍来源的重要含钍矿物。目前测定钍的含量的方法较多,虽有用5-Br-PADAP测定钍的方法的报导,但未见有在triton X-100存在下,用5-Br-PADAP直接测定方钍石中钍的含量的报导。Triton X-100的存在,使测定的酸度增加,从而增加干扰元素的干扰比;并且增加了络合物的稳定时间。本文采用5-Br-PADAP作显色剂,在氯乙酸-氯乙酸钠缓冲体系中用triton X-100表面活性剂胶束增溶分光光度测定方钍石(人工样品)中钍的含量,获得较满意的结果。在25毫升中,钍的比耳定律范围在0～20微克,摩尔吸光系数为5.2×10~4升·摩尔~(-1)·厘米~(-1),Sandell灵敏度为0.0045微克钍(IV)/厘米~2。我们对两种含量的方钍石人工样品进行了测试,结果良好,回收率在97.3～101.4％之间,此方法可靠,精密度较高,误差符合微量组分的测定要求,我们对样品测定结果表示满意。     

Ces_p(E_1,E_2)的k一致凸性

文章讨论了Banach空间的k一致凸性在Ces_p(E_1,E_2)中的提升问题.