电力系统安全域方法研究述评

简明地综述了天津大学关于电力系统安全域方法学研究的成果．首先给出了电力系统安全域研究的推动力以及各种安全域的定义和概念．进而给出了3种实用的安全域,分别是：事故前系统注入功率空间上保证暂态稳定的实用动态安全域（PDSR）、割集功率空间上保证静态电压稳定的安全域（CVSR）和注入功率空间上保证不出现Hopf分岔的实用小扰动稳定安全域．它们是基于如下事实提出的：在工程关心的范围内,其稳定边界可用一个或少数几个超平面近似描述．这种形式的数学描述具有如下优点：便于开发计算安全域的快速方法,便于实现安全域的可视化,大大降低了计及节电注入功率不确定性时电力系统概率安全性评估的计算量,同时可使一大类电力系统最优化问题中稳定约束处理难的问题变得十分简易．基于PDSR和CVSR的研究成果,天津大学已成功地开发了综合安全域的可视化系统和电力系统概率安全监视系统,并在基于安全域的电力系统优化潮流、安全性综合控制、风险评估与优化、以及安全性定价等方面取得了令人鼓舞的成果．     

构建高可用的数字校园公共服务平台

本文阐述了高可用数字校园公共服务平台的基本内涵,并从数字校园运行、维护层面论述了构建高可用的数字校园公共服务平台所应考虑的几个问题.     

基于最小累积阻力模型的农牧交错带土地利用生态安全格局构建——以鄂尔多斯市准格尔旗为例

选择位于农牧交错带的鄂尔多斯市准格尔旗,基于自然地理情况、社会经济统计及多年土地覆被数据,在对研究区近30年来土地利用时空动态变化进行分析的基础上,运用GIS空间分析技术,借用最小累积阻力模型,对区域内关键土地利用类型进行分析与模拟,判断各土地单元针对关键土地利用类型的适宜度,据此构建区域土地利用生态安全格局,进而提出土地利用安全格局实施和管理的建议.研究结果对区域土地资源的持续利用具有重要的指导意义,并对最小累积阻力模型的应用进行了扩展.     

虹桥交通枢纽公共信息平台研究与设计

虹桥交通枢纽集多种交通方式及换乘广场于一身,各交通方式应用系统所用技术标准、接口方式和数据格式不统一。根据虹桥交通枢纽信息化管理需求,本文给出基于SOA的公用信息集成系统平台体系框架,并且通过建立多种多源数据融合模型动态路由对多源信息进行整合,实现各交通方式的信息整合。     

金融电子化信息系统安全性控制研究

金融电子化是金融创新的技术保障.安全性控制是金融电子化信息系统的技术关键.本文运用信息生命周期方法和系统工程的思想,提出了模块化、多层次、以检测和响应为核心的动态协同防护体系,增加攻击者的开销,从而降低被攻击的几率,达到安全防护的目标.     

柳州市图书馆总分馆理论与实践初探

介绍了国内外图书馆总分馆最新理论以及国内图书馆总分馆的模式与实例,对柳州市图书馆总分馆模式进行了初步探索,以鱼峰区图书馆为例,分析了社区图书馆及县级图书馆如何参与公共文化体系的构建以促进文献资源的共建共享,指出一个图书馆群仅仅通过行业合作是不可能建立真正意义上的总分馆体系的。     

基于模糊综合评价的若尔盖湿地生态安全评价

若尔盖湿地是黄河上游重要的水源涵养区,近年来,由于全球气候变化和人类不合理的开发活动导致若尔盖湿地生态退化趋势显著,威胁区域和流域生态安全。笔者在若尔盖湿地生态安全影响机制解析的基础上,围绕若尔盖湿地生态系统的结构、功能及其外界胁迫作用建立了生态安全评价指标体系。运用模糊综合评价方法,借助遥感与GIS技术,对1989年、2000年和2007年若尔盖湿地生态安全状况进行了评价,结果表明:若尔盖湿地生态安全水平呈现明显下降趋势,3个时期的生态安全指数分别为0.514、0.423和0.373,2007年生态安全水平进入较差等级。分析认为,人类活动影响对若尔盖湿地生态安全状况动态变化具有重要作用,需控制人类活动强度以维护若尔盖湿地生态安全。     

Formal analysis on an extended security model for database systems

In order to develop highly secure database systems to meet the requirements for class B2, the BLP （Bell-LaPudula） model is extended according to the features of database systems. A method for verifying security model for database systems is pro- posed. According to this method, an analysis by using Coq proof assistant to ensure the correctness and security of the extended model is introduced. Our formal security model has been verified secure. This work demonstrates that our verification method is effective and sufficient.     

也论公共管理中的公共利益 --兼与陈庆云等人商榷

公共利益是公共管理的核心概念,它是指公众的具有公共性的利益,是能够满足公众共同需要的对象或可能性.公共管理必须以公共利益为惟一目标.公共管理也不是万能的.公共利益的实现必须以科学、民主与法治为手段.科学、民主、法治三者是相互联系的统一体.     

一种动态口令认证方案的研究与改进

分析研究了一种动态口令方案,针对其不足,对原方案中认证依据的产生以及连接认证依据的产生进行了改进,增强了原方案的认证依据产生和修改的灵活性,实现了连接认证双方协商产生,并保留了原方案的设计思想。改进方案提高了原方案的整体安全性,并更具实用性。