简介:气象信息综合分析处理系统(MeteorologicalInformationCombineAnalysisProcessSystem,简称MICAPS)是一套集气象信息显示、国家地理数据、历史气象数据、人机交互处理、气象预报服务产品加工为一体的综合图形图像处理系统软件.利用这套系统软件,可以在工作平台上通过气象信息网络系统获取所需要的各种气象信息,输入人机交互处理系统,采用人机交互作业方式,检索、分析各种气象信息.将MICAPS引入大气科学专业天气分析和预报综合实习中,不仅使学生达到学以致用的目的,而且提高了教学质量和教学效率.
简介:设L是一个模类,引人了L-内射类的概念,并用来刻画L-Noether环.推广了文[4],[5]中关于Noether环的相应结论.
简介:类BAN逻辑是密码协议分析和设计的主要工具,文章在分析了类BAN逻辑之后,指出了这些逻辑的缺陷,并对类BAN逻辑的缺陷进行分类,最后指出进一步发展类BAN逻辑应解决的问题。