拟态路由器报文分类及协议代理设计实现与形式化验证研究

来源 :东南大学 | 被引量 : 0次 | 上传用户:and
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
生物质气化是一种将生物质转化为清洁可燃气体的经济高效工艺,气化炉的设计与控制对提升气化性能起着重要的作用。传统设计与控制方法多采用理论计算和大量试错,但这种相对固化的模式得到的结果难以与气化原料达到最优匹配,也难以满足用户侧的多目标需求。针对以上情况,本研究提出一种反向设计理念,从目标需求出发,利用气化模型和智能算法对生物质气化炉进行设计与过程控制,主要成果如下:首先,利用气化模型建立设计(控制)
学位
在社会经济高速发展背景下,人们对于各项工程的质量要求在不断提高,这就需要检验检测机构做好工程质量检测工作。随着检测市场的日益变化,检验检测机构还需要开展安全管理工作,以提高检测质量与水平,满足大众的实际需求。文章主要针对工程质量检验检测机构安全管理的问题与对策展开了详细分析,并且从人员、环境、制度、技术等方面入手,为检验检测机构安全管理工作的开展提供了有效的保障。
期刊
学位
学位
学位
学位
学位
学位
学位
目的 构建青少年体育与健康素养评价体系,为学校体育与健康素养培育及评价提供科学参考。方法 采用扎根理论,借助“Nvivo12.0Plus”软件对研究资料进行三级编码,运用专家咨询法对评价指标进行修正,利用问卷调查数据进行项目分析和探索性因素分析,采用结构方程模型构建评价体系。结果 三级编码形成434个自由节点、33个子节点、7个节点;项目分析和探索性因素分析确立由7个维度、27个观测指标构成的评价
期刊