简介：随着网络技术的发展，“第四媒体”正在展现自己的独特魅力。同时，我们也发现，在网络上传播信息的载体多种多样，其中就包括一个新兴载体：Blog。1998年，美国人麦特·德拉吉的个人Blog上最早出现了美国前总统克林顿的性丑闻，在西方新闻界引起了广泛地关注。

简介：

简介：诗歌是我国灿烂的文化，在高中语文教学中占据着较为重要的地位。但当前,很多学生对诗歌的学习仅仅停留在背诵以及默写上，往往难以准确把握诗歌传递的情感，自然也难以真正深入了解其背后的传统优秀文化。因此，如何增强中学诗歌的有效教学，需要每一位教师进行深刻反思。

简介：P2P已经彻底统治了当今的Internet,然而,P2P病毒防御技术的研究却相对滞后,如果P2P网络病毒大规模爆发,其影响和破坏将是巨大的。针对病毒文件的传播,充分考虑网络的诸多因素,如:用户到达率,在线(共享)时间,网络节点免疫力等对病毒文件传播的影响,并通过P2P网络仿真工具-PeerSim进行仿真分析。

简介：该文基于Fcielogic_SDL_TTCN_Suite使用规范和描述语言（SDL：speci6cationandDescriptionLanguage）以及树表结合表示法（TTCN：TreeandTabularCombinedNotation））探讨了协议的形式化描述与一致性验证问题．给出了协议形式化描述与一致性验证的一般方法.

简介：本文对欧洲高等院校的计算机相关专业形式化方法教育进行了介绍，主要包括形式化方法课程的知识体系、形式化方法教育的课程及其内容。

简介：随着通信技术的发展,当前无线信号取得广泛应用,但是在无线信号使用过程中会发生外泄现象,为用户和运营商带来经济损失。为了能够降低无线信号的外泄范围,本文基于对无线信号传播过程的了解和研究,建立了无线传播过程中的信号传播和外泄模型,通过对模型的研究提出降低信号外泄范围和程度的措施。

简介：随着计算机和互联网的迅猛发展和广泛应用，知识内在的异质性和分布性已经严重地阻碍了知识在多主体和软件实体之间的共享和重用，而形式本体已被认为是很有前途的解决方法。作为一门专业领域知识，考古学知识是人类知识的重要组成部分，在自然语言处理、知识系统、信息检索、信息提取和智能教学等知识密集型应用中是必不可少的。

简介：随着计算机网络技术的飞速提高,用户在享受网络带来的便利的同时,却有可能遭受计算机网络病毒的入侵,造成个人信息资料的泄露或破坏,导致经济上的损失和精神上的伤害。本文通过剖析计算机病毒网络传播的模型建构,分析其传播时的稳定性,以探寻计算机病毒传播的规律,为计算机网络病毒的防御工作提供理论指导。