摘要：机制设计用来解决理性代理的偏好汇集问题以达到某种目标。自动机制设计把机制设计作为优化问题,目前使用线性规划来解决,但是随着理性代理数目的增长,优化问题的复杂度呈指数增长。使用社会认知优化方法实现自动机制设计,对离婚案和公共物品配置问题都获得了较好的结果。

摘要：机制设计是在代理自私行为的基础上寻找博弈规则,获得满意结果的理论和方法。传统的机制设计是手工完成的,Conitzer和Sandholm提出了自动机制设计的方法,把机制设计作为优化问题,并且用线性规划来解决。提出了使用粒子群优化算法来实现自动机制设计,并对离婚案问题获得了较好的结果。

摘要：研究目的:现有的抗滑结构仍以矩形和圆形截面抗滑桩为主,但其材料消耗量均较大,有进一步优化的余地。因此本文提出工字型板式抗滑新结构,但需通过试验对其受力与变形特性、腹板的设置与连接进行研究,以期为理论计算与设计提供依据。研究结论:(1)工字型板式抗滑结构的变形与腹板设置深度和连接有关,腹板设置愈深,结构顶部位移愈小,抗变形能力愈强;现浇刚接较预制拼装结构抗变形能力更强;(2)结构所受推力近似呈梯形分布,腹板设置愈深,推力合力作用点愈低;(3)内外板弯矩分布呈反S状,反弯点在滑面附近,表现为柔性结构的受力特点;(4)腹板设置深度加深,内外板的正负极值弯矩、顶板最大弯矩和腹板最大应力均减小,但内、外板自身正负弯矩极值相差增大,板的受力不均;(5)腹板设置深度以深入滑面以下一定深度为宜;(6)本研究成果可在滑坡与边坡病害治理中推广应用。

摘要：研究目的:工程上一般将顶部连接的微型桩抗滑结构体系简化为单桩受推力作用模型,以计算荷载在滑面处产生的内力,没有将其按照体系结构考虑。本文将"人"字形微型桩体系滑面以上部分分别简化为独立单桩模型、顶部铰接刚架结构模型和顶部固定连接刚架结构模型,在滑坡推力为矩形分布条件下,推导滑面处内力的计算公式并进行对比研究。研究结论:(1)简化为独立单桩模型的计算公式同刚架结构模型计算公式比较,存在较大差异;(2)按照刚架结构模型计算,滑面处弯矩和剪力均显著减小,轴向力增大,表明简化模型计算方法不适用于微型桩体系内力计算,该简化模型计算结果对微型桩体系的桩体抗拔力考虑不足,计算也表明刚架结构的顶部连接方式对计算结果影响相对较小;(3)本研究成果可供类似抗滑结构体系设计时参考和借鉴。

摘要：量化考核城市发展水平是科学管理城市的基础。立足天津城市定位目标,通过设计天津城市定位的指标体系和评价标准,分析发现目前天津的综合实力与2020年城市定位目标之间尚存不适应之处,进而提出未来天津应保持生态城市建设优势,率先释放国际港口城市的先天禀赋,加速北方经济中心建设,提前全面高水平实现天津城市定位。

摘要：随着社会经济的发展,我国的城市化进程有了很大进展,城市高层建筑越来越多。高层建筑的数量增多,楼层较高,在工程建设中需要使用多种建筑材料,且可容纳的人数较多。高层建筑尽管显著提高了人们的生活质量,但是在消防救援方面却存在着一定的安全隐患。为此,就有必要切实加强高层住宅建筑的防火设计,以保障居民的生命财产安全。本文对高层住宅建筑防火设计工作进行了分析。

摘要：斑果藤族(Stixeae)和节蒴木属(Borthwickia)传统上被置于山柑科(Capparaceae),最近的分子和形态学证据均支持它们从山柑科中分离出来,节蒴木属已被提升为科,但斑果藤族的系统位置和分类地位尚不清楚。为解决斑果藤族的系统位置和分类地位,并进一步为节蒴木科的成立提供证据,对核心十字花目GRFT(Gyrostemonaceae-ResedaceaeForchhammeria-Tirania)分支,使用叶表皮等20个形态性状和5个DNA片段(mat K、rbc L、ndh F、trn L-F和ITS),用最大简约法(MP)和贝叶斯分析(BI)对形态及分子矩阵进行系统发育分析。结果高度支持斑果藤族的Neothorelia为GRFT分支成员;Neothorelia、Tirania和斑果藤属(Stixis)聚为一支,但Forchhammeria的位置尚不明确;形态及分子系统发育分析结果均支持节蒴木科成立。

摘要：课题：人教版小学语文三年级上册《富饶的西沙群岛》第二课时。教学目标：1．通过品读重点词句，了解西沙群岛是个美丽富饶的地方，培养学生热爱祖国的思想感情；2．通过有感情地朗读课文，体会作者用词的准确，渗透“首尾呼应”的写作方法。