刚性系统数字仿真算法

介绍刚性的本质,综述刚性算法、间断处理、实时算法、微分代数问题、稳定性、并行算法的一些结果,给出在这个领域的进一步研究的建议。     

一类微分代数系统并行仿真算法

利用对误差的预校正技术,本文提出一类微分代数系统的并行仿真算法,进行仿真误差估计。对于一个模型问题进行稳定性分析,画出稳定区域。计算实例表明算法是有效的。     

一类并行隐式Runge-Kutta公式

本文针对多处理机系统构造了一类并行隐式Runge-Kutta公式,对2级Runge-Kutta公式给出具有4阶精度的公式族,并证明了它们的收敛性,进行稳定性分析。数值例子表明,该公式可以有效地数值求解较广泛类型的常微分方程初值问题。     

一类自适应松弛算法的算法模型

对于一类自适应松弛算法,本文提出了一个算法模型。在一些通常的假定下,证明了该模型生成的序列的收敛性定理。     

钨还原炉微型机群控系统的研制

本文论述了还原炉一类微机控制系统设计指导思想,推出了一个结构简单、实用、新颖的微机控温系统输入输出电路,试验和确定有效的控制算法。该系统控温点22个,对H_2压力、露点、上料实现操作指导和监督管理,系统具有自动重起动和自动切换到备用系统的保护功能。实践证明,该系统运行可靠。并取得了显著的经济效益。     

基于令牌的共享白板一致性算法

给出了三种多媒体电视会议的共享白板系统一致性的定义，提出了一个基于令牌的共享白板通信算法，算法的核心是使用一个循环传递的令牌来分配白板绘图消息的局部序号和全局序号，控制消息发送和处理的顺序，从而保证用户白板在外观上的一致．该算法对于三种一致性均能满足．     

Object as Agent

Ｉｎｏｂｊｅｃｔｏｒｉｅｎｔｅｄｄｅｓｉｇｎ（ＯＯＤ），ｔｈｅｃｏｎｃｅｐｔｏｆｏｂｊｅｃｔｇｅｎｅｒａｌｙｒｅｆｅｒｓｔｏｔｈｅｏｂｊｅｃｔｏｆａｃｔｉｏｎ，ｗｈｉｃｈｉｓｉｔｓｎａｉｖｅＥｎｇｌｉｓｈｍｅａｎｉｎｇ（Ｔｈｅ‘ｏｂｊｅｃｔ’ｉｎ...     

求解一类块线性代数方程组的LU分解算法

本文针对一类块线性代数方程组的大型、稀疏的特点,采用压缩存储技术,设计出了LU分解算法,计算表明:该算法效果良好。     

多用户操作系统的安全问题

在计算机系统的安全问题中,多用户操作系统的安全是尤其重要和关键的课题。本文就美国国家计算机安全中心公布的计算机安全标准(TCSEC) 来分析几个常用的多用户操作系统的安全情况,并说明在改进多用户操作系统的安全方面目前正在和即将准备采取的一些措施。     

互联网环境中数字作品版权保护公证技术研究

鉴于仅依靠数字水印并不足以证明互联网环境中水印化数字作品的所有权．因此,考虑借鉴公钥基础设施(PKI)的机制,为数字作品提供加盖时间戳,嵌入数字签名,随机产生认证令牌等服务,并对用户分发密钥,颁发数字证书．一旦产生版权纠纷,则在一个值得信任的第三方权威机构来认证数字作品与用户的关系以及提供进一步的服务,作为数字作品版权公证的法律凭证．