第一讲 抽象数据类型(续)

三、抽象数据类型及其模型§1 抽象数据类型及其模型定义1 一个抽象数据类型T=(∑,E)是一个由一个基Σ和一个由一些Σ-公式组成的集合E构成的有序对。定义2 一个Σ-代数A称为T=(Σ,E)的代数,如对所有e∈E,A=e,A称为T的模型,如它是T的代数,而且是项生成的。我们用GEN(T)表示一个抽象数据类型T的所有模型的类。在应用中特別受到注意的是所谓初始模型和终止模型。     

系统问答

?001我听说Windows XP有很多版本,但请问我怎样才能够鉴定我的Windows XP版本?答:在Windows XP的安装盘中I386文件夹里有一个EULA.T X T,最后有一行E U L A I D,如E U L A I D:W B2.3_PERPRO_STD_EN,它就代表了你的Windows XP的版本!WX.开头代表的是正式版,WB.开头则是测试版。     

盖亚安在?

1969年,英国学者J.E.拉弗洛克提出了著名的地球生命体理论——盖亚理论(Gaia Theory)。盖亚(GAIA)是希腊神话中的大地之女神,拉弗洛克通过把整个地球看做盖亚,以强调地球具有类似于生命的属性。其主要论点是:地球是有地圈、水圈、气圈以及生态系统组成的一个生命体,这个生命体是一个可以自我控制的系统,对于外在或认为的干扰具有稳定性。     

原笔迹手写让商务应用更便捷

三星GalaxyNote平板蝴崮为何会如此流行？在我看来它最重要功能当属配套的压力感应手写笔。这的确是有别于苹果iPad的一个“杀手级应用”。而国产平板电脑品牌E人E本目前已经更新到第六代产品,也就是如今我们测评的E人E本T6。     

数字北京工程的总体框架及发展规划研究（上）

序言 1998年1月31日,美国首先提出了"数字地球"(Digital Earth)的概念. "数字地球"也就是信息化地球,它是个地球信息模型.建立数字地球就是把地球上每一个角落的信息都收集起来,按照地球上的地理坐标,建立一个完整的信息模型.它是利用全球海量空间数据,对地球所做的,包括任何一点资源、环境、经济和社会等在内的多分辨率和三维数字化的描述.它是数字化的,又是网络化的、智能化的和可视化的.专家们认为它可以归纳为四部分内容:     

实测DirectX 10最新游戏大作《潜行者：晴空》

2007年3月20号,跳票长达6年的FPS大作《S.T.A.L.K.E.R.;Shadow of Chernoby》（潜行者：切尔诺贝利阴影》终于秘玩家见面,它凭借X-Ray射线引擎和当时超前的0eferred Shading（延迟着色）技术给我们带来了美轮美奂的视觉效果。如今它的续作——采用进化版X—Ray1.5射线引擎的《S.T.A.L.K.E.R.;Clear Sky》（潜行者·晴空）已经上市并支持DirectX10,那么它能继续它的前作带给我们更绚丽的游戏画面和游戏可玩性吗？它对硬件配置要求高吗？带着种种问题,笔者进行了测试。     

经典游戏回顾(八)

这个由斯皮尔伯格指导,Lucas Arts推出的《异星搜奇》是一个集极速天龙和E.T游戏优点的产物。 三名宇航员,美国太空总署的BOSTEN LOW、地质学家LUDGER BRINK、女记者MAGGIE ROBBINS,授命调查一颗未知的陨石。深入之后,发现它是个太空飞行器。出于好     

新闻概述

2004年伊始,从大洋彼岸再度传来一个让国人振奋的消息:惠威音响携其麾下新研发的M20000HT家庭影院系统,在美国拉斯维加斯每年一度的著名发烧音响器材大展——T.H.E SHOW 2004-The Home Entertainment show上,再度荣获业界T H.E.SHOW Las Vegas 2004颁发的唯一大奖:“Best Innovation in Design最高创新设计大奖”。     

主要采用国产路由器 CERNET2试验网开通

本报讯本报记者耿军报道3月19日,在2004中国国际教育科技博览会暨中国教育信息化论坛开幕仪式上,中国第一个下一代互联网主干网——C E R N E T2试验网正式宣布开通并提供服务。它是目前所知世界上规模最大的采用纯IPv6技术的下一代互联网主干网。项目负责人清华大学吴建平教授在会上说,CERNET2主干网采用纯IPV6协议,还将部分采用我国具有自主知识产权的IPv6核心路由器,为基于IPv6的下一代互联网技术提供了广阔的试验环境。它是中国下一代互联网示范工程CNGI中最大的核心网和惟一学术网,C E R N E T2主干网将以2.5G-10G传输速…     

手写商务新感觉

刚刚上市没多久的T6承袭了E人E本一直以来独特的商务路线,在手写输入、批阅以及各种办公应用上T6有着极为流畅的表现,但E人E本并没有止步于此,为T6发布了2.1软件更新,更新后的T6在细节表现上更加出色.     

网络产品 教育行业成长显著奖

杨子江美国网件(NETGEAR)中国区技术支持经理N E T G E A R公司产品的最大竞争力表现在以下三个方面:基于标准的产品硬件及产品软件功能设置,确保用户投资保护;高性能价格比的产品;业界最富竞争力的产品售后保障服务。例如,N E T G E A R公司在中国执行新品替换的备件更换保障体系。针对教育行业优化设计N E T G E A R公司针对教育行业对产品进行了优化设计。例如,GSM7312最具有端口灵活性,它可提供12个千兆电口和千兆光口的任意选择,而FSM750S和FSM726S则提供内置共享的千兆电口和千兆光口。N E T G E A R公司还为用户…     

E人E本T7商务平板电脑 以笔为剑 开疆扩土

随着众多厂商的进入,如今的平板电脑市场成了不折不扣的红海市场,拼规格、拼价格,到头来消费者其实并不太买账。而E人E本则积极开拓出一个崭新的商务平板领域,通过对一支笔的深入挖掘,赢得了一些铁杆粉丝的支持。E人E本T7是其最新推出的新一代商务平板电脑,它的核心竞争力由一支笔,扩展到了一套涉及到商务资产管理的组合剑法。     

跟斗云与莲花

为了节约能源与减少污染,为地球绿化做努力,LOTUS一直研发高性能车款,于是兴起往替代能源,又兼具性能的替代能源,在Exige车系中,追加了一款使用E85乙醇汽油混合燃料的跑车Exige 265E他所代表的意义是265匹马力,E则代表它由E85乙醇     

CFan双周榜

MTV中国劲歌排行榜2月榜单国际榜1.ISTIL.L.......................B..A.C.K..S.T.R.E..E.T..B.O..YS......2.CHECKONIT...................B.E..YO.N.C..E..K..N.O.W.L..E.S3.L.O.V..E........................A.S.H.L..E.E..S.I.M..P.S.O..N......4.ADVERTISINGSPACE............R.O.B..B.I.E...W.ILLIAMS5.LETTHEREBELOVE............O.A.S..I.S.....6.WHENYOU.....................W.E..S.T.L.I.F..E.V.S...D.I.A.N.AROSS7.I\'MFEELINGYOUSANTANAFEAT...M.ICHELLE…     

向更完美迈进 E人E本 T7平板电脑

E人E本T7采用了更为纤薄的外观设计,全新的硬件平台也带来了更为强悍的性能,堪称商务、娱乐的最佳选择。"瘦身"之后更便携T7虽仍为8英寸平板电脑,但它却在上代产品T6的基础之上大幅进行瘦身,厚度与重量分别从11.3mm和520克降至8.1mm和385克,更为纤薄便携。E人E本历代产品似乎从不将屏幕分辨率作为卖点,T7保持着1024×768分辨率,但高清OCA全贴合屏幕使其在屏幕的透光率以     

GCMD关键词在地球科学本体设计中的意义

语义技术为解决地球科学数据的异构性问题提供了一种新的解决思路,而GCMD关键词在地球科学领域中的特殊地位使得它成为地球科学本体设计的一个研究热点.本文分析了GCMD关键词的特征,并对其在地球科学本体设计中的角色进行了探讨.     

本月新品

1.DriftHDGhost；2.暖手鼠标；3.宏碁REVO；4.荣威E50电动汽车；5.F1模拟器；6.KisaiMaru；7.华硕TAICHI；8.网件R6300；9.创力LantronixxPrintServer家用版；10.E人E本T6；11.Razer衔尾蛇；12宏碁T232HL。     

《地球时代》

E3展会上,《地球时代》(Earth Empire)被提名最佳战略游戏奖。IT专业作家安德鲁斯·布勃也给予《地球时代》E3展会的极高赞誉,他这样写到:“《帝国时代》中的情节截取的仅是历史的某个碎片,《地球时代》呈现的却是整个人类历史的长河!它确实是一款最佳的战略游戏。”随后。《地球时代》又在玩家的民意测验投票中选票名列第一,成为玩家最喜爱的即时战略游戏。怎么样。感觉不错吧?相信《帝国》迷们是不会错过这样的一款好游戏的。     

多媒体电脑音箱故障全面清除

音箱无低音高音输出1.一般音箱无低音输出,首先要检查功放上的B A S S旋钮是否调到最小,如无高音输出则首先要看功放上的T R E B L E旋钮是否调到最小,如果是调到最小把它们调大即可。2.音箱内分频电路故障也会导致音箱无低音输出,这时应检修分频电路或更换分频电路。3.音箱内的保险丝烧断,会导致音箱无高音输出,这时应及时更换一个完好的保险丝。音箱无声音输出1.首先检查功放的音频输入、输出是否连接正确。2.看音量旋钮是否调节到最低,还有一般功放后面都有一个INPUTLEVEL旋钮,如调节到MIN,把它调回MAX即可。3.检查声卡是否出…     

程序设计方法学注记

一、什么是程序设计方法学 程序设计方法学(Programming methodo-logy)是七十年代程序设计的主要研究方向,它的内容涉及到程序设计活动的各个方面,根据E.T.yeh编辑的《Current trends in prog-ramming methodology》,它包括软件规定和设计(Software specification anddesign),正确性(validation),模型(modeling)以及程序和