没有合适的资源？快使用搜索试试~
我知道了~
文库首页
安全技术
网络安全
任务关键型和安全关键型系统
任务关键型和安全关键型系统
3星
· 超过75%的资源
需积分: 10
12 下载量
87 浏览量
2014-08-20
16:46:54
上传
评论
收藏
463KB
PDF
举报
温馨提示
立即下载
任务关键型和安全关键型系统对软件的依赖度越来越高，而软件也变得更加复杂。
资源推荐
资源评论
任务关键型系统工程
浏览：187
制造商正面临新的挑战，即，需要对其传统的产品工程、制造和服务过程进行重大改变和改进。客户的要求和市场上的竞争让制造商无法拒绝这些创新。为了发展，甚至只是为了生存，制造商应考虑重新评估核心系统工程实践和技术解决方案。
验证PPTL公理系统中的安全关键任务计划系统
浏览：30
验证PPTL公理系统中的安全关键任务计划系统
安全关键系统形式分析的增强框架
浏览：181
本文提出了一个增强的框架，用于正式分析安全关键系统（SCS）。 由于失败的风险很高，因此需要更加关注SCS的开发过程。 模型驱动方法是开发SCS以完成SCS应该执行的关键和复杂功能的方法之一。 两种模型驱动方法：统一建模语言（UML）和形式化方法结合在所提出的框架中，从而可以更严格地分析，设计和测试SCS的安全性，从而减少歧义并增强SCS的正确性和完整性。 为了验证所提出的框架，已经讨论了一个实时
安全关键系统自动测试的高阶协作和实时形式模型
浏览：51
对安全关键系统（SCS）的需求既重要又紧迫，其评估和验证取决于测试。 SCS通常很复杂且非常大，因此在实践中无法进行SCS的手动测试，因此开发用于SCS的自动测试方法已成为重要的趋势。鉴于SCS测试中高阶协作，实时性和临时性的特点，基于域理论，本文定义了一种用于SCS自动测试的形式语义模型，称为AutTMSCS ，它描述了SCS测试中的行为。测试任务，测试设备和被测试产品分三层进行抽象和架构，并
安全关键系统的功能安全可靠的高压直流电源系统架构-研究论文
浏览：176
预计自动驾驶汽车排将减少由于危险交通事件而导致的死亡人数。 为了完全利用无人驾驶汽车的利润，我们必须确保自动驾驶汽车所用系统的功能安全性和可靠性。 用于AV的系统或子系统通常是安全性至关重要的系统。 高度自动化的车辆的安全关键附件需要连续且稳定的直流电源才能正常工作。 由于所用组件的预期功能偏离而导致的电源微小波动会导致灾难性事件。 高度自动化的车辆具有许多安全关键系统，并且AV的所有功能都取决于
安全关键系统的嵌入式软件
浏览：79
5星 · 资源好评率100%
安全关键系统的嵌入式软件
任务型对话系统最新的进展和挑战（2020年04月最新进展）
浏览：86
本文总结了目前任务型对话系统最新的进展和挑战，讨论了三个相关的关键问题：（1）如何提高数据使用效率，在资源不足的情况下对任务型对话系统进行建模;（2）如何为多轮对话的对话策略进行建模，使其在任务完成上...
利用聚合ITOT安全网关保护工业物联网基础设施.pdf
浏览：193
当安全关键型和任务关键型工业系统连接到用于工业应用的物联网 (IoT) 时，可编辑逻辑控制器 (PLC)、监控与数据采集 (SCADA) 系统以及日志服务器等传统设备的安全漏洞就会暴露无遗。 另外，越来越明确的是，当我们...
论文研究-异构系统中针对通信密集型任务调度的算法.pdf
浏览：200
针对异构多核系统的通信密集型任务的调度，提出了一种综合算法即，HCDUL。该算法首先进行聚簇，然后优先调度就绪关键路径节点，其他就绪节点根据节点的ranku值排序，当处理器有空闲时复制上层节点。使用随机生成图法...
SUSE Linux Enterprise Server 15 GNOME 用户指南
浏览：170
4星 · 用户满意度95%
全球范围内的企业都在寻求“开放的”开放源代码解决方案，这种解决方案使他们能够自由创新、敏捷地满足当前需要并为未来的技术持续做好准备，同时为那些需要安全性、可用性和全球支持的任务关键型应用程序提供支持。...
Actel推动FPGA关键的汽车传动和安全系统
浏览：129
Actel公司宣布其低功耗ProASIC3现场可编程门阵列 (FPGA) 系列已获得AEC-Q100 Grade 2 和 Grade 1标准，即通过了一系列专为确保汽车应用中半导体器件的质量、可靠性和耐久性的临界压力测试，成功地为汽车制造商提供了可替代昂贵、复杂的ASIC技术的灵活、可靠的解决方案。Actel的 AEC-Q100 Grade 1 ProASIC3器件是首款达到这一质量级别的FPGA
安全关键系统的硬件在环仿真的仿真架构描述语言
浏览：22
安全关键系统的硬件在环仿真的仿真架构描述语言
TravelAdvisor:安全关键系统实验室项目
浏览：94
TravelAdvisor:安全关键系统实验室项目
kpe:关键短语提取系统的继任者 SZTERGAK 参与了 SemEval 共享任务，从科学出版物中提取关键短语
浏览：6
kpe 该项目是关键短语提取系统 SZTERGAK 的继任者，该系统参与了（来自科学出版物）的。 ###如何让代码运行 快车道在项目目录下输入后续命令（假设是类UNIX环境以及zip和ant命令的可访问性）： ./getLibs.sh ant ant KpeMainNoTraining （并非如此）快车道 运行脚本getLibs下载构建项目所需的依赖库。 请注意，此脚本假定一个类 UN
SUSE Linux Enterprise Server 15 安装快速入门
浏览：127
5星 · 资源好评率100%
全球范围内的企业都在寻求“开放的”开放源代码解决方案，这种解决方案使他们能够自由创新、敏捷地满足当前需要并为未来的技术持续做好准备，同时为那些需要安全性、可用性和全球支持的任务关键型应用程序提供支持。...
用于微处理器、微控制器和 DSP 的紧凑、可靠、高性能和线程安全的嵌入式文件系统_C语言_代码_相关文件_下载
浏览：172
Micrium 的 µC/OS-II 内核已通过认证，可用于安全关键型应用，并且在医疗、航空航天和工业市场中仍然备受推崇。µC/OS 仍然是需要为其关键任务应用程序提供最可靠和值得信赖的解决方案的工程师的首选 RTOS。 更多...
Low-Code-Development-Platform:全球首个开源低代码开发平台。 通过漂亮的Web界面构建响应式任务关键型数据库系统。 您唯一需要担心的代码是三层上的唯一业务规则。 高生产力和高控制力都在同一平台上。 快来了！-System source code development
浏览：76
通过漂亮的Web界面构建响应式任务关键型数据库系统。 您唯一需要担心的代码是三层上的唯一业务规则。 快来了！ 在上关注我们，敬请关注 表中的内容 如何使用 要克隆和运行此应用程序，您需要在计算机上安装以下...
论文研究-求解多星任务规划问题的演化学习型蚁群算法.pdf
浏览：20
任务规划在成像卫星指挥控制过程中起着非常关键的作用, 在成像卫星应用系统中处于神经中枢的地位. 提出了一种求解多星任务规划问题的演化学习型蚁群算法: 在参数绩效知识...
傻瓜书：安全的混合云
浏览：199
求，必须利用高度安全的 IBM Z 平台，⽀持任务关键型工作负载，例如事务 管理应用。Z 平台多年来⼀直都在不断变⾰。z/OS、LinuxONE、开放式 API 以及 Kubernetes 的强强组合，使 IBM Z 成为混合云领域的关键合作...
ln17系统生：猎豹和它的关键任务.pdf
浏览：167
ln17系统生：猎豹和它的关键任务.pdf
ln17系统生：猎豹和它的关键任务.mp3
浏览：52
ln17系统生：猎豹和它的关键任务.mp3
国家关键基础设施安全对经济系统的影响建模分析 (2009年)
浏览：132
介绍了国内外关键基础设施的内涵,简述了关键基础设施可能面临的主要威胁;从直接与间接影响2方面研究了关键基础设施破坏对经济影响的建模思路;就直接经济损失、消费者信心及消费支出损失、投资者信心及金融市场损失、企业停减产的损失4个方面,构建关键基础设施破坏对经济的影响模型。选取某一地区经济系统进行仿真实验,实验结果证明了这一方法的可行性。
TTE通信技术在混合安全关键系统的应用
浏览：81
确定性通信是构建混合安全关键系统的关键技术。分析了混合安全关键系统对网络通信的要求，探讨了 时间触发以太网的体系结构、时钟同步机制、数据传输控制机制、余度与故障控制机制等，针对混合安全关键系统 的要求，详细分析了时间触发以太网的实时性、确定性、高可靠性等特性。
汽车电子中的Actel推动FPGA关键的汽车传动和安全系统
浏览：85
Actel公司宣布其低功耗ProASIC3现场可编程门阵列 (FPGA) 系列已获得AEC-Q100 Grade 2 和 Grade 1标准认证，即通过了一系列专为确保汽车应用中半导体器件的质量、可靠性和耐久性的临界压力测试，成功地为汽车制造商提供了可替代昂贵、复杂的ASIC技术的灵活、可靠的解决方案。Actel的 AEC-Q100 Grade 1 ProASIC3器件是首款达到这一质量级别的FP
飞行模拟器视景仿真系统设计与关键技术研究
浏览：154
5星 · 资源好评率100%
本论文在研究和制造我国首台用于任务训练系统的大型飞机 模拟器的过程中，对飞行模拟器的体系结构和视景仿真系统进行了详细的设计， 对相关的关键技术做了深入的研究，解决了该模拟器研制的一系列技术难题。该 课题...
网络安全概论——入侵检测系统IDS.pdf
浏览：168
所有能够执⾏⼊侵检测任务和实现⼊侵检测功能的系统都可称为⼊侵检测系统（IDS Intrusion Detection System） ⼊侵检测系统 IDS,它从计算机⽹络系统中的若⼲关键点收集信息，并分析这些信息，检查⽹络中是否有违反...
任务关键制冷系统与普通的空调有什么不同
浏览：10
标准的舒适型空调不适合技术室，会造成系统关闭和组件故障。因为精密空调可以使温度和湿度的变化维持在一个整定值的范围之内，所以可以提供敏感电子设备所需的恒温恒湿的环境，从而使您的公司避免发生高代价的停机...
操作系统笔记.pdf
浏览：26
操作系统是计算机系统的关键组成部分，负责管理与配置内存、决定系统资源供需的优先次序、控制输入与输出设备、操作网络与管理文件系统等基本任务。操作系统的种类很多，各种设备安装的操作系统可从简单到复杂，可从...
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
FastBee
2016-03-30
easy and simple
sxc1203326972
2021-03-06
问题不符，胡乱找的一个技术报告
jagd1234
粉丝: 0
资源:
1
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
docxtemplater转word
kevin-test All
4_1.cpp
fortran语言教程
cjson 文件，将cjson.c cjson.h 集成到自己的工程项目
Go语言教程.zip0002
威纶通MT8102iE系列触摸屏如何校准屏幕？.docx
Visual Basic.zip0002
全国大学生智能车竞赛2022，17届智能车四轮图像组
python一键自动化部署-批处理文件
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
