上海永华大楼深基坑开挖及支护技术

上海永华大楼地基为软土，基坑深１０．６ｍ，紧邻沿街道路和建筑物。施工中采用钢筋混凝土灌注桩及钢支撑作支护结构获得成功，为软土地基深基坑开挖提供了新经验。     

开放逻辑—一个刻画知识增长和更新的逻辑理论

本文建立了一个可以刻画知识的增长、更新以及假说的进化的逻辑理论;给出了新假设、事实反驳、假说的重构及认识进程等概念的定义,讨论了它们的性质并证明了与之有关的定理,本文还定义了认识进程的极限概念并证明任何关于某一特定问题的经验模型都是一认识进程的极限。作为开放逻辑的应用,本文给出了 Reiter 缺省推理理论的一个模型论解释。     

ELF类型理论及其应用

一、引言近几年来,类型理论和基于类型理论的软件开发方法受到计算机界,特别是理论计算机科学界的广泛关注,吸引了不少研究人员,也取得了丰硕的成果。其中较有代表性的工作有     

欧洲程序设计方法研究的三个动向——一个访欧考察报告

应德国达格施图国际计算机科学会议和研究中心主任Wilhelm教授的邀请,我于今年7月1日至14日先后访问了德国帕德泊大学、萨尔布吕肯大学,并在达格施图城堡参加了“程序规约和语义”国际研讨会,在会上做了题为“有关程序规约的三个关键技术”的学术报告。在访德期间,特别是在国际研讨会议上与近50位从事程序设计方法研究的计算机科学家的接触和讨论,使我感到欧洲程序设计方法研究目前有三个动向值得注意。这就是:对软件正确性的需求重新升温,程序语言和程序设计方法的统一化趋势,以及程序设计研究的实用化。下面就这三点谈谈我的体会。一、对软件正确性的需求重新升温六十年代后期,由干软件开发的正确性没有保     

一种网络协议的自适应控制方法

网络服务器过载问题已经成为日益关注的问题，过载会引起服务器系统性能急剧下降，客户请求长时间得不到响应．国内外已经提出很多有关网络服务器过载的解决方案，其中，比较有效的方案是引入线程机制，通过中断和查询相结合来解决这个问题．文章从改进传统的操作系统内核事件处理机制出发，在传统的事件处理机制中引入了反馈控制，提出了基于自适应的网络协议控制方法，该方法通过控制网络协议处理中的硬件中断和软件中断处理，不仅避免了系统接收活锁问题，同时，也避免了由于过量中断所造成的网络协议处理和应用软件“饥饿”的问题、测试表明在过载情况下，UDP性能提高了100％，TCP性能也得到了明显的改善．与其它方法相比，这些方法中有些无法克服接收活锁的问题，另外一些方法由于采用了查询机制，产生了延迟和额外的开销，这就使得文章提出的方法在性能上比采用查询机制的方法更好。     

手机微波防护器具的研究与测试

针对手机微波对人脑的辐射影响问题，研究了手机微波防护器具。从多种微波防护材料中筛选出几种防护效果较好的材料和组合防护方法。经实验测试，表明采用了微波防护器人脑侧微波辐射功率密度可降至5μW／cm^2以下，符合国家对微波防护的卫生标准。从而有效地降低了手机微波对人脑的辐射影响。     

On k-Positive Satisfiability Problem

1IntroductionThesatisfiabilityproblem(SAT)isthedecisionproblemwhetheragivenpropositionalformulainconjunctivenormalform(CNF)couldbesatisfiedbyanyassignmenttotheatoms.ItiswellknownthatSATisNP-complete[1].SounderthehypothesisthatP/NP,thereisnopolynomialtimealgorithmforsolvingSAT121.Letk-SATbethesubproblemrestrictingtheclausesnotlongerthank.Thenk-SATisNP-completefork23['],andislineartimesolvablefork<213'4].Thefirstnontrivialupperboundontimecomplexityofk--SAT(k23)wasgivenin[5].Thereaki…     

算法框架:算法重定位的一种可操作的方法

算法框架是实现算法重定位的一种可操作的方法.文章给出了算法重定位的定义,讨论了如何通过选择操作和组合操作来设计算法框架.然后给出了定义选择操作和组合操作的一种方法.由文章所定义的算法框架得到求解某一问题的算法模式,从该算法模式就可以生成求解该问题的算法.文章最后讨论了算法框架和算法模式以及模块化算法之间的关系.研究算法重定位及其可操作的方法对软件自动化和机器学习有着重要的意义.     

一种基于CBR的知识库求精模式

由于领域知识以及人们的认识进程具有进化的特性,领域模型总是不完备的,为了增强基于知识系统的自适应能力和可靠性,知识库求精已成为机译系统等基于知识系统实用化的必经阶段。本文给出了一些知识库求精原则;结合机器翻译知识库建构维护的实际需求,提出了一种基于CBR(Case-basedReasoning)的知识库求精模式。该求精模式以提高系统有效性为核心,以错误严重性为指示器,择重优     

软件可信性动力学特征及其演化复杂性

可信软件已成为现代软件技术发展和应用的重要趋势和必然选择,而软件可信性建模已成为构造可信软件的先决条件和必要手段.为了探讨和阐明软件可信性的基本科学问题、建立软件可信性度量的理论基础,文中结合动力系统的基本思想探讨软件可信性及其演化规律,研究在各种内部和外部因素作用下软件可信性演化的动力学机制,并建立相应的动力学模型,从而软件系统的可信性可以认为是软件系统在动态开放环境下其行为的统计特性.通过对两个简单实例的建模分析,说明了软件系统可信属性的极限演化行为与动力系统特征的对应关系,诠释了软件可信性的动力学特征及其演化复杂性.