SET协议的支付模型分析

文章对安全电子交易协议SET的核心部分&&安全支付模型&&进行了详细分析,给出了有关协议数据的形式化描述,叙述了安全支付过程中的购买请求、支付授权、资金清算等处理流程,为进一步研究电子商务的安全支付问题,给出了一个参考模型.     

近线性神经和元非线性神经元

人工神经网络(ANN)中普遍采用的神经元模型具有单调有界的I／O特性,该文称其为近线性神经元(ALN,approximate－linear neuron),ALN既简化了网络的复杂性,也是限制ANN能力的一个瓶径.通过比较Hopfield神经网络的稳定性和Conway生命游戏的复杂行为,该文提出非线性神经元(NLN,non－linear neuron)的概念,其I／O特性是完全非线性的.ALN可以进一步提高ANN的非线性,从而增强它的功能,余数制神经网络是一个例子.     

动态可扩展操作系统的研究

动态扩展技术的研究能够解决操作系统设计中许多长期存在并难以解决的问题。这些问题包括：如何在提高应用程序的性能同时保证系统的安全性;如何提高操作系统使用的灵活性;如何包容和管理随着操作系统发展而不断增加的复杂性。文章对当前各种操作系统扩展类型进行详细分类,具体介绍了各种动态扩展技术,评估了不同的扩展技术对操作系统性能和安全性的影响,最后提出了需要研究的内容以及其中的关键问题。     

基于动态缓冲的实时同步策略

缓冲是实时多媒体同步策略中的重要的方法。该文讨论了一种在实时多媒体应用中使用的动态缓冲方法,在此基础上建立一个用于分析在网络延迟具有概率分布的情况下数学模型,并制定动态同步策略。     

多主体系统的建模技术研究

为了有利于多主体系统的开发,目前急需一种系统建模技术来对系统复杂性进行行之有效的管理。由于面向对象的建模技术已经趋向成熟,该文在面向对象的建模方法的基础上阐述了一种面向主体的建模方法。该方法针对基于一种特定BDI结构的主体,它包括从内部观点建构信念、目标、计划模型（ 即所谓的BDI模型 ）和从外部观点建构单个主体模型和交互模型。而且,该方法也能容易地进行扩展并应用于其他结构的主体建模。文章对各个模型的建造作出了详细介绍。     

多媒体协同环境Ashram的设计与实现

设计并实现了一个多媒体协同环境Ashram系统。Ashram系统采用半复制式体系结构,具有友好的界面和简单的操作方式,支持多媒体的协同感知。文章对它的关键技术从工作空间感知和基于角色的访问控制方面作了着重的阐述,之后又对它的实现技术做了详细的讨论,力图给出一个详尽的解决方案。     

系统测试平台的设计与实现

文章针对系统测试任务的工作性质和工作需求,首先分析了分布式实时应用系统的系统测试的特征和要求,并结合国际上软件发展的趋势,提出了管理者／代理系统测试模型。依据该模型提炼出可重用的评测支持系统（Evaluation and Test Supporting System,ETSS）作为系统测试平台,并从接口、管理、通信、同步、实时性和测试实施等几个方面阐述了ETSS的设计思想和原则,及其具有的基本功能。最后,以一个已实现的评测支持系统为例,介绍有关的实现情况。     

面向对象的柔性设计与控制理论(Ⅰ)

文中介绍了作者提出的“面向对象的柔性设计与控制理论”中的第一部分内容,包括面向对象的柔性设计与控制理论模型,控制系统的面向对象分析等。该理论的核心是将面向对象技术应用于智能控制领域,实现控制系统的面向对象分析与设计;在智能控制方面,以研究应用人的形象直觉推理控制与抽象逻辑推理控制机理及它们之间的关系为主要内容,实现控制过程的无模型控制,定性信息与定量信息综合集成。设计方便,控制灵活,且保证控制系统的稳定性、鲁棒性。     

网络安全风险分析与投资决策初探

文章在网络安全风险分析和网络安全产品对威胁的防御能力分析的基础上,得出构建网络安全的风险分析与投资决策模型。     

基于虚拟多任务机制的OSPF-2的设计与实现

OSPF（Open Shortest Path First Protocol）协议是目前Internet上广泛使用的自治系统内部交换路由信息的动态路由协议。文章介绍了在清华大学研制的国产高性能路由器中分布式路由协议OSPF－2的具体实现。为了实现这一复杂的动态协议,文章提出了基于事件驱动的虚拟多任务机制的设计和实现方法。这种机制能够有效支持复杂系统的分解,在实时性要求不高的前提下提供一种简便有效的并行机制,方便基于状态机的软件实现,提高了软件的可移植性。该方法对于其它的Internet高层协议的设计和实现也有一定的参考价值。