Jax-dan/zhwiki-latest huggingface dataset:
勇敢级航空母舰

光荣级航空母舰，是英国皇家海军改建的第一级舰队航空母舰，。光荣级“光荣”号“勇敢”号和“暴怒”号三舰最初竣工时为战斗巡洋舰，装备战列舰级别的大口径主炮，但牺牲了几乎所有的装甲防护。在第一次世界大战结束后，三舰均先后被改装为航空母舰。其中，光荣号和勇敢号均在第二次世界大战中被击沉。
最初设计.
光荣级战列巡洋舰原是英国第一海务大臣约翰·费舍尔海军元帅竭力提倡的波罗的海强袭计划之产物，于1915年开工建造，英国海军称为“大型轻巡洋舰”（Large light cruiser）。其特点是航速快，火力猛，吃水浅，但是装甲防御只有同期轻巡洋舰的防护水平，一号舰“光荣”号和二号舰“勇敢”号安装4门15英寸口径主炮。
当时，英国对这种舰艇进行了严格的保密，内部人员戏称其为“嘘嘘巡洋舰”（Hush-hush cruiser），事实上保密工作很出色，德军直到在1917年第二次赫尔戈兰海战中目睹该型舰并被其15英寸口径主炮击中才确认了她们的存在。
虽然在海战中给德军造成很大震动，但是实际表现并不理想。海战中，两艘本级舰共发射149发15寸炮弹，但是仅命中德舰一发，损伤轻微。这证明由于船体过窄，炮击稳定性过低，使得本级舰在实战中难发挥其强大火力。面对较为灵敏的德军轻巡洋舰，本级舰的炮击难以命中，在面对较大型战舰时，较薄的装甲很容易被敌军击穿。
三号舰“暴怒”号改变原定设计（也因此有人将暴怒号视为单独一级，或是光荣级的前导舰），预定搭载两门口径更大的18英寸口径主炮。结果因为姐妹舰之前的糟糕表现，最后仅仅装备了艉部主炮便进行改建用于搭载飞机。暴怒号的18寸主炮也成为了皇家海军历史上曾经在战舰上安装过的最大口径火炮。暴怒号并没有像姐妹舰一样经历过大型海战，但是在侦查行动中起飞的舰载机曾经攻击过齐柏林飞艇。
改建成航空母舰.
应战争需要，在英国大舰队司令戴维·贝蒂的建议下，“暴怒”号1917年舰艏则安装了飞行甲板，成为首艘用于起飞常规起降飞机的军舰，海军少校驾驶小狗式战斗机完成了舰上的首次的起飞以及降落。不久以后连艉炮也拆除加装降落用甲板，彻底蜕化为航空母舰。但是由于保留了舰体中部原有的舰桥，烟囱等上层建筑，前后两部分飞行甲板没有贯通，严重妨碍了航空作业，尤其不利于飞机降落。
后来证明这种“战斗巡洋舰”除了执行波罗的海强袭计划以外，几乎难以使用。第一次世界大战结束后改为训练舰。
1922年华盛顿海军条约签订后，根据缔约国可利用废弃的主力舰舰体改建航空母舰的条款规定，英国海军于1924年也把“光荣”号和“勇敢”号改建为航空母舰。采用上下两层分段式直通的飞行甲板，双层机库，后来，“暴怒”号也进行了贯通式飞行甲板的改装。
舰载机.
喷火战斗机32架
剑鱼鱼雷/水平轰炸机16架
共48架
马肯森级大巡洋舰

马肯森级大巡洋舰（德语：Große Kreuzer der Mackensen-Klasse）是德国设计建造的一种战列巡洋舰。
马肯森级大巡洋舰在德夫林格级大巡洋舰的基础上放大舰体，设计排水量31,000吨，最大排水量35,300吨，装备8门全新设计的350毫米/45倍口径主炮，为了补偿主炮塔增加的重量带来的重心上移，副炮安装位置下移了一层甲板。动力装置最大输出功率85,000马力，航速达到28节。&lt;br&gt;
该级舰计划建造四艘：马肯森号、施佩伯爵号、埃特尔·腓特烈亲王号、俾斯麦首爵号（建造代号为A代舰）。马肯森号与施佩伯爵号于1917年下水，但是因为战争的影响，全部未能完工（协约国方面并不知情，但在第一次世界大战结束后的德国战舰引渡名单上，马肯森号仍然位列其上）。在1921年到1922年期间解体。
金鲜一

金鲜一（，一些中文媒体错误译作「金善日」（），韩国公民，在为美军提供服务的韩国公司中担任英语翻译，他在伊拉克遭到武装分子劫持，在韩国政府拒绝武装分子的撤军要求后遭到斩首。
金鲜一是家里8个孩子中唯一的儿子，排行第七，为一名虔诚基督徒。他曾经就读龙山大学及庆星大学，入读神学院。神学毕业后，2003年2月入读韩国外国语大学修读阿拉伯语学士学位。他在2003年6月15日前往中东担任宣教士，以传道员身份进入伊拉克工作，并向伊拉克人传播基督教。
2004年5月30日，他在距离巴格达市以西50公里的费卢杰被俘。其后缚匪多次向韩国政府要求撤销将宰桐部队派至伊拉克的决定，但消息都在中途被扣留，结果金鲜一于2004年6月22日被害。他死后，韩国限制该国公民前往中东等伊斯兰教国家宣传基督教。
金鲜一的丧礼于2004年6月30日于釜山举行，遗照旁挂著一块以英文、阿拉伯文和韩文写成的横额：「我爱伊拉克」。
保罗·马歇尔·约翰逊

保罗·马歇尔·约翰逊, Jr.（，）是一名居住在沙特阿拉伯的美国直升机工程师，出生于新泽西州，他在沙特阿拉伯遭武装分子劫持后被谋杀。
绑架事件.
保罗·约翰逊在洛克希德·马丁公司工作，负责AH-64阿帕奇直升机。于2004年6月12日在雅利德附近的一个检查站遭绑架。绑架者称自己是基地组织阿拉伯半岛分支。2004年6月15日阿卜杜勒·阿齐兹·玛克云为首的组织在一个伊斯兰网站上发布了约翰逊被蒙着眼睛的视频，并威胁要杀死他，除非在72小时内释放沙特监狱中的所有“基地组织”囚犯。但美国和沙特阿拉伯表示不同意他们的要求。阿卜杜勒·本·阿卜杜勒-阿齐兹·沙特王储表示要加强对恐怖组织的防范。
约翰逊的同事阿卜杜拉·莫明通过电视台表示约翰逊与美国军事无关，发布了一封请愿书，要求武装分子释放约翰逊。另外，恐怖组织成员苏丹·哈瑟里被认为参加过对约翰逊的绑架和谋杀。
被杀.
在6月18日UTC17时30分，阿拉伯电视台和CNN报道约翰逊被谋杀。这报道来源于在互联网上发布的三张关于谋杀的照片。沙特阿拉伯警方曾声称发现约翰逊的尸体，但这一说法于6月19日被撤回。后知道约翰逊的尸体被发现，警方才公布其已经死亡的消息。
北京烤鸭

北京烤鸭，是源自中国北京的一道全鸭-{zh-cn:菜式;zh-tw:料理;}-，又名北京填鸭（烤鸭是道菜，填鸭是使用的原料，是指用强制喂食方法养大的北京鸭）。北京烤鸭分为「挂炉烤鸭」与「焖炉烤鸭」两大流派，北京的老字号烤鸭店全聚德主打挂炉烤鸭，便宜坊则主打焖炉烤鸭。北京其他著名的烤鸭店还有大董、长安壹号、1949全鸭季、利群、四季民福和花家怡园等。
历史.
由于北京烤鸭其肥瘦分明，鲜嫩适度，成为元、明、清历代宫廷御膳珍品。北京烤鸭是在南京烧鸭的基础上发展而来，烤鸭的前身是出现在南北朝时期的「炙鸭」，在当时是宫廷食品。北京古代附近小河冬雪无鸭，但烤鸭是明成祖的宫廷菜，据说太祖在南京分烤鸭菜给众子女吃，成祖怀念儿时在南京餐桌和乐，故带至北京宫廷。当时烤鸭在北京地区被称为“南炉鸭”，意即南方传入的炉火烤鸭；但后来北京烤鸭也逐渐融入了鲁菜的元素，如荷叶饼和葱丝。
采用传统的焖炉方式烤制的便宜坊烤鸭始于明朝永乐十四年（1416年）称为米市胡同老便宜坊。1855年，一些老便宜坊的制鸭能手在前门鲜鱼口另起炉灶，创建了鲜鱼口便宜坊，成为现代便宜坊烤鸭的起源地。1864年，河北冀县人杨明全改良烤鸭的烤制方法，采用挂炉方式烤制，并在全聚德使用，使北京烤鸭发扬光大。
制法.
北京烤鸭所用的原料是北京填鸭，鸭子肥大，全身白色，每天定时由技术工人将用莜麦面和其他营养物调好的饲料，一团团地塞入鸭子食道中，鸭子几乎不会自己进食了，由此也衍生出“填鸭式教育”。作为鸭胚的北京鸭生长时间有严格的规定，有一种说法是只用生长45天的鸭子。近年来由于人们口味的改变，过于肥腻的鸭肉已不受欢迎，烤鸭店都已改用瘦肉型鸭。鸭子洗剥干净后，肚内灌上水，泄殖腔用铁针穿插封住。烤制时鸭体完整，由于肚内水的冷却作用，让鸭肉口感嫩滑。
烤制.
烤鸭烤制可分为两种——挂炉烤鸭和焖炉烤鸭。
挂炉烤鸭和焖炉烤鸭片法不同。挂炉烤鸭讲究每一块肉上都必须有皮，焖炉烤鸭是皮肉分离的。
配料.
烤制完成的鸭子用刀削成小片，叫做“片鸭”，理想情况下2分钟30秒片完，配以大葱丝、黄瓜丝、甜面酱，用薄饼卷着食用。值得一提的是，烤鸭配上黄瓜丝、白糖食用的方法据称是由京剧艺术家梅兰芳发明。剔除鸭肉后剩余的鸭架可以打包带走或用来煲汤，不过在全聚德或便宜坊是要另外收费的。
食法.
除了传统的食用方式外，香港的许多酒店和酒楼还会推出“填鸭二食”。第一食即是片皮鸭，顾名思义，是食用烤鸭的脆皮和边皮部分的鸭肉。第二食则是将剩余的鸭肉再加以烹调，常见的做法包括将鸭肉切条后与三丝（如胡椒、胡萝卜、竹笋等）一起炒制，或者将鸭肉剁成鸭松，配上生菜包裹食用。
轶事.
旧时，一些食客挑中了要烤的鸭子，还会用高粱饴或者麦芽糖写上字迹，且多写诗句，以防店家偷偷地将鸭子以小换大。现在北京一些小店仍然有这种服务。
非遗.
2008年，北京烤鸭入选第二批国家级非物质文化遗产名录。北京烤鸭主要分为以挂炉烤鸭为代表的全聚德和以焖炉烤鸭为代表的便宜坊两大门派。北京烤鸭在全世界享誉盛名，它色泽红润，肉质肥而不腻，外脆里嫩，号称“舌尖上的非遗”。北京烤鸭好吃，离不开烤鸭师傅几代人兢兢业业、精益求精的技艺传承。
香杏丽蘑

香杏丽蘑（学名：，欧洲俗称圣乔治蘑菇，中国俗称张家口蘑菇，简称口蘑，又称虎皮口磨、香蕈）是丽蘑属真菌。在中国生长在蒙古草原上，一般生长在有羊骨或羊粪的地方，味道异常鲜美。由于旧时河北省张家口市是此类蘑菇及其它蒙古土特产输往内地前的集散地，所以此类蘑菇在北京和天津被称为“口蘑”，“口”即张家口。
萨拉热窝事件

萨拉热窝事件（、），又称弗朗茨·斐迪南大公及其妻子苏菲·霍特科遇刺案（），指1914年6月28日奥匈帝国皇位继承人弗朗茨·斐迪南及其妻子苏菲·霍特科在萨拉热窝遇刺身亡的事件。当时，夫妇二人正乘坐汽车在萨拉热窝进行访问，遭到极端组织杀手的袭击，被加夫里洛·普林齐普开枪击中身亡。
这次刺杀事件严重动摇了当时的欧洲政治格局。事件直接导致奥匈帝国和塞尔维亚王国关系空前紧张。1914年7月28日，奥匈帝国向塞尔维亚王国发出最后通牒，塞尔维亚王国驳回了其中几项条款后，奥匈帝国随即对塞尔维亚宣战。一周之内，俄罗斯帝国因支持塞尔维亚而卷入战争，奥匈帝国的盟友德国也坚定支持奥匈帝国。俄罗斯帝国的盟友法国与英国也相继加入战争。这一刺杀案引发连锁反应，最终导致了第一次世界大战的爆发。
黑手会的刺客六人组.
事件的凶手是加夫里洛·普林齐普，他是塞尔维亚刺客六人组（、瓦索·丘布里洛维奇、内德利科·查布林诺维奇、茨维特科·波波维奇、和加夫里洛·普林齐普）成员之一，也是该六人组以及黑手会的骨干成员。
该刺客组织由波斯尼亚塞尔维亚人、黑手会成员领导。因此，本次事件的凶手实际上只是这个组织的中层成员，并非核心领导者。他们发动刺杀的目的是切断奥匈帝国境内塞尔维亚人聚居省份与哈布斯堡王朝的关系，最终与塞尔维亚合并，共同组成南斯拉夫。这一动机与后来的青年波斯尼亚组织宣称的目标一致。
背景.
根据1878年俄土战争后的《柏林条约》，奥匈帝国获授权占领并管辖奥斯曼帝国的波斯尼亚，但奥斯曼帝国仍保有官方主权。根据同一条约，列强（奥匈帝国、英国、法国、德国、意大利王国、奥斯曼帝国和俄罗斯帝国）在官方上承认塞尔维亚公国为完全主权国家。四年后，塞尔维亚公国君主米兰一世将国家由公国升格为王国，米兰一世也成为独立后的首位塞尔维亚国王。当时的塞尔维亚君主来自奥布雷诺维奇王朝，与奥匈帝国保持着密切的外交关系。在米兰一世及其继任者亚历山大一世在位期间，塞尔维亚满足于统治条约所划定的领土。
1903年发生的塞尔维亚五月政变改变了塞尔维亚的对外关系。当时，塞尔维亚军官德拉古廷·迪米特里耶维奇率军攻占塞尔维亚王宫，并杀害了国王亚历山大一世及王后，奥布雷诺维奇王朝覆灭。军方拥立十九世纪初领导塞尔维亚成功争取自治的民族英雄卡拉乔尔杰·彼得罗维奇的后人彼得一世为新国王。新王朝建立后，塞尔维亚更加推行民族主义，与俄罗斯关系紧密，但与奥匈帝国交恶。随后的十年中，塞尔维亚与邻国之间的冲突不断，但经济和军事实力有所提升，逐渐展现出恢复14世纪帝国的意图。这些冲突包括1906年与奥匈帝国爆发的关税争端（史称猪战）、塞尔维亚借抗议奥匈帝国吞并波斯尼亚和黑塞哥维那之机发动的1908年至1909年波斯尼亚危机（最终于1909年3月以塞尔维亚默认不索取赔偿而结束），以及1912年至1913年塞尔维亚从奥斯曼帝国手中夺取马其顿和科索沃的巴尔干战争。
塞尔维亚在巴尔干战争中的胜利以及塞尔维亚人对奥匈帝国吞并波黑的愤慨，令国内和奥匈帝国境内塞尔维亚族人的民族主义情绪进一步高涨。奥匈帝国境内的塞尔维亚族人对奥匈帝国的统治日益不满，并受到一些塞尔维亚“文化”组织的宣传煽动。在接下来的五年中，受塞尔维亚零星支持的孤立刺客，大多是奥匈帝国的塞尔维亚族公民，在克罗地亚和波黑发动了一系列针对奥匈帝国官员的暗杀行动，但均未成功。
1910年6月15日，试图谋杀波黑总督，但未遂。22岁的泽拉伊奇是黑塞哥维那内韦西涅的东正教徒，就读于，并经常前往贝尔格莱德。泽拉伊奇身中五枪后自杀，头部中致命一枪。泽拉伊奇的举动启发了后来的刺客，包括普林齐普及其同伙卡布里诺维奇。普林齐普曾表示：“泽拉伊奇是我的榜样。17岁时我路过他的坟墓，联想到我们悲惨的处境和他的思想。就在那里，我下定决心迟早要采取行动。”
1913年，奥皇弗朗茨·约瑟夫一世指示斐迪南大公计划于1914年6月视察波斯尼亚的军事演习。演习结束后，斐迪南计划与妻子一同参观萨拉热窝新建的国家博物馆。公爵夫人索菲的长子马克西米连公爵回忆说：“母亲担心父亲的安全，便陪伴他同行。”
由于索菲“身为捷克伯爵夫人，在奥地利宫廷眼中仍属平民”，弗朗茨·约瑟夫一世最初不同意两人的婚事。但由于斐迪南大公的坚持，弗朗茨·约瑟夫一世最终同意，但附加条件是他们的后代永远不得继承皇位。6月28日是这对夫妇婚姻的14周年纪念日。正如历史学家A·J·P·泰勒所指出：
弗朗茨·斐迪南是联邦制的支持者，大致倾向于将奥匈帝国划分为三元王国，即在奥匈帝国的统治下，将帝国境内的斯拉夫地区重组为克罗地亚王国，使其地位与奥地利帝国和匈牙利王国平起平坐。克罗地亚王国被认为可以对抗塞族领土收复主义，因此斐迪南大公也被塞族民族主义者视为威胁。普林齐普后来向法庭陈述，阻止斐迪南大公推行改革计划是他的动机之一。
刺杀事件发生的6月28日（儒略历6月15日）是圣维特日。在塞尔维亚，这一天被称为，旨在纪念1389年对抗奥斯曼帝国的科索沃战役。在那场战役中，塞尔维亚统治者拉扎尔·赫雷别利亚诺维奇为塞尔维亚人民牺牲在战场上，骑士米洛什·奥比利奇伪装投降，刺杀了奥斯曼苏丹。
事发经过.
1914年6月，奥匈帝国皇储斐迪南大公前往奥匈帝国的检阅军事演习。这次军事演习以塞尔维亚为假想敌，因而引发了塞尔维亚民族主义者的憎恨。
1914年6月28日上午约十点，斐迪南大公夫妇抵达萨拉热窝火车站。途中，数百名民众在街边迎接，人群中混入了七名刺客伺机而动。斐迪南夫妇乘坐敞篷汽车前往市政厅，途经其中两名刺客时，他们因胆怯而未采取行动。后来，斐迪南夫妇的车队遭到第三名刺客投掷的手榴弹袭击。大公下意识地挥手，手榴弹滚落到车后并立即爆炸。夫妇二人侥幸躲过一劫，仅有几名护卫和围观群众受轻伤。刺客内德利科·查布林诺维奇随即服下氰化物并跳河企图自杀，但并未成功，之后被赶来的军警逮捕。
随后，斐迪南大公临时改变行程，决定前往医院探望一名受伤的副官，但随行人员未能及时通知前导车队。因此，车队仍然按照原定计划行驶。不幸的是，大公乘坐的敞篷汽车在拉丁桥附近的路口停了下来，刺客普林齐普得以在距离斐迪南夫妇不到两米的地方用手枪向两人各射出一枪。行凶后，普林齐普服下氰化物企图自杀，但因药物过期而失败，手枪掉落在地后被逮捕。斐迪南大公夫妇被紧急送医，但最终双双宣告不治身亡。
格 (数学)

在数学中，格（）是其非空有限子集都有一个上确界（称为并）和一个下确界（称为交）的偏序集合（poset）。格也可以特征化为满足特定公理恒等式的代数结构。因为两个定义是等价的，格理论从序理论和泛代数二者提取内容。半格包括了格，依次包括海廷代数和布尔代数。这些"格样式"的结构都允许序理论和抽象代数的描述。
需要注意的是，本条目介绍的是序理论中的“格”，-{zh-hans:并; zh-hant:并;}-非几何与群论中的“格（群论）”（点阵），两者的英文均为“lattice”。虽然在继承自平面的次序中，每个点阵都是格，但是许多格不是点阵。
序理论定义.
考虑任意一个偏序集合（"L",≤），如果对集合L中的任意元素a,b，使得a,b在L中存在最大下界和最小上界，则("L",≤)是一个格。(从此定义可看出，其并不要求如全序集合般的每二元素可比性，但仍要求每二元素有最大下界和最小上界）
这里对于取a,b的最大下界的操作用formula_1表示；
对于取a,b的最小上界操作用 formula_2表示。
有界格有一个最大元素和一个最小元素，按惯例分别指示为1和0（也叫做顶和底）。任何格都可以通过增加一个最大元素和最小元素而转换成有界格。
使用容易的归纳论证，你可以演绎出任何格的所有非空有限子集的上确界（并）和下确界（交）的存在。一个很重要的格的种类是完全格。一个格是完全的，如果它的所有子集都有一个交和一个并，这对比于上述格的定义，这里只要求所有非空有限子集的交和并的存在。
抽象代数定义.
另一种定义格的方式是将格定义为一种代数结构。一个格是一个代数结构formula_3，其中formula_4和formula_5是定义在集合formula_6上的二元运算，且对于所有的formula_7满足：
从上述三个公理恒等式可以得出重要的：
这些公理断言了("L",formula_4)和("L",formula_5)都是半格。吸收律是唯一交和并都出现了的公理，把格同一对半格区别开来-{zh-hans:并; zh-hant:并;}-确保这两个半格正确的交互。特别是，每个半格都是另一个半格的对偶。“有界格”要求交和并都有一个零（neutral）元素，分别习惯叫做1和0。参见半格条目。
格与广群家族有一些联系。因为交和并都符合交换律和结合律。格可以看作由有相同的承载者的两个交换半群组成的。如果格是有界的，这些半群也是交换幺半群。吸收律是特定于格理论的唯一定义恒等式。
"L" 闭包于交和并之下，通过归纳，蕴涵了"L"的任何有限子集的交和并的存在性，有着一个例外：空集的交和并分别是最大元素和最小元素。所以格只在它是有界的条件下包含所有有限（包含空）交和并。为此有些作者定义格的时候要求0和1是"L"的成员。而以这种方式定义格不损失一般性，因为任何格都可以被嵌入一个有界格中，这里不接受这种定义。
格的代数解释在泛代数中扮演根本性角色。
两个定义的等价性.
格的代数定义蕴涵了序理论的定义，反之亦然。
明显的，序理论的格引发了两个二元运算formula_4和formula_5。容易看出这些运算使("L", formula_4, formula_5)变成代数意义上的格。反之亦真：考虑代数定义的格("M", formula_4, formula_5)。现在定义在"M"上的偏序≤如下，对于"M"中的元素"x"和"y"
或等价的
吸收律确保了两个定义实际上是等价的。你现在可以检查以这种方式介入的关系≤定义了在其中二元交和并是通过最初运算formula_4和formula_5而给出的一个偏序。反过来，由得出自上述序理论公式的代数定义的格（"L", formula_4, formula_5）引发的次序一致于"L"的最初次序。
因为格的两个定义是等价的，你可以随意调用任何定义的适合你用的方面。
格的态射.
在两个格之间的适当的态射概念可以轻易的同上述代数定义得出。给定两个格（"L", formula_4, formula_5）和（"M", formula_24, formula_25），"格的同态"是一个函数"f" : "L" → "M"使得
所以"f"是两个底层半格的同态。当考虑带有更多结构的格的时候，这个态射也应当注意这个额外结构。所以在两个有界格"L"和"M"之间的态射"f"还有下列性质：
在序理论公式中，这些条件只声称格的同态是保持二元交和并的一个函数。对于有界格，最小和最大元素的保持只是空集的并和交的保持。
格的任何同态必然关于相关的次序关系是单调的；参见极限的保持。反过来当然不是真的：单调性决不蕴涵要求的保持性质。
假定同构作为可逆态射的标准定义，格的同构就是双射格同态。格和它们的态射形成了一个范畴。
子格.
格"L"的子格是"L"的非空子集，它是带有同"L"一样的交和并运算的格。就是说，如果"L"是一个格，而"M"formula_30是"L"的子集使得对于"M"中的所有元素对"a", "b"有"a"formula_5"b"和"a"formula_4"b"在"M"中，则"M"是"L"的子格。
格"L"的子格"M"是"L"的凸子格，如果"x ≤ z ≤ y"和"x", "y"在"M"中蕴涵了"z"属于"M"，对于在"L"中的所有元素"x, y, z"。
对偶原理.
设formula_33是含有格中的元素以及符号formula_34的逻辑命题，令formula_35是将formula_33中的formula_37替换为formula_38，将formula_38替换为formula_37，将formula_4替换为formula_5，将formula_5替换为formula_4后所得到的命题。则称formula_35是formula_33的对偶命题。
设formula_33是含有格中的元素以及符号formula_34的逻辑命题，若formula_33对于一切格为真，则formula_33的对偶命题formula_35也对于一切格为真。
引用.
可在线免费获得的专著：
Elementary texts recommended for those with limited mathematical maturity:
The standard contemporary introductory text:
The classic advanced monograph:
Free lattices are discussed in the following title, not primarily devoted to lattice theory:
The standard textbook on free lattices:
偏序关系

偏序集合（，简写）是数学中，特别是序理论中，指配备了偏序关系的集合。
这个理论将对集合的元素进行排序、顺序或排列等直觉概念抽象化。这种排序不必是全部的，就是说不需要保证此集合内的所有对象的相互可比较性。是具有闭偏序的拓扑空间。
定义.
非严格偏序，自反偏序.
给定集合 formula_1， 设「formula_2」是 formula_1 上的二元关系，若「formula_2」满足：
则称「formula_2」是 formula_1 上的非严格偏序或自反偏序。
严格偏序，反自反偏序.
给定集合 formula_1，设「formula_18」是 formula_1 上的二元关系，若「formula_18」满足：
则称「formula_18」是 formula_1 上的严格偏序或反自反偏序。
严格偏序与有向无环图（DAG）有直接的对应关系。一个集合上的严格偏序的关系图就是一个有向无环图。其传递闭包是它自己。
偏序.
容易证明以下结论：
由上述可知，只要定义了「formula_2」、「formula_18」、「formula_48」、「formula_52」中的任何一个，其余三个关系的定义可以自然诱导而出，这四种关系实际上可以看成一体。故此在不严格区分的情况下，只需定义其一即可（通常是「formula_2」），称之为集合 formula_1 上的偏序关系。（“偏序关系”通常被用来称呼非严格偏序关系。）
偏序集与序对偶.
若集合 formula_1 上定义了一个偏序，则 formula_1 称为偏序集（poset）；若将其上的偏序关系改为其逆关系，得到的新偏序集 formula_62 称为 formula_1 的序对偶。
虽然通常术语“有序集”用来称呼全序集，但当上下文中不涉及其他序关系时，“有序集”也可用于称呼偏序集。
例子.
-{下面}-是一些主要的例子：
一般的说偏序集合的两个元素"x"和"y"可以处于四个相互排斥的关联中任何一个：要么"x" &lt; "y"，要么"x" = "y"，要么"x" &gt; "y"，要么"x"和"y"是“不可比较”的（三个都不是）。全序集合是用规则排除第四种可能的集合：所有元素对都是可比较的，并且声称三分法成立。自然数、整数、有理数和实数都关于它们代数（有符号）大小是全序的，而复数不是。这不是说复数不能全序排序；比如我们可以按词典次序排序它们，通过"x"+iy" &lt; "u"+iv"当且仅当"x" &lt; "u"或("x" = "u"且"y" &lt; "v")，但是这种排序没有合理的大小意义因为它使得1大于100i。按绝对大小排序它们产生在其中所有对都是可比较的预序，但这不是偏序因为1和i有相同的绝对大小但却不相等，违反了反对称性。
线性扩展.
全序"T"是偏序"P"的线性扩展，只要"x" ≤ "y"在"P"中成立则"x" ≤ "y"在"T"中也成立。在计算机科学中，找到偏序的线性扩展的算法叫做拓扑排序。
二元关系

数学上，二元关系（，或简称关系）用于讨论两种物件的连系。诸如算术中的「大于」及「等于」、几何学中的「相似」或集合论中的「为...之元素」、「为...之子集」。
定义.
设formula_1为集合，formula_2的任何子集称作formula_3到formula_4的二元关系，特别是当formula_5时，称作formula_3上的二元关系,一般记作formula_7。若formula_8, formula_7是从formula_3到formula_4的二元关系；若formula_12,那么formula_7是formula_14上的二元关系
或是以正式的逻辑符号表述为
例一：有四件物件 {"球"，"糖"，"车"，"枪"} 及四个人 {"甲"，"乙"，"丙，丁"} 。若甲拥有球、乙拥有糖、丙一无所有但丁拥有车，则「拥有」的二元关系可以写为
其中二元有序对的第一项是被拥有的物件，第二项是拥有者。
例二：实数系 formula_17 上的「大于关系」可定义为
由于习惯上 formula_19 通常都是写为 formula_20 ，更一般来说，不引起混淆的话会把 formula_21 简写成 formula_22 。
集合的关系.
集合formula_23与集合formula_24上的二元关系则定义为 formula_25 ，当中 formula_26 ( 请参见笛卡儿积 ) ，称为 formula_7 的图。若 formula_28 则称 formula_29 与 formula_30 有关系 formula_7 ，并记作 formula_22 或 formula_33 。
但经常地我们把关系与其图等价起来，即若 formula_34 则 formula_7 是一个关系。
话虽如此，我们很多时候索性把集合间的关系 formula_7 定义为 formula_37 而 “有序对 formula_38 ” 即是 “ formula_39 ”。
特殊的二元关系.
设formula_3是一个集合，则
关系矩阵.
设formula_47及formula_48，formula_7是formula_23 和formula_51上的关系，令
则0,1矩阵
称为formula_7的关系矩阵，记作formula_55。
关系图.
设formula_56，formula_7是formula_3上的关系，令图formula_59，其中顶点集合formula_60，边集合为formula_61，且对于任意的formula_62，满足formula_63当且仅当formula_64。则称图formula_65是关系formula_7的关系图，记作formula_67。
运算.
关系的基本运算有以下几种：
性质.
关系的性质主要有以下五种：
设formula_7为集合formula_3上的关系，下面给出formula_7的五种性质成立的充要条件：
闭包.
设formula_7是非空集合formula_3上的关系，formula_7的自反（对称或传递）闭包是formula_3上的关系formula_147，满足
一般将formula_7的自反闭包记作formula_155，对称闭包记作formula_156，传递闭包记作formula_157。
下列三个定理给出了构造闭包的方法：
对于有限集合formula_3上的关系formula_7，存在一个正整数formula_163，使得
求传递闭包是图论中一个非常重要的问题，例如给定了一个城市的交通地图，可利用求传递闭包的方法获知任意两个地点之间是否有路相连通。可以直接利用关系矩阵相乘来求传递闭包，但那样做复杂度比较高；好一点的办法是在计算矩阵相乘的时候用分治法降低时间复杂度；但最好的方法是利用基于动态规划的Floyd-Warshall算法来求传递闭包。
笛卡儿积

在数学中，两个集合formula_1和formula_2的笛卡儿积（），又称直积，在集合论中表示为formula_3，是所有可能的有序对组成的集合，其中有序对的第一个对象是formula_4的成员，第二个对象是formula_5的成员。
举个实例，如果集合formula_4是13个元素的点数集合formula_8，而集合formula_5是4个元素的花色集合formula_10♠, ♥, ♦, ♣formula_11，则这两个集合的笛卡儿积是有52个元素的标准扑克牌的集合formula_12♠formula_13♠formula_14♠formula_15♣formula_16♣formula_17♣formula_18。
笛卡儿积得名于笛卡儿，因为这概念是由他建立的解析几何引申出来。
笛卡儿积的性质.
易见笛卡儿积满足下列性质：
笛卡儿平方和n元乘积.
集合formula_1的笛卡儿平方（或二元笛卡儿积）是笛卡儿积formula_30。一个例子是二维平面formula_31，（这里formula_32是实数集） - 它包含所有的点formula_33，这里的formula_34和formula_35是实数（参见笛卡儿坐标系）。
为了帮助枚举，可绘制一个表格。一个集合作为行而另一个集合作为列，从行和列的集合选择元素，以形成有序对作为表的单元格。
可以推广到在formula_36个集合formula_37上的"n"-元笛卡儿积:
实际上，它可以被等同为formula_39。它是"n"-元组的集合。
一个例子是欧几里得三维空间formula_40，这里的formula_32同样是指实数集。
无穷乘积.
有限个集合可以看成某个一对一的有限集合序列 formula_42（因为序列是种以自然数系 formula_43 为定义域的函数），而 formula_34 的值域恰好是预备要依序进行笛卡儿积的所有集合，换句话说：
这样的话，若有函数 formula_47 满足：
那就等价于
换句话说，函数 formula_50 可以看做 formula_51 里的一个"n"-元组，而这就是以下无穷乘积定义的直观动机：
在无限情况，一个令人熟悉的特例是，当索引集合是自然数集formula_52的时候：这正是其中第"i"项对应于集合"formula_53"的所有无限序列的集合。再次，formula_54提供了这样的一个例子：
是实数的无限序列的搜集，可视之为带有无限个构件的向量或元组。另一个特殊情况（上述例子也满足它）是在乘积中的各因子"Xi"都是相同的时候，类似于“笛卡儿指数”。这样，在最先定义中的无限并集自身就是这个集合自身，而其他条件被平凡的满足了，所以这正是从"I"到"X"的所有函数的集合。
在别的情况，无限笛卡儿积就不那么直观了；尽管在高等数学中的应用有其价值。
“非空集合的任意非空搜集的笛卡儿积为非空”这一陈述等价于选择公理。
函数的笛卡儿积.
如果formula_50是从formula_19到formula_58的函数，而formula_59是从formula_1到formula_2的函数，则它们的笛卡儿积formula_62是从formula_63到formula_64的函数，带有
跟之前类似，函数的笛卡儿积也可以扩展到函数的元组和无限情况。
等价关系

在数学中，等价关系（）是具有自反性，对称性，传递性的二元关系。等价关系也称为同值关系。一些等价关系的例子包括整数集上的同余，. 欧几里得几何中的等量（），以及普通的相等关系。
集合formula_1上的每个等价关系都提供了一个formula_1的划分，将formula_1划分为不相交的等价类。formula_1中的两个元素等价当且仅当它们属于同一等价类。
定义.
若集合formula_1上的二元关系formula_6满足以下条件：
则称formula_6是一个定义在formula_1上的等价关系。习惯上会把等价关系的符号由formula_6改写为formula_13。
事例.
等价关系的例子.
例如，设formula_14，定义formula_1上的关系formula_6如下：
其中formula_18叫做formula_19与formula_20模3同余，即formula_19除以3的余数与formula_20除以3的余数相等。例子有1R4, 2R5, 3R6。不难验证formula_6为formula_1上的等价关系。
并非所有的二元关系都是等价关系。一个简单的反例是比较两个数中哪个较大：
全序关系

全序关系，也称为线性顺序（）即集合formula_1上的反对称的、传递的和完全的二元关系（一般称其为formula_2）。
若formula_1满足全序关系，则下列陈述对于formula_1中的所有formula_5和formula_6成立：
满足全序关系的集合叫做全序集合、线性序集合、简单序集合或链。
链还常用来描述偏序集合的全序子集。
全序关系的完全性可以如下这样描述：集合中的任何一对元素都是可相互比较的。
注意完全性条件蕴涵了自反性：formula_15，因此全序关系也是（满足“完全性”条件的）偏序关系。
严格全序.
对于每一（非严格）全序关系≤都有一关联的非对称的严格全序关系&lt;，它可以用以下两种等价的方式定义：
性质：
我们可以通过指定formula_29为三分二元关系，用这两种等阶的方式来定义全序formula_2：
另两个关联的关系是补关系formula_36和formula_21，它们构成了四元组formula_38。
我们可以用这四个关系中的任何一个来定义全序集，符号指明了全序集的严格性。
最小上界

最小上界，亦称上确界（，记为sup S）是数学中序理论的一个重要概念，在格论和数学分析等领域有广泛应用。
定义.
给定偏序集合(T,≤)，对于S⊆T，S的上确界sup(S)定义为S的所有上界组成的集合的最小元（若有）。即sup(S)满足：
上确界也被称为最小上界、lub 或 LUB，在格论中也被称为并，在序理论中S的上确界也被记为formula_1S。
数学分析中的上确界.
在数学分析中，实数的集合S的上确界或最小上界记为 sup("S")，并被定义为大于或等于 "S" 中所有成员的最小实数。实数的一个重要性质是它的完备性：实数集合的所有非空子集是有上界的就是这个实数集合成员的上确界。
例子.
这个有理数的集合的上确界是个无理数，这意味着有理数是不完备的。
此外，如果我们定义在 "S" 是空集的时候 sup("S") = −∞ 和在 "S" 没有上界的时候 sup("S") = +∞ ，则实数的所有集合都在扩展的实数轴上有上确界。
如果上确界属于这个集合，则它是这个集合的最大元素。术语极大元在处理实数或任何其他全序集合的时候是同义的。
要证明 "a" = sup("S")，必须证明 "a" 是 "S" 的上界并且 "S" 的任何其他上界大于 "a"；等价地，也可以证明 "a" 是 "S" 的上界并且小于 "a" 的任何数都不是 "S" 的上界。
最大下界

在数学中，某个集合 "X" 的子集 "E" 的下确界( 或 ，记为 inf "E" )是小于或等于的 "E" 所有其他元素的最大元素，其不一定在 "E" 内。所以还常用术语最大下界（简写为 glb 或 GLB）。在数学分析中，实数的下确界是非常重要的常见特殊情况。但这个定义，在更加抽象的序理论的任意偏序集合中，仍是有效的。
下确界是上确界概念的对偶。
实数集合的下确界.
在数学分析中，实数的子集 "S" 的下确界或最大下界记为 inf("S")，定义为小于等于在 "S" 中的所有数的最大实数。如果没有这样的数存在（因为 "S" 没有下界），则我们定义 inf("S") = −∞。如果 "S" 是空集，我们定义 inf("S") = ∞（参见扩展的实数轴）。
实数的一个重要性质是，任何实数集都有下确界（实数的任何有界非空子集都在非扩展的实数轴中有下确界）。
例子：
如果一个集合有最小元素，如同第一个例子，则这个最小元素就是这个集合的下确界。如后三个例子展示的，一个集合的下确界不一定属于这个集合。
下确界的概念和上确界在下列意义下是对偶的
这里 formula_6。
一般的说，为了证明 inf("S") ≥ "A"，只需要证明对于所有 "S" 中的 "x" 有 "x" ≥ "A"。证明 inf("S") ≤ "A" ，则需：对于任何 ε &gt; 0，都存在 "S" 中的一个元素 "x" 使得 "x" ≤ "A" + ε（当然，如果 "S" 有一个元素 "x" 使 "x" ≤ "A"，命题立即成立）。
参见：下极限。
在偏序集合内的下确界.
下确界的定义容易推广到任何偏序集合的子集上，并在序理论中有重要意义。在序理论，特别是格理论中，最大下界也叫做交（)。
形式的说，偏序集合（"P"，≤）的子集 "S" 的下确界是 "P" 的一个元素 "l" 使得 
如果这样的元素存在，则其必然唯一，但是它不一定存在。因此已知特定下确界存在的序就特别有价值。详情请参见。
软件开发

软件开发（）是根据用户要求建造出软件系统或者系统中软件部分的一个产品开发的过程。软件开发是一项包括需求获取、开发规划、需求分析和设计、编程实现、软件测试、版本控制的系统工程。换句话说，软件开发就是一系列最终构建出软件产品的活动。软件开发可能包括研究、新的开发工作、修改、复用、重新设计（再工程）、维护，或者任何最终获得软件产品的其他活动。尤其是在软件开发过程的初始阶段，其中可能会涉及许多的部门，包括市场营销、工程设计、研究与开发以及一般意义上的管理。
“软件开发”一词还可能是指计算机编程，也就是编写和维护源代码的过程。软件一般是通过某种或数种程序设计语言、在特定的计算机平台上实现的。通常采用软件开发工具可以进行开发。
纳米材料

奈米材料（）广义上是三维空间中至少有一维处于奈米尺度范围或者由该尺度范围的物质为基本结构单元所构成的材料的总称。由于奈米尺寸的物质具有与宏观物质所迥异的表面效应、小尺寸效应、宏观量子隧道效应和量子限域效应，因而奈米材料具有异于普通材料的光、电、磁、热、力学、机械等性能。奈米材料的性能往往由量子力学决定。
欧盟委员会则将奈米材料定义为一种由基本颗粒组成的粉状或团块状天然或人工材料，这一基本颗粒的一个或多个三维尺寸在1纳米至100纳米之间，并且这一基本颗粒的总数量在整个材料的所有颗粒总数中占50%以上。
根据物理形态划分，奈米材料大致可分为奈米粉末（奈米颗粒）、奈米纤维（奈米管、奈米线）、奈米膜、奈米块体和奈米相分离液体等五类。三维尺寸均为奈米量级的奈米粒子或人造原子被称为零维奈米材料，纳米纤维为一维奈米材料，而奈米膜（片、层）可以称为二维纳米材料，而有纳米结构的材料可以称为三维纳米材料。目前碳纳米管（carbon nanotube）是纳米科技的研究热点之一。
目前只有奈米粉末实现了工业化生产（如碳酸钙、白炭黑、氧化锌等），其它奈米材料基本上还处于实验室研究阶段。
方法 (电脑科学)

在物件导向程式设计中，方法（；； ）指的是类别（所谓的类别方法、静态方法或工厂方法）、或者是物件（所谓的实体方法）两者其中之一的一种子程式。如同程序化程式设计的程序，一个方法通常以一系列的语句所组成，并以之完成一个动作。其可以借由输入一组参数以制订所需的动作，且一部分的方法可能会有输出值（所谓的返回值）。方法的目的是提供一个机制，以存取（对于读和写）物件或类别的私有资料储存区。
方法的种类.
如前所述，实体方法附属于特定物件，而类别或者静态方法（又称作共享方法）则附属于某个类别。在典型的实践中，实体方法传送一个隐藏的参考（举例来说，codice_1或者codice_2或者codice_3）给所属的物件（不论类别或类别实例），所以它们可以存取与之相关的资料。一个类别方法的典型例子即：在给定的类别中，其内部记录着已建立物件的计数。
建构子类似于方法，不过它们是在语句区块中建立一个类别的实体时，所自动呼叫的。在Java、C++、C#以及PHP里，它们和所属物件的类别，皆有相同的名称。在Visual Basic里，建构子称为codice_4，而且在Object Pascal里，建构子可以有使用者所定义的名字（不过大多称作Create）。建构子有一部分很像方法，不过也存在著许多差异，所以通常不把其视为方法。
解构子是一个特殊的实体方法，它是在解构一个类别的实体时，所自动呼叫的。在C++里，它们和所属物件的类别，皆有相同的名称，只不过在前面多了一个波浪号（~）。在Object Pascal里，解构子可以有使用者所定义的名字（不过大多称作Destroy）。
抽象方法是一个虚设代码的方法，它没有实作。它通常用来占住一个位置，让子类别或者以此为原型的物件重载，并实作出相应的抽象方法。如此一来，抽象方法有助于明确表明一部分架构。
存取方法通常是一个小型、简单的，并提供一个用来从程式的其它部分存取物件状态的方法。虽然它引入了一个新的附属，但这是直接存取状态资料的首选方法，因其提供了一个抽象层。例如，如果银行帐户类别提供了codice_5的存取方法，其用以查询余额（而不是直接存取余额资料区域），之后该部分代码的修改版可以实作更复杂的查询余额机制（例如，取得资料库），而无须改变相关的代码。一个用来改变物件状态的存取方法，通常称作更新方法，有时又称作更动方法。提供这些方法的物件就被认为是可变物件。
静态（共享/类别）方法.
如前所述，方法可能宣告为静态的（在Visual Basic里是codice_6，在Object Pascal里是codice_7），即静态方法活动于类别层次，而非实体层次。静态方法不能触及一个特定的类别实例（也就是不能触及codice_1、codice_2、codice_3等等）以下是以C#撰写的静态成员以及其客户端的例子：
 public class ExampleClass
 public static void StaticExample()
 // 静态方法的程式码
 
 public void InstanceExample()
 // 此处为实体方法的程式码
 // 可以使用THIS
 /// 上述类别的客户端：
 // 呼叫静态方法（不包含实体）
 ExampleClass.StaticExample();
 // 呼叫实体方法
 ExampleClass objMyExample = new ExampleClass();
 objMyExample.InstanceExample();
结构材料

材料按其应用一般可以分为两大类：结构材料和功能材料。结构材料就是具有较好的力学性能（比如强度、韧性及高温性能等等）用作结构件的材料。而具有特殊的电、磁、热、光等物理性能或化学性能的材料则可以统称为功能材料。
最常用的结构材料是各种牌号的钢材。
铁.
熟铁.
熟铁是最简单的铁，几乎是纯铁（通常含碳量低于0.15%）。它通常含有一些炉渣。熟铁的用途几乎已经完全过时，也不再进行商业化生产。
锻铁不耐火。它延展性好，韧性强，不像钢那样容易腐蚀。
铸铁.
铸铁是一种脆性铁，抗拉强度小于抗压强度。它熔点相对较低，流动性好，可铸造性好，机械加工性能优异，耐磨性也很好。虽然在建筑结构领域，铸铁几乎完全被钢材取代，但它已成为一种用途广泛的工程材料，包括管道、机械和汽车零件。
铸铁虽然熔点低，但在火中仍能保持高强度。铸铁通常含有约95%的铁、2.1%至4%的碳和1%至3%的矽。它不像钢那样容易腐蚀。
钢.
钢是一种含碳量可控（碳含量在 0.0 至 1.7% 之间）的铁合金。
由于钢材成本相对较低、强度重量比高且施工速度快，因此广泛应用于各类结构。
钢是一种延展性材料，在达到屈服点（应力-应变曲线上的点2）之前，其行为呈弹性，此时钢将变为塑性，并以延展性方式失效（在曲线上的点3处断裂之前，发生较大的应变或延伸）。钢在拉伸和压缩状态下的强度相同。
钢材易燃，因此大多数建筑都必须采取防护措施。尽管钢结构建筑的强度重量比很高，但其热品质与类似的混凝土建筑相当。
钢的弹性模量约为205GPa。
钢容易腐蚀（生锈）。
不锈钢.
不锈钢是一种铁碳合金，铬含量至少10.5%。不锈钢有多种类型，其铁、碳、钼和镍的含量比例各不相同。不锈钢的结构特性与钢相似，但强度差异很大。
它很少用于主要结构，更多用于建筑装饰和建筑覆层。
它具有很强的抗腐蚀和抗污染能力。
铝.
铝是一种柔软、轻盈且延展性极佳的金属。纯铝的屈服强度为7至11兆帕，而铝合金的屈服强度则在200至600兆帕之间。铝的密度和刚度约为钢的三分之一。铝具有延展性，易于加工、铸造和挤压。
当金属暴露在空气中时，表面会形成一层薄薄的氧化铝层，有效防止进一步氧化，因此具有优异的耐腐蚀性。即使是强度最高的铝合金，由于会与合金铜发生电化学反应，其耐腐蚀性也较差。
铝因其良好的强度重量比，广泛应用于一些建筑结构（主要是外墙），并在飞机工程中广泛使用。铝是一种相对昂贵的材料。
在飞机上它正逐渐被碳复合材料所取代。
石工.
砌体在建筑结构中的应用已有数千年历史，其形式包括石材、砖块或砌块。砌体抗压强度极高，但无法承受拉力（因为砖块或砌块之间的砂浆无法承受拉力）。由于无法承受结构拉力，砌体墙也无法承受弯曲，因此在相对较小的高度，砌体墙会变得不稳定。高层砌体结构需要透过扶壁（例如欧洲许多中世纪教堂中常见的飞扶壁）或风柱来稳定横向荷载。
历史上，砌体建造时不使用砂浆，或使用石灰砂浆。现代则使用水泥基砂浆。砂浆将砌块黏合在一起，并使砌块之间的界面更加平滑，避免可能导致开裂的局部点荷载。
自从混凝土广泛使用以来，石材很少被用作主要结构材料，通常仅作为覆层使用，因为其成本高且生产技术要求高。砖块和混凝土块已经取代了它。
砌体与混凝土类似，具有良好的隔音性能和较高的热质量，但生产能耗通常较低。但其运输能耗与混凝土相当。
木材.
木材是最古老的结构材料，虽然如今已被钢材、砖石和混凝土等材料所取代，但仍在大量建筑中使用。木材的特性具有非线性，且变化很大，取决于木材的品质、处理方式和供应木材的类型。木结构的设计很大程度上依赖经验证据。
木材抗拉抗压性能强，但由于其纤维结构，抗弯性能较弱。木材在火灾中表现相对较好，因为它会烧焦，这为构件中心的木材提供了一定的保护，并使结构在相当长的时间内保持一定的强度。
复合材料.
复合材料在车辆和飞机结构中的应用日益广泛，在其他结构中也有一定的应用。它们在桥梁中的应用也日益广泛，尤其是在保护古老建筑方面，例如建于1818年的科尔波特铸铁桥。复合材料通常具有各向异性（在不同方向上具有不同的材料特性），因为它们可能是层状材料。它们通常表现出非线性行为，在过载时会以脆性方式失效。
它们具有极佳的强度重量比，但价格也非常昂贵。其制造流程通常采用挤压成型，目前无法提供混凝土或钢材那样的经济弹性。在结构应用中，最常用的是玻璃纤维增强塑胶。
统一建模语言

统一建模语言（，缩写UML）是非专利的第三代建模和规约语言。UML是一种开放的方法，用于说明、可视化、构建和编写一个正在开发的、面向对象的、软件密集系统的制品的开放方法。UML展现了一系列最佳工程实践，这些最佳实践在对大规模，复杂系统进行建模方面，特别是在软件架构层次已经被验证有效。
这个语言由葛来迪·布区，伊瓦尔·雅各布森与詹姆士·兰宝于1994年至1995年间，在公司中开发，于1996年又进一步发展。UML集成了，和面向对象程序设计的概念，将这些方法融合为单一的，通用的，并且可以广泛使用的建模语言。UML打算成为可以对并发和分布式系统的标准建模语言。
1997年，UML被对象管理组织接纳为标准，并在此之后受该组织管理。2005年，UML被国际标准化组织接纳为一种标准，自此，该标准被定期修订以涵盖UML的最新版本。然而，在软件工程中，大多数从业者不使用UML，而是产生非正式的手绘图；不过，这些图例中仍往往包括UML的元素。
模型.
类别图显示一般化关系一对多（多维）的实现
在UML系统开发中有三个主要的模型：
区分UML模型和UML图是非常重要的，UML图，包括用例图、协作图、活动图、序列图、部署图、构件图、类图、状态图，是模型中信息的图形表达方式，但是UML模型独立于UML图存在。UML的当前版本只提供了模型信息的交换，而没有提供图信息的交换。
UML使用一套与Java语言或其他面向对象语言等价物，同时也是本体论等价物的图形标记。
UML并不是一个方法学，也不要求使用一个方法学，但是UML对于Rational 统一过程来说是必不可少的。
图形.
UML 2.2中一共定义了14种图示。为方便了解，可分类成右侧的结构。
结构性图形（"Structure diagrams"）强调的是系统式的建模：
行为式图形（"Behavior diagrams"）强调系统模型中触发的事件：
交互性图形（"Interaction diagrams"），属于行为图形的子集合，强调系统模型中的资料流程：
UML并不限定UML要素型别非得是某图形上的型别。一般来说，每个UML要素大约会出现在图的所有型别。这种弹性在UML 2.0部分被限定。
为了要保持工程图的传统，在您的UML图上加注用途、约束、或意图永远无伤大雅。
UML 2为了符合模型驱动架构（Model Driven Architecture）的需求做了大幅度的修改除在图形基础上扩充及变化了部份的展现方式外，也增加了一些图形标准元件，比前一版多出了由循序图与互动图所混合而成的互动概图（Interaction Overview Diagram）、强调时间点的时序图（Timing Diagram）与合成结构图（Composite Structure Diagram），此外，在UML2中，UML1合作图转变为通讯图（Communication Diagram），且在循序图中也添加了互动框（Interaction Frame）的概念，还有增加一些运算子（如sd、loop、alt等）。同时，UML2支援模型驱动架构（MDA）倡议，提供稳定的基础架构，容许软件开发程序增添自动化作业。此外，MDA把大型的系统分解成几个元件模型，并与其他模型保持连结，使得UML更加精确。
概念.
UML从来源中使用相当多的概念。下面仅列代表性的概念。
对于结构而言
对于行为而言
对于关系而言
其他概念
青稞

青（），是一种禾谷类作物，为大麦的一种变种，别名叫裸大麦、元麦、米大麦，是中国藏族常食用的粮食。青稞在青藏高原具有悠久的栽培历史，距今已有3500年历史。
历史.
青稞是多棱大麦的裸粒变种，两者可能共同起源于生长在中东的野生大麦（Hordeum vulgare subsp. spontaneum），在新石器时代，叙利亚地区首次出现驯化大麦。
野生大麦如何从中东传播到青藏高原，确定历史仍不清楚。在西元前1600年左右，在西藏开始出现青稞的种植，当时的居民开始往3,400公尺以上的地区发展农牧，考古学者一般相信，青稞的种植，是藏族能够居住在青藏高原的关键。
分布范围.
青稞是一种单位面积产量不高的粮食作物，主要分布在中国西藏、青海、四川的甘孜和阿坝、云南迪庆、甘肃甘南等海拔4200—4500-{zh-cn:米; zh-hk:米; zh-tw:公尺}-的青藏高原高寒地区。在这些地区青稞之所以成为主要作物是因为其耐寒性。
食用方式.
青稞谷粒可以磨粉炒熟，食用时加酥油茶或清茶用手捏成坨，叫做糌粑。
青稞可酿制青稞酒，一种低度麦酒。
其它.
在宗教节日中藏族民众要抛撒糌粑以示祝福。
药用.
《本草拾遗》记载：“青稞，下气宽中、壮精益力、除湿发汗、止泻”。藏医典籍《晶珠本草》把青稞作为一种重要药物，用于治疗多种疾病。
伊拉克临时管理委员会

伊拉克临时管理委员会（）是指2003年3月20日伊拉克战争爆发之后，美军占领伊拉克以来，由美、英联军主导的“联盟驻伊拉克临时管理当局”于2003年7月13日成立的暂时管理伊拉克国家事务的机构。该机构于2004年6月1日新的“伊拉克临时政府”成立后解散；2004年6月28日完成向伊拉克临时政府移交权力。
伊拉克临时管理委员会同联盟驻伊拉克临时管理当局合作，有权在经济、金融、选举、卫生、教育等任何领域制定政策和做出决定。联盟驻伊拉克临时管理当局需要就所有重大问题以及政策疑问咨询伊拉克临时管理委员会。而在过渡期间，联军仍将负责采取具体的安全行动。
领导成员.
伊拉克临时管理委员会每月由该委员会领导机构的9名成员轮流担任主席。
斤

斤，旧时又异写作觔，是东亚传统度量衡中的质量单位，起源于中国，再传到日本、朝鲜半岛、越南、马来半岛等地。又称司马斤。现时多为传统市场惯用。
起源.
中国古代有个官职叫「司马」，司马主要掌管军事，其中因为粮秣管理需要秤重，于是「司马」就和重量单位扯上关系。中国自周代开始有重量单位：斤、两、钱、分，也称为「司马斤」、「司马两」等，计量的工具叫做「司马秤」，这一标准也叫「司马平制标识」。一司马斤等于十六司马两，成语「」就是这么来的。
质量.
不同时代、地区的斤实际质量有所变动，但与其他尺贯法单位的质量比例维持不变。一斤等于十六两，一斤等于百分一担，亦即十六两或一百二十分之一石。晚清时开始英文通常根据马来语写成catty或kan。
古代的斤.
清朝之前.
中国各地、各行业都有各自的斤、两重量标准，并不统一，故经常造成混乱。
清朝.
清朝采用营造尺、库平两。1斤约为596.816克，合16两，即一两约为37.301克。
清康熙五十二年（1713年）制的《御制律吕正义》以及《御制数理精蕴》都定度量衡表，而光绪三十四年（1908年）《推行划一度量衡章程四十条》，形成营造尺、库平两的标准化。
现代的斤.
如今斤分为根据国际单位制的“公斤”（1公斤等于1000克）和民间使用的“市斤”（或根据地区而称为“&lt;地区&gt;+斤”，如在台湾使用的“台斤”，日本过去使用的“日本斤”），常简称“斤”，而市斤的重量根据地区和年代的不同而不同，比较常见的包括中国大陆、金门和马祖地区的500克，台湾和日本的600克，港澳以及东南亚的约605克。
现代的「斤」（市斤）按照各地使用习惯，与公制有如下换算：
中国大陆地区.
1912年-1915年.
北洋政府继续沿用清朝营造尺库平制的制度，即1斤约为596.816克。
1915年-1930年.
1915年1月7日，北洋政府公布《权度法》，规定除了原本的营造尺库平制继续沿用外，还额外并行万国权度通制（即国际单位制）。
1930年-1959年.
法定1斤等于500克，而16两为1斤（即1两等于31.25克）。
国民革命之后，取代北洋政府的国民政府以市用制取代营造尺库平制，营造尺库平制走入历史。
1929年2月制定、1930年1月1日施行的《中华民国度量衡法》第五条所规定：
该法第六条规定：
这次度衡量改制后，这一历史时期的文献大多采用公制与市用制并行，市制后方用括号括起对应的公制重量。
例如，1944年9月19日晋绥边区行政公署颁发的供给标准： “口粮(每人每天)：军队系统小米1斤8两(750克)”；1945年1月新四军浙东游击纵队司令部规定的供给标准：每人每天“油5钱(15.625克)”，其中的斤、两的定义都符合上述法规。
1959年至今.
法定1斤等于500克，而10两为1斤（即1两等于50克）。而中药计量仍袭旧制不变（即1斤为605克，而16两为1斤）。
1959年6月25日中华人民共和国国务院发布《关于统一计量制度的命令》，保留市制，“市制原定十六两为一斤，因为折算麻烦，应当一律改为十两为一斤。”
金门及马祖.
中华民国金门、马祖地区至今仍实行中华民国大陆时期《度量衡法》之规定：1市斤为500 公克，等于16市两，1 市两为31.25 公克。
台湾.
台湾在清代时，各地的度量衡均不同，因此日治时期成立台湾总督府度量衡所。台湾市场所使用的「斤」就受到〈度量衡法〉日斤的影响，统一为1日斤=1台斤=600公克。1台斤为600克，等于16台两，1台两等于37.5克。
香港、马来西亚、新加坡.
据原香港法例，1884年第廿二条，一斤为11⁄3常衡磅（即3斤等如4磅）。现时香港法律规定一斤等于一百分之一担或者十六两，即0.60478982 公斤。
同样，新加坡法律规定一斤为11⁄3常衡磅，等于十六两，即0.6048 公斤。马来西亚因同是前英国殖民地，有相同的规定。
日本.
在日本，1斤等于600克，但几乎不用。例外情况是现时用在吐司切片前的（）计价的斤，据日本面包（）的，一斤只需在340克以上，故510克即可称为1.5斤。
越南.
越南目前使用斤称之为「cân ta」：1司马斤（cân ta） = 0.6046千克 = 604.6 克。