排序方式: 共有30条查询结果,搜索用时 359 毫秒
1.
ARINC 653分区实时系统的可调度分析 总被引:1,自引:0,他引:1
ARINC 653规范定义了综合模块化航空电子(IMA)实时操作系统的行为逻辑以及向应用程序提供的接口规范。该规范规定了系统采用分区内调度和分区间调度的两级调度方案,如何分析系统的可调度性以保证实时任务能够在截止时间内完成计算是需要研究的新问题。基于负载请求与平台资源提供能力的供需约束关系导出了系统可调度的判定依据。证明了判据的约束是系统可调度的充分必要条件。实际应用表明,提出的可调度判定定理能够应用于判定ARINC 653分区实时系统的可调度性,辅助提升系统的安全属性。 相似文献
3.
4.
空间前方交会法及其在测试技术中的应用 总被引:2,自引:0,他引:2
分析了空间前方交会法的基本原理,建立了相关的理论模型,并在实验室的条件下严格测试了这种方法的测量精度;探讨了空间前方交会法在位置检测系统的测试过程中应用,详细地给出了测试的步骤以及测试数据的分析处理结果。 相似文献
5.
6.
提供了一种针对厚织物的液相浸渍工艺方法,解决了大厚度、大尺寸复合陶瓷天线罩材料致密性(密度大于1.75g/cm3)和均匀性的问题,同时可使纤维强度有较高的保持率,复合材料有较高的强度和断裂韧性。 相似文献
7.
8.
9.
10.