提高100%无烟煤煅烧熟料早期强度的探索

1997年投产的国内首条100%燃无烟煤生产线——龙岩三德2000t/d熟料线的熟料3d强度一直偏低,平均仅为25.5MPa(新标准)。通过对3d强度因素及其相关性分析,排序为w(C2S)>熟料KH值>生料细度>入窑生料的w(Al2O3)。在此基础上,提出了调整配比,提高煤粉和生料细度质量指标以及提高石灰石和燃煤质量等一系列技术措施。     

LBMBS： A Load-Balanced Moveable Bubble Scheme for Tori Interconnection Networks

Moveable bubble flow control is an efficient technique to avoid deadlock for torus networks. However, it does not take into consideration the load balance feature. Therefore, this leads to inefficient resources utilization. Moreover, packets may be discarded due to the congestion of a network area. On the other hand, there are other algorithms that consider load balancing such as rHALB （r hop adaptive load-balanced）routing technique. Nonetheless, rHALB detects deadlock using the timeout threshold. This concept of deadlock detection may give incorrect responses in case the traffic is high. Therefore, packets are dropped although there is no deadlock. At the end, this affects the whole performance of the network. This paper proposes a new routing algorithm for tori interconnection networks, namely, the LBMBS （load-balanced moveable bubble scheme）. LBMBS integrates both concepts of moveable bubble and rHALB in order to provide at the end a load-balanced efficient deadlock-free algorithm. The protocol details are given and compared against other routing algorithms in the literature.     

Three-dimensional simulation using fixed coarse-grid thermal-fluid scheme and conduction heat transfer scheme in distinct element method

Three-dimensional simulation using particle-thermal-fluid coupling scheme with a mixed Lagrangian-Eulerian approach is presented and the scheme is described by extending author's previous research [Y. Shimizu, 2004. “Fluid Coupling in PFC2D and PFC3D”, numerical modeling in micromechanics via particle methods—2004, Proceeding of 2nd International PFC Conference, Balkema, 2004, pp. 281-287]. The scheme solves the continuity, Navier-Stokes (N-S) and thermal energy equations numerically in Eulerian Cartesian coordinates, then derives pressure, velocity vectors and temperature for each fixed cell by considering particle existence. On the other hand, driving forces and thermal energy from fluid are applied to the particles as external body forces and a source term in the force-displacement law and the heat transfer calculations, respectively. This paper describes the thermal scheme for both fluid and particles. Results of two- and three-dimensional simulations involving forced convective heat transfer by fluid and conduction heat transfer within particles are presented.     

代理重签名研究进展

综述了代理重签名理论及其发展状况、应用背景、一般模型和安全性定义; 通过对现有经典代理重签名方案的系统研究, 详细分析比较了其性能特性、执行效率和安全性。提出了代理重签名方案在数据安全交换中的应用, 解决了现有电子政务中数据交换存在的效率低、密钥管理复杂、交换服务器权限过大等问题。最后概括了所取得的研究成果, 并讨论了目前研究中所遇到的关键问题。     

直流输电换流站中的电流互感器配置研究

对高压直流输电( HVDC)中的电流测量进行了研究。通过对相关的测量方法和测量装置的分析,实现了对高压直流输电换流站中的电流互感器的配置设计;并结合锦苏工程的建设,对该工程用到的测量装置进行了分析。工程建设证明了该配置设计的可行性和合理性,对今后特高压直流输电工程中电流测量设备的配置方案具有很好的理论指导意义和良好的工程使用价值。     

一种改进的视网膜图像中微小动脉瘤的检测算法

基于糖尿病性视网膜病变中最早出现的微小动脉瘤病症进行了研究,提出一种有效的微小动脉瘤检测算法。首先在传统模板匹配算法的基础上提出了一种动态多参数模板匹配算法,并且使用相对误差和与相关系数来共同制约匹配度,从而实现了更为精确的匹配提取;其次提出了基于分布特性的计分策略和自适应加权的汇总策略,避免了单纯采用各个特征量作为独立约束指标进行筛选时忽视各个特征量的约束力大小的弊端。实验结果表明,该检测算法能够有效地提高微小动脉瘤的检测真阳性率。     

基于话题链的汉语语篇连贯性描述体系

汉语简洁灵活的意合型篇章组合结构,对传统的基于关联词的篇章连贯性描述体系提出了新的挑战。该文引入话题链描述形式,设计不同类型的话题评述关系集,构建了以话题链为主,融合关联词语和其他连贯形式描述机制,覆盖话题评述、并列、因果、转折四大类关系的汉语语篇连贯性描述体系。在清华句法树库TCT上进行的验证实验,发现话题链和关联词语分别覆盖了约76%和50%的汉语复句,并且两者经常同时使用,初步证明了这个体系在句子连贯性描述方面的可行性和有效性。     

天线方向图自动测试系统设计与实现

为了获得一套完整、快速、高效的测试手段和力法,通过对天线方向图测试原理的分析,在微波暗室和测量设备的基础上,基于PNA矢量网络分析仪的测量特性,设计测试力案,使用VC＋＋开发出一套天线力向图测试软件,实现了天线的自动化测试.测试数据符合天线测量要求,在实际应用中为天线方向图自动化测试提供了支撑和帮助.     

国内外天然气化工产品发展方案探讨

阐述了国内外天然气化工产品的生产现状和发展趋势，从传统天然气化工产品中规划出乙酸乙烯、聚氯乙烯、甲醇等3个产品链方案，并分别对其产品方案及规模、产品市场、投资估算、主要技术经济指标等进行了分析，提出了当前我国发展天然气化工存在的问题和建议。     

Coding scheme based on spherical polar coordinate for control over packet erasure channel

Like feedback strategy, coding scheme is an important part of networked control system design as well. On the basis of spherical polar coordinate, a novel coding scheme is proposed for stabilization problem of discrete linear time invariant system subject to packet erasure channel with feedback. The coding scheme uses encoder without access to control inputs. In the case that a decoder does not use control inputs, a definite relation between the quantized data and the corresponding quantization error is established, which helps to analyze the stability of system, and a selective quantization method is adopted, by which finite data rate is obtained. In the case that a decoder uses control inputs, instead of quantizing the system state at each time step as usual, the encoder quantizes the initial state all the time by updating quantizer. Sufficient conditions guaranteeing the system stable are presented for two cases, respectively, and the corresponding design methods for coding schemes are given. Copyright © 2012 John Wiley & Sons, Ltd.