OWL:a Description Logic Based Ontology
Language
Ian Horrocks
School of Computer Science,University of Manchester
Oxford Road,Manchester M139PL,UK
horrocks@https://www.doczj.com/doc/cd4670553.html,
Extended Abstract
Description Logics(DLs)are a family of class(concept)based knowledge repre-sentation formalisms.They are characterised by the use of various constructors to build complex concepts from simpler ones,an emphasis on the decidability of key reasoning tasks,and by the provision of sound,complete and(empirically) tractable reasoning services.
Although they have a range of applications(e.g.,reasoning with database schemas and queries[1,2]),DLs are perhaps best known as the basis for ontol-ogy languages such as OIL,DAML+OIL and OWL[3].The decision to base these languages on DLs was motivated by a requirement not only that key infer-ence problems(such as class satis?ability and subsumption)be decidable,but that“practical”decision procedures and“e?cient”implemented systems also be available.
That DLs were able to meet the above requirements was the result of exten-sive research within the DL community over the course of the preceding20years or more.This research mapped out a complex landscape of languages,exploring a range of di?erent language constructors,studying the e?ects of various com-binations of these constructors on decidability and worst case complexity,and devising decision procedures,the latter often being tableaux based algorithms. At the same time,work on implementation and optimisation techniques demon-strated that,in spite of the high worst case complexity of key inference problems (usually at least ExpTime),highly optimised DL systems were capable of pro-viding practical reasoning support in the typical cases encountered in realistic applications[4].
With the added impetus provided by the OWL standardisation e?ort,DL systems are now being used to provide computational services for a rapidly expanding range of ontology tools and applications[5–9].The increasing use of DL based ontologies in areas such as e-Science and the Semantic Web is,however, already stretching the capabilities of existing DL systems,and brings with it a range of research challenges.
Ontology Languages and Description Logics
The OWL recommendation actually consists of three languages of increasing expressive power:OWL Lite,OWL DL and OWL Full.Like OWL’s predecessor
DAML+OIL,OWL Lite and OWL DL are basically very expressive description logics with an RDF syntax.OWL Full provides a more complete integration with RDF,but its formal properties are less well understood,and key inference problems would certainly be much harder to compute.1For these reasons,OWL Full will not be considered here.
More precisely,OWL DL is based on the SHOIQ DL[11];it restricts the form of number restrictions to be unquali?ed(see[4]),and adds a simple form of Datatypes(often called concrete domains in DLs[12]).Following the usual DL naming conventions,the resulting logic is called SHOIN(D),with the di?erent letters in the name standing for(sets of)constructors available in the language:S stands for the basic ALC DL(equivalent to the propositional modal logic K(m)) extended with transitive roles[10],H stands for role hierarchies(equivalently, inclusion axioms between roles),O stands for nominals(classes whose extension is a single individual)[13],N stands for unquali?ed number restrictions and (D)stands for datatypes)[14].OWL Lite is equivalent to the slightly simpler SHIF(D)DL(i.e.,SHOIQ without nominals,and with only functional number restrictions).
These equivalences allow OWL to exploit the considerable existing body of description logic research,e.g.:
–to de?ne the semantics of the language and to understand its formal prop-erties,in particular the decidability and complexity of key inference prob-lems[15];
–as a source of sound and complete algorithms and optimised implementation techniques for deciding key inference problems[16,10,14];
–to use implemented DL systems in order to provide(partial)reasoning sup-port[17–19].
Practical Reasoning Services Most modern DL systems use tableaux algo-rithms to test concept satis?ability.Tableaux algorithms have many advantages: it is relatively easy to design provably sound,complete and terminating algo-rithms;the basic technique can be extended to deal with a wide range of class and role constructors;and,although many algorithms have a higher worst case complexity than that of the underlying problem,they are usually quite e?cient at solving the relatively easy problems that are typical of realistic applications.
Even in realistic applications,however,problems can occur that are much too hard to be solved by naive implementations of theoretical algorithms.Modern DL systems,therefore,include a wide range of optimisation techniques,the use of which has been shown to improve typical case performance by several orders of magnitude;key techniques include lazy unfolding,absorption and dependency directed backtracking[16,20,19,21].
1Inference in OWL Full is clearly undecidable as OWL Full does not include restric-tions on the use of transitive properties which are required in order to maintain decidability[10].
Research Challenges
The e?ective use of logic based ontology languages in applications will critically depends on the provision of e?cient reasoning services to support both ontology design and deployment.The increasing use of DL based ontologies in areas such as e-Science and the Semantic Web is,however,already stretching the capabil-ities of existing DL systems,and brings with it a range of challenges for future research.
These include:improved scalability,not only with respect to the number and complexity of classes,but also with respect to the number of individuals that can be handled;providing reasoning support for more expressive ontology languages;and extending the range of reasoning services provided to include,e.g., explanation[22,23],and so-called“non-standard inferences”such as matching, approximation,and di?erence computations[24–27].
Some applications may even call for ontology languages based on larger(pos-sibly undecidable)fragments of FOL.The development of such languages,and reasoning services to support them,extends these challenges to the whole logic based Knowledge Representation community.
References
1.Calvanese,D.,De Giacomo,G.,Lenzerini,M.,Nardi,D.,Rosati,R.:Description
logic framework for information integration.In:Proc.of the6th Int.Conf.on Principles of Knowledge Representation and Reasoning(KR’98).(1998)2–13
2.Calvanese,D.,De Giacomo,G.,Lenzerini,M.:On the decidability of query contain-
ment under constraints.In:Proc.of the17th ACM SIGACT SIGMOD SIGART Symp.on Principles of Database Systems(PODS’98).(1998)149–158
3.Horrocks,I.,Patel-Schneider,P.F.,van Harmelen,F.:From SHIQ and RDF to
OWL:The making of a web ontology language.J.of Web Semantics1(2003)7–26 4.Baader,F.,Calvanese,D.,McGuinness,D.,Nardi,D.,Patel-Schneider,P.F.,eds.:
The Description Logic Handbook:Theory,Implementation and Applications.Cam-bridge University Press(2003)
5.Knublauch,H.,Fergerson,R.,Noy,N.,Musen,M.:The prot′e g′e OWL plugin:An
open development environment for semantic web applications.In McIlraith,S.A., Plexousakis,D.,van Harmelen,F.,eds.:Proc.of the2004International Semantic Web Conference(ISWC2004).Number3298in Lecture Notes in Computer Science, Springer(2004)229–243
6.Liebig,T.,Noppens,O.:Ontotrack:Combining browsing and editing with reason-
ing and explaining for OWL Lite ontologies.In McIlraith,S.A.,Plexousakis,D., van Harmelen,F.,eds.:Proc.of the2004International Semantic Web Conference (ISWC2004).Number3298in Lecture Notes in Computer Science,Springer(2004) 244–258
7.Visser,U.,Stuckenschmidt,H.,Schuster,G.,V¨o gele,T.:Ontologies for geographic
information https://www.doczj.com/doc/cd4670553.html,puters in Geosciences(to appear)
8.Oberle,D.,Sabou,M.,Richards,D.:An ontology for semantic middleware:ex-
tending daml-s beyond web-services.In:Proceedings of ODBASE2003.(2003) 9.Wroe,C.,Goble,C.A.,Roberts,A.,Greenwood,M.:A suite of DAML+OIL
ontologies to describe bioinformatics web services and data.Int.J.of Cooperative Information Systems(2003)Special Issue on Bioinformatics.
10.Horrocks,I.,Sattler,U.,Tobies,S.:Practical reasoning for expressive description
logics.In Ganzinger,H.,McAllester,D.,Voronkov,A.,eds.:Proc.of the6th Int.
Conf.on Logic for Programming and Automated Reasoning(LPAR’99).Number 1705in Lecture Notes in Arti?cial Intelligence,Springer(1999)161–180
11.Horrocks,I.,Sattler,U.:A tableaux decision procedure for SHOIQ.In:Proc.of
the19th Int.Joint Conf.on Arti?cial Intelligence(IJCAI2005).(2005)To appear.
12.Baader,F.,Hanschke,P.:A schema for integrating concrete domains into con-
cept languages.In:Proc.of the12th Int.Joint Conf.on Arti?cial Intelligence (IJCAI’91).(1991)452–457
13.Blackburn,P.,Seligman,J.:Hybrid languages.J.of Logic,Language and Infor-
mation4(1995)251–272
14.Horrocks,I.,Sattler,U.:Ontology reasoning in the SHOQ(D)description logic.
In:Proc.of the17th Int.Joint Conf.on Arti?cial Intelligence(IJCAI2001).(2001) 199–204
15.Donini,F.M.,Lenzerini,M.,Nardi,D.,Nutt,W.:The complexity of concept
https://www.doczj.com/doc/cd4670553.html,rmation and Computation134(1997)1–58
16.Baader,F.,Franconi,E.,Hollunder,B.,Nebel,B.,Pro?tlich,H.J.:An empirical
analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on.Applied Arti?cial Intelligence.Special Issue on Knowledge Base Management4(1994)109–132
17.Horrocks,I.:The FaCT system.In de Swart,H.,ed.:Proc.of the2nd Int.Conf.
on Analytic Tableaux and Related Methods(TABLEAUX’98).Volume1397of Lecture Notes in Arti?cial Intelligence.,Springer(1998)307–312
18.Patel-Schneider,P.F.:DLP system description.In:Proc.of the1998Description
Logic Workshop(DL’98),CEUR Electronic Workshop Proceedings,https://www.doczj.com/doc/cd4670553.html,/Vol-11/(1998)87–89
19.Haarslev,V.,M¨o ller,R.:RACER system description.In:Proc.of the Int.Joint
Conf.on Automated Reasoning(IJCAR2001).Volume2083of Lecture Notes in Arti?cial Intelligence.,Springer(2001)701–705
20.Horrocks,I.:Using an expressive description logic:FaCT or?ction?In:Proc.
of the6th Int.Conf.on Principles of Knowledge Representation and Reasoning (KR’98).(1998)636–647
21.Horrocks,I.,Patel-Schneider,P.F.:Optimizing description logic subsumption.J.
of Logic and Computation9(1999)267–293
22.Borgida,A.,Franconi,E.,Horrocks,I.:Explaining ALC subsumption.In:Proc.
of the14th Eur.Conf.on Arti?cial Intelligence(ECAI2000).(2000)
23.Schlobach,S.,Cornet,R.:Explanation of terminological reason-ing:A preliminary
report.In:Proc.of the2003Description Logic Workshop(DL2003).(2003) 24.Baader,F.,K¨u sters,R.,Borgida,A.,McGuinness,D.L.:Matching in description
logics.J.of Logic and Computation9(1999)411–447
25.Brandt,S.,Turhan,A.Y.:Using non-standard inferences in description logics—
what does it buy me?In:Proc.of KI-2001Workshop on Applications of Description Logics(KIDLWS’01).Volume44of CEUR(https://www.doczj.com/doc/cd4670553.html,/).(2001)
26.K¨u sters,R.:Non-Standard Inferences in Description Logics.Volume2100of Lec-
ture Notes in Arti?cial Intelligence.Springer Verlag(2001)
27.Brandt,S.,K¨u sters,R.,Turhan,A.Y.:Approximation and di?erence in description
logics.In:Proc.of the8th Int.Conf.on Principles of Knowledge Representation and Reasoning(KR2002).(2002)203–214
《骆驼祥子》简答题 1.请问小说的题目“骆驼祥子”主要包含哪些含义？ 答案：以“骆驼祥子”来命名有三层含义：（1）点明小说的主人公——祥子；（2）概括著作的一个主要情节——骆驼祥子称号的得来。（3）揭示主人公的性格——像骆驼一样吃苦耐劳、 沉默憨厚。 2. 请简单介绍小说围绕祥子主要讲述了哪些故事？ 答案：三起三落 （1）奋斗三年挣钱买了车→被十几个大兵抢了车； （2）卖骆驼又攒了买车钱→被孙侦探抢了买车钱； （3）结婚后靠虎妞买了车→最后下葬虎妞卖了车。 3、试结合祥子的相关事例分析其形象性格前后有着怎样的变化？ 答案：由人变“兽”，人生道路上的三部曲： （1）在自食其力的劳动中充满自信与好强； （2）在畸形结合的家庭中痛苦无奈地挣扎； （3）在极度绝望中扭曲了灵魂堕落成走兽。 4、请用简洁的语言概括发生在祥子身上的一件事。 答案：祥子一次送曹先生去看电影。在茶馆里碰见了饿晕倒在地的老马和他的孙儿小马。老马是一个有自己车的车夫，他的悲惨遭遇给祥最大的希望蒙上了一层阴影。他隐约地感到即 使自己买上车仍然没有好日子过。 5、《骆驼祥子》中的祥子在曹太太家的生活怎样? 答案：吃得饱、有间宽绰的屋子、饭食不苦、主人对他很客气 6、有人说：假如曹先生能及时回京，虎妞不死，小福子不死，祥子就不会走向堕落。你同 意吗？请结合小说谈谈自己的理解感受。 答案：不同意，《骆驼祥子》中的祥子代表的是祥子这一类生活在社会底层受迫害的人， 即使这一个祥子凭借如此的巧合未堕落，只要现实未改变他终究不幸，更何况一定会有其他 祥子一类的人堕落下去，这是大多数那个时代的“祥子”的命运 7、祥子前后有什么变化?你认为造成祥子这种变化的原因是什么? 答案：祥子开始是“体面的，要强的，好梦想的，利己的，个人的，健壮的，伟大的”，而后来变成了“堕落的，自私的，不幸的”，这是由封建社会黑暗腐朽的社会制度造成的。 8.请结合《骆驼祥子》的背景，总结小说的思想主旨。 20-30 年代正是中国现代史上最黑暗、最混乱的多灾多难的年代。新旧军阀不断的争权 夺势的混战，再加上各种自然灾害的横行，使得中国农村迅速走向破产。而成批破产的农民，为了谋求生路便纷纷涌入城市。祥子就是这些涌入城市的破产农民中的一个典型。 明确：小说主要讲述了人力车夫祥子人生中三起三落,由人堕落为“兽”的悲惨遭遇， 表达了作者对当时黑暗社会的批判, 对像祥子一样社会最底层的劳动者苦难命运的同情和 关怀。 9、请结合小说内容简单介绍《骆驼祥子》在语言表达上有哪些特色？ 明确：京味、幽默 “京味”如：写祥子从军阀部队逃出来以后喝馄饨时，“热汤像股线似的一直通到腹部，打 了两个响嗝，他知道自己又有了命”。完全用北京市民的口语，口中含汤的细节，热汤传身 的感觉，引起了祥子生命存在的心理体验。 “幽默”如：祥子的外貌和祥子给曹先生送东西的情节。 10.除了祥子之外，你还同情小说中的那一个人物？为什么？示例：小福子。尽管她一步
《普通语言学教程》索绪尔 绪论 第一章语言学史一瞥 语法（规范）-语文学（过于注重书面语）-比较语文学或比较语法（只比较）-新语法学派（语言集团集体精神的产物） 第二章语言学的材料和任务；与毗邻科学的关系 语言学的任务是：a 对一切能够得到的语言进行描写并整理他们的历史，尽可能重建每个语系的母语；b 寻求在一切语言中永恒地普遍地起作用的力量，整理出能概况一切历史特殊现象的一般规律；c 确定自己的界限和定义。它与社会心理学、生理学、语文学相关。语言学也有实际用途，特别是对于那些利用文献的人，另外对一般修养也很重要。 第三章语言学的对象 定义——在任何时候，语言都是现行制度和过去的产物。我们的研究方法是一开始就站在语言的阵地上，把它当做言语活动的其他一切表现的准则。语言和言语活动不能混为一谈，它只是言语活动的一个确定的部分，而且当然是一个主要部分，它既是言语机能的社会产物，又是社会集团为了使个人有可能行使这机能所采用的一整套必不可少的规约。语言本身是一个整体，一个分类的原则。它是一种约定俗成的东西，人们同意使用什么符号，这符号的性质是无关轻重的。对人类天赋的不是口头的言语活动，而是构成语言——即一套和不同的观念相当的不同的符号——的机能。人们说话的机能——不管是天赋的或非天赋的——只有借助于集体所创造和提供的工具才能运用，所以，说语言使言语活动成为统一体，绝不是空想。 语言在言语活动事实中的地位——言语循环重建：心理现象-生理过程-物理过程-生理过程-
心理现象 （c-i）这一主动过程称为执行部分，（i-c）这一被动过程称为接受部分，此外还有联合和配置的机能。语言是社会的、主要的，言语是个人的、偶然的、从属的。 语言的特征是：1 他是言语活动事实的混杂的总体中的一个十分确定的对象，是言语的社会部分。2 语言是人们能够分出来加以研究的对象。3 言语是异质的，而规定下来的语言是同质的，它是一种符号系统，在系统中，只有意义和音响形象的结合是主要的，符号的两个部分都是心理的。4 语言这个对象在具体性上比言语毫不逊色。即是音响形象的堆叠，又可转为文字。 语言在人文事实中的地位：符号学——语言是一种表达观念的符号系统。符号在本质上是社会的。 第四章语言的语言学和言语的语言学
1．(2012淮安市)如图1-12所示为人和一些动物的发声频率、听觉频率的范围信息，试归纳出上述信息的共性特征，井简述其合理性． 图1-12 1.答：根据题干的图中信息得到：狗的发声范围：452～1800赫兹，猫的发声范围是：760～1500赫兹，而蝙蝠是10000～120000赫兹，海豚的是7000～120000赫兹．狗的听觉范围是：15～50000赫兹，猫的听觉范围是：60～65000赫兹，而蝙蝠是1000～120000赫兹，海豚的是150～150000赫兹．所以狗的发声的频率范围最小．听觉频率范围最大的动物是海豚． 2.(2012梅州)放电影时银幕上发生的反射属于什么反射？简述银幕做成白色的原因。 答案：放电影时银幕上发生的反射属于漫反射。银幕做成白色的原因是白色的银幕能反射各种色光（或不同频率、波长的光）（评分说明：每一问各2分，共4分） 3.（2011宁波）临近毕业，承承所在班级拍摄毕业照是，摄影师看到两边有些同学没有进入镜头，他及时进行了调整，顺利完成了拍照，请你说说摄影师是怎样进行调整的？ 将镜头离同学远一点，同时将暗箱的长度缩短一点。 4.（2012大连市）从冰箱冷冻室拿出的冻鱼，放在一盆冷水中，过一段时间将鱼从水中拿出，发现鱼的表面出现了一层较厚的冰。剥开这层冰，发现鱼已经完全“解冻”。请分析说明鱼表面这层较厚的冰是如何形成的。（“解冻”过程中，鱼的温度始终低于0℃） 从冷冻室拿出的鱼，温度远低于0℃.当将其放入水中时，它和水之间存在温度差，于是发生热传递。鱼吸收热量温度升高，水放出热量温度降低。当水温达到0℃时，由于鱼的温度还是低于0℃，所以水继续放热，于是凝固形成了冰。 5．（2011泉州市）1夏天，扇扇子为什么会感到凉快? 答：扇扇子时气流加快，使汗液蒸发加快，从而加快了蒸发时从身体吸热，所以感到凉快。
煤矿井下安全避险“六大系统”的作用和配置方案 示范文本 In The Actual Work Production Management, In Order To Ensure The Smooth Progress Of The Process, And Consider The Relationship Between Each Link, The Specific Requirements Of Each Link To Achieve Risk Control And Planning 某某管理中心 XX年XX月
煤矿井下安全避险“六大系统”的作用和配置方案示范文本 使用指引：此解决方案资料应用在实际工作生产管理中为了保障过程顺利推进，同时考虑各个环节之间的关系，每个环节实现的具体要求而进行的风险控制与规划，并将危害降低到最小，文档经过下载可进行自定义修改，请根据实际需求进行调整与使用。 摘要：研究了煤矿安全监控系统在瓦斯、火灾等重特 大事故监控与预警和事故调查中的作用，提出了系统设置 方案和基于煤矿安全监控系统的煤矿瓦斯爆炸等事故直接 原因认定方法；研究了煤矿井下人员位置监测系统在遏制 超定员生产、事故应急救援等方面的作用，提出了系统设 置方案；提出了以矿用调度通信系统和矿井广播通信系统 为基础，矿井移动通信系统为补充的矿井通信联络方案； 提出了严禁矿用IP电话通信系统和矿井移动通信系统替代 矿用调度通信系统的观点；提出了高瓦斯矿井的入井人员 宜携带隔离式自救器，隔离式自救器宜选用压缩氧隔离式 自救器；提出了避难硐室的装备要求和避难硐室性能价格
《普通语言学教程》读书笔记 10级汉语3班徐星星100322 本书著者是本世纪最著名、影响最深远的语言学家之一费尔迪南·德·索绪尔，在本书中，他对欧美语言学界所接触到的各种有关原理和方法的问题都作了总结，并且提出了自己独到的见解。这本书的影响也遍及世界。 首先在绪论的第三章中，索绪尔向我们阐释了语言的定义： 语言是一种约定俗成的东西，人们同意使用什么符号，这符号的性质是无关轻重的。即一套和不同的观念相当的不同的符号。人们说话的机能只有借住集体创造和提供的工具才能运用，不管是天赋的或非天赋的。所以说，说语言使言语活动成为统一体，那绝不是什么空想。在索绪尔看来。语言是语言共同成员中的语法体系，言语则是人们平时说的那些话，是依赖于语法系统的说话行为。言语是语言的体现。语言学研究实际语言行为中所潜藏的形式系统，因此，在索绪尔看来，语言学的对象是语言而不是言语。 索绪尔认为，把语言和言语分开，我们就把什么是社会的，什么是个人的，什么是主要的，什么是从属的和偶然的区分开来了。照此看来，语言学家主要的研究对象应该是“语言”、确定构成“语言”的单位及其组合规则，而不是去描写言语活动。“语言”是一个符号的系统，在这个系统中，只有意义和音响的形象的结合是主要的。 索绪尔为了确立语言学的研究对象，区分出“语言”和“言语”，他的“语言”和“言语”理论不仅对本世纪的语言研究的方法产生了深刻的影响，而且还影响着文学和符号学研究。 在第一编中，索绪尔指出语言是一个符号系统。语言是符号学的一部分，他强调语言具有一般符号系统的主要特征。语言与其他一切同类的的符号系统有以下几点共同点。一是目的相同，各种符号系统虽然采用的手段不同，复杂程度不同，但目的都是一样的，都是为了传递信息。二是它们的内涵相同，一切符号系统之所以能传递信息是因为它们与意义相联系。意义是符号的内涵，是符号在使用该系统的人在头脑中激发的概念。三是构成元素相同，无论使用
问答题示例 1.画出低碳钢受拉是的应力应变曲线，并解释钢材的屈服强度和极极限强度的意义与 作用。或问：各参数及屈服比，对选用钢材有何意义？ 2.碳素结构钢的牌号有哪几种类型。试说明依牌号的变化，碳素钢将做什么样的变化？ 为神魔土木工程中主要用Q235钢? 3.大理石一般仅限室内墙面柱面及磨损小的地面装饰，为什么？ 4.从水化硬化过程说明建筑石膏有哪些特点？ 5.为什么石膏制品适用于室内而不适用于室外？ 6.现有甲乙两种水泥厂生产的水泥熟料，其矿物成分如下：若用上述熟料分别制成水 泥，是估计他们的强度发展速度，水保养28天的强度有何差异？ 7.硅酸盐水泥强度发展规律？影响水泥凝结硬化的主要因素？ 8.什么叫水泥的体积安定性？水泥的体积安定性不良的原因是什么？如何解决安定 性不良？ 9.叙述矿渣水泥的定义，水化特点，技术性能。 10.混合材料参量高的通用硅酸盐水泥有哪些特性？ 11.什么是混凝土的和易性？和易性包括那几方面内容如何测定？影响因素有哪些？ 12.为什么不宜用高强水泥配低强混凝土？为什么不宜用低强水泥配高强混凝土？ 13.什么叫混凝土的耐久性？提高混凝土的耐久性的一般措施有哪些方面？ 14.简述引气剂加入混凝土中，混凝土性能的变化？ 15.试述砂石含泥量对混凝土性能的影响？ 计算 1.一块标准的普通粘土砖，其尺寸240 115 240 mm,已知密度为 2.7g/cm3 ,干燥时 质量为2500g，吸水饱和为2900g。求：（1）材料的表观密度（2）材料的孔隙率 （3）材料的体积吸水率。 2.已知某砌块的外观尺寸为240mm 240mm 115mm ，孔隙率为37%，单块砌块干 燥时质量为2487g,进水饱和后质量为2984g,试计算：（1）该砌块的表观密度。（2） 质量吸水率与体积吸水率（3）开口孔隙率与体积吸水率 3.已知某混凝土搅拌站的混凝土实验室配合比为C：Ｓ：Ｇ＝１：１.９２：３.９ ７，Ｗ／Ｃ＝０.５６，１立方米混凝土水泥用量为３００Ｋｇ，试计算：（１） 若搅拌站的砂和石的含水率为５％和１％，则配制８立方米混凝土各材料实际用 量为多少？（２）若采用水泥强度等级为４２.５的普通水泥，试估计水泥２８ 天强度。 4.某混凝土工程，其配合比为Ｃ：Ｓ：Ｇ＝１：１.９８：３.９０，Ｗ／Ｃ＝０.６ ４，混凝土拌合物的体积密度为２４００ｋｇ／ｍ３，试计算：１立方米混凝土 用量为多少。若采用水泥强度等级为４２.５的普通水泥，试估计水泥２８天强度。 5.计算某
燕煤公司程庄煤矿“六大系统” 建设完成情况 程庄煤矿 2013年12月
燕煤公司程庄煤矿六大安全避险系统 建设完成情况 为促进和规范煤矿井下紧急避险系统的建设完善和管理工作，根据《国务院关于进一步加强企业安全生产工作的通知》（国发〔2010〕23号），《关于建设完善煤矿井下安全避险“六大系统”的通知》（安监总煤装【2010】146号）以及《推进全省煤矿建设完善井下安全避险“六大系统”工作规划及实施方案》（晋煤救字【2010】1644号）的要求，煤矿必须建设完善煤矿井下安全避险“六大系统”，监测监控、人员定位、紧急避险、通信联络、压风自救、供水施救安全避险“六大系统”，目前程庄矿六大系统均已建成并投入运行。具体情况如下： 1、监测监控系统 我矿现装备的瓦斯监控系统型号为重庆煤科院研发生产的KJ90NB监控系统。2007年10月底开始对全矿井监控进行升级改造，由原来的KJ38系统升级为KJ90NB系统,2009年11月12日前对矿井监控系统改造全部完成。 目前，地面中心站主控软件、网络终端软件、图形工作站及联网上传功能完善。程庄煤矿KJ90NB监控系统经过几年时间的调试及试运行，对系统性能特点及功能得以全面考核表明，系统性能稳定可靠，各项功能和技术指标达到原设计要求，与传统监控系统比较，在快速反应、系统容量、通讯稳定性、兼容及扩
展、软件功能等方面体现出宽带监控系统的强大优势，技术水平国内领先。 KJ90NB监控系统及设备具备合格有效的标志证书.能与市局联网。具备风电、瓦斯电和故障闭锁功能。实行24小时不间断值班。上岗人员经培训且取得相关证件。 2、人员定位系统 我矿现装备的人员定位系统重庆煤科院研发生产的型号为KJ251A煤矿人员监控系统。 KJ251A煤矿人员监控系统于2006年12月正式启用，系统具有图形显示功能，人员跟踪功能、员工考勤功能、中断取数功能、门禁功能、报警功能等。 KJ251A人员定位考勤管理系统平时进行日常的考勤,督促相关工作人员及时到位。井下发生异常情况时,可以知道人员的分布位置及数量，及时找到被困人员。发生事故后,可为事故调查提供参考依据。人员定位系统软件采用三层架构体系。数据采集与分析、存储、应用表示三部分既相对独立又是有机融合。 2010年由重庆煤科院对系统进行升级，由原来的KJ251升级为KJ251A人员定位系统。 3、通讯联络系统 燕煤公司通讯系统分为三大部分，分别是：有线通信系统、无线通信系统、矿用IP网络广播对讲系统。三个系统均已通过验收，目前运行正常。具体情况简介如下：
以下为CPP源文件代码，工程建立参见《VC指导》 示例1：设备打开和关闭 #include
示例2：读取AI单通道采样值 #include
语言学纲要讲义笔记 导言 一、语言的定义 语言是人类最重要的交际工具和思维工具、是由音义结合的词汇和语法构成的一种符号系统。 二、语言学的对象和任务 语言学是研究语言的科学。 要把语言学跟语文学区分开来 中国传统语文学——“小学” 小学是我国古代语文学的统称，由训诂学、文字学、音韵学三部分组成。 在古印度，公元前4世纪，著名学者潘尼尼在整理、注释婆罗门教经典《吠陀》时，写了一本《梵语语法》，提出3996条规则，被人们称为最完备的语法书。在古希腊，伯拉图和亚里斯多德是从哲学的角度来研究语言的，他们讨论了词为什么具有意义等内容。 三、语言学在科学体系中的地位 语言学既是一门古老的科学，又是一门年轻的科学。 1、与社会科学、自然科学的联系 语言研究的成果是哲学、历史学、考古学、文学、政治学、经济学、逻辑学、社会学、民族学、计算机科学等学科所必须利用的，可见语言研究在这些社会科学中已占重要地位。 语言学与其他学科相交叉产生社会语言学、心理语言学、计算语言学、生物语言学、模糊语言学、实验语音学等。如：运用语言传递信息的过程，可分为五个阶段： 编码——发送——传递——接收——解码 对这一具体过程的解释需要结合物理学、生理学、心理学等其他学科的知识。三、语言学的基本类别 总体上，根据研究对象的不同，语言学可以分为理论语言学和应用语言学两大类。（一）理论语言学可分为： 1、一般/普通语言学
2、个别/具体语言学 具体语言学 （1）历时语言学 （2）共时语言学 （二）应用语言学 1、社会语言学：研究语言与社会集团的关系。如地域方言、社会方言、语言的接触、语言规划等。 2、心理语言学：研究儿童语言习得、语言的接收和发生过程，等。 3、神经语言学 最近二十年才从心理语言学中分离出来的一门新的学科，主要研究语言和大脑结构的关系，中心是大脑如何生成语言。 此外，还有数理语言学、统计语言学、实验语音学等。 第一章语言的功能 第一节语言的社会功能 一、语言的信息传递功能 信息传递功能是语言的最基本的社会功能。 人类还借助语言之外的其他形式传递信息，它们是文字，旗语，信号灯，电报代码，数学符号，化学公式等等。 身势等伴随动作等是非语言的信息传递形式。 身势等非语言的形式多半是辅助语言来传递信息； 文字是建立在语言基础之上的最重要的再编码形式； 旗语之类是建立在语言或文字基础之上的再编码形式； 语言是人类社会信息传递第一性的、最基本的手段，是最重要的交际工具。二、语言的人际互动功能 语言的社会功能的另一个重要方面是建立或保持某种社会关联，这就是语言的人际互动功能。互动包括两个方面：一个是说话者在话语中表达自己的情感、态度、意图，另一方面这些又对受话者施加了影响，得到相应的语言或行动上的反馈，从而达到某种实际效果。
第一章简答题 1．试述混凝土棱柱体试件在单向受压短期加载时应力一应变曲线的特点。在结构计算中，峰值应变和极限压应变各在什么时候采用? 2．什么是混凝土的徐变?影响混凝土徐变的主要因素有哪些?徐变会对结构造成哪些影响? 3．画出软钢和硬钢的受拉应力一应变曲线?并说明两种钢材应力一应变发展阶段和各自特点。 4．混凝土结构对钢筋的性能有哪些要求? 1．图1-1 是一次短期加载下混凝土的应力-应变曲线。oa段，ζc-εc关系接近直线，主要是骨料和结晶体受里产生的弹性变形。ab段，ζc大约在（0.3～0.8）cf之间，混凝土呈现明显的塑性，应变的增长快与应力的增长。bc段，应变增长更快，直到峰值应变0，应力此时达到最大值----棱柱体抗压强度fc。cd段，混凝土压应力逐渐下降，当应变达εcu时，应力下降趋缓，逐渐稳定。峰值应变ε0，是均匀受压钩件承载力计算的应变依据，一般为0.002左右。极限压应变，是混凝土非均匀受压时承载力计算的应变依据，一般取0.0033左右。 2．在不变的应力长期持续作用下，混凝土的变形岁时间的增长而徐徐增长的现象称为徐变。徐变主要与应力大小、内部组成和环境几个因素有关。所施加的应力越大，徐变越大；水泥用量越多，水灰比越大，则徐变越大；骨料越坚硬，徐变越小；振捣条件好，养护及工作环境湿度大，养护时间长，则徐变小。徐变会使构件变形增加，是构件的应力发生重分布。在预应力混凝土结构中徐变会造成预应力损失。在混凝土超静定结构中，徐变会引起内力重分布 3．图1-2 是软钢（有明显流
幅的钢筋）的应力-应变曲线。在A点（比例极限）之前，应力与应变成比例变化；过A点后，应变较应力增长快，到达B’点（屈服上限）钢筋开始塑流；B点（屈服下限）之后，钢筋进入流幅，应力基本不增加，而应变剧增，应力-应变成水平线；过C点后，应力又继续上升，到达D点（极限强度）；过D点后钢筋出现颈缩，应变迅速增加，应力随之下降，在E点钢筋被拉断。图1-3是硬钢（无明显流幅的钢筋）的应力-应变曲线。钢筋应力在大约0.65倍的极限抗拉强度之前，应力-应变按直线变化，之后，应力-应变成曲线发展，但直到钢筋应力达到极限抗拉强度，没有明显的屈服点和流幅。超过极限抗拉强度后，由于颈缩出现下降段，最后被拉断。 4．（1）要求钢筋强度高，可节省钢材。 （2）要求钢筋的塑性好，使结构在破坏之前有明显的预兆。 （3）要求钢筋的可焊性好，使钢筋焊接后不产生裂纹及过大变形。 （4）要求钢筋与混凝土的粘接锚固性能好，使钢筋与混凝土能有效的共同工作。 第二章简答题 1．何谓结构上的作用、作用效应及结构的抗力? 2．荷载和作用有什么区别? 3．何谓结构的功能要求，它包括哪些内容?可靠度和可靠性的关系是什么? 4．我国不同类型建筑结构的设计使用年限是如何划分的? 5．结构的设计基准期和设计使用年限有何不同? 6．规范如何划分结构的安全等级? 7．何谓结构的极限状态?它包括哪两方面内容? 8．结构的功能函数和极限状态方程如何表达? 1.结构上的作用是指施加在结构上的集中力或分布，以及硬气结构外加变形或约束变形的原因。按其性质可分为直接作用或间接作用，以力的形式作用于结构上，称为直接作用，习惯上称荷载；以变形的形式出现在结构上，称为间接作用。按其随时间的变异分为永久作用，可变作用，偶然作用。 （1）永久作用：为在设计基准期内量值不随时间变化或变化与平均值相比可以忽略不计的作用，特点是统计规律与时间参数无关，例如结构自重，土压力等； （2）可变作用：在设计基准期内，有时出现有时不出现其量值随时间变化，且变化与平均值相比不可忽略，特点是统计规律与时间参数有关，例如风荷载，雪荷载，楼面活荷载；（3）偶然作用：在设计基准期内不一定出现，但一旦出现，往往数值大，持续时间短，例如爆炸，撞击，目前对一些偶然作用，国内尚未有比较成熟的确定的方法。 直接作用或间接作用与结构构件上，在结构构件内产生的内力或变形称为作用效应，例如梁中的弯矩，剪力，柱中的轴力，板的挠度以及变形裂缝等都属于作用效应。当为直接作用（荷载）时，其效应也称荷载效应。结构或结构件承受内力或变形的能力称为结构抗力，亦即结构承受作用效应的能力，如构件的受弯承载力，构件的刚度等。抗力与结构的形式，截面尺寸，材料等因素有关。 2.通常能使结构产生效应的原因，多数可归结为直接作用在结构上的力集（包括集中力和分布力），因此习惯上都将结构上的各种作用统称为荷载。但是有些情况下，比如温度变化，地基变形，地面运动等现象，这类作用不是以力集的形式出现，称为荷载并不合适，就像地震时，结构由于地面运动而产生惯性力，此力是结构对地震的反应，并非是力直接作用在结构上，应该叫“地震作用”。因此，通常认为作用的含义较全面，而荷载只是作用的一种形式。 3.结构在规定的设计使用年限内应满足的功能要求包括安全性、实用性和耐久性，具体包括：
提升系统简介：山西中强福山煤业有限公司开拓方式为斜井开拓，主斜井井口标高+894.6。斜长472m。倾角24°34′，三心拱断面，净宽 3.6m，净高2.65m，净断面积9.54m2 。担负矿井运输原煤提升任务，兼做进风井。辅助提升采用 JK-3.5×2.65型单绳缠绕式矿井提升机，煤炭提升采用STJ1000钢绳芯胶带机。副斜井井口标高+902.3m。斜长408m，倾角29°56，半圆拱断面，净宽4m,净高3.6m。担负全矿井进风及运送人员的任务。现开采煤层为9#+10#号煤层。设计能力为90万t/a。本矿井主井采用斜井开拓，矿井设计生产能力为90万t/a，工作制度为330d/a，提升时间16h/d，安装带式输送机，担负原煤的提升。 根据矿井生产能力、开拓方式、采区及工作面布置等条件，主斜井原煤提升采用钢绳芯深槽角强力胶带输送机。井底煤仓的原煤通过大型给煤机、经主斜井胶带输送机输送至主斜井井口房，再转载至地面生产系统。 运输系统简介：山西中强福山煤业有限公司井下现南回风大巷、中央→南北总皮带大巷→南翼第一联行皮带→南翼主运皮带→东巷主运输皮带。中央变电所、中央泵房、水仓→南翼第三联巷皮带→南北总轨道大巷一部皮带→南北总轨道大巷二部皮带→东巷主运输皮带。主运输皮带（DSJ100/63/2×160）经溜煤口，落到主斜井皮带，通过主斜井皮带输送到地面溜煤口，然后经两部转载皮带运往地面运输皮带到煤场。 1、施工期间主斜井皮带：型号：STJ-800/250S，带宽800mm，
带速2m/s。超出井口长度20米，超出井口部分坡度12.1度。总长度560米。 2、第一部转载皮带：带宽650mm，带速，1.3—1.6m/s 。长度176米，坡度约为2度. 本皮带尾装有给煤机，使本部皮带运输煤量均匀。 3、第二部转载皮带：带宽650mm，带速，1.3—1.6m/s 。长度65米，坡度约为3度。 通风系统简介： 主扇选用两台防爆对旋轴流风机FBCDZNO27/2×355，主扇风量为：82-165m3/s,n＝740r/min, 配套电机功率Nf＝2×355kW，一台工作，一台备用。设计掘进工作面均采用压入式独立通风，选用FBD —№5.6/15×2型局部通风机供风。 风流方向为：新鲜风流→副斜井（主斜井）→东轨道巷（东运输巷、东行人巷）→南北皮带大巷（南北轨道大巷）→工作面运输顺槽→回采工作面→工作面回风顺槽→集中回风巷→总回风巷→回风立 井→地面。矿井通风方式为中央分列式，通风方法为机械抽出式通风，主、副斜井进风，回风立井为专用回风井。 排水系统简介：该矿井涌水量为：30—50m3/天，分两级排水。一级排水：工作面涌水经各迎头潜水泵、多级泵（D46-50*6，75KW）用4寸管（DN100）直排到井底中央泵房。 二级排水：中央水泵房安装3台多级泵（D46-50*6，75KW），经4寸管排到地面静压水池。 采掘系统简介：设计采用单水平多煤层联合开拓，全井田共划分
8279键盘和显示程序 Z8279 EQU 08701H //8279状态/命令口地址 D8279 EQU 08700H //8279 数据口地址 LEDMOD EQU 10H //左端输入八位字符显示 //外部译码键扫描方式，双键互锁 LEDFEQ EQU 38H //扫描速率 LEDCLS EQU 0D1H //清除 LEDWR0 EQU 80H //设定的将要写入的显示RAM地 址 ORG 0000H AJMP START ORG 0040H START： MOV SP，#60H LCALL INIT8279 //初始化8279 W AIT： MOV DPTR，#Z8279 MOVX A，@DPTR ANL A，#0FH JZ WAIT MOV A，#40H MOVX @DPTR，A MOV DPTR，#D8279 MOVX A，@DPTR ANL A，#3FH MOV R4，#00H MOV R5，A LCALL DISLED SJMP W AIT INIT8279： //8279初始化子程序 PUSH DPH //保存现场 PUSH DPL PUSH ACC LCALL DELAY //延时 MOV DPTR ，#Z8279 MOV A，#LEDMOD //置8279工作方式 MOVX @DPTR，A MOV A，#LEDFEQ //置键盘扫描速率 MOVX @DPTR，A MOV A，#LEDCLS //清除 LED 显示 MOVX @DPTR，A LCALL DELAY //延时 MOV DPTR，#Z8279 MOV A，#90H MOV DPTR，#D8279 MOV A， #40H MOVX @DPTR，A MOV A，#40H MOVX @DPTR，A MOV A，#0H MOVX @DPTR，A MOV A，#0H MOVX @DPTR，A MOV A， #0EFH MOVX @DPTR，A MOV A，#27H MOVX @DPTR，A MOV A，#5BH MOVX @DPTR，A MOV A， #7FH MOVX @DPTR，A POP ACC //恢复现场 POP DPL POP DPH RET 显示字符子程序 输入：R4，位置：R5 DISLED： PUSH DPH //保存现场 PUSH DPL PUSH ACC MOV A，#LEDWR0 //置显示起始地址 ADD A，R4 //加位置偏移量 MOV DPTR，#Z8279
费迪南德?德?索绪尔（Ferdinand de Saussure，1857-1913）是现代语言学的创始人。他是一位杰出的语言学家。作为一门新兴人文学科的开创者，他对语言哲学的影响也极为广泛深刻。 索绪尔出生于日内瓦，父亲是一位科学家。他从小受到自然科学的教育，同时也得到良好的语言教育和语言学教育，掌握法语、德语、英语和拉丁语，初通梵文。15岁时就写了一篇《语言论》。曾于日内瓦大学和莱比锡大学，研习物理、化学和希腊文。莱比锡大学当时是新语法学家的中心，在那的学习大致确定了索绪尔后来以语言学为业的道路。也就在这个时期，他发表了他的第一篇重要论文，《论印欧系语言中原因的原始系统》，引起学术界的重视，而那时他才年仅21岁。获得博士学位后，索绪尔移居巴黎，在高等研究学院讲授梵文、哥特语、古高地德语以及印欧语文学概况。1891年，他开始到日内瓦大学任教。日内瓦与巴黎的学术研究相比相对滞后。索绪尔穷究一生，不带任何传奇色彩。他在世时只是著名的语言学家，但他作为一个哲学家的地位，却是直到他死后才为人们所认可的。 索绪尔生前只发表过很少几篇相当专业的论文。1907-1911年期间，他在日内瓦大学担任普通语言学课程的教学。1913年他去世以后，他的学生和同事根据几本听课笔记才汇编成《普通语言学教程》一书，出版发行。索绪尔不仅吝于发表，他留下的笔记也很少，因此编辑这本书很不容易。因为，跟所有的老师一样，他讲课时也是有很多重复，甚至不一致的内容。难得的是编辑者们没有放弃，合并梳理成一本书，从而造就了一部惊世巨著。 《普通语言学教程》这部著作主要由绪论和附录两部分组成。绪论部分主要阐述了索绪尔对于语言系统的看法。索绪尔认为语言系统具有自主性和形式化这两个特点。他把语言现象划分为“内部要素”和“外部要素”两部分，并以此作为语言研究的前提。“内部要素”是指语言系统内符号与符号之间所形成的相互制约、相互对立的关系；“外部要素”则是指与语言有间接关系的政治、经济、文化、宗教、地理、历史等社会因素。因为索绪尔认为“内部要素”与“外部要素”之间无联系，且进行语言研究必须建立起一个界限清晰的“语言系统”。所以，他说：“我们关于语言的定义是要把一切跟语言的组织、语言的系统无关的东西，简言之，一切跟我们用‘外部语言学’这个术语所指的东西排除出去。”另外，索绪尔还阐发了“语言符号的价值决定于语言系统整体性质”的观点，并将此观点以及上面所提及的观点合在一起，共同支撑起关于语言系统具有自主性的说法。实际上，此举的真正目的是为语言学的研究对象下定义，且以此厘清语言和言语之间的关系。 语言是言语行为的社会部分，是个人被动地从社会接受而储存于头脑中的系统。它存在于个人意志之外，是社会每个成员共同具有的，是一种社会心理现象。言语是言语行为的个人部分，是个人对语言系统的运用。语言和言语紧密相连，互为前提。个人要说话使人理解，必须用语言，同时语言的存在又必须体现在言语当中，而且，使语言发生变化的也是言语。所以，语言既是言语的工具，又是言语的产物，但“这并不妨碍它们是两种绝对不同的东西” 在对语言学进行概述之后，《普通语言学教程》的附录部分进一步详细叙述了索绪尔的音位观、符号观以及结构主义研究方法论。他认为语言可为语音符号和文字符号，语音由心灵激活而被赋予意义，文字则只是语音的无生命的、随意的、可有可无的替代物。在符号观中，索绪尔对符号的“任意性”和“线条性”展开阐述，并且重点论述了符号的“不变性”与“可变性”特点。由此他不但揭
中考物理常考简答题示例及答案 1、在游泳池边向池底看去，感觉池水并不深，下水后才知道不是这么回事，试分析：为什么池水深度看起来比实际的浅? 答：光从一种介质斜射入另一种介质时要发生折射，人从空气看河底，实际看到的是河底的虚像，虚像的位置比实际河底的位置浅。 2、通常皮鞋的表面有许多毛孔，不是很光滑。当有灰尘附着在表面时，皮鞋就失去光泽，涂上鞋油仔细用布擦一擦，皮鞋就变得又亮又好看了，为什么? 答：因为皮鞋的表面不光滑有灰尘，光射向鞋面后发生漫反射，这样皮鞋就失去了光泽，涂上鞋油后，鞋油的微小颗粒能填充到鞋的毛孔中，用布仔细擦试，使鞋油涂抹得更均匀，鞋面就变得十分光滑，光射向鞋面后会发生镜面反射，皮鞋看起来就更光亮更好看了。 3、当往玻璃杯中倒入半杯开水时，你会发现杯子的上半部模糊不清，请你用初中物理知识解释这种现象。 答：往玻璃杯中倒入半杯开水时，开水蒸发产生水蒸气。高温水蒸气遇到温度较低的玻璃壁就液化成小水珠，并附在玻璃壁上，所以杯子的上半部模糊不清。 4、仔细观察，你会发现烧开水时，在最靠近壶嘴的地方反而不出现“白气”想一想，为什么? 答：那是因为靠近壶嘴的地方温度高，从壶嘴出来的是水蒸气，而水蒸气是肉眼看不到的。而那些看得到的"白气"是水蒸气遇冷而液化了，成了液态的小水珠，所以看得见。 5、在沙漠中的仙人掌的叶子呈针状有什么作用? 答：沙漠中的仙人掌的针状叶子减小了表面积,可防止体水分蒸发过快,有利于仙人掌在沙漠中的生存. 6、煨炖食物时，有经验的人总是先用大火将食物烧开，然后改用小火，试说明其中的道理。 答：先用大火可以将水迅速烧开，达到相对最高的温度沸点，继续加热水的温度不变，但是要保持水持续沸腾，要持续加热，调小火，是为了维持水沸腾，让水温保持最高，及可以使食物熟得快，也可以节能。 7、医生给病人检查时，常把一把小镜子在酒精灯上烧一烧，然后再放入病人的口腔，为什么? 答：这样做的目的是提高小镜子的温度,避免口腔中的水蒸气在镜面上遇冷而液化成小水珠附着在镜面上,使平面镜成像模糊.
24个汇编小程序 题目列表： 逆序输出字符串“BASED ADDRESSING” 从键盘上输入两个数，分别放到x，y单元，求出它们的和 试编写一段程序，要求在长度为10h的数组中，找出大于42h的无符号数的个数并存入地址为up开始区域，找出小于42h的无符号数的个数并存入地址为down的开始区域 键盘输入一段字符串，其中小写字母以大写字母输出，其他字符不变输出 从键盘上就收一个小写字母，找出它的前导字符和后续字符，在顺序显示这三个字符 把一个包含20个数据的数组M分成两组：正整数组P和负整数组N，分别把这两个数组中的数据的个数显示出来 求出首地址为data的100个字数组中的最小偶数，并把它放在ax中 输入两船字符串string1和string2，并比较两个字符串是否相等，相等就显示“match”，否则显示“no match” 从键盘接收一个四位的十六进制数，并在终端显示与它等值的二进制数 从键盘输入一系列以$为结束符的字符串，然后对其中的非数字字符计数，并显示计数结果 有一个首地址为mem的100个字的数组，试编程序删除数组中所有为零的项，并将后续项向前压缩，最后将数组的剩余部分补上零 从键盘上输入一串字符（用回车键结束，使用10号功能调用）放在string中，是编制一个程序测试字符串中是否存在数字。如有，则把cl的第五位置1，否则将该位置置0 在首地址为data的字数组中，存放了100h的16位字数据，试编写一个程序，求出平均值放在ax寄存器中，并求出数组中有多少个数小于此平均值，将结果放在bx寄存器中(f分别考虑有符号数、无符号数情况) 一直数组A包含15个互不相等的整数，数组B包含20个互不相等的整数。试编制一个程序，把既在A中又在B中出现的整数存放于数组C中 设在A、B和D单元中分别存放着三个数。若三个数都不是0，则求出三个数的和并存放在S 单元，若其中有一个数为0，则把其它两个单元也清零。请编写此程序
Chapter 1 What is language? [A] The origins of language Some speculations of the origins of language: ①The divine source The basic hypothesis: if infants were allowed to grow up without hearing any language, then they would spontaneously begin using the original god-given language. Actually, children living without access to human speech in their early years grow up with no language at all. ②The natural-sound source The bow-wow theory: the suggestion is that primitive words could have been imitations of the natural sounds which early men and women heard around them. The “Yo-heave-ho” theory: the sounds produced by humans when exerting physical effort, especially when co-operating with other humans, may be the origins of speech sounds. Onomatopoeic sounds ③The oral-gesture source It is claimed that originally a set of physical gestures was developed as a means of communication. The patterns of movement in articulation would be the same as gestural movement; hence waving tongue would develop from
3的阶乘： predicates factorial(unsigned,real) clauses factorial(1,1):-!. factorial(X,FactX):- Y=X-1, factorial(Y,FactY), FactX = X*FactY. goal X=3, factorial(X,Y). 输出表 domains list = integer* predicates write_a_list(list) clauses write_a_list([]). write_a_list([H|T]):- write(H),nl, write_a_list(T). goal write_a_list([1,2,3]). 统计表元素个数 domains list = integer* predicates length_of(list,integer) clauses length_of([], 0). length_of([_|T],L):- length_of(T,TailLength), L = TailLength + 1. goal length_of([1,2,3],L). 每个元素加1 domains list = integer* predicates add1(list,list) clauses add1([], []). add1([Head|Tail],[Head1|Tail1]):- Head1= Head+1,
add1(Tail,Tail1). goal add1([1,2,3,4],NewList). 删除整数表中的负数 domains list = integer* predicates discard_negatives(list,list) clauses discard_negatives([],[]). discard_negatives([H|T],ProcessedTail):- H < 0,!, discard_negatives(T, ProcessedTail). discard_negatives([H|T],[H|ProcessedTail]):- discard_negatives(T, ProcessedTail). goal discard_negatives([2,-45,3,468],X). 判断表成员 domains namelist = name* name = symbol predicates member(name,namelist) clauses member(Name,[Name|_]). member(Name,[_|Tail]):- member(Name,Tail). goal member(susan,[ian,susan,john]). 合并表 domains integerlist = integer* predicates append(integerlist,integerlist,integerlist) clauses append([],List,List). append([H|L1],List2,[H|L3]):- append(L1,List2,L3). goal append([1,2,3],[5,6],L). 输出表中元素 domains integerlist = integer* namelist = symbol* predicates