库岸边坡变形场与水分场光纤监测技术研究

三峡库区滑坡灾害频发,采用高效的滑坡监测技术对预防和降低滑坡灾害十分重要。本文介绍了ROTDR(Raman Optical Time-Domain Reflectometry)、BOTDR(Brillouin Optical Time-Domain Reflectometry)和FBG(Fiber Bragg Grating)这3种光纤感测技术,以及课题组基于这3种技术研发的滑坡体变形场与水分场监测技术。以三峡马家沟I号库岸滑坡为例,介绍了相关的DFOS(Distributed Fiber Optic Sensing)监测方案、传感器布设工艺、光纤的保护方法和部分水分场及变形场监测结果的分析成果。监测结果表明:DFOS技术应用于库岸滑坡变形场和水分场监测可行,可为研究库岸滑坡演化机理及其预警预报提供一个新的监测手段。     

基于B/S模式的数据库应用系统安全

随着数据库技术和管理信息系统的发展,两者的结合越来越紧密,其安全性正逐步引起人们的重视。数据库应用系统是在数据库管理系统支持下建立的以数据库为基础和核心的计算机应用系统,由数据库系统、应用程序系统和用户组成。文中主要探讨了基于B/S模式的SQL Server数据库应用系统的安全问题。结合B/S模式的三层结构,分别从应用程序、服务器和数据库层次进行安全性研究。其中,应用程序安全采用输入验证、输出编码和会话管理技术;服务器安全采用安全协议、操作系统安全、防火墙技术和防SQL注入攻击技术;数据库安全技术采用用户认证、访问控制、数据加密、审计追踪和视图机制技术。     

TREOR多晶X射线衍射图指标化程序的适用性

多晶Ｘ射线衍射图指标化的ＴＲＥＯＲ程序已被普遍采用，特别是在硅酸盐矿物等材料的晶体结构研究工作中应用很多。然而，实际上它存在着一定的缺陷，有可能得出错误的结果。本文对这一程序作了详细的检验，发现即使在理想条件下它都不适用于低对称晶系的指标化。在对程序作改进以后，该程序可适用于高对称晶系多晶衍射的指标化     

Incremental inconsistency detection with low memory overhead

Ensuring models’ consistency is a key concern when using a model‐based development approach. Therefore, model inconsistency detection has received significant attention over the last years. To be useful, inconsistency detection has to be sound, efficient, and scalable. Incremental detection is one way to achieve efficiency in the presence of large models. In most of the existing approaches, incrementalization is carried out at the expense of the memory consumption that becomes proportional to the model size and the number of consistency rules. In this paper, we propose a new incremental inconsistency detection approach that only consumes a small and model size‐independent amount of memory. It will therefore scale better to projects using large models and many consistency rules. Copyright © 2012 John Wiley & Sons, Ltd.     

硫酸工业中常见气体有效能计算

介绍理想气体、理想气体混合物、真实气体、真实气体混合物的有效能计算方法，并以硫酸工业中常见气体为例加以说明。通过编写计算机程序进行计算，可实现有效能的快速分析，便于实际应用。     

刍议市政道路养护机械优化配置评价指标体系构建

市政府道路是城市道路的主要组成部分。通过对市政府道路养护的必要性、养护机械配置的问题以及如何构建合理的评价指标体系等进行阐释,为市政府道路养护工作提供相应的参考意见。     

企业网络交换机配置文件的批量备份

交换机配置文件的备份是网络维护工作的一项重要内容,大型企业网中一般有不同规格型号的交换设备数百台,使得手动备份的工作相当繁琐。为解决交换设备配置文件批量和自动备份问题,使用Visual Basic.开发的一个运行在WIN DO WS环境下的软件,利用交换机备份数据表、Win Sock控件和Do Event函数等,有效地进行批量工作,并得到了较好的应用效果。     

B/S架构在线考试系统的断线续考功能的实现

随着教育信息化不断发展,基于Web的网络学习平台越来越多.在线考试系统是网络学习平台的重要组成部分.在线考试时由于多种原因,经常引发断线,致使考试过程中断.在线考试系统必须具备断线续考功能.文章介绍了B/S构架下ASP在线考试系统断线续考功能的工作原理及实现方法.     

使用程序静态分析技术识别Web程序中的用例结构

本文利用程序静态分析技术对Web程序中的用例识别进行了深入研究。对Web页面的用户行为进行了深入分析并建模,从行为模型中提取出描述整个系统中用户行为的事件流图,结合采用现有的从目的成功语句出发、以必经结点为基础的用例识别方法,从各个Web页面中提取的独立控制流图,形成全局控制流图,进行全局用例识别。与以前已有工作相比,本文考虑了Web程序的特点,尤其是前端程序如何实现用户行为,并在前端程序中进行精确的用例识别。本文采用目前使用较为广泛的JSP程序进行了实验,结果表明该方法能够有效识别JSP程序中的用例结构。     

C程序设计中循环结构的教学设计与探讨

循环结构在C程序设计中占据重要的位置,是教学中的重点,同时也是教学中的难点。在教学中,如何使学生建立“循环”的概念、理解“循环”的含义、设计“循环”算法、实现“循环”功能,是教学设计的重点。通过对循环结构教学设计,理清教学思路,明确教学目标,化解教学难点、突出教学重点,寓趣味性、目标性于教学中,采用了项目引导、任务驱动、演示法、分析法、讨论法等多种教学方法,调动学生学习的积极性,培养学生程序设计能力。