摘要：网络隐蔽信道是在网络环境下违反通信限制规则进行隐蔽信息传输的信息通道,为网络信息安全带来了新的挑战,也为数据传输的安全性和隐私性带来了新的研究方向.首先介绍了网络隐蔽信道的定义、分类、能力维度等基本概念;进而从码元设计、信息编码和信道优化这3个方面归纳分析了存储型和时间型两类网络隐蔽信道的构建技术,从隐蔽性、鲁棒性和传输效率这3个方面总结了网络隐蔽信道评估方法,从消除、限制、检测这3个方面梳理了网络隐蔽信道的对抗技术;最后,对未来的研究方向进行了展望.

摘要：当前,以Hadoop、Spark为代表的大数据处理框架,已经在学术界和工业界被广泛应用于大规模数据的处理和分析.这些大数据处理框架采用分布式架构,使用Java、Scala等面向对象语言编写,在集群节点上以Java虚拟机(JVM)为运行时环境执行计算任务,因此依赖JVM的自动内存管理机制来分配和回收数据对象.然而,当前的JVM并不是针对大数据处理框架的计算特征设计的,在实际运行大数据应用时经常出现垃圾回收(GC)时间长、数据对象序列化和反序列化开销大等问题.在一些大数据场景下,JVM的垃圾回收耗时甚至超过应用整体运行时间的50%,已经成为大数据处理框架的性能瓶颈和优化热点.对近年来相关领域的研究成果进行了系统性综述:(1)总结了大数据应用在JVM中运行时性能下降的原因;(2)总结了现有面向大数据处理框架的JVM优化技术,对相关优化技术进行了层次划分,并分析比较了各种方法的优化效果、适用范围、使用负担等优缺点;(3)探讨了JVM未来的优化方向,有助于进一步提升大数据处理框架的性能.

摘要：领域驱动设计(Domain-Driven Design,DDD)是Evans提出来的用来处理软件系统核心复杂性的方法。该方法的有效性在实践中得到证明,但是方法在细节上存在不够清晰、对设计人员素质要求高等问题。在对大量业务系统进行分析和实践的基础上,对业务对象的公共操作进行了抽象,提出了基于DDD的应用系统模型来指导系统设计和开发。研发了开发框架对业务系统中通用的属性和操作进行了封装。实际项目中的应用证明了该框架能够辅助进行系统设计开发,提高软件开发效率和减少缺陷。

摘要：针对虚拟化技术给计算平台带来的一些新的安全问题,提出一种以虚拟机应用安全为核心的虚拟可信计算平台安全体系结构,为计算平台建立一种层次化的可信计算基(TCB):由硬件信任根TPM/TCM支持、可信虚拟机监控器(TVMM)以及安全管理器(SM)由底至上3个层次共同组成.基于开源XEN,设计了一种可保证虚拟机(VM s)及其应用安全的虚拟可信平台实例,它支持远程证实、信息流控制、安全迁移和私密性保护等安全机制.分析结果表明,实例系统可灵活支持其上虚拟机应用实现不同安全目标.

摘要：讨论了可视化开发方法在开发 Petri网工具中的应用 ,描述了 Petri网的可视化运行的表现形式 ,介绍了Petri网可视化运行的设计方法 .

摘要：中国聚变工程实验堆(CFETR)是我国自主设计和研制的重大科学工程,CFETR旨在与ITER相衔接和补充,为研制DEMO级别聚变堆电站提供必要的技术。蒙特卡罗方法在聚变中子学与屏蔽设计等方面具有重要作用。本文基于自主化蒙特卡罗程序cosRMC,研究了蒙特卡罗复杂曲面建模的数学模型和计算方法,开发了复杂曲面建模功能,并通过PPCS(power plant conceptual study)模型验证了该功能实现的正确性。然后构建了CFETR的三维精细化模型,并利用该模型对CFETR包层设计中的关键中子学参数进行计算分析。结果表明,cosRMC对中子学参数氚增殖比、中子壁载荷和核热沉积的计算结果与MCNP的计算值吻合良好,相对偏差均小于5%,满足工程设计需求。研究证明了cosRMC应用于聚变堆包层中子学分析的正确性和有效性。CFETR中子学参数的计算分析,也为其设计和优化提供了参考。

摘要：给出了Verilog的代数语义.这是一个等式公理体系,它将Verilog语义特征通过代数规则简洁而准确地表达出来;并且这个代数语义相对于已经所作的操作语义模型来讲是可靠的,即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的.研究了此代数语义的相对完备性,即参照前面的操作语义模型,相对于扩展Verilog语言的一个子集而言,此代数语义是完备的.即所有符合这样语法的程序,如果它们是互模拟等价的,那么它们同样可以在所提出的代数系统中被推导相等.在完备性证明过程中,采用范式方法,即构造一种语法上特殊的程序,任何属于上述子集中的一个程序通过该代数规则都能够被转化为范式程序,而且范式程序在操作语义模型下是互模拟的当且仅当它们是语法相同的.上述结果具有重要的理论意义,因为现有的进程代数理论主要是针对管道通信并行语言而展开的,而对于像Verilog这种以共享变量通信为基础的复杂并行语言研究还是比较少的,对此类复杂的基于共享变量的并行语言的进程代数理论研究提出了一种通用、有效的方法.

摘要：针对异或门非易失性闪存(NOR flash)的特点,提出了一种扇区映射策略。通过在系统中建立一个转换层,将普通的NOR flash模拟成磁盘设备,从而可以在其上部署普通的磁盘文件系统。同时,描述了垃圾收集块选择算法,实现了对NOR flash访问的损耗均衡。对该磁盘模拟方法的系统需求、性能和可靠性做了分析,提出了优化方法。

摘要：随着AP1000等新一代压水堆的发展,燃耗深度在不断提高,平均卸料燃耗深度提高到60 GW d·t-1。然而,传统使用的WIMS69群和XMAS172群WIMS-D格式多群常数库,其能群结构存在共振峰重叠,核素种类较少,裂变产物产额的偏差较大,并且伪裂变产物中包含的核素种类较多而导致152Gd、160Gd、159Tb、160Tb等重要核素无法得到精确处理等问题。因此,本文主要针对AP1000等新一代反应堆的设计以及运行特点,基于ENDF/B-VII.1库,并且在现有基础上针对WIMS-D库中的伪裂变产物、裂变产物燃耗链以及裂变产物产额等燃耗数据进行更新,再通过NJOY程序开发了SHEM281群WIMS-D格式多群常数库。通过DRAGON程序挂载该WIMSD281库,对其进行临界和燃耗两方面基准验证。计算结果表明,该数据库的计算结果与基准值符合较好,精度较高,结果可靠,可初步用于压水堆的相关计算。

摘要：设计一个经受起市场检验的软件系统，软件工程师的视野需要从“软件工程”的角度转变成“产品工程”的角度，即充分考虑产品使用者——人的因素。为达到这个目的，针对软件系统设计中涉及的人的因素进行研究和探讨，重点探讨人因工程和软件系统设计结合的理论，并介绍一种系统设计中结合人的因素的有效工具——ＣＡＲＭＡＮ。