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

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

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

简介：“不用为买一升牛奶而消耗两升汽油”，对于奔驰汽车而言，这并不是一句简单的口号，毕竟低碳虽然是一种紧迫的压力，但更是一场汽车业变革的契机。

简介：

简介：美化电脑已经成为凸显我们个性的最佳方案．也许我们可以给PC的外貌整容(不过．小编和笔者都一直认为内在美比外貌更重要，也就是美化外貌的操作系统)。俗话：“三分长相，七分打扮”，虽然操作系统也自带了一些美化工具．但这些“化妆品”的档次太低．想要打扮出一个风情万种的WindowsXP．还得聘请专门的美容师。

简介：

简介：

简介：

简介：Windows操作系统在为各种应用程序提供运行环境的同时,也自带了很多有用的附加工具,比如记事本、画图程序、剪贴板等等.不过长期以来,很多朋友都会对它们"置若罔闻,置之不理",原因很简单--功能太弱了.所以,我们往往宁愿安装一些提供更强大功能的类似软件来取代它们,比如用于替换资源管理的TotalCommander、替换系统还原功能的Ghost等.不过你有没有想过自己来--唤醒这些"沉睡"中的系统自带功能,让它们能够满足我们苛刻的需求呢?如果答案是肯定的,那么本文就是为你而准备的.

简介：下面给大家介绍《梦想》中令人无数冒险家为之疯狂的寻宝系统。

简介：终于盼到周末了。呵呵，忙活了一个星期的小武总算可以歇歇了．小武的第一个想法就是大睡上它两天，把丢失的睡眠找回来。“小武，这两天有空吗?”，后勤主任的一声召唤打断了小武的幻想。后勤主任走过说：“趁着双休日没事．将后勤的所有电脑重新安装一下系统，这些电脑系统太槽糕、程序都乱套了。”我

简介：周末期间，有些朋友到我这里来玩，在使用我的电脑上网后，有意无意中会浏览、下载一些没用的图像，视频等多媒体文件。于是乎，如何清除这些“垃圾”就成了颇令我为难的一件事。由于此类文件散布在硬盘各处，因此手动清理起来费时费力。

简介：WindowsXPProfessional和Windows2000Professional会创建隐藏的系统管理共享，管理员、程序和服务可以用它来管理网络上的计算机环境。如果没有设置管理员密码，别人就很可能通过这些默认共享访问计算机上的文件，造成严重的安全隐患。虽然这些共享可以被删除，但重新启动计算机后又会被系统重新创建。如何删除用于所有根分区和

简介：入侵:是对信息系统的非授权访问以及未经许可在信息系统中进行的操作。它可以造成系统数据的丢失和破坏,甚至会造成系统拒绝对合法用户服务等后果。入侵检测:是对企图入侵、正在进行的入侵或者己经发生的入侵进行识别的过程。具体就是通过检查操作系统的审计数据或网络数据包信息来检测系统中违背安全策略或危及系统安全的行为或活动,从而保护信息系统的资源不受拒绝服务攻击,防止系统数据的泄漏、篡改和破坏等。入侵检测系统:所有能够执行入侵检测任务和功能的系统,都可以称为入侵检测系统,其中包括软件系统和软硬件结合系统。

简介：现在随着建筑业的发展,房屋设计在更加个性、复杂的同时给人们带来了很大安全隐患,一旦发生火灾,由于逃生指示不明显,困于火场内的人员很难尽快逃离火场的问题,同时,建筑的结构复杂,消防人员从外部难以获知现场情况,存在着响应久、疏散慢的问题。本文分别使用带有损耗的传播模型和基于位置指纹数据库匹配法进行了WIFI室内定位,从两个方面进行设计,设计出的系统不仅能够改正现有的救援迟缓的问题,提高救援的效率,还可以大大增加火灾现场人员的逃生机率,减少灾害所带来的损失,具有很强的现实意义。

简介：系统托盘中的时钟大家都再熟悉不过了，不过千篇一律的模式难免让人感觉乏味，而且单一的时间显示也不能满足我们更高的要求，那么有没有其他办法让系统时钟充满生趣而且身兼数职呢？答案是肯定的，下面就让我们领教一下“化腐朽为神奇”的力量吧!

简介：大量信息化、电子化与网络化的结果是人们每天要面对大量的电子文件，如大众传播业的电子报纸、出版业的电子书、法规、法院案例、医疗诊断资料、技术报告、期刊、技术维护与作业手册、公文等等，这些都需要大量的人力来处理和管理。其中一项最重要、最复杂、最需要急迫解决的问题就是如何从这些大量的电子文件资料中快速获取知识或者快速回答使用者所面临的问题。

简介：随着社会的进步，生活质量的提高和人们对事物价值观的改变，现代人对新事物新产品的要求也越来越个性化。PC就是一个很敏感的事物，往常购置个人计算机大多也可以说是几乎只注重它的性能是否强大，是否能满足自己的需要和需求。可现如今消费者不仅关注它的性能，更注重它的个性化与智能化。

简介：有过装机经验的人都会知道，系统的安装是一个冗长沉闷的工作，一个小时左右的时间，坐在那里不能走开．要监控安装过程，选择相应参数，装完系统之后又要立刻下载相关的更新和补丁，又重复若干次安装和重启的过程，整个装机过程费时费力。