北京国际饭店主楼结构设计

设计于1979~1983年的北京国际饭店是一座平面复杂、由弧线构成的高层建筑。介绍了在当时由于受计算机容量及计算假定的限制,以及当时设计规范对这类复杂平面的高层建筑规定不完善的情况下,通过模型试验对计算分析进行论证和参照国外规范进行设计。工程在设计中较早地引入了延性抗震设计概念。     

硅杂原子提升冠醚对锂离子络合能力的机理理论研究

将Si引入冠醚有希望大幅度提升其对阳离子的络合能力,但其中的调控机理尚不清晰。基于量子化学密度泛函理论计算,以12-冠-4、1,1-2甲基-1-硅杂12-冠-4、1,1,2,2-4甲基-1,2-2硅杂12-冠-4、1,1,2,2,4,4,5,5-8甲基-1,2,4,5-4硅杂12-冠-4和1,1,2,2,7,7,8,8-8甲基-1,2,7,8-4硅杂12-冠-4络合Li⁺为计算模型,探究了冠醚与Li⁺之间的相互作用机理。结果表明,由于O—Li⁺配位键的键长增加,掺杂Si的数量为2和4的Si杂12-冠-4对Li⁺的共价相互作用略弱,但静电相互作用和色散相互作用更强、Pauli排斥作用更小,最终导致所有Si杂12-冠-4对Li⁺的络合能力都比12-冠-4更强。上述有利因素源于Si—O键中Si的电子显著向O极化,同时,Si杂12-冠-4中—SiMe₂—SiMe₂—和—CH₂—SiMe₂—单元远离Li⁺,有效避免了Si—Li⁺之间的静电排斥。揭示的冠醚-Li⁺相互作用机理将为未来设计与合成杂原子冠醚提供理论指导。     

雷达天线参数测试系统的研究

本文论述了笔者研制的一套雷达天线参数测试系统的设计及实现方法，并对该测试系统的测试方法和主要性能指标作了介绍，最后介绍了一些投入使用的情况，表明该测试系统是一部高精度、多功能自动化的测试系统，具有广泛的推广应用价值。     

AAG50B型熔样机的改造及其在XRFA测定硅酸盐样品中的应用

本文介绍对AAG50B熔样机的改造。通过改造大大提高了熔样效果,用于硅酸盐X射线荧光分析,作多元素测定,结果令人满意。     

提高PHC管桩在深基坑支护中应用的技术途径

城市深基坑支护已从单一的支护方式发展到综合各种支护方式优点的综合治理方式或复合支护方式.预制预应力混凝土管桩因其经济性、施工对环境影响小等优点已在建筑物基础中广为应用,在基坑支护中则由于其抗弯能力小而受到一定的限制.本文研究了PHC500预应力混凝土管桩增强技术及增强后弯矩计算方法、桩锚及喷锚网复合支护技术的应用.通过...     

基于OSGi的服务动态演化

提出一种解决OSGi平台上服务动态演化的方法.针对OSGi平台的服务动态演化提出了重定向方法,解决了服务类定义的动态更新,较好地满足了演化中服务的透明性问题;提出了实现和数据相分离的方法,解决了服务动态演化中公共数据的一致性问题和动态演化问题;探讨了服务动态演化中服务增、减等问题.对所提出的方法均通过实例说明了其设计、运行和更新的可行性.所提出的方法可以用于指导解决组件、服务和面向对象软件动态演化中的相关问题.     

XML形式数据模型及其查询代数

提出了XML的形式数据模型及其查询代数,主要包括以下几个方面：构造先后序关系、引入带根连通有向图、建立XML形式数据模型(XFDM)和XML查询代数(XFQA)。它形成了一个较为完整的XML数据库管理系统的理论基础,可以作为XML以及其它半结构化数据库管理系统查询存储、查询分解、查询优化和查询实现的形式化基础。     

基于FJ的多版本类动态更新演算

针对面向对象软件在动态更新中遇到类型安全问题,定义了一个多版本类的动态更新演算(MCUFJ演算(multi-version class dynamic updamble calculus based on FJ calculus))来描述类动态更新.MCUFJ演算以FJ(featherweight Java)演算为核心,通过增加update操作表示类的动态更新,运用多版本技术使动态更新可以在保持新旧对象共存的情况下完成,讨论了类的数据域和方法进行增加、删除、修改以及类型变化对程序类型安全性的影响,并且指出MCUFJ上类型安全的动态更新需要满足的约束.定义了类的可动态更新限制,并且证明了在该条件下多版本类的动态更新在类型上的安全性.该演算可以用于指导Java语言和面向对象程序语言的类动态更新.     

基于Gossip协议的拜占庭共识算法

区块链是一种对等网络的分布式账本系统,具备去中心化、不可篡改、安全可信等特点,因此受到了广泛关注。在区块链系统中,典型的拜占庭错误包括操作错误、网络延迟、系统崩溃、恶意攻击等。现有共识算法不仅对区块链中拜占庭节点的容错能力低,而且对区块链系统的可扩展性差。针对这一问题,文中提出了基于Gossip协议的拜占庭共识算法,使系统可以容忍小于一半的节点为拜占庭节点,能够达到XFT共识算法的容错能力。同时,因为采用了统一的数据结构,所以系统具有更好的可扩展性,并且有利于正确节点识别区块链系统中的恶意节点。在该算法中,提案节点随着区块链长度的变化而转移,系统中所有节点都处于对等的地位,从而避免了单点故障问题,进而使得系统具有更好的动态负载均衡的性能。     

分布式动态更新支持系统：研究综述

一些服务于关键应用领域、提供持续服务的分布式系统软件需要不断地进化，以修正软件故障、扩展服务功能、提高系统性能，从而产生动态更新的需求，即保证不中断系统服务的同时实现对系统功能的更新。由于分布式系统本身的复杂性，使得其上的动态更新比较复杂，一般需要做的工作包括：在适当的时候自动产生和传递更新消息；透明地实施更新、验证更新的合法性、一致性并处理非法更新下的容错问题；支持多版本节点之间的交互；对更新期间滞留的消息进行处理。本文围绕支持动态更新分布式系统的相关工作，从一般需求、功能目标、需要解决的关键问题、现有的工作成果以及将来的工作五个方面做了较为综合的阐述。