关于Karoubian范畴的推出范畴的一点注记

给定一个加法范畴A，证明了如果A是Karoubian范畴，则以A中的推出为对象，推出态射为态射所构成的推出范畴A0也是Karoubian范畴。     

正合图、拉回图、推出图的性质

拉回、推出是范畴论中的重要概念,本文引进与拉回图推出图有关的正合图概念,探讨了这三种图的性质和联系。     

内置钢板抗剪连接件方钢管混凝土柱推出试验

为了定量化研究带抗剪连接件方钢管混凝土界面的抗剪承载力,设计了10个内壁设置抗剪连接件的方钢管混凝土试件,并进行推出试验,其中9个为钢板条连接件试件,1个为钢筋条连接件对比试件.试验设计参数包括钢管壁厚(宽厚比)、抗剪连接件厚度、抗剪连接件层数、抗剪连接件层间间距及抗剪连接件种类.研究结果表明:钢管宽厚比的降低、连接件厚度的增大均能有效地提高极限承载力及初始刚度;双层连接件试件的极限承载力高于单层连接件试件,极限承载力提高程度与钢板条间距有较大关系;在相等用钢量的情况下,相同层数的钢筋条试件相比较钢板条试件,极限承载力提高了87%,且延性较好;提出的计算方法所得的理论计算值与试验结果较为相符.     

美科研组推出僵尸末日课程

面对僵尸末日你将会怎么做?你有没有想过,你如何才能引领一群孤独的幸存者,在被60亿喜欢吃软乎乎的人脑的食肉动物统治的地球上继续存活下去?美国俄勒冈州波特兰的一个科研组为那些并未充分考虑这种困境的人提供了培训课程,用来为这种不期而来的危境做准备。     

UNITY逻辑中关于unless的若干结果

本文的工作主要分为两部分．首先,我们把验证ｐｕｎｌｅｓｓｑ是否是ＵＮＩＴＹ逻辑的定理转化为一阶定理的验证．其次,设ｐ１ｕｎｌｅｓｓｑ１,…,ｐｎｕｎｌｅｓｓｑｎ在一ＵＮＩＴＹ程序Ｆ中成立．我们把验证ｐｕｎｌｅｓｑ在Ｆ中成立是否可由以上ｎ个性质得出转化为强推出的验证,其中强推出是本文引进的新概念．     

钢-混凝土组合梁螺栓连接件抗剪性能的试验研究

为研究正弯矩作用下钢-混凝土组合梁螺栓连接件的性能,对14个试件进行正向推出试验.试验结果表明:螺栓的破坏模式表现为栓杆剪切破坏,8.8级和10.9级高强螺栓的栓杆与钢梁翼缘交接处的混凝土出现不同程度的损坏,而采用4.6级螺栓试件的混凝土则无损坏现象;高强螺栓连接件的荷载-滑移曲线与栓钉非常相似,都有极短的直线段和较长...     

再生粗骨料取代率对圆不锈钢管再生混凝土黏结性能的影响

为研究圆不锈钢管再生混凝土黏结性能,考虑再生粗骨料取代率不同设计了5个圆不锈钢管再生混凝土试件进行往复推出试验。根据试件破坏现象、黏结强度-滑移量曲线及荷载-钢管应变曲线等,分析试件黏结界面处的传力机制、黏结破坏类型、极限黏结强度及对应的滑移量。研究表明:黏结强度-滑移量曲线呈三段式分布,反复加载对黏结强度影响较大,黏结强度随再生粗骨料取代率的提高而逐渐降低。通过回归分析提出考虑再生粗骨料取代率、混凝土强度两个参数的黏结强度实用计算公式。     

反放弯筋连接件的格构式推出试验研究－关于钢－砼组合桁架系列研究之三

Ｔ型、检钉和该文反放弯连接件是系列研究之一、二和之三．反放弯地连接件在格构式试件上作推出试验，属国内外首次．文中分析工作机理和破坏形态，导出抗剪承载力公式，试验值与理论值吻合较好，约为正放弯筋的５０％．建议在有反向水平剪力的组合桁架等格构式组合结构中采用．     

移动支付的2013年

2013年,国内移动支付产业得到快速的发展,不仅仅在概念上有新的突破,许多支付技术也得到了落地。这一年,三大运营商NFC手机钱包争相发布,支付宝与微信在移动支付领域争夺激烈;在硬件方面,2013年NFC手机也逐渐普及,各大厂商旗舰手机纷纷添加NFC功能。在此,让我们一同回顾2013年移动支付的重要事件。支付宝频发力支付宝在2013年的动静不小,每一次的产品推出,都让业界猜想万分。6月13日,支付宝发布余额宝,到11月14日,仅仅5个月的时间,余额宝就获得了1000亿元的基金规模,开户人数超过2900万。8月27日,支付宝官方微博以＂某些众所周知的原因＂宣称将停止线下POS业务。从12月3日开始,支付宝PC端开始收取一定费率,而移动端则仍然免费。支付宝此举的战略意图很明显：将用户赶向移动端。     

LG:在华裁员的新波及点

近期,LG手机业务在全国的办事处陆续有员工接到离职通知,目前主要涉及销售以及管理部门。而来自LG电子内部员工之间的传言称,此次裁员规模甚至可能将达到千人左右。事实上,LG手机在中国市场呈现颓势已久。在现任HTC中国区总裁任伟光还在LG手机担任中国区总裁时,曾经提出使LG手机进入中国手机市场份额前三的目标,然而随着任伟光的离去,这一目标也无人再提起。目前,在国内手机市场尤其是智能手机市场前几名的