高阶Schrodinger方程的一类半隐式差分格式

构造高阶Ｓｃｈｒｏｄｉｎｇｅｒ方程ｉδｕ／δｔ＋（－１）＾ｍδ＾２ｍｕ／δｘ＾２ｍ＝０的一类半隐式差分格式，给出了它们的稳定性条件。     

C_(301)铜基催化剂上CO、CO_2和H_2合成甲醇反应模式的研究

目前,由CO、CO_2和H_3合成甲醇反应的模式尚未能得出一致的观点。分歧主要在于合成过程中CO_2的作用。至七十年代中期,看法较为一致的模式为近年来,苏联学者采用动力学实验法和同位索示踪原子法对苏产CHM-1铜基催化剂进行研究,提出了另一种模式因而,为阐明甲醇合成反应模式,就必须阐明究竟甲醇是由CO、还是由CO_2 直接生成的。这不仅对于甲醇合成过程的优化,而且也对含CO_2工业废气的综合利用都是有意义的。本文在对国产C_(301)(Cu,ZnO和Al_2O_3组成)铜基催化剂进行动力学考察的基础上,研究CO_2在合成甲醇反应过程中的作用。实验压力5MP3,温度218—260℃,接触时间0.16—3.5秒,分别对仅含CO_2或CO和含CO、CO_2三种起始反应混合物气体进行了合成甲醇反应动力学行为的实验测定。结果表明:反应是一复杂的过程。对于含CO_2、H_2、Ar的混合物,由CO_2可以直接合成甲醇, 对含CO、H_2和Ar的混合物,甲醇由CO直接合成;而对既含CO_2又含CO 的混合物,甲醇同时由CO和CO_2合成。     

划分测试中测试用例最优分配问题研究

研究了划分测试中每个子域错误率已知，测试资源受约束时，测试用例如何合理分配的优化问题．主要考虑了两类测试用例分配问题：测试资源受约束的测试用例分配及测试资源受约束且各个子域的可靠性要达到一定要求时测试用例的分配，证明了带约束的测试用例最优分配问题是一个NPC问题．给出了动态规划求解方法，从理论上证明了该方法是最优的，并通过随机模拟将该方法与其它常见的测试用例分配策略进行分析比较，用实验数据验证了该办法能合理利用有限测试资源，有效地提高缺陷检测能力．     

官上1~#M型曲墙式双连拱隧道施工技术

叙述了官上1#M型曲墙式双连拱隧道在不同围岩类别的设计、施工方案、洞身开挖、钻爆设计、初期支护等方面的内容,旨在为同类型工程的设计和施工提供参考。     

农业专家系统开发平台测试方案研究

主要阐述了对农业专家系统开发平台测试方案的研究及一些测试技术在其中的应用，提出了针对这类开发平台的一种分阶段、分步骤、分领域的测试方案，并运用案例分析了黑盒测试、应用操作覆盖测试和Web应用软件测试技术在测评这类开发平台中的应用。     

对流占优扩散方程的一种基于斜线性插值的特征差分算法

将特征线法和有限差分法相结合，借助于斜线性插值。给出了求解对流占优扩散方程数值解的一种新的特征差分格式。并研究了算法的收敛性。该算法的优点是特别适用于求解变系数的对流占优扩散方程。能更有效地消除数值振荡现象。     

RLW方程的一个新的守恒差分格式

以RLW方程的一个新的守恒差分格式对正则长波（RLW）方程的初边值问题进行了讨论，提出了一个新的三层差分格式．该格式很好地模拟了RLW方程初边值问题的能量守恒关系，且是稳定的和收敛的．数值结果表明，该格式精度明显好于正则长波方程一个新的差分方法中的格式，特别取适当参数时，精度提高了近一个数量级，因此是一个实用而可靠的数值算法．     

数字图书馆数据存储系统解决方案的探讨

文章分析了传统数据存储系统的缺陷和不足,着重介绍了SAN存储的技术特性和解决方案,结合实际应用,提出了图书馆在构建SAN存储解决方案时必须综合考虑的因素,以及SAN将成为数字图书馆数据存储系统发展的趋势.     

网格计算资源调度方案及其Petri网建模与分析

通过对现有网格计算资源调度方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点。利用Petri网这一具有描述并发、异步、动态等事件能力的图形与数学工具,对所提出的调度方案进行了模拟与分析。为不同层次的调度者构造了不同的扩展有色时延Petri网模型,并利用Petri网的共享合成技术得到整个系统的Petri网模型。同时给出了资源调度所对应的Petri网的可达任务图的概念,利用可达任务图,分析了诸如吞吐量、负载平衡、调度时间等资源调度的一些重要特性。     

广义椭圆曲线数字签名动态用户认证机制

基于口令的身份认证机制是分布式系统安全体系的重要组成部分。利用一个无需求逆的广义椭圆曲线签名算法构造了一个动态远程用户认证方案:GECSA方案。该方案基于“质询响应”机制,无需时戳,其安全性基于单向Hash函数和椭圆曲线离散对数计算的困难性,包括注册阶段、登录阶段、认证阶段和更改口令阶段,允许用户自主选择并更改口令,实现了双向认证;具备完备性和不可转让性,是一个低开销的、安全的远程用户认证机制。