给水厂臭氧—生物活性炭深度处理生产性试验研究

针对引黄水库水有机微污染和高藻的水质特点,以济南某引黄水厂为基础,采用臭氧—生物活性炭(O3—BAC)深度处理技术进行生产性试验研究,确定O3—BAC深度处理工艺的最佳运行参数,包括臭氧两点投加分配比、臭氧投加量、臭氧接触时间、活性炭层厚度、活性炭空床停留时间等。为该水厂运行及其他类似水厂设计提供参考依据。     

基于SARscape的干涉叠加在地表形变监测中的应用

地表形变主要表现为地震形变、地面沉降、山体滑坡等,由InSAR技术发展而来的干涉叠加通过挖掘时间序列SAR图像获取mm级的形变信息。本文介绍了干涉叠加技术的基本原理和技术流程、基于永久散射体的方法,利用2008年～2010年的23幅Cosmo-skymed数据对北京奥林匹克公园内的主要区域进行了地表形变的监测。     

针对高级加密标准算法的光故障注入攻击

为获取芯片的秘密信息,针对其中的高级加密标准(AES)算法,提出一种光故障注入攻击方法。通过对开封后的微控制器进行紫外线照射,证明非易失性存储器内容能被紫外线擦除,并找出照射时间与擦除率间的关系。在AT89C52微控制器芯片上,对AES-128密码算法中的S-box进行光故障注入攻击,改变存储器单元的逻辑状态,以成功获取密钥。     

水厂深度处理自动控制系统的探讨及研究

论述了净水厂自动可能工资系统主要功能及组成,从活性炭滤池、臭氧接触以及V型滤池等工艺对自动控制系统进行了探讨。     

印染废水处理与回用的工艺设计与应用

采用固定化生物滤池+连续微滤膜(CMF)+反渗透(RO)系统工艺对印染废水进行处理与回用,将反渗透浓水通过高级氧化技术进行处理。介绍了系统的设计、调试运行情况及主要经济指标。运行结果表明:该工艺运行稳定,处理效果较好,出水水质能够作为企业生产循环水与补充水回用;反渗透浓水经深度处理后,水质可达到《纺织染整工业水污染物排放标准》(GB 4287-2012)企业直接排放要求。     

ARM架构中控制流完整性验证技术研究

通用平台目标二进制代码运行时控制流的提取主要依赖于处理器硬件特性,或其动态二进制插桩工具,该平台的控制流完整性验证方法无法直接移植到进阶精简指令集机器( ARM)架构中。为此,基于控制流完整性验证技术,设计一种用于ARM架构,利用缓冲溢出漏洞检测控制流劫持攻击的方法。该方法在程序加载时、执行前动态构建合法跳转地址白名单,在目标二进制代码动态执行过程中完成控制流完整性验证,从而检测非法控制流转移,并对非法跳转地址进行分析,实现漏洞的检测和诊断。在ARM-Linux系统的动态二进制分析平台上实施测试,结果表明,该方法能够检测出漏洞,并精确定位攻击矢量。     

Does advanced driver training improve situational awareness?

Over 70 years of experiential evidence suggests that a specific form of advanced driver training, one based on an explicit system of car control, improves driver situation awareness (SA). Five experimental hypotheses are developed. They propose that advanced driving should increase the number of information elements in the driver's working memory, increase the interconnection between those elements, increase the amount of ‘new’ information in memory as well as the prominence of existing information, and that finally, it should stimulate behaviours that help drivers evolve better situations to be aware of. An approach to SA based on Neisser's perceptual cycle theory is anchored to a network based methodology. This is applied within the context of a longitudinal on-road study involving three groups of 25 drivers, all of whom were measured pre- and post-intervention. One experimental group was subject to advanced driver training and two further groups provided control for time and for being accompanied whilst driving. Empirical support is found for all five hypotheses. Advanced driving does improve driver SA but not necessarily in the way that existing situation focused, closed loop models of the concept might predict.     

Adaptive observers for nonlinearly parameterized class of nonlinear systems

In this paper, one proposes adaptive observers for a class of uniformly observable MIMO nonlinear systems with general nonlinear parameterizations. The state and the unknown parameters of the considered systems are supposed to lie in bounded domains which size can be arbitrarily large and the exponential convergence of the observers is shown to result under a well-defined persistent excitation condition. Moreover, the gain of the observers involves a design function that has to satisfy a simple condition which is given. Different expressions of such a function are proposed and it is shown that adaptive high gain like observers and adaptive sliding mode like observers can be derived by considering particular expressions of the design function. The theory is supported by simulation results related to the estimation of the biomass concentration and the Contois model parameters in a bioreactor.     

Computational Tools for the Integrated Design of Advanced Nuclear Reactors

Advanced nuclear reactors offer safe, clean, and reliable energy at the global scale. The development of such devices relies heavily upon computational models, from the pre-conceptual stages through detailed design, licensing, and operation. An integrated reactor modeling framework that enables seamless communication, coupling, automation, and continuous development brings significant new capabilities and efficiencies to the practice of reactor design. In such a system, key performance metrics (e.g., optimal fuel management, peak cladding temperature in design-basis accidents, levelized cost of electricity) can be explicitly linked to design inputs (e.g., assembly duct thickness, tolerances), enabling an exceptional level of design consistency. Coupled with high-performance computing, thousands of integrated cases can be executed simultaneously to analyze the full system, perform complete sensitivity studies, and efficiently and robustly evaluate various design tradeoffs. TerraPower has developed such a tool—the Advanced Reactor Modeling Interface (ARMI) code system—and has deployed it to support the TerraPower Traveling Wave Reactor design and other innovative energy products currently under development. The ARMI code system employs pre-existing tools with strong pedigrees alongside many new physics and data management modules necessary for innovative design. Verification and validation against previous and new physical measurements, which remain an essential element of any sound design, are being carried out. This paper summarizes the integrated core engineering tools and practices in production at TerraPower.     

引入计算机辅助教学 促进高等数学改革

根据“高等数学”教学目前的实际情况,结合自己的教学经验,阐述引入计算机辅助教学的优点．提出将传统教学和计算机辅助教学相结合时自己的认识和建议。