共查询到20条相似文献，搜索用时 31 毫秒
1.
2.
3.
4.
5.
6.
基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。 相似文献
7.
8.
邦元框架生成工具的设计与实现 总被引：1，自引：0，他引：1
邦元框架生成工具是用来自动生成邦元模型的框架程序.针对目前邦元程序开发与仿真应用结合过于紧密,通用性不足,在进行邦元框架生成工具总体结构设计的基础上,实现了一个仿真应用框架程序的自动生成工具.该工具具有支持邦元基本流程的框架生成、解读FED文件、自动生成基于Windows程序的邦元框架、邦元框架与Windows多框架的结合等功能.支持对象模型和实体模型两个层次的导入,能够在Visual Studio开发环境下根据使用者的要求自动生成仿真应用的程序模板,大大提高了工作效率,并保证了仿真应用实现的正确性. 相似文献
9.
10.
我的电脑经常会被舍友霸占,拿来聊QQ。害得我都没法用电脑了,既然不好意思不让他用QQ,那就让非法进程设置工具(下载地址:http://work.newhua com/cfan/200811/jzjc.rar,快车代码:CF0811CMRJ09)来禁止电脑运行QQ吧。非法进程设置工具是一款可以 相似文献
11.
《电脑编程技巧与维护》2001,(10)
内存优化常用的工具有哪些 内存优化工具可以帮助系统更好地使用内存。常 用的内存优化工具如下: (1)RAM Refiner 这是一个使用简单的在线内存碎片优化工具,它只提供即时优化内存碎片功能,并不提供将内存中的数据信息转存到硬盘中的虚拟内存交换文件的功能。RAM Refiner的网址是http://spifire.cwv.net/～zemerick/software/index.html,该工具的下载链接地址是http://www.sunv.com/newhua/file/ramrefiner30.zip。 (2)WinRam Turbo 这个工具使用简单、自动化程度高。该工具提供对系统内存、文件及磁盘缓存进行优化,清除系统剪贴板中的信息,从 相似文献
12.
CPU市场:AMD“放血”64位处理器狂降 上次我们谈到市场中高端CPU的价格小幅波动,Intel和AMD的产品都不很稳定。现在,Intel和AMD的表现则出现了明显的差异。Intel方面,其全系列产品的价格基本都保持稳定,即使出现价格的浮动,其涨跌幅度也保持在5元左右。 Intel:主流Pentium 4 CPU 1.7G/1.8A/2.0A/2.4B/2.53G/2.66/2.8/3.06/2.4C/2.6C/2.8C/3.0C的报价分别稳定在880元/930元/980元/1290元/1310元/1310元/1600元/2180元/1320元/1400元/1750元/2600元。估计春节过后适逢Intel例行降价,价格才会有较明显变化。Intel低端的产品赛扬系列CPU的价格异常稳定,与上次相比几乎没有 相似文献
13.
专杀工具这个词,你想到的时候也只是问哪里有下载吧!制作专杀工具往往都被称为神话,其实不然,几步操作下来,你也可以做成一个专杀工具。而这仅需AVEng(下载地址:http://work.newhua.com/cfan/200917/aveng.rar)来帮忙! 相似文献
14.
1 引言元数据是有关数据的数据,它是网络提供信息服务必不可少的工具。网络环境下信息的搜索离不开元数据的支持,目前较典型的元数据标准有:采用大型著书目录的专业化MARC;为了发现Web上资源而创建的IAFA/Whois~( ),Dublin Core元数据标准;地理空间信息资源FGDC元数据标准等,这些元数据标准在初始目标及复杂性方面因应用领域的不同而存在很大的差异。 相似文献
15.
《电子制作．电脑维护与应用》2015,(15)
<正>elediy.taobao.comH-C3摩尔斯电码练习器制作难度:★★188/套(含电源)H-C3练习器集摩尔斯码解码器、自动信标等功能于一体,涵盖了摩尔斯报常用的功能,融合了手动编程和电脑编程,可轻松实现各种参数设置和多种呼叫功能,同时也是个性化的摩尔斯代码学习和练习工具。收音机外接天线转接线28元/根适用于带有3.5mm外接天线插座的收音机,转接到M头的 相似文献
16.
软件大小:5915 KB软件语言:简体中文软件类别:国产软件/共享版/杂类工具运行环境:Win98/Me/2000/XP/2003下载地址:http://tj-http.skycn.net:8181/down/toolshox.exe http://cjtt—http.skycn.net:8081/down/toolsbox.exe软件介绍 《王牌超级工具组合箱》精选组合了当今电脑用户最常用、最实用的工具软件于一身,从此您无须再东奔西跑地到处去搜寻工具软件,或 相似文献
17.
Petri网标记语言(PNML)是一种基于XML语言的Petri网文件交换标准,用于实现Petri网工具的互操作性.综合介绍了 PNML标准化进程和PNML的核心支撑技术,详细阐述了PNML体系结构各个组成部分及元模型中各个组成对象,借助PNK工具实现一个P/T网模型实例,根据元模型分析对应的PNML文件中的库所、变迁和弧等对象标签的含义,最后分析了PNML在工作流模型与矢量图转换等领域的研究状况,指出了下一步研究方向. 相似文献
18.
《电脑爱好者》2006,(16)
SiS矽统SiS650/651/740/661FX/662/741/760/761GX系列芯片组内置显示芯片最新一体化驱动UniVGA33.75多语言版更新如下:1.适用于各个WINDOWS平台的显卡驱动程序。2.显卡设置工具,其中包含驱动模式设置工具、gamma调节工具、T V输出设置工具、A G P信息显示工具等等非常实用的小工具,可以使用户很方便地将显卡调整到最佳状态。3.安装与反安装软件。这款驱动的文件生成日期为06/29/2006,其中Win9x/ME系统的驱动版本号为4.14.10.3750、Win2000/XP系统的版本为6.14.10.3750、WinXP-64系统的版本为6.14.10.3750。适用环境:Win98SE/… 相似文献
19.