比例规则后件的T-S模糊模型辨识方法

模糊划分应满足测量准则,这一点常被忽略。采用余弦平方函数作为隶属函数,解决了曲线型隶属函数在模糊化分后满足测量准则问题。T-S模糊模型后件由线性函数构成,以局部线性化方式实现全局非线性,通过分段性逼近辨识曲线,常用于系统辨识中,但其辨识参数多是其主要问题。比例规则后件的T-S模糊系统具有万能逼近特性,且构成参数少,用于非线性系统的辨识中,可以减少辨识参数,提高辨识速度。给出其在系统辨识中应用的方法,并通过仿真实例说明本方法的有效性。     

代理型防火墙Cache策略的研究与实现

在代理型防火墙中设置Cache,可以有效地减少响应延迟和降低网络带宽。对Cache实现中的信息过滤规则、过期页面处理和替换算法几个关键技术进行了深入研究,并提出了一种基于防火墙日志系统开销极小的Cache管理策略。     

位置信息与替换概率相结合的多核共享Cache管理机制

多核系统中末级Cache是影响整体性能的关键。为了提出一种细粒度、低延迟、低代价的末级共享Cache资源管理机制,将系统性能目标转换为每个内核当前占用Cache资源的替换概率,以决定每个内核能够提供的被替换资源的数量;对某个需要增加Cache资源的内核,从可提供被替换资源的候选内核中选出距离较近且替换概率较高的一个内核,并以Cache块为粒度进行替换,从而实现Cache资源在不同内核间的动态划分。与传统以相联度为粒度的粗粒度替换机制相比,以Cache块为单位的替换机制具有更细的替换粒度,灵活性更高。另外,通过将位置信息和替换概率结合,保证了Cache资源与相应内核在物理布局上的收敛,降低了访问延迟。同时,所提出的方法只需要增加极少的硬件代价。实验结果表明,根据实验场景和对比对象的不同,所提方法与其他已有研究成果相比,可以实现从6.8%到22.7%的性能提升。     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

基于Web服务的军用训练系统作战模型服务共享研究

针对HLA在实现作战仿真资源共享方面存在的不足,提出了采用WSRF技术实现资源共享.建立了基于Web服务的军用模拟器作战模型共享体系,定义了模型共享接口,介绍了模型服务的开发方法.以潜艇作战仿真为例,说明如何实现简单仿真调用.最后以潜艇解算目标运动要素为仿真背景,利用自行开发的客户端,对模型服务器进行服务共享测试.测试表明,采用Web服务实现作战模型服务共享,在局域网条件下,能较好满足了模型共享的需求.     

狠抓按纲建连 注重“双育一体”

山西省太原市杏花岭区人武部结合常备民兵应急连建设实际，在吃透《军队基层建设纲要》精神的基础上，明确了“按纲育思想、育本领，双育一体、育用共抓”的建设思路，研究制定了“按纲建连、双育一体”实施方案，科学划分了7大项16小项工作目标和任务，     

基于微服务的数据安全共享服务平台

本文针对多源数据融合及共享应用的需求，以可信受控存储为基础，采用机构间融合数据共享服务模式，并构建合规的数据安全共享平台应用平台，提供微服务架构，通过API网关安全接入服务注册、发布、订阅、调用、注销等全生命周期的数据服务管理。此外，针对多源数据融合共享应用的需求，平台采用基于微服务的数据安全共享架构，通过访问控制策略管理、敏感数据流转监测、异常行为监测与管控等技术，实现内外部数据的跨域安全共享。构建大规模多维数据的融合共享服务平台，实现跨平台、跨主体、跨部门的数据安全使用，解决数据的协同应用问题。     

面向 MPP Fortran 的程序自动并行化初探

ＭＰＰＦｏｒｔｒａｎ是由Ｃｒａｙ公司推出的一种较有代表性的数据并行语言,本文首先介绍了ＭＰＰＦｏｒｔｒａｎ的主要特点,然后,以该语言为例,对面向ＭＰＰ系统程序自动并行化的主要内容进行了初步的探讨。     

面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。