共查询到19条相似文献,搜索用时 78 毫秒
1.
2.
基于模型的安全性分析方法能够提高复杂安全关键系统的建模与分析能力.目前故障树被广泛应用于系统安全及可靠性分析中.故障树分析(Fault Tree Analysis,FTA)是一种自上而下的演绎式失效方法,根据故障树分析系统中不希望出现的状态,系统工程中可以尽早确定当前系统模型可能出现的问题并及时避免.面向一类安全关键性系统领域中的系统安全性建模语言AltaRica,基于其语义模型卫士转换系统(Guarded Transition Systems,GTS),设计了从平展化的GTS模型自动构造系统故障树的方法,节省了人工构造故障树的时间,从而加快了系统分析的进度.根据AltaRica3.0语言的语义规则,提取平展化GTS模型的数据构建实例对象;设计了GTS模型划分算法,得到一组独立GTS模型与一个独立断言,通过邻接矩阵构建独立GTS的可达图并获取关键事件序列.最后将处理结束的独立GTS与独立断言相结合,通过断言传播算法得到整个系统的状态及关键事件序列,生成系统故障树.最后通过实例来检验算法的有效性,结果表明,该算法能有效完成从平展化GTS模型自动生成故障树. 相似文献
3.
数据库物理结构自动生成技术的研究 总被引:2,自引:0,他引:2
针对目前广泛使用的三种商用数据库(Oracle、SQL Server和Sybase)不同的数据表结构,研究了数据表定义从逻辑结构到物理结构的转换方法,进而编制了适用于上述三种商用数据库的物理结构自动生成软件。该软件的生成使原本繁琐、耗时的过程变得简单而高效。 相似文献
4.
目前,计算机自动生成故障树技术的开发已经得到了广泛关注。为了增强故障树的可读性,简化大系统故障树生成的复杂性,并能够实现故障树生成技术的资源共享,本文介绍了一种基于Internet、利用JSP/Servlet技术的远程控制系统故障树生成系统的体系结构,并阐述了该体系结构下系统主要功能模块。最后,结合一个液位控制系统的例子验证了基于Inter-net的故障树生成系统的有效性和可行性。 相似文献
5.
6.
基于组件的报表自动生成系统的研究与实现 总被引:4,自引:3,他引:4
针对传统信息管理系统(MIS)中的报表处理系统缺少灵活性、不能自动生成等不足,提出了一种基于组件技术的开发思想,并在此基础上研究和开发出一个报表自动生成系统,在实际应用中收到了较好的效果。 相似文献
7.
VB的Add—in技术提供了扩展VB开发环境的接口。文章论述了基于VBAdd—in技术的可视化代码自动生成系统的设计方法,该系统的实现与应用可以简化软件的开发过程。加快软件的开发速度,提高代码的重用率。 相似文献
8.
虚拟试验对象的框架代码,是介于分布式中间件和分布式应用程序之间的代码层,它提供了对相应的虚拟试验对象进行发布订阅和远程方法调用等服务;然而,虚拟试验对象框架代码数量庞大,结构复杂,手工编写代码存在费时费力、出错率高等缺点;文章在充分研究现有代码自动生成技术的基础上,给出了虚拟试验对象框架代码的自动生成方案,设计并实现了能够自动生成虚拟试验对象框架代码的工具VssCodeGenerator,该工具已经得到初步应用,大大简化了在分布式环境下开发虚拟试验对象的应用程序的过程。 相似文献
9.
本文给出了AUTO1,AUTO2,AUTO3三个自动生成循环结构算法.这种循环层数不超过二重的循环结构,能替代任意有限n重循环结构.AUTO1生成最简形式的For循环结构,AUTO2生成一般形式的For循环结构,AUTO3生成一般形式的While循环结构. 相似文献
10.
因果图模型可以表示整个复杂系统中各因素见的复杂因果关系,故障树是故障分析和安全可靠性分析的常用模型,如果因果图模型能够转换为故障树模型,将扩大因果图的应用范围,方便故障树建模。因此研究因果图向故障树的转换显得十分重要。文章在分析故障树与因果图概念和表示符号的基础上,提出了因果图转换为故障树的算法。通过因果图向故障树转换可以得到任何事件为顶事件的故障树模型,然后可以采用成熟的FTA方法进行分析,这样因果图模型中的一些问题也可以采用故障树的方法来解决。在假设因果图中的连接事件表示必然因果关系条件下,因果图可以转换为含有可能的因果关系的故障树。研究表明通过微因果树化,因果图可以转换为故障树,所以因果图模型具有广泛的适用性和应用前景。 相似文献
11.
12.
在对电缆TDR测试仪实测数据分析基础上,建立了短路和断路故障下的回波数据模型。并提出了一种集故障判断和测量为一体的算法,自动返回故障的类型和位置,以取代现行的手工判断测量。实验表明,本文算法速度快、精度高。 相似文献
13.
ASP.Net环境下树状图的研究与实现 总被引:4,自引:0,他引:4
由于ASP.Net本身没有提供TreeView控件,所以在B/S结构中如何显示树状图就成为一个问题。研究了3种树状 结构的实现方法,并分析其优劣,实现了一种具有较好可移植性、可扩充性和可维护性的树状图,并在此基础上很好地 解决了树结点较多时(>5000)所出现的问题。 相似文献
14.
XU Ping YANG De-yun 《通讯和计算机》2009,6(9):54-57
This paper proposed a generation technology of virtual panoramic space. This technology captured multi-channel video images from several camera heads, combined these images real-timely into 360 degree panoramic images and composed a virtual panoramic space with a series of panoramic images. 相似文献
15.
通过描述并分析互联网常见的RSS2.0应用模式,提出了一种基于Web软件体系榘构的应用服务体系结构,采用.NET技术实现了一种RSS应用服务平台.该平台由Feed收集平台、信息发布平台、Feed推送平台构成,采用AJAX、Web服务等技术为RSS应用提供了用户体验性好、软件重用性强、与现有信息系统易于整合的解决方案.最后将其应用在某软件网信息平台上,通过分析统计数据验证了该平台技术的有效性和可行性. 相似文献
16.
真实感树木绘制技术研究 总被引:1,自引:0,他引:1
真实感树木绘制技术的研究是计算机真实感图形学的一个热点领域,因为树木复杂的细节结构使其在绘制上存在着相当大的困难.主要讨论了真实感树木的绘制方法,对国内外在该领域的工作成果进行了较为系统的介绍,并对各种绘制方法的优缺点进行了分析,最后展望了该技术的发展. 相似文献
17.
等雨量线自动提取的分析与实现 总被引:2,自引:0,他引:2
针对目前等雨量线提取智能化程度低的问题,就如何基于城市雨量监测点数据插值并自动提取等雨量线展开讨论,分析了等雨量线的自动提取步骤,结合ArcGIS Engine给出了常用插值方法的实现方法,并给出等雨量线自动提取关键步骤的主要思想和关键代码.该方法成功应用于济南城市防汛地理信息系统日,旬、月和年等雨量线的自动提取功能,也对同等城市等雨量线的自动提取具有较强的参考价值. 相似文献
18.
19.
郎荣玲 《计算机工程与应用》2008,44(27):69-71
故障树分析法在实施过程中会遇到计算量大的问题,二元决策图是解决这个问题的一种新途径。故障树转化为二元决策图涉及的一个关键问题就是对基本事件的排序,但是基本事件排序是一个NP问题。为了解决这个问题提出了一个将故障树转化为二元决策图的启发式算法,此算法既避免了基本事件排序这个难题,同时又充分考虑了故障树的具体结构,使得到的二元决策图尽量的简单。 相似文献