摘要：代理防火墙存在着性能不高、自身安全性无法保证、可扩展性差等诸多弱点。针对这些问题,本文提出了在定制安全操作系统基础上,将代理程序与OS内核协议栈一体化设计及代理程序分层实现的思想。介绍了报文分类标记、策略树机制、协议栈快速通道等实现内核级代理的关键技术,以及在安全OS内核中实现透明代理防火墙TPF的过程。TPF在性能、自身安全性和易扩展性方面较之传统代理防火墙有了显著的提高。

摘要：本文介绍了一个基于信息网络的软件Agent系统(SAFIN)的设计。SAFIN系统以Internet/Intranet为背景,将面向Agent程序设计、Agent通信语言KQML和移动Agent的某些技术集成起来,旨在建立一个实用的Agent框架,方便信息网络中软件Agent系统的构造。

摘要：随着千兆网络开始在国内大规模普及,对千兆线速防火墙等高性能网络安全产品的需求日益迫切。利用XpeediumTM CXE-16芯片、pp1200、TCAM和CPCI2.16技术开发了千兆线速防火墙硬件平台,并基于该平台设计并实现了千兆线速级防火墙系统SOFTWall8000。该防火墙系统与使用网络处理器(NP)和ASIC技术实现的千兆防火墙系统相比,具有结构开放、灵活,综合计算能力强,可靠性高等优势。

摘要：Agent技术源于人工智能,现已融入主流计算机的各个领域。

摘要：UML状态机 (SM)是UML中用来对系统各种元素的离散行为建模的图 .它丰富的表示符号提供了强大的描述机制 ,但也降低了其结构的模块性 ,提高了对其分析验证的难度 .模型检验是自动检验有限状态并发系统的技术 .通过模型检验SM描述的不同系统元素的行为是否满足某些性质 ,能尽早发现设计中的错误 .为了将模型检验技术应用于SM的验证 ,本文用kripke结构定义SM的操作语义 .与已有的SM语义定义不同 ,本文考虑到了SM中包含的不确定因素 ,用kripke结构描述系统所有可能的演化轨迹 .

摘要：为保证Agent软件系统的质量 ,提高系统的可靠性、正确性、可维护性和可扩展性 ,需要为Agent软件系统提供设计方法学的支持 .以处于分布、开放环境的信息Agent为研究对象 ,以同一应用域分析结果的复用为前提 ,提出了一种面向Agent的分析方法ARC ,阐明了在设计Agent软件系统时采用对象级构件。

摘要：形式化方法以严格的数学化和机械化方法为基础来规约、设计、构建、验证、演进计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工具已延伸成为计算思维的重要载体,在国内外持续被关注和研究.在各种领域需求的推动下,形式化方法的相关理论、技术和工具越来越受重视,并在多种关键领域的应用中取得显著成效.本专题主要关注国内形式化方法的最新研究进展及其在特定领域的应用,共征得投稿37篇,其中36篇通过特约编辑形式审查进入评审阶段.每篇稿件经过2位专家的评审,有16篇进入复审阶段,

摘要：软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法、面向对象方法、软件复用与构件化方法、面向方面的方法、模型驱动的方法,以及服务化的方法.而后针对Internet的发展普及以及人机物融合应用对软件开发方法提出的挑战,介绍了网构软件的研究和探索,并展望未来人机物融合的软件方法和技术.

摘要：[目的／意义]数据科学作为一个融合诸多领域的新兴交叉学科正在快速形成。从数据科学招聘的公告信息中，抽取出相应的实体知识不仅有助于从市场的角度了解数据科学的发展动态，而且有助于改进数据科学教学的内容。[方法／过程]基于各大招聘网站职位招聘公告，结合情报学的数据获取、标注和组织方法，构建数据科学招聘语料库并从中抽取相应的实体进行分析与研究。[结果／结论]在搜集到的11000篇经过标注的职位招聘公告语料的基础上，基于Bi-LSTM-CRF、CRF和Bi—LSTM模型，对数据科学招聘实体的抽取任务进行性能的对比，确定最终的数据科学招聘实体自动抽取模型，设计数据科学招聘实体自动抽取平台，并构建数据科学招聘实体网络。

摘要：情报课程是情报学教学体系的核心和灵魂,是新的情报学人才培养模式的基础。在大数据、数据科学、人工智能发展的大环境下,数据学科与情报学之间存在很多共同点和交叉点,尤其是在对相应工作者所具有的技能素养上。文章通过对数据科学招聘信息中出现的人才技能素养实体的抽取,探究指导情报学学科紧跟时代发展潮流的课程设计内容。通过对招聘网站中数据科学相关工作岗位公告的抓取,经人工标注10534条公告数据,构建了基于预训练字嵌入的BI-LSTM-CRF神经网络的技能素养实体自动抽取模型,并在开发集中取得最高调和平均值85. 04%的效果。文章利用最优模型在11508条招聘公告中进行实体自动抽取,分析抽取结果,并围绕数据科学技能素养要求为情报学课程发展提出了适当建议。