新疆天业水泥产业再次跻身中国水泥熟料百强企业

<正>近日,由中国水泥网收集统计的2014年度全国水泥熟料产能百强榜出炉,新疆天业集团水泥产业再次跻身全国水泥熟料100强企业。这是天业集团水泥产业自2011年至今连续四年获此殊荣。此项排名是由中国水泥网收集数据统计,截至每年12月31日,在已建成点火的新型干法熟料生产线企业中,天业水泥产业以372万吨年产量居于前列。天业水泥产业现由新疆石河子开发区青松天业水泥有限公司、天辰水泥有限责任公司、天能水泥有限公司、     

视觉模型在JPEG 2000中的应用研究

以JPEG2000作为编码框架，应用基于带内活跃性视觉模型（laCLA)，提出视觉量化编码方法，该方案基于人类视觉系统掩盖效应设计量化器；利用非线性变换，以实现视觉亮度掩盖和对比掩盖，从而自适应调节量化步长和编码块率失真度。     

张集井田13_(-1)煤缩小防水煤柱开采实践

简要阐述了张集井田的水文地质特征 ,从煤矿开采过程中围岩及地表移动规律的角度出发 ,论证了张集井田防水煤柱留设高度的可行性 ,并付之实践 ,取得了成功的经验     

张集矿13煤层顶板砂岩裂隙水特征及防治

系统分析了张集煤矿13-1煤层顶板砂岩裂隙含水层的水文地质特征,提出了一系列的防治措施,并取得了良好的效果,对煤矿砂岩水的防治有一定的指导意义。     

无线射频RFID识别协议自动验证方法研究

Population Protocols是一种受生物启发的计算模型,能够表示无线网络中数量庞大但计算能力弱的多组件间的交互,它为无线传感器网络提供了一种可计算推理的理论框架。将Population Protocol理论引入到RFID识别协议中,提出了RFID识别协议系统模型验证框架;构建了标签与阅读器交互产生的状态变迁模型;最后用spin模型检测工具和LTL线性时序逻辑验证了弱公平条件下该模型的自稳定性,为分析与验证无线传感器网络中协议的正确性提供了一种行之有效的方法。     

综采工作面瓦斯综合抽采技术效果浅析

通过对张集矿井1121(3)综采工作面瓦斯综合抽采设计方案的探讨及其抽采效果的考察,将各种瓦斯抽采技术的应用效果进行分析对比,总结出各种瓦斯抽采技术的特点,为矿井后继相邻工作面的瓦斯综合抽采方案的优化提供了宝贵的实践经验。     

石河子有序推进“禁实限粘”工作

<正>本刊讯近日,由石河子市经济委员会副主任张伟带队的由石河子市住建局、国土资源局、质量技术监督局和市财政局等职能部门组成的"禁实限粘"考察组一行6人,赴伊犁州、市、县进行了考察学习和交流。此次考察恰逢新疆自治区散墙办主任白明石、副主任周军对列入自治区第一批"城市限粘、县城禁实"的伊犁州、市、县     

基于BPMN的Web服务并发交互机制

如何抽象描述复杂业务流程的交互是服务计算研究的重要问题。大量的国内外研究虽然关注业务流程建模,但却忽略了建模过程中组件之间的并发交互描述和实现。针对Web服务并发交互,提出一种基于BPMN的Web服务并发交互的形式化模型。首先,采用BPMN描述业务流程中的并发交互模式;其次,将BPMN并发交互模式映射到Orc语言;最后,Web服务实例表明,所提方法可有效支持Web服务并发交互抽象建模。