简介：建立用以评价地球大气健康度的模型,选择AQI作为健康度的指标,采用双层网络的形式构建模型。局部网络采用经粒子群算法优化的神经网络,而全局连接通过特定传播函数定义的反馈边将节点连接起来,并以上一年的结果作为输入,本年的结果作为输出,建立起一个自治系统。从拟合效果、关键节点和节点关系变化等几个方面测试了网络的性状。选择日本、印度、匈牙利等几个典型国家在1985—2008年的相关数据进行研究。结果表明,模型具备功能上的完备性和极好的灵活性,与历史事实符合得很好,可以为决策者提供有价值的支持信息。

简介：在全球移动网络(GLOMONET)中,无缝漫游对用户来说是非常可取的。但由于无线网络易被攻击及移动终端具有有限的计算能力,所以对移动用户的安全认证是具有挑战的。近来,一些基于安全认证的智能卡方案被提出。文章的主要贡献是通过对已有方案的改进,提出了一个基于智能卡的身份验证方案。方案采用离散对数函数加密,且只需要在用户、外地代理和家庭代理之间进行4次信息交换。最后证明了方案可以抵制多种攻击。相比已有方案,本方案具有简便和计算量少的优点。

简介：国内外许多学者认为,数学是有别于自然科学和社会科学的独立科学形式。本文主要参考《古今数学思想》[1]和《数学史教程》[2],从历史与哲学的角度探讨数学成为独立科学形式的主要根源。通过考证发现,数学成为独立科学形式的主要根源在于历史上三次重大的哲学思潮,它们导致了纯粹数学研究与背景问题(学科)研究的一次融合和三次重大分离,即:(1)毕达哥拉斯的'万物皆数'的哲学思想导致了第一次分离,形成古希腊抽象数学体系;(2)随着'文艺复兴'时期古希腊文明的复苏,数学和背景问题(学科)研究开始强大融合,并逐步被笛卡尔、伽利略以及后来的牛顿和莱布尼茨的'科学的本质是数学'的哲学思想所主宰,导致了