一个多机容错系统MPFTS故障恢复的设计与实现

本介绍我们研制的一个多机容错系统MPFTS的故障恢复技术。首先对MPFTS的结构和工作过程进行了概要介绍。在此基础上,分析了该系统不同类型故障恢复的可能性、恢复时机的选择、恢复所要达到的目标等问题。中详细讨论了利用异常中断返回技术实现系统故障恢复所涉及的数据结构及具体运行过程,并对上电升级重构这种特殊的故障恢复情况进行了分析。     

航炮故障监测传感器

介绍了航炮故障监测传感器的基本电路与结构 ,详细论述了航炮故障监测传感器 ,在航炮发生射击故障的情况下的排故原理与过程     

一种基于程序正确性证明理论的程序开发方法

程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法,它使得程序的开发和证明同时进行,程序开发完成的同时其正确性亦得以保 证,以两个问题的程序开发为例说明了程序的形式推导方法的使用。     

不确定时滞系统的稳定条件

利用比较定理、矩阵范数和矩阵测度的有关性质,提出了简单不确定时滞系统及对称组合不确定时滞系统的稳定条件.指出若带有时滞的系统稳定,则去掉时滞时系统一定稳定.在组合系统的情况下给出了时滞相关型的稳定条件.所研究对象的不确定矩阵的范数有一定限制.     

无法连接远程SQL Server的处理方法

软件开发中,常常碰到应用程序连接远程SQL Server数据库.这里介绍了常见的几种错误及其处理方法和步骤.重点介绍了对"SQL Server不存在或访问被拒绝"的错误处理方法.     

基于内容的视频浏览界面的设计与实现

基于内容的视频浏览是在基于内容视频检索领域中,技术现状无法满足应用需求情况下的一种折衷手段。ＶｉｄｅｏＣＡＲ是我们设计的一个用于视频内容分析与表现的原型实验平台。在该系统的界面设计中我们充分利用面向对象的设计思想和 ＭＦＣ提供的各种ＡｃｔｉｖｅＸ控件,解决了在屏幕空间有限的条件下提供有效导航机制和高效内容表现的问题,提供了多种浏览手段,帮助用户在各个层次上快速定位感兴趣的视频资料。本文介绍了该系统界面的设计要点和主要实现方法。     

常规光纤非线性对色散补偿光纤位置的影响

通过数值计算的方法分析了色散、自相位调制和激光器啁啾等因素对１０Ｇｂ／ｓ１００ｋｍＧ．６５２光纤通信系统的综合效应。对１０Ｇｂ／ｓＧ．６５２光纤系统中用色散补偿光纤（Ｄｉｓｐｅｒｓｉｏｎ Ｃｏｍｐｅｎｓａｔｉｏｎ Ｆｉｂｅｒ,即ＤＳＦ）的两种方案进行了比较,然后简单讨论了色散补偿光纤在密集波分复用（ＤＷＤＭ）中的应用,最后给出通过以上分析得出的结论。     

甚小孔径卫星（VSAT）的数据传输应用

简单分析了甚小孔径卫星通信的技术特点和优缺点。重点讨论用它来解决数据传输问题,通过举例对目前采用ＶＳＡＴ卫星通信解决数据传输问题的技术做进一步的讨论。     

日本化学工业的现状与今后的经营课题

1日本化学产业的经营环境1.121世纪的化学工业现在，准确地预测21世纪化学工业领域的环境是非常困难的。现在正是由于构筑世界经济组织（WEO）而产生的巨大的转换时期，美苏冷战状态结束后，90年代是继续摸索南北区域纠纷的调停、核扩散的防止等新的世界体制的时代。第一个课题是如何从原来的美苏两个超级大国对立的世界，向和平的国境自由化的世界转变的问题。第二是地球环境问题。其中有臭氧层破坏问题、二氧化碳引起的温暖化问题、大气和水质的保护问题、产出废弃物问题、化学物质的回收及再利用问题等。特别是由制造业中的封闭系统而…