简介：PPT经常用于制作商品广告、产品介绍、业绩展示之类的演示文稿，这些情况下，在文稿中输入注册符号及其他特殊符号的情况比较多，比如在著述作品名称前输入版权符号。掌握一些输入特殊符号的方法，则会使这项工作变得简单而轻松。

简介：在网页上．META标记用于描述不包含在标准HTML里的一些文档信息．通过这些文档信息．可以演化出一些网页META的基本功能。

简介：

简介：

简介：很多有价值的资料,在互联网上并非是普通韵网页,而是以Word、PowerPoint、PDF等格式存在。百度支持对Office文档(包括Word、Excel、PowerPoint)、AdobePDF文档、RTF文档和Txt文档也进行全文搜索。要搜索这类文档很简单,在普通的查询词后面,加一个

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

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

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

简介：近年来,无机纳米复合材料在涂层方面的应用前景越来越广泛,而水在其表面的润湿性决定了无机纳米复合材料涂层的发展前景。本文通过构建特殊的碳纳米管表面结构,利用分子动力学模拟手段探讨水分子在其表面的润湿性以及扩散行为,揭示碳纳米管与其他纳米材料的作用机理,也为碳纳米管复合材料涂层的发展奠定理论基础。