共查询到20条相似文献,搜索用时 93 毫秒
1.
基于事例系统(CBS)本身的特性使得其验证和有效性不同于其它的人工智能系统。本文首先给出了CBS的验证和有效性的定义,阐述了CBS的与验证和有效性相关的一些特性,然后分别介绍了CBS中的基于结构的和基于统计的验证方法。在CBS的有效性方面,详细描述了数学规化法和回归分析法。本文还详细讨论了事例被输进事便库中的先后六序对系统有效性的影响。 相似文献
2.
3.
基于概率验证的可分电子现金系统 总被引:9,自引:1,他引:9
给出了一种概率验证方案,以决定匿名可分电子现金系统在支付时采用联机验还是脱机验证,从而减少,机电子现金系统由于用户的重复支付而产生的损失额,同时为消除由于加入概率证方案而增加的支付时间,采用并行处理的方法以提高效率。 相似文献
4.
Web越来越广泛地应用在电子商务、电子政务、ERP/CRM等应用中.而这些应用的安全性比普通应用要高很多,因此,Web应用的有效性比其他应用更重要.文章提出了Web应用有效性的形式化验证方法,利用Promela来对系统建模,用SPIN来进行有效性验证,从而确保应用系统的有效性. 相似文献
5.
6.
系统软件可靠性验证测试方法研究 总被引:5,自引:1,他引:5
文章提出了一种系统软件的可靠性验证试验测试方法,介绍了软件可靠性度量指标、试验参数的选取原则,详细阐述了系统软件的可靠性验证测试方案的制定方法,同时还给出了系统软件无失效考核交付测试方案的制定方法。 相似文献
7.
讨论了在IBM VSE操作系统平台下如何利用工具软件实现程序开发的版本管理 ,阐述了包括建立QA环节的开发过程版本管理控制的机制设想。 相似文献
8.
9.
曹智英 《网络安全技术与应用》2015,(1):25-26
信息时代,信息的安全性和验证的便利性是各大公司和系统需要考虑的首要点和重点。基于说话人识别的IVR验证系统,通过说话人识别组件分析用户的语音信息,并给出匹配相似度,再辅以验证几组安全问题,可以大大提高验证的准确性和缩短验证流程的时间,具有很好的实际应用价值。 相似文献
10.
工作流的柔性问题已成为工作流系统适应业务需求不断变化的重要问题。工作流系统的应用分为建模阶段和运行阶段。现有工作流系统的静态路径已无法适应当前企业业务过程路径多变的需求,本文通过研究相关的理论方法与技术方案,分析运行阶段的路径变更问题,来提高工作流的柔性特性。本文对现有工作流路径回退算法进行改进,使其支持并行多步回退,解决工作流系统的动态路径问题,此外,还对当前大量应用的审批会签功能进行分析,提出一种运行中动态增加并行分支的解决方案,进一步提升工作流的路径柔性。最后结合实例进行验证,测试结果表明,系统能够根据业务需求变化及运行环境的变化对其自身路径进行动态调整,大幅提升工作流系统的柔性特性。 相似文献
11.
《国际计算机数学杂志》2012,89(11):2265-2278
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. 相似文献
12.
Manar H. Alalfi James R. Cordy Thomas R. Dean 《Software Testing, Verification and Reliability》2009,19(4):265-296
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. 相似文献
13.
14.
15.
吕绍华 《计算机工程与设计》2008,29(12)
随着银行业务领域的拓展,与之对应支持的科技应用系统也越来越多,如何根据当前系统的使用情况,对系统未来性能进行预测,从而很好的指导各个应用系统的维护工作成为当前亟待解决的问题.通过引入可靠性关于时间t的指数分布,对计算机系统未来的可靠性进行预测,从而获得系统可用性、和平均故障间隔的预测值. 相似文献
16.
针对汽车乘员约束系统仿真模型的可信度验证需要大量重复的数据处理和结果分析的问题,基于可信度验证系统(system of verification and validation, SV2),将100%正碰、40%偏置碰和侧碰工况的分析流程固化,开发汽车乘员约束系统仿真模型可信度验证系统。对100%正碰工况进行试验验证,结果表明:新开发的仿真模型可信度验证系统对模型可信度验证能够提高90%的工作效率,自动生成分析报告,为仿真工程师提供模型改善建议。 相似文献
17.
针对传统船用惯导系统采用理想运动状态对传递对准方案进行仿真验证的问题,提出了引入舰船空间运动模型的传递对准仿真验证方法。通过舰船空间运动模型提供接近真实运动环境的空间运动参数,并实现了空间运动信息至惯性敏感信息的正确转换,给出了各模块的空间变换算法转换流程。"速度+姿态"子惯导传递对准模块的仿真精度优于0.05°,证明了仿真验证系统变换算法的正确性。该研究设计为开展其它领域的传递对准仿真验证提供了有效的参考依据。 相似文献
18.
一种嵌入式操作系统运行时验证方法 总被引:2,自引:0,他引:2
作为测试、模型检验等开发阶段所用技术的有效补充,运行时验证技术越来越受到广泛的关注。然而,当前的运行时验证技术主要用于应用软件,很少专门针对操作系统进行研究。对面向嵌入式操作系统的运行时验证框架和关键技术进行了研究,并结合一个开源嵌入式操作系统FreeRTOS进行了设计与实现。首先提出了一种面向嵌入式操作系统的运行时验证和反馈调整框架,然后针对框架中的关键技术部分,完成了规约语言的设计、三值语义监控器的生成、FreeRTOS嵌入式操作系统相关接口的实现等主要工作。 相似文献
19.
物联网以及信息物理融合系统对形式化建模提出了新的挑战, 引入了实时系统规范语言STeC, 为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统, 提出一种基于STeC至Stateflow转换的仿真及验证方法, 该方法使用STeC语言对实时系统进行形式化建模, 再建立实时监控的Simulink仿真模型, 并使用Checkmate对系统进行安全性验证。通过对京沪高铁运行的实例研究, 表明该方法对高铁运行系统实时仿真的有效性, 并能够验证高铁运行系统的安全性。 相似文献