东篱科研大数据发现系统（DRDS）

位置：成果数据库 > 期刊 > 期刊详情页

面向适航认证的模型驱动机载软件构件的安全性验证

ISSN号：1000-6893
期刊名称：航空学报
时间：2012
页码：796-808
分类：TP393[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
作者机构：[1]池州学院现代传媒系,安徽池州247000, [2]池州学院数学计算机科学系,安徽池州247000, [3]南京航空航天大学计算机科学与技术学院,江苏南京210016
相关基金：国家自然科学基金（项目编号：61100034,61170043）; 安徽省高校省级科学研究项目（项目编号：KJ2011B108）; 池州学院科学研究项目（项目编号：2011ZR009）
相关项目：基于控制机制的软件可靠性新技术及其理论研究

中文摘要：

为了改善有线-无线混合网络的通信质量,提高网络吞吐量,使无线传输控制协议（WTCP）性能得到提高,提出了一种适用于有线-无线混合网络环境的基站管理机制。在此基站中通过增加存储重传列表和分段反馈机制,改进了ACK的传输机制。NS仿真实验结果表明：与WTCP协议相比,使用此基站管理机制能够提高无线链路的吞吐量,提高WTCP协议在高速环境下的传输性能。

同期刊论文项目

基于控制机制的软件可靠性新技术及其理论研究

期刊论文 65

基于抽象的软件符号模型检测研究

期刊论文 20

同项目期刊论文

BPEL谓词约束建模及可行路径分析

嵌入式机载软件安全性分析标准、方法及工具研究综述

基于双格的多值模型的精化关系与对称化简

支持语义、接口和协议的服务相容性分析

A review of automated formal verification of Ad Hoc routing protocols for wireless sensor networks

Mismatches identification and mediation for web services composition based on semantic information

Self-adaptive semantic web service matching method

使用事件自动机规约的C语言有界模型检测

面向服务器集群的自动化测试监控平台的研究和实现

Web服务中支持本体推理的隐私保护研究

Slithice:一个基于系统依赖图的Java程序切片工具

A FORMAL MODEL FOR CHECKING THE CONVERGENCE PROPERTY OF BORDER GATEWAY PROTOCOL

<span style="font-family:;font-size:10.5pt;">Modeling and Analyzing the Convergence

<span style="font-family:;font-size:10.5pt;">Model Checking Aircraft Controller Soft

Analyzing temporal constraints for web services composition

一种状态事件故障树的定量分析方法

面向行为的Web服务组合隐私策略描述研究

<span style="font-size:10.5pt;font-family:;">Control Systems on Automata and Grammar

An Energy-Efficient Routing Protocol Using Movement Trends in Vehicular Ad hoc Networks

基于时间概率代价进程代数的Web服务组合建模和分析

ESpin:基于SPIN的Eclipse模型检测环境

支持本体推理的P3P隐私策略冲突检测研究

On the Generative Power of omega-Grammars and omega-Automata

Java程序自动锁分解重构

支持模型检测的故障树生成方法研究

Web服务组装中的隐私暴露分析方法

Detecting Hot Road Mobility of Vehicular Ad Hoc Networks

缓存区溢出研究与发展

基于BPEL的RESTful Web服务异步交互及组合研究

RUNTIME VERIFICATION OF ARRAY ACCESS VIOLATIONS IN C PROGRAMS

基于NS2的队列管理算法DropTail和RED仿真与研究

一种基于状态事件故障树的软件安全性分析方法研究

将故障信息扩展到功能模型的安全性分析方法研究

基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究

云计算环境中支持语义的安全策略匹配研究

基于图谱理论几何空间结构变换的大数据核聚类算法

本体评估方法研究综述

C程序内存安全的运行时检测方法研究和实现

基于双格的多值模型的精化关系与对称化简

基于情绪强度的中文微博情绪分析

多层次中文微博情绪分析

基于相似性混合模型的蛋白质交互识别

基于词性加权和单词相似性的蛋白质交互识别

基于特征加权的蛋白质交互识别