国航飞行模拟训练基地乘务训练大楼结构设计

国航飞行模拟训练基地乘务训练大楼工程包括了钢筋混凝土框架剪力墙、钢结构网架、钢结构空间桁架等多种结构类型,该工程还是一个典型的大跨度连体结构。结合其结构设计,着重介绍了该工程连体结构部分的结构选型及分析、计算模型的处理及构造措施等,尤其是采用柔性连接的连体结构,可供同类连体结构设计时参考。     

井下搅拌站的设置与应用

为解决井下各喷浆地点分散施工造成的喷浆材料浪费大、环境差、喷浆料配比不均匀等问题,潘西煤矿设计采用了井下集中搅拌站,实现了井下混凝土材料集中管理、机械化搅拌和批量生产,保证了混凝土配比质量和强度,提高了矿井质量标准化管理水平.     

XML语法检查的实现

XML是可扩展标记语言，开发者可根据需要定义合适的标记。由于其灵活性，已被广泛应用于各个领域。主要讨论XML语法检查的两种方法，着重分析其中的一种，并给出具体的实现算法。对XML语法进行检查包括两部分，XML的有效性检查和XML的结构良好性检查，首先对表示XML文档类型定义（DTD）的局部树语法进行改进，然后在DTD构造的语法基础上，对XML进行有效性检查，针对语法检查的两个部分分别构造了检查算法。实验结果表明，该语法检查算法是切实可行的。     

虚拟地球之眼

微软强力推出“世界望远镜”项目,与google的竞争渐趋白热化。     

养护条件对钢纤维RPC性能影响的试验研究

采用52.5R硅酸盐水泥、标准砂、硅灰、石英粉、高效减水剂、端钩形钢纤维等原材料，在标准养护和热水养护条件下，进行纤维掺量分别为0％、3％、6％，水胶比分别为0.16、0.18、0.20的钢纤维RPC配制试验。试验结果表明：热水养护条件下RPC抗压强度较标准养护条件下有明显提高，抗冲击性能也有一定程度的改善。     

并发系统中基于优先级的调度分析

当前复杂的并发系统多采用模块化、逐步求精和信息隐藏等非形式化的原则来指导系统的开发,而这些指导原则抽象且无法保证分解系统的正确性。为此,对基于优先级控制的系统分解方法展开研究,提出一种系统分解的方法,并在理论上证明该分解方法的正确性。首先采用基于事件的行为模型对系统进行建模;接着定义调度、调度策略和调度策略正确性的概念;然后研究调度策略的分解方法,并证明了调度策略分解方法的正确性;最后根据该方法,开发出一种支持依赖模型建模和调度策略分解的原型工具,通过实例的演示,说明了使用该方法可以把系统分解成若干个子系统,从而设计出正确和有效的调度策略,以达到正确分解系统的目的。     

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

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

海口市公安局办公大楼结构设计

海口市公安局办公大楼是一个典型的连体结构,其中包含了强连接、弱连接两种连体结构形式。结合其结构设计,着重介绍了该工程的结构选型及分析、地基基础的设计、计算模型的处理及构造措施等。采用强连接的连体结构需进行结构整体分析,采用弱连接(滑移铰支座)的连体结构,主体结构的设计可以通过采取一定的计算分析方法进行单独分析,以便简单方便地开展设计。     

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

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

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

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