基于PHP实现数据安全性的方法及比较

讨论了多种在LAMP(Linux+Apache+Mysqi+PHP)平台下,使用PHP(超文本预处理器)实现对待下载的文件进行加密并在下载后解密的方法,介绍了PHP以及LAMP平台的应用情况;研究和介绍了在LAMP平台下,通过调用PHP内置函数、扩展/类库以及GnuPG(GNU privacy guard)软件实现数据加密解密的方法,并比较分析了不同方法之间的优缺点,给出了相应的示例代码,以及针对各种方法的比较分析和实验结果;讨论了如何选择不同的加密方法来适用于不同的具体环境,并指出了PHP加密的局限性.     

一种基于扩展规则的#SAT 求解系统

#SAT 问题是SAT 问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带来的空间复杂性问题,提出了一种基于扩展规则的模型计数和加权模型计数问题求解框架,可以看作是目前所有模型计数问题求解方法的一种补方法.证明了该方法的完备性和有效性,设计了基于扩展规则的#SAT 求解系统:JLU-ERWMC.实验结果表明,JLU-ERWMC 在有些问题中优于目前最为高效的#SAT 问题求解系统.     

集成安全分析的模型驱动软件开发方法研究

提出了一种集成安全分析的软件设计与开发新方法,该方法以MDA为基础框架,使用VMLsec建立软件安全属性的平台无关模型,使得在软件设计的早期就能够囊括更多的安全需求,从而降低后期开发的风险与成本,提高软件的复用性.     

新本本分区大作战

本本越来越流行了,从网上订购也更加方便和省心,跟到专卖店购买最大的区别就是网购的新本本拿到手后完全要自己动手分区、安装系统,好在笔记本出厂前已经进行了初装,一般来说,用户只要最后设置一下即可使用,尤其现在随机安装的差不多都是Windows Vista系统。     

基于词计算的语言动力系统及其稳定性

语言动力系统(LDS)是以词为计算单位而非以数字或符号为计算单位的动力学系统.文中将LDS分成两类:由常规动力系统(CDS)转化而来的Ⅰ型LDS和由模糊逻辑规则生成的Ⅱ型LDS.对于Ⅰ型LDS,提出了为载图法讨论其稳定性并给出了状态抽象化的虫口模型和系统与参数均抽象化的虫口模型的稳定性.对于Ⅱ型LDS,采用匹配度法分析了任意初始词在模糊规则下的动力学行为.     

精英GF9300T-A

该主板采用标准的ATX大板设计,具备3个PCI、2个PCI-Ex1,1个PCI-E x16扩展槽,拥有较普通整合主板更好的扩展性,因此更适合注重扩展能力与系统升级潜力的用户选用。     

指定时间就偷懒无罪!下载目录自动搞定运行

同样是2008年1期的题目,一道让大家偷懒的题。有谁不想偷懒呢?下载的文件自动会"跑"到自己的目录下,这样免去了手动修改的麻烦,非常方便实用。我们要使用的工具是"快车"(不支持1.96版之后的     

一种基于知识发现的拓展型竞争情报系统

目前,制约竞争情报发展的一个关键问题就是情报的收集与分析手段比较落后,远远不能胜任竞争情报系统所蕴含的特点和功效。本文将竞争情报作为一种特殊的知识,吸纳知识发现理论成果和方法,提升现有竞争情报系统的构造技术,真正做到快速、全面、准确和智能化的竞争情报生成和利用。     

商务大师 FUJITSU Lifebook S6510

在一些务实的商务用户眼中,为MacBook Air与ThinkPad X300孰优孰劣面争论不休无疑是一件可笑的事情,MacBook无法提供足够强人的扩展能力,而ThinkPad X300昂贵的价格又让人感到囊中羞涩。若足将目光放开,你会发现很多既能满足便携、扩展两方面需求而又很有面子的产品,例如FUJITSU Lifebook S6510。     

移动价值——投影机10大技术热点评析(上)

每一年的年中,我们都会以年度产品横向评测的方式来梳理当年的投影机技术热点,这已经是第9次了。通过对国内市场主流品牌的主流商务和教育用投影机产品的评测,从中挖掘出当年的投影机技术热点,同时揭示这些技术热点的发展状况以及对于定位用户的价值,还有这些技术对整个投影领域的发展的影响。