浅谈混凝土拌和物的生产控制要点

在水利工程的施工过程中,混凝土施工是一项重要而关键的施工内容。要搞好混凝土施工,就必须重视混凝土拌和物的质量。而拌和物的质量关键在其生产过程控制,混凝土拌和物的生产控制要点有:混凝土配合比设计与审核;施工配合比确定;混凝土配料单;砂浆;混凝土拌和;混凝土拌和物的检测频次等。     

沙颍河水质污染联防对于淮河治理的作用与存在问题探讨

沙颍河是淮河的最大支流,跨河南、安徽两省,流经周口、阜阳等40个市县,河道繁杂且相互关联,上下游水事纠纷和水污染矛盾突出。目前颍河、贾鲁河水质常年属于超五类,已经失去各种供水功能。沙河水质恶化,已经危及到了周口市饮用水源地的安全。1990年沙颍河水系开展了水质污染联防工作,科学调度水闸,发挥了水利工程防污减害的作用,避免了淮河流域大的水污染事故。目前存在问题以及下一步工作建议。     

基于量子逻辑的图灵机及其通用性

基于量子逻辑的自动机理论是量子计算模型的一个重要研究方向.该文研究了基于量子逻辑的图灵机(简称量子图灵机)及其一些变形,给出了包括非确定型量子图灵机l-VTM,确定型量子图灵机l-VDTM以及相应类型的多带量子图灵机,并引入量子图灵机基于深度优先与宽度优先识别语言的两种不同定义方式,证明了这两种定义方式在量子逻辑意义下是不等价的.进一步证明了l-VTM、l-VDTM与相应类型的多带量子图灵机之间的等价性.其次,给出了量子递归可枚举语言及量子递归语言的定义,并给出了二者的层次刻画,证明了l-VTM与l-VDTM不等价,但两者作为量子递归语言的识别器是等价的.最后,文中讨论了基于量子逻辑的通用图灵机的存在性问题,给出了一套合理编码系统,证明了基于量子逻辑的通用图灵机在其所取值的正交模格无限时不存在,而在其所取值的正交模格有限时是存在的.     

小型无人直升机地面控制站设计与实现

通过分析小型无人直升机对地面控制站的需求,介绍地面控制站的结构和功能,分析开发地面控制站涉及的关键技术和解决方案,控制站采用基于面向对象的VC++开发环境和嵌入式Matlab混合编程技术。通过在某小型无人直升机飞行实验中的应用,证明该系统具有实时性强、稳定性好、人机界面友好、可扩展能力强等优点。     

CSCW环境下产品概念设计模式的研究

以顾客需求为导向的产品生产越来越趋向多品种小批量的设计生产模式,CSCW为此种模式的发展提供了良好的基础.探讨在CSCW环境下产品概念设计的机制问题,研究基于网络合作平台下的产品概念设计,提出一个“四层两讨论一检验”的产品概念设计系统模型,使产品设计获得更好的效果,对企业产品概念设计的创新能力的以及产品核心竞争力的具有重要的现实意义.     

三峡水库深水测深技术试验研究

为解决三峡水库形成与运用给深水水库测量带来新的研究课题,结合三峡水库近坝段测深技术试验研究资料和三峡水库成库前后所收集的库区河道地形资料,通过测深精度试验,以及对7种影响精度因素的分析,探求了应用不同频率、不同波束角的测深仪在有淤泥沉积和高边坡的河床边界条件下获取优质回波效果与改正的方法.研究表明,测深仪应满足波束角4°～8°为宜、工作频率100 ～ 200 kHz、仪器输出功率大于150W的基本条件.此外,为保证测量精度,还应进行船姿改正以及水温测量与改正等.可为深水水库河道测绘提供借鉴.     

自适应寻径的对等网络寻径形式化模型

对等网络的发展从传统的非结构化协议到基于DHT的结构化协议,寻径的效率逐渐增高,然而随着开销的增加,出现了抗抖动性减弱的问题。提出了一种自适应寻径的对等网络寻径形式化模型,阐述了对等网自适应寻径协议的基本组成,描述其寻径过程,并建立下推自动机模型。最后,对模型的可达性给予证明。     

碳热还原氮化一步法制备钒氮合金工艺研究

对V2O5自还原氮化过程进行热力学分析,并以工业级V2O5和炭黑为原料,经过混料、研磨、压制成块后进行烧结和还原氮化,制得含氮量较高的钒氮合金。结果表明,为了避免V2O5在还原过程中挥发,预还原温度应控制在V2O5熔点（678℃）以下;经过650℃预还原4h,试样中的V2O5才能全部转化为低价态的钒氧化物;V2O5在N2气氛下自还原时,还原终温低于1 271℃时,还原产物优先生成VN,还原终温高于1 271℃时,还原产物中才会出现大量VC;为保证还原产物的高氮和低碳含量,应将还原氮化最终温度控制在1 200～1 300℃。     

基于2点RANSAC的无人直升机单目视觉SLAM

1点随机抽样一致性(RANSAC)算法是一种准确度高、计算量小的数据关联算法,但是其在摄像机多个轴上的角速度都快速变化时会失效,用在以无人直升机为载体的单目视觉同步定位与地图构建(SLAM)上存在滤波发散的风险.针对该问题,提出2点RANSAC算法,结合EKF运动模型的先验信息,用只抽样2个匹配点的RANSAC去除野点.在微小型无人直升机平台上进行了基于2点RANSAC算法的单目视觉SLAM实验,实验结果表明2点RANSAC算法工作可靠,SLAM的位姿估计精度可以达到自主飞行需要.     

中压缸冲转再热机组邻炉冲转技术应用

具有中压缸启动方式的大型火电机组,采用邻炉冲转具有启动过程中燃油及厂用电能耗低的特点,特别是在大修后的启动过程中,由于试验多、空转时间长,单元制运行时锅炉耗油多,邻炉冲转的优越性就更加明显。因此可以通过改造,加装邻炉冲转系统,使得机组在大修后的启动过程中减少大量消耗并节省许多时间,从而获得较好的经济效益。陕西电力科学研究院和华电蒲城电厂对该厂1、2号330 MW机组实施了改造,取得了满意的结果。