针对规则更新操作的测试数据包选取算法*

防火墙规则集中存在的配置错误主要来源于规则的添加、删除等更新操作。因此进行规则更新时,需要使用测试算法判断更新操作的正确性。现有的测试算法仅从被添加或被删除规则的顶点选取测试数据包,不能检测出所有因规则冲突而导致的配置错误。基于此,提出了一种针对规则更新操作的测试数据包选取算法PCRU。该算法从两处选取测试数据包,即被添加或者被删除的规则的顶点和规则冲突区域。理论分析和仿真实验表明,与现有测试算法相比,在进行规则更新时,PCRU算法只需使用少量的测试数据包,即可检测出所有因规则冲突而导致的配置错误。     

怀疑度计算公式受偶然正确性影响理论分析

软件错误定位效率可能受诸多因素影响,如测试用例优先级排序、测试用例构成、测试用例覆盖率及偶然正确性测试用例等.主要关注偶然正确性对怀疑度计算公式错误定位效率的影响.为此,提出一个基于函数单调性的理论分析框架来证明30个经典怀疑度计算公式受偶然正确性影响的程度.偶然正确性对怀疑度计算公式影响是有益的理论探索.     

基于语义约束的资源工作流并发正确性保证

控制流结构中并发变迁的正确性是工作流模型正确性的基础．为保证模型的正确性，提出了资源语义约束工作流网的基本概念，丰富了控制流的数据语义，给出了两方面的控制流并发正确性：并发控制流与其数据语义的一致性检测算法及改正原则，保证了模型中的并发控制流结构的正确性；实例中基于数据语义约束的并发变迁正确性保证机制，提出了申请锁和释放锁的算法，保证了工作流实例中并发执行的正确性。     

桥梁单梁(板)静载试验的结果分析

桥梁静载试验是鉴定梁(板)能否安全使用的主要手段，文中拟就理论分析、试验方法、步骤及检测结果及其修正逐一作了分析对比，提出了同类梁(板)在静载试验中应注意的问题和解决方法。     

Mixed projection-mesh scheme of the finite-element method for the solution of the boundary-value problems of the theory of small elastic-plastic strains

A mixed projection-mesh scheme for the solution of nonlinear boundary-value problems of the theory of small elastic-plastic strains has been formulated. Correctness and convergence of the mixed approximations for stresses, strains, and displacements have been analyzed. The properties of projection operators are studied in detail, and on the basis of the results obtained, a condition has been formulated, which ensures the existence, uniqueness, and stability of the solution to a discrete problem. Application of the numerical integration has been analyzed and the obtained results are presented. The correctness and convergence estimates are based on the theory of generalized functions and the functional analysis method.Translated from Problemy Prochnosti, No. 6, pp. 59–86, November–December, 2004     

利用“极性法”快速判断纵差保护接线正确性

纵差保护在电力系统中应用非常广泛且特别重要 ,因此保证纵差保护接线的正确 ,是电力系统稳定运行的关键所在。由于受电力系统运行方式的影响 ,不可能使设备长时间停运检查 ,所以利用“极性法”快速判断纵差保护接线正确性 ,对保护投运、事故调查是一种快速判别的方法     

柔性协同事务模型

提出了一个 CSCW领域中的高级事务处理模型—柔性协同事务模型 FCTM(flexible cooperativetransaction model) .首先给出了协同事务的定义 ,并描述了协同事务的状态 ,然后从协同事务的状态角度刻画协同事务之间、协同事务与外部环境之间的复杂依赖关系 ,最后用协同事务的状态依赖描述了可串行化正确性准则 .FCTM的优点在于用户能够根据不同的 CSCW应用领域的需求 ,灵活地定义协同事务的状态和状态依赖.