多晶硅锭中硬质点分析及控制研究

以多晶硅锭中硬质点为研究对象,通过实验研究和数值模拟的方法,对多晶硅锭中硬质点进行形貌和成分分析,并提出改善控制方法。研究结果表明硅锭中部的硬质点较细小,主要由SiC组成;硅锭头部的硬质点较粗大,主要由SiC和Si3N4组成,还有少量O的存在。进一步研究发现多晶硅定向凝固铸锭炉的热场结构对于多晶硅锭硬质点形成有直接影响,通过改进热场结构,优化晶体生长界面,显著减少了铸锭中硬质点的数量。     

Combined effects of wheat gluten and carboxymethylcellulose on dough rheological behaviours and gluten network of potato–wheat flour-based bread

Incorporating high level of potato flour into wheat flour enhances nutritional values of bread but induces a series of problems that lead to the decline of the bread quality. To overcome the barrier, wheat gluten and carboxymethylcellulose (CMC) were added into potato–wheat composite flour to improve dough machinability and bread quality. The rheological properties, thermo-mechanical properties and microstructures of dough were investigated. The results showed that the interaction between gluten and CMC mitigated the discontinuity of gluten matrix and gluten protein aggregation caused by the addition of potato flour, which yielded a more branched and compact gluten network. The compact three-dimensional viscoelastic structure induced improvements of gas retention capacity and dough stability, making it mimic the machinability properties of wheat flour dough. Bread qualities were apparently improved with the combined use of 4% gluten and 6% CMC, of which specific volume increased by 42.86%, and simultaneously, hardness reduced by 75.93%.     

AP1000稳压器波动管竖直管段空气-水CCFL实验研究

使用竖直管代替波动管模型开展稳压器波动管竖直管段内空气-水两相逆流限制（CCFL）特性可视化实验研究。实验现象表明:竖直管与上容器接口处的局部CCFL决定了进入竖直管内的液相流量；竖直管内的局部CCFL决定了从竖直管流出的液相流量；两处局部CCFL均随空气流量的增大而增强。在较低气量情况，进入竖直管内的液相能够完全或大部分流出，竖直管内的局部CCFL较弱，上容器和竖直管接口处的局部CCFL在整体CCFL中占主导地位，整体CCFL程度随着上容器液位升高而略有增强。在高气量情况，从上容器进入竖直管的液相大部分或者完全被限制而不能向下流出，竖直管内的局部CCFL强烈，在整体CCFL中占主导地位，整体CCFL特性不受上容器液位变化的影响。通过实验数据拟合得到了新的稳压器竖直管CCFL模型。稳压器波动管CCFL数据和稳压器竖直管CCFL数据基本重合，表明波动管CCFL主要由CCFL-U决定。      

搅拌式风力致热装置启动性能研究

搭建搅拌式风力致热试验台,以自制的2种致热器为研究对象,使其分别在3个不同平均角加速度24.92、14.66、8.04 rad/s2下启动。通过动态扭矩测试仪和数据采集仪测试记录致热器启动阶段的相关数据。结果表明:致热器启动时所需扭矩与角加速度的一次方、转速、叶片半径的二次方成正比,同时得出这些因素之间的关系式;满负荷时,启动扭矩会出现一个峰值,且角加速度越大峰值越大,自然风必须提供峰值以上的扭矩,否则装置无法启动。     

2014~2018年福建省生产领域纸巾纸荧光物质质量分析

对福建省生产领域近五年的纸巾纸进行随机抽样和质量分析,检测了产品的可迁移性荧光物质指标。结果显示:纸巾纸产品的可迁移性荧光物质指标共出现5批次不合格产品,产品合格率为98.7%,呈现较高的质量水平;纸巾纸的荧光物质检出率近五年呈现先上升后下降的趋势,2015年出现检出率峰值,其值为15.0%,2018年降为0%。按地域统计,福州地区出现3批次可迁移性荧光物质的纸巾纸产品,产品合格率为95.2%;其余地市的产品合格率均为100%。同时,福州纸巾纸产品荧光物质检出率最高,检出率达到12.7%。按产品质量等级统计,纸巾纸优等品的产品质量总体高于合格品的。     

一种北斗联合低轨星座的导航增强方法研究

单纯依靠北斗导航系统提供定位导航授时服务,存在卫星信号落地功率低、易受遮蔽和阻断的不足。针对此问题,研究了一种北斗联合低轨星座实现导航增强的系统架构;提出了一种新的适应严重遮蔽或干扰条件下,基于到达时间(TOA)和到达频率(FOA)联合观测的定位解算算法;对高中低轨混合星座条件下的覆盖特性和精度衰减因子进行了仿真分析。分析结果表明,用户可见星数平均增加了64.2%,位置精度衰减因子(PDOP)平均改善了28.7%。研究结果可为下一代北斗的论证设计与研制建设提供参考借鉴。     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.     

Iterative equalization combining algorithm in intersymbol interference channel

To realize joint optimization of spatial diversity and equalization combining in the intersymbol interference (ISI) channel, an iterative equalization combining algorithm is proposed. The proposed algorithm uses the coefficients of Turbo equalization to calculate the combination weights without estimating the signal to noise ratio in each diversity branch. The equalized symbols from different diversity branches are combined, and the extrinsic information output from the decoder is fed back to the equalizers, so as to exchange soft information between the equalizers and the decoder. The performance of the proposed algorithm is analyzed using the extrinsic information transfer (EXIT) chart and verified by simulations. Results show that our approach fully exploits time domain information from the multipath channel and spatial domain information from multi receiving antennas, which efficiently improve the performance of the receiver in the severe ISI channel.     

Low complexity quantum private queries protocol

Private information retrieval(PIR) is an important privacy protection issue of secure multi-party computation, but the PIR protocols based on classical cryptography are vulnerable because of new technologies,such as quantum computing and cloud computing. The quantum private queries(QPQ) protocols available, however, has a high complexity and is inefficient in the face of large database. This paper, based on the QKD technology which is mature now, proposes a novel QPQ protocol utilizing the key dilution and auxiliary parameter. Only N quits are required to be sent in the quantum channel to generate the raw key, then the straight k bits in the raw key are added bitwise to dilute the raw key, and a final key is consequently obtained to encrypt the database. By flexible adjusting of auxiliary parameters θ and k, privacy is secured and the query success ratio is improved. Feasibility and performance analyses indicate that the protocol has a high success ratio in first-trial query and is easy to implement, and that the communication complexity of O(N) is achieved.     

UPLC法同时测定阿托伐他汀钙中15个杂质含量

目的建立超高效液相色谱法(UPLC)同时测定阿托伐他汀钙原料药中15个杂质含量的方法。方法采用岛津Shim-pack Velox PFPP(2.1 mm×100 mm,1.8μm)色谱柱,以3.9 g/L醋酸铵缓冲液(pH 5.0):乙腈:甲醇:四氢呋喃(无稳定剂)=67:21:6:6为流动相A,3.9 g/L醋酸铵缓冲液(pH 5.0):乙腈:甲醇:四氢呋喃(无稳定剂)=27:61:6:6为流动相B;梯度洗脱,流速0.43 ml/min,检测波长244 nm,柱温35℃,样品室温度10℃;进样量1.8μl。结果阿托伐他汀钙及各杂质峰间分离良好,在0.3~3μg/ml范围内15个杂质均呈良好的线性关系(r均>0.999,n=6),各杂质平均回收率分别为96.3%,99.1%,99.9%,102.4%,96.4%,99.8%,99.4%,104.9%,106.4%,105.4%,100.1%,98.9%,94.7%,94.4%,101.4%,且不同浓度间平行性良好。15个杂质重复性、进样精密度、中间精密度均良好,48 h内均较稳定。此法除对色谱柱要求较高外,耐用性良好。结论本方法简便、快速、分离度好、专属性强,经方法学验证可用于阿托伐他汀钙原料药杂质质量控制。