Petri网系统的可达性分析

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

浅谈路由器qos技术

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

基于图像分割应用于临床上检测HP的一种快速算法

研究了利用图像分割技术,去辨别染色后的胃部切片是否有HP(Helicobacter Pylori幽门螺旋菌),并给出了一种二维直方图与FCM(Fuzzy Clustering模糊聚类)相混合的图像分割方法.运用色彩特征抽取技术,可以更加精确和快捷地识别HP.     

一种基于B/S的农业资源综合数据服务系统──通用农业资源数据服务系统开发设计

基于浏览器 /服务器 (B/S)结构的通用农业资源数据库系统 ,将农业统计中常用的 5 0 0多个技术指标分成三大类 ,17个小类 ,基本涵盖了农业生产和管理统计的主要领域 普通用户通过浏览器实现对数据库的组合查询或浏览 ,也可将数据文件下载 系统提供了 9种统计分析方法以及 5种预测方法 ,授权用户可进行数据文件上载 管理员通过浏览器可对数据库进行管理维护     

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

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

中立型多滞量微分系统Runge-Kutta方法的A(a)稳定性分析

在中立型多滞量线性微分方程系统的理论解的基础上,讨论Runge-Kutta 方法的稳定性,得到一个)(aA稳定的充分条件。     

中学体育教学中学生存在的心理问题及其对策

中学体育课中出现的种种问题，除与教师的教学组织工作有关外，也与学生心理中的“成就动机”、“注意力与兴趣”等有关，因此，要解决中学体育教学中存在的问题，应告别单纯的体育技能教学，使体育教学过程趋于完善。     

高校本科专业整合中的“瞻前与顾后”

在大众化教育时代,高等本科学校的专业设置,要适合时代特点,作到既瞻前又顾后,就是要看到世界教育尤其是中国教育发展的趋势,看到社会主义市场经济和区域经济的发展对教育发展、对人才的需要,特别是正确预测未来经济、社会、科学、技术、环境发展等诸方面的趋势和人才需求,对专业建设的需要和制约;同时,要看到高校自身的历史、规模、内涵建设、专业状况、师资力量的特点,注意专业设置的稳定性与变动性。     

高速公路汽车雷达测距防撞装置的研制

介绍激光雷达测距原理,构建一个车载雷达测距预警系统,分析系统核心模块的组成和基本原理。当实际行车间距小于安全距离时及时发出声光与语音报警信号,提醒司机注意,避免追尾事故的发生。     

建立生物入侵预警机制

前不久，北京有政协委员建议，2008年奥运会要防范有害生物入侵：一是与奥运会有关的动物入境。马术比赛的参赛马、伴侣动物和残奥会期间的导盲犬等来自不同的国家和地区，短时间内大量涌入北京；二是奥运会期间有关的货物、设备入境，在外包装材料中可能存在有害生物和媒介昆虫：三是花卉在入境时可能携带植物病毒。