基于 IPSec 环境下实现虚拟私网技术的应用

IP安全体系结构是由IPSec工作组制定的开放性标准框架,它能为网络层安全提供长期、稳定的基础,从而为创建安全连接的虚拟私网提供了灵活的实现手段;使用户可以避免租用昂贵的专线而采用公网就可以实现广泛的电子商务活动;论文在对IP安全体系结构协议进行研究的基础上,通过实例对采用IP安全协议的虚拟私网技术应用进行了实现,并讨论了密钥、数字签名等技术在提高通信系统安全、满足用户电子商务要求方面的应用前景.     

有效协作控制的Petri网模型和分析

本文利用Petri网对协作系统有效控制进行了研究,建立了协作Petri网和协作有色Petri网模型,对Petri网的运行情况进行了分析与探讨,并对协作Petri网模型的性质进行了分析.     

因果网的非稳态流量异常检测系统设计

网络入侵检测中的流量异常检测方法存在着虚警率较高的问题，为此提出了结合因果网的非稳态流量异常检测系统。该系统采用基于发生新事件的先验概率和趋势来评估异常的思想，借助机器学习方法建立非稳态正常模型，并在由此得到的基本异常事件集的基础上，采用因果网进行进一步数据挖掘，给出了综合系统的原型设计。     

超空间上的弱连续对应

本文在超空间上定义了弱连续对应。以拓扑空间中的开(闭)集和θ—开(闭)集为基础得到了这种对应的若干等价条件。并给出了子集网与收敛网的应用。     

动态Web站点的设计

动态Web站点是目前国内外广泛应用于各个领域的一种传递信息的主要手段．虽然单个网页的设计比较简单，但是对于具有动态的、数据驱动的网站，其设计是非常复杂的．为了确保网站的质量和开发效率，本文在目前常用设计模式的基础之上，总结了大规模动态Web站点的设计方法，并提出使用Petri网模式进行设计．     

基于VPN的安全企业网实现探讨

VPN作为方便有效而又低成本地实现远程用户对企业网安全访问的有效技术在企业网的建设中有着广泛的应用.文章在对VPN基本技术特性介绍的基础上,讨论了企业网实现中对VPN的不同安全需求,针对性地提出了构建企业VPN的方法并给出了基于Windows2000的VPN解决方案.     

大型基础下含软弱夹层的层状砂土变形计算

基于饱和土的相关理论,推导了大型基础下层状地基的沉降计算模型.考虑不同的土性,根据修正剑桥模型和摩尔-库伦模型,推导了K_○0条件下且能够考虑其塑性变形的压缩模量.基于平面网格子域法结合分层总和法建立了一个完整的、更加贴近工程实际的大型基础下含软弱夹层的层状砂土地基沉降计算模型.研究结果表明:该模型的计算结果与模拟结果很贴近,且能够突出体现出软弱夹层的变形特性.研究结论可为含软弱夹层的大型基础地基沉降计算提供直接参考依据.     

基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.     

铝合金双层网壳结构的抗震性能分析

以双层球面网壳为研究对象,分析了结构随参数变化的自振特性.采用Newmark积分法对其进行地震时程响应分析,研究了铝合金与钢双层网壳结构在竖向地震荷载作用下节点的位移响应及杆件的轴力响应.研究结果表明,铝合金双层网壳与钢双层网壳在结构相同情况下,其自振特性基本相同.而地震荷载引起的位移响应,铝合金双层网壳要略大于钢双层网壳,但铝合金双层网壳的杆件轴向应力远小于钢双层网壳的杆件轴向应力,因此用铝合金取代钢材是可行的.     

基于Petri网的电梯系统规格说明

为克服非形式化技术描述系统规格说明带来的二义性,采用了一种形式化技术——Petri网来描述电梯系统的规格说明。Petri网技术是对离散并行系统的数学表示,适合于描述并发的计算机系统模型,可以正确的描述电梯系统。