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

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

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

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

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

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

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

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

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

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

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

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

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

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

钢铁企业节约用水提高重复利用率的技术措施

目前我国钢铁工业节约用水的潜力还很大。近年来,首钢、鞍钢等钢铁厂采用了许多水处理新技术,改造旧工艺、旧设备,在节约用水、提高水的循环率方面,已经取得了一定的成绩。根据国内外钢铁厂水处理的生产实践,在提高水的循环利用率方面,本文将探讨一些可行的技术措施,供同志们共同研究和讨论。     

氧化吲哚简易合成方法

氧化吲哚简易合成方法谢筱娟，杨高升（安徽师范大学化学系芜湖２４１０００）氧化吲哚（２－吲哚酮）是重要的有机试剂之一，由它可制备一类镇痛和抗炎药物的重要中间体，例如，５－氯－２－吲哚酮，就是由氧化吲哚直接通入氯气而制得［１］。为此，国外需求量大，开发该...