万盛煤化二期100kt/a二甲醚项目建设及开车总结

介绍重庆万盛煤化有限责任公司上马二期100 kt/a二甲醚项目的背景,相较于一期装置的优化情况,施工与试车、开车过程中出现的问题及解决方法。目前该装置高负荷、优质、稳定运行。     

CoSb_3系热电材料的研究进展

介绍了CoSb3合金的基本特性、制备方法和成分掺杂.评述了目前通过不同的元素掺杂在热电性能方面取得的重大进展.指出通过结构优化、组分调整,可进一步提高CoSb3基合金的热电性能.     

国际项目投标阶段税务筹划及主要税种的计算

"一带一路"建设为我国企业参与国际总承包市场竞争创造了历史机遇。为了保证企业"走得远,走得稳",税务管理是一项重要的内容。国际总承包商应充分认识境内外税负情况和税务风险,在投标环节就要做好税务筹划,分析招标文件中的税务条款,提前策划好合同的签约主体,合同的实施方案,合理拆分商务报价的当地(on-shore)和海外(off-shore)部分,为合理纳税提供有效依据。     

LTE网络结构问题优化方法

本文创新性建立一套LTE网络结构问题的评估方法体系,能够快速地定位网络中的问题。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

高密度聚乙烯/丁苯橡胶热塑性硫化胶的形状记忆性能

采用动态硫化法制备了高密度聚乙烯(HDPE)/丁苯橡胶(SBR)热塑性硫化胶(TPV),研究了橡塑比、定型温度、回复温度及增容剂苯乙烯-丁二烯-苯乙烯嵌段共聚物(SBS)对HDPE/SBR TPV形状记忆性能的影响,观察了其微观结构,提出了形状记忆行为机制。结果表明,HDPE/SBR TPV具有典型的"海-岛"结构,拉伸后其表面存在明显的取向结构;SBS能显著提高HDPE/SBR TPV的形状记忆性能,当SBS用量为6份、定型温度和回复温度均为120℃时,HDPE/SBR TPV的形状记忆性能最佳。     

2015调味瓶包装的新思路机会和挑战并存

从相关的统计资料来看,国内的调味市场经历了18年的高速发展期。随着一批调味企业的先继上市,这些企业掌握了充足的资本,市场在这样的情况下必将迎来重组和兼并。调味品市场增速快:调味瓶包装企业信心十足调味品市场总体呈现快速增长态势,这给了调味瓶包装企业很大的信心。不过值得注意的是调味瓶市场种类众多,并不是所有的调味品类别都在快     

推进水安全保障体系建设 强化依法治水管水工作

总结了海河流域水安全保障体系建设现状,分析了流域水利工作面临的新形势和新要求,提出海委要积极践行新时期治水思路,进一步深化水利改革,全面提升水安全保障能力,扎实落实依法治水管水要求,抓住机遇,乘势而上,为流域经济社会可持续发展提供有力的水利支撑。     

A公司C产品研发项目范围管理研究

通过分析A公司在研发项目范围管理中所存在问题,提出研发项目范围管理的方法及其在C产品的应用实例,通过运用研发项目范围管理的工具和方法,改善产品开发流程,从而缩短新产品开发周期,提高响应市场的速度,并提高企业研发项目的管理能力。     

大型环氧乙烷反应器获得国家科技进步一等奖

<正>中国石化参与研制的我国首台大直径超厚锻件管板环氧乙烷反应器,是我国百万吨乙烯最后一台国产化关键静设备。该反应器实现国产化,结束了我国大乙烯高端静设备长期依赖进口的历史,并在1月9日召开的国家科学技术奖励大会上荣获国家科技进步一等奖。据悉,大型环氧乙烷反应器是"极端条件下重要压力容器的设计、制造与维护"项目中的重要组成部分,由合肥通用机械研究院、南京化学工业公司、中石化洛阳工程公司、中国石化工程建设公司等单位共同完成。该项目取得四个方面的创新成果,特别是实现6