简介：在如今越来越注重小型化的今天，ITX主板产品也得到了不少玩家的追捧，ROG自然不会缺席。Impact系列作为ROG中的ITX系列。一直都以强悍的做工和性能表现来征服玩家们。
简介：AMDLlanoA系列APU的融合设计终于让广大用户体验到了高性能和高效率,将更好地为广大主流用户服务,但在此之前,我们需要更近距离地了解它。《电脑迷》记者有幸采访到映泰主板事业处副总经理魏志雄先生,让这位技术型的高层领导带我们更进一步了解Llano,了解A75主板。
简介：该文基于Fcielogic_SDL_TTCN_Suite使用规范和描述语言（SDL：speci6cationandDescriptionLanguage）以及树表结合表示法（TTCN：TreeandTabularCombinedNotation））探讨了协议的形式化描述与一致性验证问题．给出了协议形式化描述与一致性验证的一般方法.
简介：本文对欧洲高等院校的计算机相关专业形式化方法教育进行了介绍，主要包括形式化方法课程的知识体系、形式化方法教育的课程及其内容。
简介：随着计算机和互联网的迅猛发展和广泛应用，知识内在的异质性和分布性已经严重地阻碍了知识在多主体和软件实体之间的共享和重用，而形式本体已被认为是很有前途的解决方法。作为一门专业领域知识，考古学知识是人类知识的重要组成部分，在自然语言处理、知识系统、信息检索、信息提取和智能教学等知识密集型应用中是必不可少的。
无敌堆料小钢炮
不堆料也能超 A75改变主流市场 映泰主板高层专访
协议形式化描述与一致性验证研究
欧洲高校计算机专业的形式化方法课程教学
面向考古的形式领域本体及其在知识获取和分析中的应用
