钒微合金Φ25mm热轧左旋带肋钢筋的研制与生产

通过对热轧左旋带肋钢筋（HRBL600）的质量特性分析,制定了热轧左旋带肋钢筋的化学成分,孔型设计方案和生产工艺。生产实践证明：该产品开发获得成功,产品质量达到标准要求。     

柴达木盆地北缘侏罗系烃源岩干酪根13C核磁共振研究

柴达木盆地北缘是柴达木盆地三大油气区之一,其源岩为早、中侏罗世煤系地层.烃源岩有机质类型以Ⅲ₁型和Ⅱ型干酪根为主,Ⅰ₂型干酪根仅在局部地区有分布.通过对柴达木盆地北缘侏罗系烃源岩中不同类型干酪根的¹³C核磁共振研究,指出了研究区Ⅰ₂、Ⅱ、Ⅲ₁型干酪根的化学结构特征以及化学结构中“芳构碳”、“油潜力碳”与“气潜力碳”的相对含量,据此从定量分析的角度对不同类型干酪根的生油气贡献作了评价.Ⅰ₂、Ⅱ、Ⅲ₁型干酪根的生烃能力依次减弱,对生油的贡献也依次减弱,且生成油气的比例不同,Ⅰ₂、Ⅱ型干酪根以生油为主,Ⅲ₁型干酪根则以生气为主.     

浅析南水北调工程对河北省受水区生态环境的影响

南水北调工程的实施将缓解河北省长期缺水的严重局面,对其生态环境产生显著影响。该文从社会经济、气候环境、水环境、土壤、地质环境以及水生生物等多个层面分析了南水北调工程对河北省受水区生态环境的影响,为合理利用来水,保护和改善河北省生态环境及促进河北经济的持续稳定发展提供依据。     

控制棒钴吸收体的活度分布

应用单组中子微扰理论,对辐照后控制棒钴吸收体内活度分布进行理论分析,得到活度分布计算的解析表达式。对高通量工程试验堆(HFETR)首次出堆的2根控制棒钴吸收体进行数值计算。利用钴靶活度水下测量装置进行这2根钴吸收体活度分布的实验测量。计算与实验测量结果相符。通过理论计算所得到的活度分布可作为辐照后~(60)Co同位素分装依据。本文得到的控制棒相对价值曲线理论计算值与实验测量结果符合良好。     

Deterministic learning of completely resonant nonlinear wave systems with Dirichlet boundary conditions

In this paper, we investigate the approximation of completely resonant nonlinear wave systems via deterministic learning. The plants are distributed parameter systems (DPS) describing homogeneous and isotropic elastic vibrating strings with fixed endpoints. The purpose of the paper is to approximate the infinite-dimensional dynamics, rather than the parameters of the wave systems. To solve the problem, the wave systems are first transformed into finite-dimensional dynamical systems described by ordinary differential equation (ODE). The properties of the finite-dimensional systems, including the convergence of the solution, as well as the dominance of partial system dynamics according to point-wise measurements, are analyzed. Based on the properties, second, by using the deterministic learning algorithm, an approximately accurate neural network (NN) approximation of the the finite-dimensional system dynamics is achieved in a local region along the recurrent trajectories. Simulation studies are included to demonstrate the effectiveness of the proposed approach.     

一种改进的灰度预测模型

灰色预测模型通常是GM模型,但预测精度有时不令人满意。在对模型GM做了进一步研究的基础上,提出了一个预测精度较高的新灰色预测模型,并从理论上证明了这种模型可以有效提高建模数据序列的光滑度。最后把此方法应用于东部某镇GDP的建模中,试验结果表明该方法是可行且有效的,所建模型的精度优于传统GM（1,1）模型的精度。     

Transit smart card data mining for passenger origin information extraction

The automated fare collection(AFC) system,also known as the transit smart card(SC) system,has gained more and more popularity among transit agencies worldwide.Compared with the conventional manual fare collection system,an AFC system has its inherent advantages in low labor cost and high efficiency for fare collection and transaction data archival.Although it is possible to collect highly valuable data from transit SC transactions,substantial efforts and methodologies are needed for extracting such data because most AFC systems are not initially designed for data collection.This is true especially for the Beijing AFC system,where a passenger’s boarding stop(origin) on a flat-rate bus is not recorded on the check-in scan.To extract passengers’ origin data from recorded SC transaction information,a Markov chain based Bayesian decision tree algorithm is developed in this study.Using the time invariance property of the Markov chain,the algorithm is further optimized and simplified to have a linear computational complexity.This algorithm is verified with transit vehicles equipped with global positioning system(GPS) data loggers.Our verification results demonstrated that the proposed algorithm is effective in extracting transit passengers’ origin information from SC transactions with a relatively high accuracy.Such transit origin data are highly valuable for transit system planning and route optimization.     

协议宏功能在PLC串行通信中的应用

越来越多的自动化设备自身配置有串行通信接口（如自动化仪表、变频器、伺服驱动器等）,在工业控制现场与可编程逻辑控制（PLC）之间需要进行大量的数据传输,包括现场数据采集、设备的远程控制等。本文以欧姆龙中型CJ2系列PLC协议宏功能为例,比较以往串行通信功能,在可靠性、程序繁琐程度、调试方便性等几方面的优越性。     

基于Linux的USB存储设备访问控制机制研究

USB存储设备所造成的数据泄漏问题日益严重。对USB存储设备进行访问控制,可以有效阻止USB存储设备的数据泄漏。文中主要研究基于Linux操作系统的USB存储设备访问控制机制,并且从用户态、内核Lsm框架以及驱动这三个不同层次分别提出了三种可行的USB存储设备访问控制机制。在这基础上,结合这三种访问控制机制各自的特点以及关键技术对它们的有效性、可用性进行了分析。作为验证,在Linux平台上实现了这三种机制。三种方法均可以有效地进行USB存储设备访问控制。     

形式化方法在电信服务系统中的应用与研究

为提高电信服务系统的稳定性．把形式化方法引入到电信服务系统的研究中,并用典型的形式化规格语言Z开发电信系统中基本功能的形式化规格,该套形式化规格对拔打电话、建立连接、释放连接、修改密码等操作的进行详细、精确的描述。基于Z语言的形式化规格可以应用于电信服务系统开发过程的各个阶段．以期减少电信服务系统内部错误的产生、提高稳定性。