基于模型的Web应用测试理论与方法

随着Internet的普及以及组件、中间件和Web Services等技术的迅速发展以及Web的广泛应用，Web应用的可靠性和质量保证成为一个非常关键的问题和研究热点。而软件测试是提高软件可靠性和保证软件质量的一种主要...

西方银行营运评估及其国际化

偏微分方程外问题 理论和数值方法

本书的宗旨是结合偏微分方程外问题的理论介绍几种有效的数值方法。理论与数值计算是密切相关的。首先，每一个数值方法都有它的理论分析，只有了解了方程的性质，才能深刻地了解数值方法。其次，偏微分方程的理论还...

物理解题思维的理论和方法

本书从教学和心理的角度出发，对物理解题思维过程进行细致地解剖和深入分析，力图揭示过程的规律性，阐明其中的最基本的思维方法。本书遵循独特的研究思路，深入讨论了物理计算题、物理知识的构成要素及其属性、特...

多学科设计优化理论及其在大深度载人潜水器设计中的应用

本书是一本以大深度载人潜水器设计为背景介绍多学科设计优化理论和可靠性设计理论及其应用的专著。本书以“蛟龙”号深潜器项目为基础，分八章介绍了制造大深度载人潜水器需要的工程系统理论及其应用，对下潜深...

当代形式逻辑及其在人工智能中的应用理论研究

半个世纪来获得迅速发展的外延电子数字计算机最根本的特征，决定了其不可能具有从已知得出新知这种作为人类智能基本机制的功能。未来的真正的人工智能的基础装置的核心元件是从根本上区别于与、或、非门，输入...

大系统试验选优理论和应用 在复杂水利系统优化规划中的应用研究

铁路行政许可评估及其法律问题研究

客观结构化临床考试（OSCEs） 计划和实施OSCEs的10个步骤及其他标准化病人的应用

中国石油气总公司 石油科技专集 13 发光显微学和光谱学及其在地质上的应用