一种基于Internet互动学习平台的设计与应用

基于Internet构建一种综合性互动网络学习平台.本系统依据流媒体传输原理,采用B/S模式的Web体系结构在保证系统安全性的基础上而开发.首先分析了综合性互动网络学习的需求,其次对综合性互动网络学习平台进行了总体设计,采用E-R图实现了数据库设计,最后完成系统的主要模块.     

我国粮食安全的基础在于"藏粮于田"

在对我国粮食安全基本态势分析的基础上,简略剖析了有关我国粮食安全的主要学术观点,论述了我国实施“藏粮于田”战略的客观基础和必要性,提出了我国“藏粮于田”的战略思路和农田生态保育的新理念,陈述了强化法规与政策体系、农田质量监测体系建设和实施五大农田保育重大工程的战略建议。     

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

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

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

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

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

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

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

若尔盖湿地是黄河上游重要的水源涵养区,近年来,由于全球气候变化和人类不合理的开发活动导致若尔盖湿地生态退化趋势显著,威胁区域和流域生态安全。笔者在若尔盖湿地生态安全影响机制解析的基础上,围绕若尔盖湿地生态系统的结构、功能及其外界胁迫作用建立了生态安全评价指标体系。运用模糊综合评价方法,借助遥感与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.     

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

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

基于自适应遗传算法的拟态蜜罐演化策略

借鉴生物遗传进化现象,将遗传算法引入拟态蜜罐系统中,提出了基于自适应遗传算法的拟态蜜罐演化策略,详细讨论了拟态蜜罐系统演化中特征形式化编码、遗传算子设计、适应度函数、演化触发控制与终止条件等关键问题,设计实现了具有自适应遗传演化功能的拟态蜜罐原型系统并进行了原型测试,实验数据表明了基于自适应遗传算法的拟态蜜罐演化策略具有良好的自适应性和有效性.     

大型企业信息网络安全问题解决方案

网络安全系统是信息系统建设的基础和前提 ,应先于其他信息系统进行建设。本文就某石化公司信息网络安全现状进行了分析 ,并就如何构建完善的网络安全体系提出了解决方案