基于Agent的DDoS协同防御实体行为建模

现有分布式拒绝服务(DDoS)协同防御实体行为建模逼真度较低,且形式化描述不规范。针对上述问题,提出一种基于Agent的DDoS协同防御实体行为建模方法。采用基于Agent的建模思想及输入-输出映射原理,建立包含自主行为和交互行为的实体行为概念模型,设计改进的Agent行为形式化描述方法,从自适应性、自学习性和交互性3个因素考虑,构建协同防御实体行为模型,准确描述防御实体的智能行为。

命题公式主范式的自动生成与形式输出

在文[1]和文[2]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出.

预期寿命、老年照料与经济增长

本文构建世代交叠模型考察预期寿命延长和老年照料结构偏好改变对劳均产出和老年照料规模的影响,并探讨预期寿命与老年照料结构偏好之间的关系。研究发现:(1)在正式照料由市场提供的经济中,预期寿命延长使得劳均产出上升和老年照料规模下降,家庭照料偏好增强使得劳均产出下降和老年照料规模上升;在正式照料由政府提供的经济中,预期寿命延长使得劳均产出和老年照料规模都下降,家庭照料偏好增强使得老年照料规模上升且不影响劳均产出;(2)伴随预期寿命的延长,若市场提供正式照料,增强家庭照料偏好并不必然能确保劳均产出和老年照料规模都不下降,其作用效果取决于照料部门劳动生产率和预期寿命延长岁数;若政府提供正式照料,增强家庭照料偏好可确保老年照料规模不下降,但无法扭转劳均产出下降趋势;(3)与政府提供正式照料相比,市场提供正式照料时的劳均产出和老年照料规模更高。本文认为,应引导人们合理调整老年照料结构偏好,充分发挥家庭、市场和政府在老年照料供给中的作用,以实现老年照料与经济增长协调发展。

基于形式化方法的协议测试理论

利用形式化方法构建了协议测试理论。定义了被测试方 UNDER TESTER、协议说明 SPECs、测试需求 REQs以及协议测试所关注的 U NDER TESTER和测试需求之间的完成关系 imp。作为一个实验活动 ,测试的依据被定义为测试集 TESTs,测试的执行原则被定义为 3个操作 passes,fails,incons,并利用判决函数 Verdict得到测试结果。在上述基础上得到“协议测试”的概念。为了更好地将协议测试的形式化理论应用到实践中 ,通过一种可被编程的形式化语言——输入 /输出变迁系统 (IOTS)将上述理论进行了更具体的形式化描述。

我国三大经济地带教育投入弹性的差异分析

本文利用面板数据模型的计量方法,对我国东、中、西三大经济地带2000-2004年的教育投入弹性进行估计,揭示了这三个区域经济增长率与教育经费投入增长率之间关系的差异,并得出政府应加大对中、西部经济欠发达地区的教育投入力度和转移支付力度这一结论。