公安信息系统安全审计技术现状和问题

自《关于加快推进公安信息系统应用日志安全审计工作的通知》(公传发〔2013〕516号)下发以来,公安业务系统的安全审计工作有了很大的进展,但在落地的过程中,也出现了一些现象值得去研究和讨论。文章在安全审计发展现状的基础上,论述了存在的问题,并针对关键问题给出具体的技术实现思路以及实现方案。     

裂缝性孔隙介质频变AVAZ反演方法研究进展

由于尺度的限制,利用地震方法进行裂缝参数定量表征一直是地球科学的难题。基于裂缝性孔隙介质动态等效理论的频变AVAZ反演方法给出了研究思路。首先介绍了裂缝性孔隙介质的等效介质理论研究进展,分析比较了各种裂缝性储层岩石静态等效介质模型和动态等效介质模型;然后给出了基于Chapman模型的裂缝参数和渗透率定量表征的正问题数学模型以及反演问题求解的方法和策略,以及基于模型数据的数值计算结果;最后讨论了频变AVAZ反演方法目前存在的问题和进一步研究方向。     

低碳时变城配送车辆路径-发车调度集成优化

针对交通拥挤环境下日益增长的城市配送需求，通过分析时序依赖对成本和碳排放的影响，引入车辆在节点等待和离散调度策略，研究基于时序依赖的低碳城市配送车辆路径与离散调度问题。为求解该问题，设计基于遗传算法与局部搜索相结合的混合进化搜索算法对模型求解，用积极的局部搜索机制替代随机的变异操作，并通过可行解构造算法、变概率交叉和多种局部搜索策略来提高算法求解质量和求解效率。通过对比仿真实验对算法和模型的有效性进行了验证。     

Linux下高效可靠的应用同步升级技术

为了能够向用户提供既可靠又高效的系统及软件更新方法,我们设计了以镜像源管理服务器为主的软件更新方案。本文详细介绍了镜像源管理服务器技术的设计方案,并对技术方案进行了理论分析,对技术方案的验证方法和验证结论做了详细的分析和说明。镜像源管理服务器技术在实现中,相较于当前Linux通用的镜像源更新方案,能够避免单一镜像源更新不够及时的问题、源服务器网络负载过高问题,为用户提供稳定且快速的资源下载。     

控制反转技术分析

轻量级容器的解耦模式被称为“控制反转”或者“依赖注入”,组件之间的依赖关系由容器(运行环境)在运行期决定,从而在相当程度上降低了组件之间的耦合。该文详细论述了这种解耦模式的原理,以及依赖注入的3种主要形式,并且对几种形式进行了对比总结。     

浅议计算机网络中的可靠性设计

消除计算机网络中的单点故障．能使网络结构更加合理．网络性能更加优良，本文就是在此思想的指导下．首先对计算机网络可能出现的故障，进行分析、评估。在此基础上，对服务器、电源、WAN服务、LAAN服务、路由器等进行可靠性设计的探讨。     

安定滥用：10个失眠7个有瘾

溢用安定是一个极为严重的社会问题。在有睡眠障碍的人群中，许多人的做法是自己吃安定解决而不去找医生．或者是一睡不好就依赖安眠药；国内还有不少中小学生因服安定而上瘾的报道。     

IOC框架的研究与设计

在J2EE开发中,程序员经常需要面对如何将程序元素组装成类聚的应用程序,如何有效地管理组件和组件间的相互调用装载,成为应用程序开发的重要任务,IOC(Inversion of Control,控制反转)框架的发展,满足了这个方面的需求。文中讨论了IOC模式的基本概论I、OC问题的产生,比较了IOC模式与工厂模式的区别以及IOC的发展意义,重点给出了IOC框架设计的两种设计方案:动态IOC和静态IOC的实现,最后比较了两种方案的优缺点。     

基于Windows输出文件的镜像处理

Ｗｉｎｄｏｗｓ平台的字处理软件越来越多，尤其以ＷＯＲＤ为代表的软件拥有众多用户，但它们不支持镜像输出。本文通过对Ｗｉｎｄｏｗｓ输出文件的分析，给了了实现镜像输出的简单实用的方法。在文章中也对Ｗｉｎｄｏｗｓ９５的镜像输出作了提示。     

关于传递闭包和函数依赖完备公理系统存在问题研究

数据依赖在数据库设计中起着十分重要的作用．自Ｃｏｄｄ提出函数依赖（ＦＤｓ）、Ｆａｇｉｎ引入多值依赖（ＭＶＤｓ）后，近几年来人们又根据设计中的需要引入多种新的依赖，如在工程数据库设计中所引进的传递闭包依赖（ＣＤｓ）等．对这些依赖一般是按其是否具有完备的公理系统而划分为两大类，因为完备性公理系统往往具有有效的判定算法为先决条件．本文对ＣＤｓ和ＦＤｓ的ｋ元完备公理系统存在问题进行了研究，证明了ＣＤｓ和ＦＤｓ不具有共同的ｋ元完备公理系统这一结论．