可重构的媒体芯片仿真平台设计与实现

为了解决专用媒体芯片设计工程中流片周期长,风险大的问题,引入了芯片仿真和验证的测试过程.为了提高测试的速度和可靠性,提出了一种可重构的媒体芯片仿真与验证平台设计方案,力图解决快速、可靠、全面、灵活地对多种专用媒体芯片的测试与仿真.详细介绍了该平台的具体设计思想和实现方法.     

空调系统在工程机械上的应用

介绍了工程机械空调系统的结构、工作原理、设计方法、发展方向以及常见故障的现象、判断和排除方法。     

输煤管道工程中浅埋长距离小断面隧道施工工艺

以输煤管道项目洛河隧道工程为基础,结合地质条件及工程施工难点,介绍了浅埋长距离小断面隧道施工工艺,对隧道开挖、排渣、支护、通风、排水等系统进行了论述,分析了各工序施工难点和要点,总结了采用浅埋长距离小断面隧道施工工艺特点及效果,取得了良好的经济和社会效益。     

构树皮骨制浆研究

构皮制浆已较成熟,但其皮骨能否制浆一直未见报道。本文对构树皮骨制浆特性进行了研究。发现皮骨制浆关键在于控制蒸煮条件,助剂的配比至关重要,NaOH的用量不能太大,否则蒸煮不均匀。添加碳水化合物的保护剂也是一个重要的手段。     

“数据库”实践环节的“验证式”教学

初学者由于缺乏系统分析和设计的全局概念,设计数据库时往往脱离需求分析,对所设计数据库缺乏有效的验证方法。本文给出了一种以案例为主线的数据库设计及验证方法,不但能有效验证所设计数据库能否满足系统需求,而且在方法实施过程中能够用一条实践主线贯穿数据库设计和应用等主要知识点。     

基于模式识别的火灾烟雾探测中抗水雾干扰研究

水雾与火灾烟雾在颜色、形态以及面积扩散等方面均具有相似性,容易对基于图像识别的火灾探测技术形成干扰。在同一地点及环境下使用监控系统录制火灾烟雾和水雾的真实视频,从运动方向特征和纹理特征着手进行分析,并利用支持向量机(support vector machine,SVM)对视频进行火灾烟雾和水雾的识别。实验结果表明,火灾烟雾与水雾在运动方向特征及纹理特征中熵和对比度上有明显差异,火灾烟雾识别时使用运动方向特征及纹理特征既能准确的识别出火灾烟雾,又能极大减小疑似烟雾目标带来的干扰。     

纳米TiO_2光催化还原Hg~(2+)的分子动力学模拟

采用分子动力学方法模拟了Hg2+在TiO2表面上光催化还原反应中的运动过程,结果表明,在TiO2表面的水分子会形成局部有序的类冰结构,这种类冰结构限制了材料表面附近水分子的移动,也阻碍了Hg2+向TiO2表面的运动,是影响光催化效率的一个重要因素。同时,还模拟了TiO2表面光生电子密度和表面掺杂Fe3+对类冰结构的影响,结果表明,TiO2表面掺杂Fe3+抑制了类冰结构的形成,有利于提高光催化效率。     

基于符号执行的二进制代码漏洞发现

软件漏洞是安全问题的根源之一,fuzzing(模糊测试)是目前漏洞发现的关键技术,但是它通过随机改变输入无法有效地构造出测试用例,也无法消除测试用例的冗余性.为了克服传统fuzzing测试的缺点、有效生成测试输入且无需分析输入格式,针对二进制程序设计并实现了基于符号执行的漏洞发现系统SEVE.将程序的输入符号化,利用动态插桩工具建立符号变量的传播关系;在分支语句处收集路径约束条件,最后用解析器求解之并将其作为新的测试用例.用mp3和pdf软件进行了实验,结果表明,该系统有效地提高了漏洞发现的效率与自动化程度.     

输油气钢管腐蚀渗漏原因分析

某油井钢管使用不到一年即发生渗漏。采用化学分析、力学性能测试、金相及超声波检验和电镜能谱分析等方法，对渗漏钢管进行了分析。结果表明，该钢管实为焊管，不是技术规范所要求的无缝钢管。加上该焊管的焊接质量较差，加速了输送介质对焊管的腐蚀，最终导致焊管短期内发生渗漏。     

壳牌气化炉试开车问题

介绍壳牌煤气化的发展历程,以及我公司在试车过程中出现的问题,同时通过简要分析,提供相应的解决措施。