复合地基＋桩基加固软土实践

本文阐述了粉喷桩与钢筋混凝土桩基组合型复合地基的技术机理，介绍了用此技术处理软土地基的施工工艺，该方法操作简单，便于施工，造价低，效果好。     

LV型（A）流量计

一、前言在工业管道上测量气体时，特别在高温、高压工况下，一般都用孔板流量计。不锈钢制成的孔板，其结构简单，制造和使用都方便，在一些不太清洁的气体管道上能长期使用。按规定在孔板二例的取压孔上分别取出压力，与差压计（变送器）相连接，根据此差压的开方值计算出流量。一般情况下，气体通过孔板孔径的流速都处在亚临界流状态，此时在工况下的流量与各种可变参量相互都有影响，要得到准确的流量值不得不考虑这些参量，这些量的补偿就比较麻烦，用一般仪表不能很好解决。应用临界流文丘利喷嘴时只要在前部开一取压孔与压力计（变送…     

基于MRP—Ⅱ的生产计划管理信息系统的设计与开发

制造资源计划系统(MRP—Ⅱ)是实现企业现代化管理的有效方法和工具。本文以多品种小批量生产企业为研究对象,分析了我国企业生产计划管理的特点和现状,提出了基于MRP—Ⅱ的生产计划管理信息系统模型,并在IBM AS/400小型机上,采用结构化的系统分析与设计技术,设计开发了一个实用的生产计划管理信息系统。实践结果已初步证明,该系统对提高生产计划的科学性,降低原材料库存,实现准时生产,提高经济效益具有良好的作用。     

ISDN在S1240程控交换机中的实现

ＩＳＤＮ在Ｓ１２４０程控交换机中的实现鲁明，王文东随着综合业务数字网（ＩＳＤＮ）在我国的逐步使用，如北京ＩＳＤＮ试验网的功能测试，上海浦东Ｓ１２４０ＩＳＤＮ交换机准备应用，ＩＳＤＮ业务也将在全国逐渐推广。本文对窄带ＩＳＤＮ在新一代Ｓ１２４０（７版本）...     

充液金属薄壁圆柱壳轴向压缩屈曲性能实验研究

本文报导了充液金属薄壁圆壳轴向压缩屈曲性能的探索性实验研究，实验表明，由于壳内封闭液体存在，相比内空的金属薄壁圆柱壳屈曲性能表现出极大差异，如临界载荷有所提高，特别是“下临界载荷”显著提高，屈曲模态呈对称形式，后屈曲过程一直保持在较高载荷水平等。     

涤纶DTY僵丝的影响因素及其利用

从工艺、设备、原丝、操作等方面分析了涤纶DTY僵丝的影响因素，并通过工艺调整使僵丝间隔出现来生产竹节丝。     

乳白玻璃条纹解决方案

对乳白玻璃瓶表面产生条纹的原因进行分析,通过耐火材料选用、稳定熔制工艺、工作池中层取料和供料道加搅拌的方法消除条纹缺陷。     

基于Hamiltonian马氏链蒙特卡罗方法的突变运动跟踪

在计算机视觉领域,由镜头切换、目标动力学突变、低帧率视频等引起的突变运动存在极大的不确定性,使得突变运动跟踪成为该领域的挑战性课题.以贝叶斯滤波框架为基础,提出一种基于有序超松弛Hamiltonian马氏链蒙特卡罗方法的突变运动跟踪算法.该算法将Hamiltonian动力学融入MCMC（Markov chain Monte Carlo）算法,目标状态被扩张为原始目标状态变量与一个动量项的组合.在提议阶段,为抑制由Gibbs采样带来的随机游动行为,提出采用有序超松弛迭代方法来抽取目标动量项.同时,提出自适应步长的Hamiltonian动力学实现方法,在跟踪过程中自适应地调整步长,以减少模拟误差.提出的跟踪算法可以避免传统的基于随机游动的MCMC跟踪算法所存在的局部最优问题,提高了跟踪的准确性而不需要额外的计算时间.实验结果表明,该算法在处理多种类型的突变运动时表现出出色的处理能力.     

RCC高速缓存一致性协议的带参验证

Godson-T众核处理器的RCC高速缓存一致性协议是一种非常有特色的带参并发系统,对此协议的带参验证是一个很大的挑战。 Cubicle是最近出现的基于SMT求解器的带参模型检测工具。我们使用了Cubicle带参模型检测工具,成功对RCC协议进行了建模和验证。实验结果表明, RCC协议在结点个数为任意规模时均满足协议的各种安全性质。     

新型多学科交叉在商业智能中应用研究

阐述了多学科交叉与融合是当今科学发展的必然趋势[1],分析了学科交叉的优势,提出了计算机学科推动多学科交叉融合的思路。如今商业智能技术方兴未艾,而且和最新的计算机技术紧密结合。比如微软在其最新的商业智能产品中就提供了强大的云计算[2]支持,利用大数据搜集与分析功能服务于信息。在正式推广前联合世界著名的机构如(PASS)和公司(EMC)在全世界范围内开展了大规模的产品测试活动,力图将来为企业提供多级别、多层次的产品和服务,这将是一种不可逆转的趋势。可见基于云计算的计算机技术是社会发展进步的必然产物。