C++语言与软件的多态性——C++与软件工程系列之二

多态性是解决相似性问题的有效工具，它使我们的程序设计可在更高的抽象级别上进行、简化了程序的处理逻辑、提高了软件的可维护性。本文接Ｇａｒｄｅｌｉ的分类方法，对Ｃ＋＋语言提供的各种各样的我态性语言成份进行了分类，并加以详细的讨论。     

扩展的信牌驱动模型与Petri网

为了满足实用性以及与WfMC的标准接轨，在信牌驱动模型的基础上，提出了功能更大、表现力更强、更方便灵活的扩展的信牌驱动模型。并进一步探讨了扩展的信牌驱动模型的控制结构与Petri网之间的对应关系。从而为保证过程定义的正确性，及其验证、分析和执行提供了必要的理论支撑。     

软件开发与面向对象模型

一、引言70、80年代,以结构化方法为代表的软件工程方法使得人们开发软件按步骤,有章可循地组织完     

具有IPv4和IPv6转换功能的SSLVPN系统

文章针对IPv6网络“孤岛”的互联,提出了一种SSLVPN系统,该系统通过在IPv4的网络中建立SSL隧道连接多个IPv6孤岛。该SSLVPN系统主要使用NATPT的IPv4／IPv6地址转换技术,为多个IPv6孤岛之间的安全访问提供了一个有效的解决方案。该文提出的SSLVPN系统相当于IPv4网络和IPv6网络之间的边界路由器。     

一种行为特征验证码研究分析

针对当前验证码的表现形式和本质特点,以及针对验证码的通用攻击方式,文章研究了人在使用鼠标和键盘的行为特征,以此作为区分人还是计算机程序的标准,提出了一种基于行为特征的验证码及工作模式,最后分析了行为特征验证方法的安全性。     

基于深度生成模型的人脸编辑研究进展

人脸编辑广泛应用于公安追逃、人脸美化等领域,传统的统计学方法、基于原型的方法是解决人脸编辑的主要手段,然而这些传统技术面临着操作难度大、计算成本高等问题。近年来,深度学习快速发展,特别是生成网络的出现,为人脸编辑提供了一种全新的思路,采用深度生成模型的人脸编辑技术具有速度快、模型泛化能力强的优势。为总结近年利用深度生成模型解决人脸编辑问题的相关理论与研究,首先介绍了基于深度生成模型的人脸编辑技术采用的网络框架与原理;然后对该项技术所运用的方法进行详述,将其归纳为图像翻译、在网络内部引入条件信息、操纵潜在空间3个方面;最后总结了该项技术所面临的身份一致性、属性解耦、属性编辑精确性的挑战,并指出未来该方向亟待解决的若干问题。     

自组织网络病毒传播模型研究

针对现有的网络病毒传播模型不适应自组织网络的问题,以无线传感器网络作为自组织网络的背景,提出一种复杂环境下的自组织网络病毒传播模型.该模型引入描述节点通信窗口开放情况参数以模拟休眠机制;引入描述网络链路好坏的参数以模拟环境影响因素;针对传感器节点资源有限等特征,提出一种抑制病毒传播的方案;使用在网络节点中注入补丁包的方式,完成无线传感器网络对病毒的免疫.通过与经典模型的对比实验证实了该模型对自组织网络具有良好的适应性.     

基于隐形度的木马度量研究

木马作为一种特殊的网络攻击手段，远程控制和隐形能力是其显著特征。作为一种黑客手段，木马的使用使受害对象的损失进一步加重。研究木马技术，了解木马的隐形手段，并进一步展开量化分析，能为木马防范提供科学依据，以期最大限度地减少受攻击用户的损失。     

扩展的信牌驱动模型中配对结构之研究

在分层的工作流模型研究的基础上，指出了WPDL中AND-JOIN的语义问题，并在扩展的信牌驱动模型层，对配对结构进行了系统、深入的研究．形式地定义了最宽泛的配对概念和严格的正则配对的概念，分析了它们各自的优缺点．然后定义了一个既有严格语义、性能可以确定，但要求相对宽泛、相对比较实用的扩展正则配对的概念．利用此概念，严格地定义了扩展的信牌驱动模型．