基于事例系统的验证和有效性研究

基于事例系统（ＣＢＳ）本身的特性使得其验证和有效性不同于其它的人工智能系统。本文首先给出了ＣＢＳ的验证和有效性的定义，阐述了ＣＢＳ的与验证和有效性相关的一些特性，然后分别介绍了ＣＢＳ中的基于结构的和基于统计的验证方法。在ＣＢＳ的有效性方面，详细描述了数学规化法和回归分析法。本文还详细讨论了事例被输进事便库中的先后六序对系统有效性的影响。     

在线签名验证系统

本文综述了在线签名验证系统的发展概况,阐述了利用签名作为个人验证手段的可行性、验证系统的输入设备、签名过程的特征抽取及选择方法,并介绍了几种较为成熟的处理算法,比较了各自的特点。最后指出在线签名验证系统所存在的问题及改进意见。     

基于概率验证的可分电子现金系统

给出了一种概率验证方案,以决定匿名可分电子现金系统在支付时采用联机验还是脱机验证,从而减少,机电子现金系统由于用户的重复支付而产生的损失额,同时为消除由于加入概率证方案而增加的支付时间,采用并行处理的方法以提高效率。     

Web应用有效性的模型验证方法

Web越来越广泛地应用在电子商务、电子政务、ERP/CRM等应用中.而这些应用的安全性比普通应用要高很多,因此,Web应用的有效性比其他应用更重要.文章提出了Web应用有效性的形式化验证方法,利用Promela来对系统建模,用SPIN来进行有效性验证,从而确保应用系统的有效性.     

电子护照验证系统研究

本文简要介绍了电子护照,分析了电子护照验证系统应有的功能和性能,从国家出入境管理中心系统、区域出入境管理系统和验证终端系统三个层次对电子护照验证系统的组成进行了探讨,并给出了电子护照通关验证流程。     

系统软件可靠性验证测试方法研究

文章提出了一种系统软件的可靠性验证试验测试方法,介绍了软件可靠性度量指标、试验参数的选取原则,详细阐述了系统软件的可靠性验证测试方案的制定方法,同时还给出了系统软件无失效考核交付测试方案的制定方法。     

ES/9000VSE/ESA应用系统版本变更安全控制

讨论了在IBM VSE操作系统平台下如何利用工具软件实现程序开发的版本管理 ,阐述了包括建立QA环节的开发过程版本管理控制的机制设想。     

航空装备测试仪器应用验证方法研究

针对航空装备用测试仪器应用验证需求,基于系统工程方法,提出了夯实基础、统筹推进、分类分阶段验证的验证工作思路.研究确定了调研应用验证需求、构建验证指标体系、明确验证要素、建立验证程序、实施验证试验、给出综合评价结论的应用验证流程.遵循满足航空装备要求、结合使用场景、聚焦关键指标等原则,提出了仪器功能性能、质量与可靠性、环境适应性等基础级和适装性、软硬件兼容性等系统级验证内容,以及相应的验证方法,可为国产测试仪器应用验证工作提供技术支持.     

基于说话人识别的IVR验证系统

信息时代,信息的安全性和验证的便利性是各大公司和系统需要考虑的首要点和重点。基于说话人识别的IVR验证系统,通过说话人识别组件分析用户的语音信息,并给出匹配相似度,再辅以验证几组安全问题,可以大大提高验证的准确性和缩短验证流程的时间,具有很好的实际应用价值。     

柔性工作流路径变更研究与应用

工作流的柔性问题已成为工作流系统适应业务需求不断变化的重要问题。工作流系统的应用分为建模阶段和运行阶段。现有工作流系统的静态路径已无法适应当前企业业务过程路径多变的需求,本文通过研究相关的理论方法与技术方案,分析运行阶段的路径变更问题,来提高工作流的柔性特性。本文对现有工作流路径回退算法进行改进,使其支持并行多步回退,解决工作流系统的动态路径问题,此外,还对当前大量应用的审批会签功能进行分析,提出一种运行中动态增加并行分支的解决方案,进一步提升工作流的路径柔性。最后结合实例进行验证,测试结果表明,系统能够根据业务需求变化及运行环境的变化对其自身路径进行动态调整,大幅提升工作流系统的柔性特性。     

Research on the dynamic reconfiguration of Web application using two-phase compatibility verification

Implemented by dynamic service composition and integration, Web application has significantly affected our daily life, such as e-commerce and e-government. However, the open and ever-changing environment makes Web users more vulnerable to the usability problem, i.e. unreachable pages and reduced responsiveness. Accordingly, there is a need to deliver reliable Web application with attributes that cover the correctness and reliability. For the efficient handling of failures, the compatibility verification of dynamic reconfiguration strategies is attached great importance since it can guarantee the robustness and high quality of Web-based software. This paper extends the classical finite state machine (FSM) to formalize the behaviour of Web application, namely the extended FSM for Web applications (EFSM4WA) model. This model is also suitable to formally describe the interaction behaviours of dynamic reconfiguration when Web application encountered failure. Then, the compatibility verification of dynamic reconfiguration is carried out in two phases. During the first phase, it adopts the trace projection approach to check the compatibility against the synchronized product model in a qualitative way, which will select a set of candidate Web applications. During the second phase, it takes performance into consideration to choose a high-reliability Web application in a quantitative way. Finally, a case study is demonstrated to show the applicability of our approach.     

Modelling methods for web application verification and testing: state of the art

Models are considered an essential step in capturing different system behaviours and simplifying the analysis required to check or improve the quality of software. Verification and testing of web software requires effective modelling techniques that address the specific challenges of web applications. In this study we survey 24 different modelling methods used in web site verification and testing. Based on a short catalogue of desirable properties of web applications that require analysis, two different views of the methods are presented: a general categorization by modelling level, and a detailed comparison based on property coverage. Copyright © 2008 John Wiley & Sons, Ltd.     

一种工作用S型热电偶自动检定系统设计与应用

为了提高热电偶检定系统的检定时间和控温精度,基于LabVIEW设计了一种工作用S型热电偶的检定系统.以数据采集卡和可控硅为核心搭建了硬件系统,使用图形化编程语言LabVIEW开发了上位机软件,并对检定炉温度控制算法进行优化,人机界面友好、高效便捷.经过实验性投运,系统性能与检定企业出具结果一致,具有较高的实用价值.     

通用音频解码器验证系统设计与实现

设计并实现了一个基于FPGA的音频解码器验证系统.同传统的验证系统相比,系统不仅具有很强的通用性,还具有良好的可扩展性和强大的图形化显示功能,可以很方便地对各种音频解码器进行片上验证.该系统的实现缩短了音频解码器的片上验证周期,有助于研究人员提高工作效率,具有很大的实用价值.     

计算机应用系统可用性预测方法

随着银行业务领域的拓展,与之对应支持的科技应用系统也越来越多,如何根据当前系统的使用情况,对系统未来性能进行预测,从而很好的指导各个应用系统的维护工作成为当前亟待解决的问题.通过引入可靠性关于时间t的指数分布,对计算机系统未来的可靠性进行预测,从而获得系统可用性、和平均故障间隔的预测值.     

基于SV2的汽车乘员约束系统仿真模型 可信度验证系统

针对汽车乘员约束系统仿真模型的可信度验证需要大量重复的数据处理和结果分析的问题,基于可信度验证系统（system of verification and validation, SV2）,将100%正碰、40%偏置碰和侧碰工况的分析流程固化,开发汽车乘员约束系统仿真模型可信度验证系统。对100%正碰工况进行试验验证,结果表明：新开发的仿真模型可信度验证系统对模型可信度验证能够提高90%的工作效率,自动生成分析报告,为仿真工程师提供模型改善建议。     

舰载武器惯导系统传递对准仿真验证的研究

针对传统船用惯导系统采用理想运动状态对传递对准方案进行仿真验证的问题,提出了引入舰船空间运动模型的传递对准仿真验证方法。通过舰船空间运动模型提供接近真实运动环境的空间运动参数,并实现了空间运动信息至惯性敏感信息的正确转换,给出了各模块的空间变换算法转换流程。"速度+姿态"子惯导传递对准模块的仿真精度优于0.05°,证明了仿真验证系统变换算法的正确性。该研究设计为开展其它领域的传递对准仿真验证提供了有效的参考依据。     

一种嵌入式操作系统运行时验证方法

作为测试、模型检验等开发阶段所用技术的有效补充,运行时验证技术越来越受到广泛的关注。然而,当前的运行时验证技术主要用于应用软件,很少专门针对操作系统进行研究。对面向嵌入式操作系统的运行时验证框架和关键技术进行了研究,并结合一个开源嵌入式操作系统FreeRTOS进行了设计与实现。首先提出了一种面向嵌入式操作系统的运行时验证和反馈调整框架,然后针对框架中的关键技术部分,完成了规约语言的设计、三值语义监控器的生成、FreeRTOS嵌入式操作系统相关接口的实现等主要工作。     

基于STeC-Stateflow转换系统的实时系统仿真与验证方法

物联网以及信息物理融合系统对形式化建模提出了新的挑战, 引入了实时系统规范语言STeC, 为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统, 提出一种基于STeC至Stateflow转换的仿真及验证方法, 该方法使用STeC语言对实时系统进行形式化建模, 再建立实时监控的Simulink仿真模型, 并使用Checkmate对系统进行安全性验证。通过对京沪高铁运行的实例研究, 表明该方法对高铁运行系统实时仿真的有效性, 并能够验证高铁运行系统的安全性。     

Web应用系统性能测试研究与应用

软件的性能测试是对被测系统执行效率、资源占用、稳定性等进行检验,以验证系统能力,尽早发现系统缺陷,为系统性能优化提供支持。研究了Web应用系统的体系结构与性能特点并结合实际测试经验提出一种通用的性能测试过程模型,基于此模型应用HP公司自动化测试工具LoadRunner对某市城市管理系统综合评价子系统进行测试分析,并验证了模型的可用性与有效性。