盲恒模多用户检测算法的实现和性能优化

介绍了盲恒模多用户检测算法的实现方法,并针对恒模算法代价函数的特性对该算法进行了优化,在检测之前加入了预白化处理,使接收信号呈现高斯信号的特性,改善了收敛条件。仿真实验表明,与非白化处理的效果相比,预白化处理后的盲算法具有更好的性能,抗远近效应问题效果更明显,收敛速度也明显增加,更适合于实际应用。     

基于物理隔离系统的安全Web浏览技术

目前,因特网上web测览的安全问题引起了人们的普遍重视。本文介绍了基于物理隔离的信息交互系统,在物理隔离信息交互系统中,设计并实现了安全web浏览系统。该系统由web内部和外部代理服务器以及隔离硬件构成,可实现对HTTP请求—响应数据的处理,大大提高了web浏览的安全性。     

一种基于固件的云系统策略文件完整性安全机制

针对云系统服务器之间共享策略文件所面临的完整性安全威胁,提出一种新的基于固件的策略安全机制。该机制可在云系统服务器平台之间安全且快速地进行共享策略文件交互,并可对共享策略文件进行完整性校验,进而提高协同工作的服务器所共享策略文件的安全性。实验结果表明,该机制有效实现了云系统环境下共享策略文件的完整性安全,同时提高了云系统管理员的管理效率。     

ATM与异种计算机网络互连

此文在对比了ＡＴＭ网络模型与ＯＳＩ／ＲＭ异同的基础上，从计算机网络体系结构有度出发，阐述了ＡＴＭ与异种计算机网络互连的基本原理，分析了现有协议对ＡＴＭ网络互连的支持讨论了新一代ＩＰＶ６及路由器ＡＴＭ交换机结合技术对ＡＴＭ互连网络的推动。     

一种基于USB的安全隔离与数据交换的实现方法

在当前网络攻击方式不断变化的背景下，新出现的安全隔离技术直接阻断网络在链路层上的连接，并进行受控的数据交换，有效地解决了不同信任域间既要安全隔离又要信息交换的矛盾。该文讨论了一种基于USB实现安全隔离与数据交换的方法，并已经在上海市电子政务中得到了应用。     

一种扩展了价格信息的时间Petri网

性能和成本分析是业务流程建模的主要目的,扩展了时间信息的Petri网能够有效地进行性能分析,但是对成本分析却无能为力.提出一种扩展了价格信息的时间Petri网--价格时间Petri网.首先为时间变迁扩展价格参数,并使用价格时间变迁系统给出价格时间Petri网的语义;然后提出计价状态类的概念,并证明为状态类扩展累积成本的合理性和完备性;进而给出一种算法来证明有界价格时间Petri网的最小成本可达问题是可判定的;最后给出一个应用例子并得出结论:为时间Petri网扩展价格信息并将其应用于业务流程管理领域是可行的.     

安全隔离与信息交换系统及其在电子政务中的应用研究

本文在回顾了网络隔离与安全信息交换技术发展的基础上，介绍了一种网络安全隔离与信息交换系SGAP实现方案。该方案采用专用软硬件技术实现了在隔离情况下的信息交换，同时内嵌的多种安全引擎可以较有效地保证传输信息的安全。     

基于物理隔离技术的安全电子邮件系统的实现

介绍了基于物理隔离的网络安全信息交换技术，在采用该技术的安全隔离与信息交换系统SGAP中，设计并实现了一种安全的电子邮件系统。该系统运用先进的物理隔离技术，大大提高了电子邮件交换的安全性。基于SGAP的安全邮件系统将在电子政务等领域有着广阔的应用前景。     

Internet网络级安全系统设计

分析了因特网中的网络级安全问题。提出了两种网络级安全系统的设计途径。一 是在现有ＩＰ协议的基础上建立分组过滤路由器和代理服务器结合的防火 墙系统。另一种是在扩展 的安全协议基础上建立穿越因特网的ＶＰＮ安全系统。分别分析了其系统原理和设计原则。     

柔性制造系统的时间Petri网建模与分析

时间Petri网是描述和验证实时系统最常用的形式模型之一。建立基于时间 Petri网的典型柔性制造系统模型,利用状态类分析方法,定量计算所有可行调度及其执行时间,进而获得最优调度,为复杂柔性制造系统的建模与调度提供有效的模型支持。