摘要：神经随机微分方程模型(SDE-Net)可以从动力学系统的角度来量化深度神经网络(DNNs)的认知不确定性。但SDE-Net面临2个问题,一是在处理大规模数据集时,随着网络层次的增加会导致性能退化;二是SDE-Net在处理具有噪声或高丢失率的分布内数据所引起的偶然不确定性问题时性能较差。为此设计了一种残差SDE-Net(ResSDE-Net),该模型采用了改进的残差网络(ResNets)中的残差块,并应用于SDE-Net以获得一致稳定性和更高的性能;针对具有噪声或高丢失率的分布内数据,引入具有平移等变性的卷积条件神经过程(ConvCNPs)进行数据修复,从而提高ResSDE-Net处理此类数据的性能。实验结果表明:ResSDE-Net在处理分布内和分布外的数据时获得了一致稳定的性能,并在丢失了70%像素的MNIST、CIFAR10及实拍的SVHN数据集上,仍然分别获得89.89%、65.22%和93.02%的平均准确率。

摘要：为了满足企业对过程模型描述能力的需求,提出了一个基于Petri网的新工作流模式完全解决方案。在深入研究工作流模式的基础上,应用高级Petri网技术来构造所有的工作流模式。抑制弧通过测零帮助实现多实例的同步,消耗库所负责移除多余的标记,带标记的库所实现对变迁触发序列的控制;设计加权弧和限制容量的库所来实现同步M条路径中被激活的N条的情况。本方案实现了将所有的工作流模式,从基本到复杂,都映射到相应的Petri网上。最后,通过一个集成制造过程模型的实例,说明基于Petri网的方案能够完全满足企业在模型描述能力上的各种复杂需求。

摘要：设计上的复用是软件复用的较高层次。设计模式是设计成果的总结，设计模式复 用是完成设计成果复用的有效途径。而改变在设计模式应用过程中过份依靠人工的现状，有 着重大的意义。文章从描述、储存、管理等方面阐述了设计模式复用支持系统的实现，并给 出了一个现阶段较为可行的实现方案。

摘要：作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。顺序图作为UML动态描述机制的重要组成部分,同样存在这样的问题,而Petri网作为一种建模工具,有着严格的形式化语义,而且有很多成熟的分析方法。该文针对UML2.0顺序图模型,结合几个简单Petri网结构,提出了将顺序图转换为Petri网的算法,最后通过实例说明了转化算法的有效性。

摘要：为解决状态图的建模问题,特别是带有复合状态的层次化状态图的建模问题,分析了UML状态图的结构特点和语义特征,构造了层次化着色Petri网HCPN.将复合状态的Petri网子网结构划分成输入/输出端口、状态迁移部分和历史状态部分.其中输入/输出端口分别用于完成子网进入弧的解析和离开的弧的汇总,状态迁移部分完成状态机子网内部状态变换,历史状态部分通过“记忆单元”,完成复合状态的“记忆恢复”和“记忆刷新”.基于所构造的HCPN结构,总结了状态图复合状态转入/转出迁移的语义和约束规则,阐述了复合状态的Petri网子网的相应描述方法和分析技术.最后针对状态图的安全性要求详细论述了历史状态完备性判定原则、父子层一致性判定原则和状态可达性判定原则的HCPN语义表示.研究成果对进一步开发自动化分析验证工具,优化复杂系统设计方案,提高软件质量具有重要的指导意义.

摘要：随着处理器的系统结构日趋复杂,设计空间呈指数式增长,并且软件模拟技术极为费时,成为处理器设计的重要挑战。提出了一种结合集成学习和半监督学习技术的高效设计空间探索方法。具体而言,该方法包括2个阶段:使用均匀随机采样方法从处理器设计空间中选择一小组具有代表性的设计点,通过模拟获得性能响应,从而组成训练数据集;提出基于半监督学习的AdaBoost(SSLBoost)模型预测未模拟的样本配置的响应,从而搜索最优的处理器设计配置。实验结果表明,与现有的基于人工神经网络和支持向量机(SVM)的有监督预测模型相比,SSLBoost模型能够使用更少的模拟样本构建出不差于现有方法性能的预测模型;而当模拟样本数量相同时,SSLBoost模型的预测精度更高。

摘要：提出一种用于在二维工作空间中协同作业的并发操作加锁协议和相应的锁调度算法·协议采用悲观锁,以抽象的二维空间为并发操作的对象,支持任意锁粒度,具有无死锁性质·加锁协议和算法在一个实时分布式协同绘图系统中实现·协议的实现采用多Agent系统模型,将面向Agent的程序设计中Agent的情绪值的概念用于控制锁的释放和调度,支持并发操作者之间的主动协同和细粒度感知·

摘要：作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证.状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题,而Petri网作为一种建模工具,有着严格的形式化语义,而且有很多成熟的分析方法.本文针对UML2.0状态图模型,对状态图至Petri网转化方法进行了研究,并提出了将状态图转换为Petri网的算法.

摘要：提出了一种利用被动监听Overlay网络进行DDoS攻击源追踪的新方法。它能够跨越多个自治系统追踪一个大规模DDoS攻击的多个攻击源。基于该方案,设计和实现了一个IP源回溯系统:SnifferTrack。描述了它的体系结构和组成、追踪过程和算法。最后,提出了SnifferTrack系统中的几个局限以及进一步的工作。

摘要：并发软件系统中各节点既独立又统一,并发地完成系统功能,这种并发性导致系统执行结常常具有不确定性,使系统开发人员很难设计测试用例,又因为并发软件常用于要求较高的环。