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

简介：在k-饱和的超幂非标准模型中将序列的无穷小延伸定理推广到网的情形并利用网的无穷小延伸定理给出函数空间一致收敛拓扑的一个主要性质的直观简短的离散化证明。

简介：由于C^3I系统所具有的分布特点，其功能需求描述必须考虑信息处理和通信两方面，本文从C^3I系统功能分析入手，讨论了一种Petri网建立C^3I系统功能需求的可执行描述模型的方法。

简介：设a（z）是一个没有零点的整函数，k≥3是个整数，F是区域D上的亚纯函数族，对每一个f∈F至少有k重零点和2重极点．若对每一对f，g∈F有ff（k）与gg（k）IM分担a（z），则F在区域D内正规．

简介：一、施工安装企业单项工程全过程成本控制的实施背景施工安装类企业是当前供电系统集体企业中的支柱产业,无论从单体工程造价还是营业收入总量,其金额之大都值得重视,成本管控稍微疏忽,就会对集体企业经济效益产生重大影响,同时,电力工程建设备受社会和政府部门关注,近年来几次大的审计检查,往往都延伸到集体企业,成本项目列支的合理性、合规性有时成为影响电网企业形象的敏感因素，必须加强工程项目的全过程成本管理。

简介：构建基因调控网络是21世纪人类科学所面临的重要挑战之一。基因调控网络是一个基因组内基因相互作用而形成的关系网络,它从全基因组水平上以系统和全局的角度来研究复杂的生命现象及其本质。本文阐述了近几年来此领域的研究进展,着重介绍利用动态贝叶斯网络重构基因调控网络的若干模型,包括加权核l1模型,正则化模型、高斯混合贝叶斯网络模型和自回归时间变化模型。

简介：我国古代许多数学家和数学教育家都十分重视学生的数学独立思考的研究,如魏晋数学家刘徽提出的“异辞,同归”和南宋数学教育家杨辉倡导的“熟读精思,算中明理”,突出了独立思考在数学学习中的重要地位.当前学者们经过研究,认为“中学生的数学学习需要较强的逻辑推理能力,其‘再创造’比其他学科要求较高”,而数学独立思考的能力的提升显然与逻辑推理能力、“再创造”呈正相关.与此同时,