Petri网系统的可达性分析

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

浅谈路由器qos技术

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

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

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

Einstein＇s Third Paradise

Historians of moden science have good reasons to be grateful to Paul Arthur Schilpp, professor of philosophy and Methodist clergyman but better known as the editor of a series of volumes on “Living Philosophers,” including several on scientist - philosophers. His motto was:“The asking of questions about a philosopher‘s meaning while he is alive.” And to his everlasting credit,     

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

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

《长安大学学报》（自然科学版）2006年征订通知

《长安大学学报》（自然科学版）系中华人民共和国教育部主管，长安大学主办的学术性双月刊，她在中国乃至世界范围内的公路交通科技领域具有广泛的影响．她是中国期刊方阵“双效”期刊，国务院学位委员会、国家教育部学位与研究生教育中文重要期刊，《中文核心期刊要目总览》（第四版）鉴定的中国公路运输类核心期刊，中国科技论文统计源期刊（中国科技核心期刊），Ei固定刊源，国际道路科研信息（IRRD）书目文献数据库固定刊源，中国道路文献服务中心（CRDS）核心报道期刊，自1981年创刊以来多次获国家交通部和陕西省奖励。     

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

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

集成光学——理论和工艺学

本书为施普林格出版社出版的《物理学先进教材丛书》中的一卷。这套丛书包含物理学流行和广泛关注的多种专题，也包含对现代物理学研究前沿的介绍。本书介绍光电子学器件及其在集成光学和纤维光学系统中的应用，特别强调这些应用中的物理学及相关的数学等。本书初版于1982年，分别在1984年、1991年和1995年出版第2、3、4版。本书为2002年出版的第5版。     

一类非线性分式规划问题的最优性条件和对偶

在(F,α,,ρd)-凸和广义(F,α,,ρd)-凸的基础上,讨论了一类非线性分式规划问题的最优性条件和对偶,获得了Kuhn-Tucker最优性充分条件及对偶问题的弱对偶结果.     

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

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