Model Checking-Based Testing of Web Applications

A formal model representing the navigation behavior of a Web application as the Kripke structure is proposed and an approach that applies model checking to test case generation is presented. The Object Relation Diagram as the object model is employed to describe the object structure of a Web application design and can be translated into the behavior model. A key problem of model checking-based test generation for a Web application is how to construct a set of trap properties that intend to cause the violations of model checking against the behavior model and output of counterexamples used to construct the test sequences. We give an algorithm that derives trap properties from the object model with respect to node and edge coverage criteria.     

钯/碳催化剂回收实验因素的正交设计及灰色关联分析

本文研究了钯/碳(Pd/C)催化剂回收实验的影响因素 ,进行了正交优化设计 ,并以此为基础进行灰色关联分析 ,找出了实验主要影响因素和最佳条件。该条件下进行回收 ,工艺简单 ,回收率高。以正交实验数据为基础的灰色关联分析是可行的     

我国股市与实体经济关联度的实证分析

利用我国工业增加值及上证、深证工业指数作为总体样本 ,运用统计中的回归分析和拟合分析方法 ,使用统计软件SAS ,对我国股市与实体经济的关联度及滞后效应等问题进行实证分析 ,得出了“我国股市与实体经济高度相关 ,并且实体经济的波动周期比股指波动周期滞后 3个月左右”的结论 ,该结论对投资者及政府有关部门具有一定的实用参考价值     

基于UML建模的信息管理系统

介绍了UML和基于UML的信息管理系统的建模方法,提出了在UML建模中使用对象关系模型到实体关系模型的映射的方法,从而解决了由于信息管理系统的分析与设计建模和数据库建模所用方法的不同,导致的项目开发团队之间信息不能充分共享问题。     

用对象-关系数据模型进行多媒体数据建模

通过对现今常用的超媒体技术、面向对象技术、扩展的关系模型技术等 3种多媒体数据建模技术进行分析比较 ,提出用对象—关系建模技术进行多媒体数据建模 ,以及实现从面向对象模型到关系模型转换的算法 ,并用实例演示了这一过程 .     

一种采用基于语境松弛算法的汉语分词排歧方法

词切分是像汉语这类非拉丁语言的一个特有问题，并且由于汉语组词中普遍存在着岐义性和语境依赖性，这一问题也是一个尚未得到彻底解决的难题。本文通过仔细分析汉语分词岐义的规律，将追求整体最优效果的松驰算法引入到汉语自动分词的排岐研究中。借助于语词之间搭配关系等上下文约束条件以及词频、字频等统计数据，构造了一种汉语分词排岐的新方法。实验结果表明，这种方法在切分精度和切分速度上都取得了较好的效果，为解决汉语自动分词难题提供了一种新途径。     

飞机继电器盒逻辑测试关系及测试方法研究

总结了各种继电器盒的内部连线特点，测试电路的设计要点及工作过程，介绍了检测设备设计过程中遇到的主要技术难点及解决办法。     

数e的教育功能

e是一个神奇的数，弄清它的来源和性质，研究它与其它数学对象的内在联系，将使我们认识到，数学对象在联系上的无限广阔性，在内容上的无比深刻性，在变化上的生动哲理性，从而发挥数学对象的多种教育功能。     

试论排球竞赛与规则修改的互动关系

排球规则的变化是为适应排球运动的发展而制定和修改的。本文主要通过文献资料法、专家咨询法、逻辑推理法等，以排球运动项目的特点、竞赛规则的作用为切入点．参照近年来排球竞赛规则的修改条文，运用辨证发展的观点，对规则的修改原则以及规则与排球运动的关系进行了梳理和探究，明晰二者的互动关系，以求为排球规则的理论研究提供参考。     

模糊数学方法在大学生身体素质研究中的应用

随机选择1000名大学生，经体检对他们的身体素质状况按较差、良好、优秀3个等级进行统计分类，运用模糊数学原理建立体征-身体素质间的模糊关系矩阵，用参量加权模糊综合评判模型，对大学生身体素质3个等级进行综合判别，结果表明：判别符合率为84．5％-89．6％。