DreamBlooms/HansPub-15000-to-45000 huggingface dataset:
system: [SYSTEM]

user: 4. 室内眩光测量的两个问题 4.1. 背景亮度L b 的三种求取方法 CIE 117-1995背景亮度L b 的定义是在观察者眼睛垂直面上具有相同垂直面照度的环境平均亮度，表示为： L b = E i π ，其中 E i 是观察者眼睛接收的间接照度值。CIE 117-1995推荐了三种L b 的计算方法： 图1. 背景亮度L b 和立体角ω测量误差与UGR结果误差关系图 1) 根据环境的空间光强分布或者墙面的间接反射率计算； 2) 计算房间墙面亮度，将墙面作为光源来计算观察者眼睛接收的间接照度； 3) 表面分成多个子表面，每个子表面的亮度由灯具照射的直接照度和表面之间的相互反射决定，子表面的亮度决定了观察者眼睛接收的间接照度。 其中，方法1)和2)都基于墙面照度均匀的假设。相比之下，方法3)基于墙面真实照度分布，是最准确的L b 计算方法。 基于方法3)，可以通过下列三种方法获得背景亮度L b ： a、对视野内除眩光光源外其他区域求亮度平均值，作为L b ； b、计算视野内除眩光光源外其他区域在观察者眼睛的照度值 E i ，代入 L b = E i π 求得L b ； c、手动选取背景区域，求取区域内亮度平均值，作为L b 。 下面以一个教室为例，对比上述三种方法得到的UGR结果。测量场景如图2所示，测量结果如表4所示： Table 4 UGR values under different methods of measuring background brightness L 方法 背景亮度L b (cd/m 2 ) UGR a 32.85 20.3 b 31.96 20.4 c 41.32 19.3 表4. 不同测量背景亮度L b 方法下的UGR值 方法a和b计算得到的L b 差值很小，UGR结果接近。而方法c的结果与a、b差别较大，是因为它的背景亮度L b 值受框选的区域影响，结果不唯一。 4.2. 鱼眼镜头畸变对眩光结果的影响分析 在测量眩光时，选用带鱼眼镜头的成像式亮度计可以一次性获取视野内的亮度分布，能够方便地调节视线水平。但选用鱼眼镜头存在畸变，我们需要研究鱼眼镜头的畸变对UGR结果的影响。 鱼眼镜头畸变主要引起灯具的T/R和H/R值，也就是位置指数P的测量误差(R、T、H是以观察者 图2. UGR测量场景 为原点的坐标系统，假定视线水平，R是灯具中心与观察者眼睛的距离在视线的投影距离，T是灯具与观察者在水平方向的偏移量，H是灯具高于观察者眼睛的高度)。为了分析畸变的极限影响，我们选取畸变最大的地方，即图2中UGR分析区域右上角红色部分，这个点T/R = 3，H/R = 1.9，P = 16。畸变后测量的 T ′ / R ′ 、 H ′ / R ′ 值比真实值偏小，查Guth位置指数表 [ 4 ]，得到位置指数的测量值 P ′ ，代入公式(1)计算可得UGR结果误差，如表5所示： Table 5 Position parameter values and UGR errors at different distortion ratio 畸变比例(%) 5 10 15 20 25 30 35 40 P 16 16 16 16 16 16 16 16 T'/R' 2.86 2.73 2.61 2.50 2.40 2.31 2.22 2.14 H'/R' 1.81 1.73 1.65 1.58 1.52 1.46 1.41 1.36 P ' 15.32 14.72 14.15 13.64 13.15 12.66 12.2 11.76 ΔUGR 0.3 0.58 0.86 1.11 1.36 1.63 1.88 2.14 表5. 不同畸变比例下位置参数的值与UGR结果误差 从表中可以看出，畸变最大40%时，UGR测量误差为2.14，因此在测量时需要对畸变进行修正。 目前国内外对眩光测量的方法日益完善，但对眩光测量的准确性和是否与实际眩光程度相吻合还缺乏相应的依据，眩光测量的验证和比对还需要大量的工作去实验和评估。此外，虽然采用成像式亮度计可以一次性获取视野内的亮度分布，但只能采用光强灯和标准白板的方式检测其亮度精度，其面均匀性和角均匀性没有对应的规程进行检测，这就导致测量的准确性仍需进一步求证。今后我们应该以主观评价实验为基础，结合计算机模拟，力求获得实际准确的眩光值。
system: [SYSTEM]

user: 摘 要 针对社会设施的动态选址问题，本文提出一种基于需求密度感知和Growing Neural Gas Networks (GNG)的设施动态选址方案。该方法主要有以下三方面，第一、对区域进行划分；第二、获取区域的资源需求密度，并对低密度区域进行过滤；第三：基于区域的需求密度对有限的信息资源进行合理分配。本文方法与Kmeans进行了对比，实验结果表明所提方法可有效对区域需求进行拓扑感知，并可对有限的可移动设施进行合理性规划。 关键词 :需求密度，拓扑感知，可移动设施，动态选址，GNG Copyright © 2020 by author(s) and Hans Publishers Inc. This work is licensed under the Creative Commons Attribution International License (CC BY 4.0). http://creativecommons.org/licenses/by/4.0/
system: [SYSTEM]

user: 1. 引言 社会资源规划所涉范围极其广泛，从城市、产业带、经济技术开发区、跨国经济集团分公司到机场、水利设施、人类居住区、销售网点以及仓库、配送中心等的区位决策都是选址问题研究的范畴，涉及经济、政治、社会、管理、心理及工程地质等多门学科。设施指与生产、商业流通及人类生活有关的具体网点。在该问题中，有两类模型，第一类是单设施选址，有中值模型 [ 1 ]、树状网模型 [ 2 ] [ 3 ] [ 4 ]、需求不确定模型 [ 5 ]、马尔科夫模型 [ 6 ]、需求随机增长模型 [ 7 ]，基于背包问题以及随机排列的模型 [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ]，基于成本期望最小的方法 [ 11 ] [ 12 ] [ 13 ] 等。这些模型将区域资源等问题考虑考虑了进去，但是不能解决多设施的选址问题。随着城市效应不但扩大，更多目光聚焦于多设施的科学选址，大概可分为以下三类：最优化方法 [ 14 ] [ 15 ] [ 16 ] [ 17 ]，此类方法是将区域的连续性作为约束条件，运用线性最优化算法得出最优解，可是此类方法会忽略部分最优解，并且当涉及非线性、多目标问题的时效果较差。智能类算法 [ 18 ] [ 19 ] [ 20 ] [ 21 ]，主要有遗传算法(Genetic Algorithm: GA)、模拟退火算法(Simulated Annealing: SA)、蚁群算法(Ant Colony Optimization: ACO)等算法模型，算法模型可在启发式的引导下得到近似最优解，这些方法中蚁群算法具有较强的自组织性、鲁棒性以及可进行分布式计算等特征，但是该类型方法当数据点较多时时间复杂度较高，运行效率有待于提高。聚类算法 [ 22 ] [ 23 ] [ 24 ] [ 25 ] [ 26 ]，此类算法以Kmeans为主，先把在一个区域内建多个设施问题转化为在多个区域内分别建设单一设施的问题，然后利用重心法确定各子区域设施的具体位置，但是该类问题容易造成子区域的选址结果，可能使得多个节点重合。 以上方法无论单设施选址还是多设施选址方法，设施一旦建设后就不能再移动，可是随着智慧城市的不断建设，区域变化不断加剧，这就使得可移动设施越来越受到关注，即，如何根据短期的资源需求对移动设施的方位进行调整，所以本文提出一种基于需求密度感知与Growing Neural Gas Networks (GNG) [ 27 ] 的移动设施动态选址方法，如图1所示，该方法用有限的感知单元对学习目标进行集合拓扑感知，对整个城区可移动设施资源的需求进行实时检测与分析，对有限的移动设施资源进行区域部署，从而达到节约资源的目的。本文方法首先将某区域划分为单位网状结构，统计每个单位区域内在单位时间内对可移动设施资源的需求次数和时间长度，依据阈值确定是否在该区域设置需求点，然后通过Delaunay算法对需求点进行紧邻分析，去除连接密度较低的需求点；最后基于GNG算法对剩余的点进行几何拓扑感知从而得到移动设施的区域部署。在实验中本文方法与聚类方法Kmeans进行了对比。 图1. 算法流程图
system: [SYSTEM]

user: 2. 方法 2.1. 需求密度的过滤 图2. 某区域的通信密度 在本文中，需求密度为单位区域内每次可移动设施的使用持续时间(s)之和。例如，某单位区域的面积为100*100 m，若某月在该区域内共发生N次需求，而每次需求中可移动设施的使用持续时间为 T = { t 1 ， t 2 ， ⋯ ， t N } ，则该区域的可移动设施资源的需求密度 ρ 为： ρ = ∑ i = 1 N t i (1) 图2中有9个单位区域的需求密度，若将1000设定为阈值，经需求密度过滤后如图3所示。 图3. 在图2中经需求密度过滤 2.2. 三角剖析(Delaunay) Delaunay [ 28 ] [ 29 ] 又称为三角剖析，它用三角链接将点与紧邻点连接：首先，遍历所有点，得到集合中的包盒，并将集凸壳的初始三角形置入三角形的链表中；然后，集合中的点依次插入，在链表中找到外接圆中插入点的三角形，并删除有影响的公共边，插入点与三角形顶点连接；再次，优化新的三角形，并将新的三角形放入到链表中；最后，返回到第二步直到所有点都插入为止。 2.3. 稀疏点过滤 第一：计算连接点之间的距离： D 1 : d 1 1 ⋯ d n 1 1 D 2 : d 1 2 ⋯ d n 2 2 ⋯ D m : d 1 m ⋯ d n m m (2) 其中， D i 为拓扑空间中的第i个点， i = 1 ⋯ m ， m 为点的数量， d j i 为第i个点中第j个连线的长度，其中 j = 1 ⋯ n i ， n i 为第i个点与之相连点的数量。 第二：每个点与相邻点的均值距离： D ¯ i = ∑ j = 1 n i d j i / n i (3) 第三：所有点与相邻点均值距离的概率分布密度： ∑ i = 1 m p i = 1 (4) p i = k i / m (5) k i = s u m ( max ( D ¯ ) ∗ ( i − 1 ) / m < D ¯ < max ( D ¯ ) ∗ ( i + 1 ) / m ) (6) 第四：需求点若保留需满足的条件： ∑ i = 1 m 1 p i ≤ T d o t (7) 其中 T d o t 为阈值，本文中设定为0.9。 2.4. 基于GNG的拓扑分布感知 GNG (Growing Neural Gas Network)于1995年由Bernd Fritzke等人提出，算法用“Hebb-like”原则 [ 30 ] 和有限感知单元学习目标的重要拓扑特征，与其他拓扑学习方法相比主要优势在于算法在不断的学习中不需要参数，能以增量的形式不断的加入学习单元直到达到终止条件为止，这与“生长细胞结构”模型(Fritzke， 1994b) [ 31 ] 中使用的方法相同，然而“生长细胞结构”模型具有固定维度(例如，两个或三个)的拓扑。并且相比Growing Cell Structures模型 [ 31 ] 只能选用二维和三维的拓扑维度，GNG的维度由输入数据的维度决定，并且输入的数据之间可以是不同维度的形式。算法细节可参考文献 [ 27 ]。
system: [SYSTEM]

user: 3. 对比实验 为验证本文所提方法的有效性，一地区如图4所示，该地区在初始阶段有三个人口聚集区，A、B和C，由于人口聚集区对于资源的需求较大，所以资源需求密度比其他区域稠密。现在开始对该地区进行规划，为了避开人口聚集区，在区域A、B和C的中间区域建立新城区，新城区的建设分为起步期，发展中期以及发展成熟期三个阶段，现模拟不同时期用不同数量的移动资源设施分别用本文方法与Kmeans进行感知。 图4. 某区域初始阶段 根据城市建设发展趋势，新区应以高新技术企业为主，企业需要一定数量的劳动力，所以会建设办公地点和生活社区，可将该区域的发展时期分为三个阶段：初期、中期、成熟期，如图5所示，现在对需求密度进行过滤(Tdot = 0.85)，然后分别基于GNG和Kmeans方法用50和100个感知点对需求密度进行拓扑感知，感知点相当于有限的移动设施，图6~8所示。从中可以看出，无论在任何时期，本文所提方法可有效感知新城区的资源需求，并可有效对该区域部署一定数量的移动设施。观察Kmeans可发现，由于缺乏需密度的过滤，在整个区域都有移动资源的部署，这样会使得人少区域部署部分移动资源造成资源的浪费，在观察发展初期和中期，Kmeans在新区部署的移动设施不明显，但是在成熟时期由于新区的人口数量增加，资源的需求密度也有所增加，基于Kmeans方法在新区移动资源的部署有所显著。所以综上所述，本文所提方法可有效感知资源需求，对可移动资源进行有效部署。 图5. 三个发展阶段 图6. 发展起步阶段 图7. 发展中期阶段 图8. 发展成熟阶段
system: [SYSTEM]

user: 4. 结论 为解决可移动设施的动态选址问题，本文提出了一种基于需求密度拓扑感知的动态布选址方法，该方法主要由以下三步构成：首先，将需求划分为网状结构，在每个单位区域中统计单位时间中可移动设施的需求次数和使用时间，根据阈值确定单位区域的需求点是否保留，然后根据Delaunay算法将所有需求点与紧邻点进行连接，去除连接密度较低的点；最后根据GNG算法对过滤后的需求点进行几何拓扑感知从而得到可移动设施的布点。对比实验表明本文所提方法可根据可移动设施需求密度分布对有限数量的可移动资源进行有效部署。
system: [SYSTEM]

user: 摘 要 周仲铮的自传《小舟》是其代表作，作品展现了“五四”时期一位少女在中国大家庭中的成长经历。自传不仅是个人历史的自述，更是作者对自我身份的建构和阐释。通过自传事实的选择和解读，周仲铮在《小舟》中塑造了追求自由、勇于抗争的自我形象。《小舟》中的自我身份是多维度的，不同时空下的“我”的关系折射出作者对自我的理解。同时，周仲铮作为海外华人所处的社会文化语境影响了其自传的身份建构，使她的自传写作成为异质文化语境下自我表达的一种方式，具有反抗海外华人女性在文化和性别上双重边缘地位的意义。 关键词 :周仲铮，小舟，自我身份，自传 Copyright © 2020 by author(s) and Hans Publishers Inc. This work is licensed under the Creative Commons Attribution International License (CC BY 4.0). http://creativecommons.org/licenses/by/4.0/
system: [SYSTEM]

user: 1. 引言 德国华裔作家周仲铮(1908~1996) 1957年用德语创作的自传《小舟》回顾了自己在中国度过的童年和青年时期，讲述了她在“五四”运动的影响下从养尊处优的大家小姐成长为妇女解放斗士的心路历程。作品在德国一经出版即成为畅销书，当选为1959年德国最优青年读物。此后，中、英、法、荷、意等多语种译本陆续出版，一个中国少女在新旧时代更替时期的成长故事得到海内外读者的广泛关注。目前，对于《小舟》的研究比较侧重于文本反映的外部因素，比如“五四”时期的思想变迁、近代女性社团的发展等，却不够重视自传的内部因素，特别是作者在文本中的身份建构与自我形象。身份是自传写作的起点和自传文本的归属，自传写作是作者对自我身份进行建构、阐释和确认的过程，因而从自我身份建构的角度来探讨《小舟》这部自传是非常有意义的。 根据菲利普·勒热讷对自传文本的界定，自传以回顾性视角叙述作者本人的个人生活，尤其是他的个性的历史( [ 1 ]， P.3)，强烈的自我意识和自我表达的愿望是作者写作自传的基本动机。而自传作者自我意识的核心是身份意识，即作者对自己身份的确定( [ 2 ]， P.23)。自传作者同时具有自然的、社会的、文化的、法律的、家庭的等多种身份，在写作中作者不会对所有种类的身份都加以强调，所以本文特别关注的是身份的自我认同，是作者自己最重视的一个或几个身份。作者写作自传前会对自己的生命流程进行定位和定性，以此为基础选择和安排传才，建构出符合自我身份认知的自我形象，并对自己的身份进行解释，以证明自我身份的合理性，使读者认可自己的身份。本文通过对《小舟》文本的解读，结合周仲铮的成长经历和创作背景，从自传事实选择、自传中不同时空下的“我”以及异质文化语境下的自传创作三个方面分析周仲铮在自传书写中如何对自我的身份进行建构和阐释。
system: [SYSTEM]

user: 2. 自传事实与身份建构 自传事实是构成自传的基础。学者赵白生指出，从历时性方面来看，自传事实具有呈现自我生成的特点，通过自传事实，读者可以了解传主的自我发展过程；从共时性方面来看，自传事实具有事实经验化的特征，即作者在自述生平的同时对所述事实进行解读和剖析，将事实经验化( [ 3 ]， P.117)。以上所述自传事实的两个特征都与作者对自我身份的理解密切相关：自传事实是建构自我形象的基本素材，作者对自传事实的选择和安排、剖析和解读以其对自我身份的认识和理解为基础。通过对《小舟》内容的梳理，笔者发现，作者主要选取童年时期的家庭生活和青年时期的抗争经历两个方面的自传事实来建构自己的过去，呈现一个中国大家庭女性成员的成长经历。 2.1. 童年生活 童年时期的回忆占据了《小舟》相当多的内容，尽管这一时期在时间上距离写作自传时的作者相当遥远，作者还是在自传的前五章真切而细致地再现了自己幼年时在上海和天津的生活。童年时代是传主探索自我的开始，是决定其一生极其关键的因素，对于塑造自我有着非常重要的作用，所以不论西方还是中国的现代自传作者都很重视童年时代的经历。 周仲铮所在的周氏家族是天津的名门望族，中国传统的家族制度和性别制度在家庭生活中得到普遍的延续。父辈在政治和经济界大有作为，而家族的日常生活主要依靠女性来维系。《小舟》前五章对母亲的回忆和观察十分细致，却少有父女之间的细节性回忆。父亲是隐入幕后的家庭领导者和决策者，与孩子教育相关的方向性问题如孩子何时入私塾读书、读哪些书目等由父亲决定，但家庭的日常事务和子女养育由母亲实际负责，孩子成长的陪伴者和言行举止的实际教导者是母亲，所以作者对于女性家庭角色的初始认知主要来自于母亲。 尽管幼年的周仲铮对大家庭里森严的礼教和男尊女卑的性别关系不甚了解，但她仍然注意到母亲在家庭生活中背负的沉重负担。母亲在家中既要作为慈爱的母亲照顾孩子，又要作为娴淑的妻子服从父亲，作为儿媳还需侍奉翁姑，谨慎处理大家族中微妙的人际关系。作者的儿时记忆中，在周家作儿媳的母亲总是抑郁寡欢的，只有当外婆来访或回扬州的娘家时她才会高兴起来。在外婆家，母亲得以暂时摆脱作为大家庭儿媳妇需要承受的压力和束缚，恢复了女儿的身份，重获自由和快乐。母亲在婆家和娘家的反差使幼年的周仲铮对女性在婚姻家庭中的处境有了懵懂的认识，对婚姻的意义产生质疑：“结婚可能是件痛苦的事，它扼杀了一个少女的生活，使之适应夫家的生活习惯。这或许就是母亲不爱女孩的缘故？”( [ 4 ]， P.18) 女性在婚姻中承受的痛苦成为作者眼中母亲偏爱男孩的原因，这甚至使她产生放弃女性身份、成为男性的愿望。就作者当时的年龄和认知能力来说，想成为男性主要是为了获得母亲更多的爱，但这仍从侧面反映出幼年时期作者因自己的女性身份而感到一种焦虑。通过母亲的处境，作者可以隐约感知到传统的父权秩序下，女性在社会角色的扮演中处于从属地位，成年女性接受母亲、妻子、儿媳等身份意味着个人自由的丧失，“我要当男孩”这一愿望实际上暗含着摆脱女性身份带来的压力的愿望。 女性成年后在婚姻家庭中的境遇使周仲铮在童年时期对自己年龄的增长感到十分担忧。“一个十岁的姑娘已是三分之二少妇，因为她十五岁就要结婚”( [ 4 ]， P.36)。在幼年的周仲铮心中，“童年自我”和“成年自我”是分裂开来的，“成年自我”意味着接受妻子、母亲等身份的束缚，相比之下，“童年自我”则拥有自由和希望。学者陈玉玲指出，童年在女性自传中有极其特殊的意义，因为童年被想象成“真正拥有自我的一段黄金时光”( [ 5 ]， P.189)，回忆童年成为女性自传中的一种纪念仪式。由此可见，作者幼年时害怕长大的原因在于其希望拥有自我的童年时代得以延续，这也是她青年时代奋起反抗的心理动机之一。而成年后的作者在自传中怀着伤势的哀愁追忆童年，一定程度上表达了她对女性社会化之前的未受压抑的“童年自我”的向往与缅怀。 2.2. 叛逆少女的抗争经历 叛逃家庭、争取进学校学习和出国留学的机会是作者回忆的核心内容。同二十世纪初多数中国官宦家庭的女儿一样，周仲铮和姐姐只能在家中的私塾读书，无法像哥哥们一样去新式学校学习。她和姐姐日常要学习刺绣和手工，读《女儿经》、《烈女传》。这种以打造相夫教子的贤妻良母为目标的传统教育使她深感不满。“五四”新文化运动开始后，周仲铮接触到《新民意报》及其专门探讨女性问题的副刊《女星》，她从中学习到女性解放、男女平等的新思想，日益认识到传统性别制度的不合理性，遂萌生了逃离大家庭的愿望。周仲铮的想法得到天津妇女运动领袖李峙山的支持，在她的帮助下，周仲铮离开天津的家，来到北京。离家出走期间，天津的女性社团女星社负责调解两代人的矛盾，劝说周仲铮的父母支持女子教育。经过多方努力，双方达成和解。周仲铮重新回到天津，而她的父母则允许她入读直隶女子第一师范学校。 进入女师学习后，周仲铮并未停止抗争。第一女师在教学上偏重家政课程，在生活上对女学生的言行举止实施严格的监督，固守“男女之大防”的性别界限，而周仲铮对这种固化传统性别观念的教育方式提出质疑，号召同学进行抵制。对女师的教育模式感到失望的周仲铮开始追求进入高等学府深造的目标，她成为南开大学向女性开放后首批入学的四名女学生中的一员。在南开大学学习两年后，周仲铮决定留学欧洲，进一步认识世界。官宦之家的未婚女子出国留学在当时实属罕见，这一决定遭到父母的强烈反对。周仲铮再次与父母抗争，坚持不懈地与父母周旋，最终她获得父母的许可，于1924年赴法留学。 由此可见，作者试图在《小舟》中呈现一部“五四”运动时期女性青年的抗争史和叛逆史，文化传统、新兴的社会思潮和社会团体、作者的个人追求都在这一过程中发挥作用。杨正润认为“身份的自我认定，是社会的文化机制和主体的自我意识共同作用的结果”( [ 6 ]， P.312)。那么，周仲铮与家庭持续性的抗争，抵抗学校在塑造女性角色上的偏颇，则是反抗社会文化机制对女性身份的束缚、张扬自我意识的过程。透过对立、对抗的过程，周仲铮逐步争取到发展和定义自我的自主权，确立了自己的主体性，她将名字由“周荃莲”改为表示铁骨铮铮的“周仲铮”就是宣示自主权的一种表现。透过关于对抗性经历的述说，《小舟》凸显了周仲铮的身份追求，树立了独立、勇敢、具有自由意识与反叛意识的自我形象，建构起打破既有文化传统下女性身份标签的新身份。
system: [SYSTEM]

user: 3. 不同时空下的“我” 自传书写是以自我为轴心展开的，但这里的自我并非单一的、直线的、平面的，而是多个层次的自我在时间与空间的移动中相互对话、交涉、凝视，并接受公众的论断( [ 7 ]， P.82)。下面，笔者将以私人领域的“小我”与公共领域的“大我”、“现在的我”与“过去的我”之间的互动与对话为例，分析周仲铮自传书写中不同时空下的“我”。 3.1. “大我”与“小我” 一般而言，男性自传主要通过传主在政治、军事等公共领域的经历来建构自我及反应所处的时代，而长期以来，女性则被困在私人领域，“女性要写自传必须进入公共的、知性/精神的话语领域，也就是说，在历史上，她必须越过将女性生活定义仅局限于私人生活这一文化准则”( [ 8 ]， P.273)。因此，私人领域的“小我”和公共领域的“大我”之间的关系对于考察女性自传中的身份建构尤为重要。 首先，《小舟》继承了女性自传的书写传统，注重私人领域的书写，并倾向于通过自我与他人的关系来反思、建构自我。周仲铮在自传中详细回顾了自己的家庭生活，与家人共同的生活经历、与家人的关系、兄弟姐妹的个人命运是她关切的核心。她首先将自己以女儿、姐妹的身份置身于家庭生活领域中，通过父母的婚姻关系、自己与父母间的代际关系、与兄弟姐妹的同辈关系来展现自己的成长环境，描写与解读个人的发展过程。 其次，《小舟》在“五四”运动和妇女解放运动的时代背景下表现个人的历史，记录了女性打破私人领域的局限、进入公共领域的尝试。周仲铮在《小舟》中译本后记中将自己称为“一个过渡时代的人”和“五四运动的产儿”( [ 4 ]， P.273)。这说明她在自传书写中不仅从家庭关系出发定义自我，还在更加广泛的时代背景下阐释自我。周仲铮叛逃家庭并最终赴法留学的经历是近代社会女性突破私人领域的局限、在公共领域争取发展空间和自由的一个范例。她在自传中特别强调，《新民意报》、《女星》等提倡新思想的近代报刊媒体在她的抗争过程中发挥了重要的启蒙作用，而她离家出走的事件经过媒体报道又激发了社会对女性解放的广泛讨论。时代思潮对周仲铮的个人发展和个性形成产生深刻影响，同时她个人的奋斗经历又成为时代记忆的一部分，参于塑造了时代话语。由此可以看出，周仲铮的自传将个人命运与社会历史的发展融合起来，既反映了中国新旧时代交替时期独特的社会风貌，又记录了个体在历史大潮中对人生意义的求索，从而将“小我”与“大我”的统合起来。 3.2. “现在的我”与“过去的我” 周仲铮在《小舟》中按照时间顺序追述了自己从出生到青年时代的成长经历，但作者并非单纯地“再现”过去，而是从“现在的我”的立场出发重新诠释“过去的我”。《小舟》中的“我”既是现时自传文本的叙述者，又是历史中的被叙述者，两者在自传书写中统合于一体的同时也在不断地裂解，“现在的我”审视着“过去的我”，与其进行或公开或隐蔽、或直接或间接的对话。在此过程中，作者选择哪些事件呈现“过去的我”以及从哪些角度叙述，本身已经构成一种论述方式，在一定程度上反映出作者对于自我及周边世界的认知( [ 5 ]， P.189)。 作者在《小舟》中非常细致地回顾了自己所在的大家族的日常生活，包括家庭的组织结构、生活规范、礼仪习俗、婚丧寿考等方面的情况。值得注意的是，作者在展现大家族的生活形态时，并不刻意炫耀曾经的奢华生活，也未有意拔高立场，对大家族的守旧作过多批判，而是描写了种菜、养蚕、游戏、家庭诗会、游园、会客、纳凉等诸多充满情趣的家庭生活片段。占据作者回忆主流的不是大家庭生活中的排场与矛盾，而是父母子女之间、兄弟姐妹之间平常而温暖的场景。虽然《小舟》塑造了一个与家庭抗争的叛逆的自我形象，但作者在自传中将自己激烈的抗争经历温和化了，较少渲染守旧的父辈与激进的子辈之间的矛盾，避免对两代人冲突的正面描写，而是着力刻画父母在新思想冲击下的茫然与困惑，在面对子辈抗争时的震怒与失落，以及最终因爱而妥协的无奈。总的来看，作者创作自传时并不是单纯地从新时代的视角去批判传统家庭的因循守旧，而是写两代人之间的亲情与含蓄的爱，写两代人因思想不同而无法互相理解的痛苦与无奈，使整部作品成为关于家园的温暖回忆。 周仲铮年少离家，远航欧洲，留学法国、荷兰，最后定居德国。在德国创作《小舟》时，她已经离开中国三十多年。书名“小舟”一方面指代周仲铮本人，因为她在南开大学学习期间常被同学叫做“小周”，“小舟”和“小周”同音。另一方面，小舟是她对于自己当下境遇的形象比喻，栖身国外、历经艰辛的她如一只风浪中的飘摇的小舟。作者青少年时期在固守男尊女卑传统的家庭中固然承受许多痛苦，甚至一度叛逃家庭，但在如小舟一般漂泊多年后，家庭记忆经过作者的筛选、重组与诗化，滤去了苦痛，成为美好的眷恋。家庭回忆使现在身处德国的“我”与过去在天津家中同父母兄妹共同生活的“我”相互交涉，如纽带一般将“现在的我”与遥远的故乡联结起来，为远离故土的“我”提供了重要的归属感与认同感。周仲铮在第一章开篇的短诗中写道：“母亲，要知道，我虽身在远方，却依然活在你的心里。母亲，我希望一旦归来，你仍将我喜爱”( [ 4 ]， P.1)。正因为对故乡的眷恋与对父母之爱的怀念，作者在展现家庭关系时没有像习见的描写“五四”时期的作品那样将父辈与子辈置于压迫与被压迫的对立关系中，她笔下的父母不是顽固不化的旧思想代表，“过去的我”不是大无畏的女英雄形象，“我”与父母都是在时代和自己身份限定的空间内挣扎着渴望亲情的普通人。时过境迁之后，“现在的我”已经可以理解父母当时的处境，与曾给自己带来痛苦的家庭达成和解，父母给予的温暖和爱成为故乡记忆中最无法割舍的一部分。
system: [SYSTEM]

user: 4. 异质文化语境下的身份书写 德国汉学家顾彬指出：“现今国际图书市场所谓的新趋势，即中国作家用外文写作，追忆自己在中国的青年时代，实际上早已有一位先行者：定居波恩的艺术家周仲铮”( [ 9 ]， P.236)。作为海外华人作家，周仲铮远离故土多年，长期处在异质文化的包围中，但她在中国长大，她的父母按照孔子的规矩教育子女，家塾中教授中国传统的文化典籍，中国文化的基因根植于血脉深处。于是在她脱离文化母体，与西方文化碰撞和遭遇，自己的文化身份因为身处东西方文化之间而无法定位时，沉积在记忆深处的中国文化基因就会自然显现，书写自己在故乡生活的经历成为寻求和确认自己文化身份的一种方式。周仲铮在晚年的回忆文章中提到自己最初进行写作并非有志于文学创作，而是因为当时她远在德国，归日无期，为了怀念，才开始写自己在中国的童年和青年时代( [ 10 ]， P.74)。自传以回顾性的视角来建构个体的生命历程，但其立足点和出发点还在于当下的自我。对于长期远离故土的周仲铮而言，自传不仅重绘了自己成长和发展的轨迹，更重建了自己与中国文化失落的联系。在异质文化语境下自我表达、自我确认的需要成为她写作自传的重要动机，同时影响了叙述语言的选择。《小舟》有大量的对中国传统文化、建筑、饮食、家族制度的描写，记录了“五四”时期中国社会历史的变迁，而中国故事要进入德国读者的视野，就需要采用当时社会主流的写作语言，即德语。如此，周仲铮内心对故土文化的情感才有可能被德国读者理解，作为海外华人自我表达与认同的声音才能更好地被听到。 周仲铮不仅是身负东西方双重文化传统的华人作家，同时还是成长于男尊女卑的中国传统家庭的女性作家。较之于男性作家，女性作家更多了一层传统和观念的枷锁。传统的女性自传批评认为，一般大众期待男性比女性更有施为能力。女性的生活常常没有公共空间，没有机会缔建丰功伟业，因而女性提笔写自传时，往往自惭形秽( [ 11 ]， P.134)。周仲铮作为欧洲世界中的华人和中国男性世界中的女人，在文化和性别的社会构成中均处于边缘地位。在双重压抑之下，反抗是必然的，而周仲铮的自传写作就成为一种极有意义的反抗行为，是对自己在性别和文化上双重边缘身份的挑战。因为她的自传将被历史淹没的海外华人女性的成长史和个人经验引入读者的视野，在边缘中发出了自我维护与自我确认的呼喊。对海外华人女作家这一身负双重枷锁、处于双重边缘的特殊群体而言，这种自传写作能以文本的形式再现个人历史，反抗社会现实，因而是一种有效的自我主体的认定，使她们能够以写作的方式证明自我，获得身份认同。
system: [SYSTEM]

user: 5. 结语 综上所述，作者通过安排童年家庭生活和青年反叛经历两方面的自传事实，在《小舟》中塑造了勇于反抗传统性别观念、追求独立与自由的自我形象，并将个人历史中的“小我”与时代记忆下的“大我”相结合，呈现了女性个体在“五四”时期的奋斗与挣扎。文本中这一自我形象的建构又映射出作者海外华人女性的身份和境遇。多年的异国漂泊后，家庭给“过去的我”带来的痛苦淡出记忆，留下的是对家庭温暖和中国文化的无限怀念与眷恋。作为生活于西方社会的华人女性，作者在社会的文化和性别构成上处于边缘地位。在这一特殊境遇下，自传书写成为异质文化语境中自我表达、自我认同的尝试，是作者对自己边缘身份的一种反抗。
system: [SYSTEM]

user: 摘 要 电力物联网系统内大量部署了嵌入式微控制器。在航天恒星自主研发的输配电杆塔稳定性监视系统的地面通信节点中，必须保证起核心作用的嵌入式微控制器的功能正确性。由于验证处理器功能正确和完备性与其它ASIC电路相比更为困难，本文分析了一种基于RISC-V指令集的微控制器形式化验证方法。该方案具有形式化验证的一般优点：基于开源的工具链，搭建简单，自动化程度高，适用于低成本微控制器的功能验证解决方案。 关键词 :微控制器，RISC-V，形式化验证，电子设计自动化 Copyright © 2020 by author(s) and Hans Publishers Inc. This work is licensed under the Creative Commons Attribution International License (CC BY 4.0). http://creativecommons.org/licenses/by/4.0/
system: [SYSTEM]

user: 1. 引言 顺应我国经济社会的发展要求，对公共电力基础设施适应高新技术产业提出了“智能化”的更高要求 [ 1 ]。“智能电网”将电力资源高效率地输送、调配，保证供电质量和稳定 [ 2 ] [ 3 ]。智能化设施将海量的传感器设备和通信节点布设到电力系统中，形成电力物联网系统 [ 4 ] [ 5 ]，其运算能力的主要承载者来自于大规模部署的嵌入式控制器 [ 6 ]。因此，智能化广泛在电力物联网的实现需要大量经过功能验证的微控制器，尤其是在涉及到电力等关键基础设施的情况下，需要严格地保证软硬件的功能正确性 [ 7 ] [ 8 ]。 RISC-V是一种新兴的开源指令集，具有简洁、紧凑、模块化、易于实现的特点，是近几年国内外处理器研发创业公司的首选 [ 6 ] [ 9 ]。对处理器进行功能验证不同于其它ASIC的验证 [ 10 ]，在于任何处理器的实现需要符合它依赖的指令集规则。在目前，很多实现将能够运行定点/浮点性能测试程序，或Linux操作系统作为其功能正确性的标志，但这类方法往往不能穷尽所有的测试用例，而高级语言的编译器也可能隐藏硬件中的一些设计错误。对处理器或其它复杂硬件最可靠的功能验证方式是形式化验证，通过数学证明检查硬件实现与一套预设规则集是否等价。形式化验证能够系统地、完备地发现设计中的错误，或证明设计中没有错误 [ 11 ]。 在后续的章节，首先对适用于RISC-V控制器设计的形式化验证流程进行概述，然后分析了RISCV-Formal，一个用于发现设计错误的开源工具链，最后将该工具链应用于一个具体的RISC-V嵌入式处理器实现。
system: [SYSTEM]

user: 2. 形式化验证流程 处理器形式化功能验证流程要解决的两个问题是：已知一个处理器电路的设计和其寄存器合法的初始状态，1) 处理器是否会运行到某些不可接受的状态，称为安全属性(Safety Property)；2) 一些可接受的的状态是否可以运行到，称为活跃属性(Liveness Property) [ 12 ]。证明形式分为有界检查和无界检查，有界检查仅考虑从初始状态开始经过预设的时钟数后是否存在属性违例；无界检查则推测经过任意时钟数后是否会存在属性违例，通常通过k步数学归纳法验证 [ 11 ] [ 13 ]。 如图1所示，RISC-V形式化验证分为三个主要步骤：1) 产生/获取对指令集的形式化规约；2) 在硬件设计过程的关键点中插入断言；3) 对HDL代码进行属性证明 [ 14 ] [ 15 ]。 2.1. 形式化规约 在一开始，处理器指令集架构是以自然语言发布的规范文档，它规定了一个处理器要实现或兼容此指令集的设计需要能够处理哪些指令，指令的格式，以及运行指令产生的后果。指令集架构规范是与具体的机器无关的 [ 1 ]。 图1. RISC-V形式化验证流程 自然语言描述的规范可能带有各种歧义或疏漏。为了避免阅读时产生歧义，进一步便于作为自动化证明系统的输入，程序语言规约用规范的方式定义和描述。程序化的规约也和机器实现无关 [ 10 ]。 2.2. 插入断言 现代处理器通过硬件描述语言(HDL)设计。HDL的硬件描述通过综合器输出为逻辑门构成的网表格式，或直接在仿真器上运行。 设计错误本质上就是对规约的违反，因此要在仿真时发现这些违例，可通过在代码中加入断言的方式表征处于安全状态时处理器状态所必须具备的特性。 YOSYS综合器支持四种断言，如下表1所示： Table 1 Four categories of assertion 类型 assume assert cover restrict 用法 在求解逻辑表达式时赋值为真，设置其它断言的前提条件 在求解逻辑表达式时若为假，则判定为违例 在求解逻辑表达式时若为真，则判定为活跃 类似于Assume，但不作为其它断言的前提，仅用于缩小解空间，加速运算 表1. 四种断言类型 在编写代码时，断言结构一般被内嵌于一个独立的always-case结构中，用于捕获电路部分信号之间的关系。assume断言和assert断言用来组成安全特性规则，出现assert语句内的表达式为假时，判断安全特性违例；cover断言用来构造活跃特性规则，如果cover语句内的表达式能够在有效的步数内取得一次真，则说明所监视的状态可达，因此cover语句只能在有界模型中测试。 2.3. 形式化证明 当前广泛用于硬件验证的软件是基于可满足性模块理论(Satisfiability Modulo Theories， SMT)的固定规模布尔变量证明器，典型的有Z3、Yices 2、CVC4、boolector等 [ 10 ] [ 16 ]。SMT证明器的输入是一组变量声明和一组断言，然后通过无量词的皮尔斯伯格自动机算法决策这组断言是否能够被满足 [ 17 ]。表2是一个SMT-LIB 2格式的输入实例，它描述了RISC-V指令集中的add指令所必须满足的特性。 Table 2 SMT input example—instruction ad 行为 从rs1和rs2寄存器中读取内容，进行定点加法后回存到rd指定的寄存器中 形式化描述 (declare-const(regf Array (_ BitVec 64))) ;定义寄存器文件regf (declare-const rs1 (_ BitVec 5)) (declare-const rs2 (_ BitVec 5)) (declare-const rd (_ BitVec 5)) ;定义5比特寄存器索引 (declare-const sum (bvadd(select(regf， rs1)， select(regf， rs2)))) ;sum等于从regf的索引rs1， rs2读取定点数之和 (store(sum， regf， rd)) ;将sum存储到regf索引为rd处 (assert(not(= (select(regf， rd))， sum))) (check-sat) 表2. SMT输入实例——add指令 在表2中，断言(assert(not(= (select(regf， rd))， sum)))宣布从regf的索引rd处读取的值一定等于sum，在此将其取否，通过(chech-sat)命令求解是否存在使整个表达式为真的赋值；当证明器找到一个解时返回sat，无解时返回unsat。由于希望断言恒成立，则等价于其否断言无解。证明处理器实现的指令行为符合规约是否符合规约则转换为该指令对应断言的否是否无解，这是进行符合性验证的一般思路 [ 11 ] [ 13 ]。
system: [SYSTEM]

user: 3. 形式化验证工具链 虽然在上述的三个步骤中，可选取的开源或闭源工具有很多，但是RISCV-Formal是一整套依托于开源工具的验证框架。RISCV-Formal的主体部分是HDL综合器YOSYS的前端工具SymbiYosys，这一工具可将YOSYS的综合输出网表转交给后端的SMT证明引擎。SymbiYosys支持多种SMT证明器，包括有界模型和无界模型的工作模式。在有界模式下，SymbiYosys每个周期把电路状态的快照翻译成命题逻辑，由证明器解析；在无界模式下，它仍然先进行一次完整的k步有界检查，如果正确，它再尝试进行k步归纳，证明第k + 1步的状态一定正确。 在YOSY断言分类下，assume、assert、cover、restrict断言和SMT输入格式有一一对应的关系。 1) assume和restrict断言对于证明器是同一种，它们都被转换成(declare-)赋值，这些确定的变量作为已知的皮尔斯伯格自动机输入序列，可以减少证明的时间； 2) cover断言被原样地转化成SMT断言，当证明器找到一个解时，说明断言描述的状态是可达的； 3) assert断言被转换成取否的SMT断言，如果证明器发现了一个解，则说明发现了一个不符合性问题，这个解的变量赋值情况被解析成波形文件报告给用户，告知这一非法状态是如何到达的。 RISCV-Formal能够验证两种形式化符合性问题，它通过以时钟周期为单位调用证明器求解状态来解决这两种问题，它们调用证明器的时机和求解的问题如下： 对单条指令行为进行的端到端有界模型检查。在每个用户使能的指令测试中，处理器首先无约束地运行预设的时钟周期，在最后一个周期时，证明从提交单元交付的每个指令字的交付前/交付后状态符合规约。 对多条指令序列的行为进行一致性有界模型检查。在该模式下，检测器先在复位状态下运行N个周期，再在置位状态下运行M个周期；在M个周期内，检测器任意选择一个周期锁存当前状态，然后在最后一个周期比对前后的状态。这一机制可以发现：PC一致性问题，即第k条指令注册的PC是否与第k + 1条指令读取的PC相同；寄存器一致性问题，即对同一寄存器的写入和读取的结果是否匹配；活跃性问题，即某条指令提交后，有后续的指令继续执行；因果关系，即对前一指令存在依赖关系的指令是否提前提交。 通过这些测试用例的实现将可以保证符合最基本的RISCV-32I规范。除去正确地实现合法指令及流水线外，该控制器必须能够发现未定义的非法指令，这意味着指令译码逻辑必须是完备的(在译码合法指令时总返回真，译码非法指令时总返回假)。截至到本文撰写时，RISCV-Formal尚未支持64I和32E两种变体，考虑到微控制器基本是32位的，选择32E的实现需要临时补全32个寄存器的寄存器文件。
system: [SYSTEM]

user: 4. 应用实例 在图2的智能电力巡检系统中，提出了一种在丘陵、山地地形，气候恶劣，经常有大风暴雨的环境下，对电力传输杆塔进行远程智能监控的解决方案。在这一方案在被控地区的传输塔体上安装多种传感器(倾角传感器、位置传感器、结构应力传感器等)，这些不同制式的数据在地面通信节点汇总，进行转换处理后中继到卫星或附近的基站。通信节点需要用到一款微控制器作为融合传感器到卫星链路/基站的协议转换节点 [ 1 ]。我们希望通过一个自主研发的RISC-V核心代替基于ARM Cortex-M的核心。 图2. 传感器地面节点 PICORV32是一款小面积、低功耗，具有相当可配置性的RISC-V 32位实现。通过控制描述文件的宏定义，它可以配置为支持压缩、乘法扩展，并可以选择32E或32I中的一种基础整数值指令集。它还带有一个可选的中断控制器，以及AXI-Lite或Wishbone内存总线。 RISCV-Formal为PICORV32准备了76个单指令测试用例，覆盖了全部整数指令，部分常用的控制与状态寄存器指令和它们的汇编别名。其它测试包括：单字只读内存模拟，用于检查内存系统到检查器的路径上是否存在问题，指令内存和数据内存均可以被测试；等价性测试，形式化地证明电路在移除RISCV-Formal逻辑前后功能等价；完备性测试保证非法指令不被提交。 为了测试RISCV-Formal的工作流程，在PICORV32的源文件中注入了一个常见的bug。因为RISC-V的最小指令长度为16位，因此所有指令的地址应当至少是16的整数倍；在规约中，跳转并链接寄存器指令JALR会把一个符号扩展的立即数和一个链接寄存器相加，将结果的最低位直接清零后，作为新的取指地址写入PC。有些实现忘记把最低位清零，或只是把写入PC的副本最低位清零。表3中进行的替换复现了这一bug。 在替换后，对JALR指令的测试用例发现了这一错误，并生成了一个违例的反例，用户可以通过波形查看软件分析反例的波形(如图3)。因为这一bug，RISCV-Formal检查器取回的下一条PC值与预期的不符，报告错误的指令的细节在最后一个周期从rvfi_*端口中读取，例如编码和操作数可以分别从rvfi_insn和rvfi_rs*_rdata输出信号中获取，这可以为除错工作指明方向，提高排查效率。 Table 3 Injected JARL bu 注入前 current_pc = latched_store ? (latched_stalu ? alu_out_q : reg_out) & ~1 : reg_next_pc; 注入后 current_pc = latched_store ? (latched_stalu ? alu_out_q : reg_out) : reg_next_pc; 表3. 注入的JARL错误 图3. JALR反例波形图
system: [SYSTEM]

user: 5. 结论 在实际的测试中，RISCV-Formal确实发现了一些被高层次软件屏蔽的处理器实现错误。 当然，这套工具仍然存在一些实用性的问题。例如目前，它没有实现从程序规约文件推导断言测试用例的能力；这意味着从指令集规范到sby测试用例是由开发者编写的，这在很大程度上削弱了程序规约的使用价值；此外，RISC-V规范的草案版本除整数指令集外正处于快速迭代中，一些模块的定义或设计逻辑发生了根本的变化(例如此前所有强制要求的计数寄存器被移除出基础指令集，而转为统一的控制与状态寄存器指令)，那么下一版本的定案规约将同目前的版本有很大差异，如何充分利用社区的劳动成果，把机器无关的程序规约转化成具体的、机器相关的HDL断言是一件很有价值的工作。 推广RISCV-Formal及类似形式化验证框架的意义在于，让形式化方法在小规模电路设计(不仅限于微控制器)团队中普及起来，让硬件验证成为一门严谨的数学，有助于提高数字产品设计研发的质量，提高IC设计行业的整体水平 [ 8 ] [ 18 ]。 最后，硬件的形式化验证可以从根源上排除功能设计上的错误，不仅限于处理器的设计，还适用于其它种类数字电路，乃至软件系统的设计 [ 9 ] [ 18 ]。目前，国内应用形式化验证的正式系统实现尚较为缺乏，这使得开源硬件运动缺少与涉及国计民生的关键应用结合的自信。推广形式化验证工作方法有助于进一步推进我国IT/IC事业的蓬勃发展，将开源硬件/软件的资源和成功转化到这些关键系统领域中。
system: [SYSTEM]

user: 摘 要 本文提出采用燃烧合成法制备超细B 4 C微米粉的新思路，研究了还原剂镁配入量、氧化硼配入量以及坯样压力对反应的影响。结果表明： 2 B 2 O 3 + C + 6 M g = B 4 C + 6 M g O 体系的绝热温度为2750 K，体系可以进行自蔓延反应；自蔓延燃烧产物主要由MgO、B 4 C和少量Mg 3 B 2 O 6 相组成；采用盐酸浸出可有效除去MgO和Mg 3 B 2 O 6 得到纯净的B 4 C相；随着氧化硼配料量增加燃烧产物中Mg 3 B 2 O 6 含量会增加，但产物粒度无明显变化；随镁配料量增加自蔓延产物中MgO含量上升，同时有利于B 4 C的合成，当Mg过量5%~15%时产品粒度存在最小值；制样压力的增加，可显著细化产品粒度；不同的碳源类型对产品的微观形貌、粒度大小以及产品纯度均存在明显的影响。 关键词 :燃烧合成，B 4 C超细粉，浸出除杂 Copyright © 2020 by author(s) and Hans Publishers Inc. This work is licensed under the Creative Commons Attribution International License (CC BY 4.0). http://creativecommons.org/licenses/by/4.0/
system: [SYSTEM]

user: 1. 前言 B 4 C具有高硬度(仅次于金刚石和立方氮化硼)、低密度(2.52 g/cm 3 )、高熔点(2450℃)以及高中子吸收截面(600b)等优点，广泛应用于防弹材料、耐磨和自润滑材料、切割研磨工具、防辐射材料和原子反应堆控制和屏蔽材料等；军火工业中可用作制造枪炮喷嘴 [ 1 ] [ 2 ] [ 3 ] [ 4 ]。工业生产B 4 C的方法是电弧炉碳热还原法，即首先矿热炉碳热还原得到碳化硼结晶块，经破磨，湿法酸洗净化得到碳化硼粉体，该工艺存在粒度大(微观晶粒尺寸10~20 µm，微米级碳化硼超微粉 < 2.0 µm)、杂质含量高、烧结活性差等缺馅，且破碎磨细过程 [ 5 ] [ 6 ] [ 7 ] 造成二次污染，导致产品纯度下降。激光诱导化学气相沉积法是以含有碳源及硼源的气体(BCl 3 、B 2 H 6 、CHCl 3 、CH 4 等)为原料，在激光辐射下混合气体迅速升温反应生成B 4 C纳米颗粒，再经过处理得到具有纯净的纳米B 4 C粉 [ 8 ]。溶胶–凝胶法也是制备B 4 C超细粉的一种新方法，Sinha用硼酸/柠檬酸凝胶前驱体在1000℃~1450℃保温2 h，得到平均粒径为2.25 µm的B 4 C微粉 [ 9 ]。目前，B 4 C超细微粉制备仍旧是研究热点和难点，其制备技术只有少数几个国家掌握。燃烧合成法作为一种超细粉体的方法，制备的粉体具有高活性等优点 [ 9 ] - [ 15 ]。本文系统研究了工艺条件对燃烧合成制备B 4 C粉体品质的影响。
system: [SYSTEM]

user: 2. 实验 2.1. 实验步骤 按比例称量氧化硼，镁粉，碳粉，混匀并压制成块体；然后将压块置于自蔓延反应器中以镁粉为引燃剂点燃，冷却至室温收集燃烧产物；接着将燃烧产物进行盐酸浸出；最后过滤、洗涤、干燥得到B 4 C粉体。浸出条件：浸出温度为80℃，搅拌转速为200 rmp，浸出时间为2 h，固液比为1:15，盐酸浓度为6 mol/L。 2.2. 检测分析 釆用德国Bruker公司的D8型X-射线衍射仪对燃烧产物和浸出产物进行物相分析，采用Cu-Kα射线，扫描范围10˚~90˚，扫描速度为8˚/min，步长为0.01˚；采用日立SU-8010型扫描电子显微镜对燃烧产物和浸出产物进行微观形貌分析，扫描电压10 KV；采用Malvern MS2000粒度分析仪对浸出产物进行粒度表征。
system: [SYSTEM]

user: 4. 结论 1) 2B 2 O 3 + C + 6Mg = B 4 C + 6MgO 体系的绝热温度为2750 K，大于1800 K的热力学判据，说明反应可以自我维持发生。燃烧产物主要由B 4 C、MgO以及少量Mg 3 B 2 O 6 相组成；采用盐酸浸出可有效除去其中的MgO和Mg 3 B 2 O 6 相，得到B 4 C粉体。 2) 随氧化硼配料量增加可降低产品中的Mg含量，但对产物粒度无明显影响；坯样压力为60 MPa时，浸出产物中C含量为23.4%，与B 4 C中C理论含量21.73%接近，此时平均粒径为16.276 µm。
system: [SYSTEM]

user: 摘 要 目的：新发糖尿病是实体器官移植后常见的严重并发症。患有移植后糖尿病(PTDM)的肾移植受者发生心血管事件及其他不良后果的风险有所增加。本实验旨在研究引起肾移植后高血糖患者最终血糖出现不同结局的影响因素，为预防肾移植后糖尿病提供理论支持。方法：收集2013~2018年在青岛大学附属医院接受肾移植手术后出现糖代谢异常的患者178例。根据术后空腹血糖是否恢复正常，分为一过性糖尿病组和移植后糖尿病组。分析肾移植后糖代谢异常患者血糖难以恢复的影响因素。结果：在178名出现移植后糖代谢异常的患者中，血糖恢复正常者共68例，血糖持续不恢复者共110例。单因素分析结果显示，年龄、体重指数、术前空腹血糖、急性排斥反应、多囊肾、糖尿病家族史在移植后糖尿病组均高于一过性糖尿病组(P < 0.05)。多因素Logistic回归分析显示，年龄、术前空腹血糖、急性排斥反应、多囊肾、糖尿病家族史是肾移植后高血糖无法恢复的影响因素。结论：年龄、术前空腹血糖、急性排斥反应、多囊肾、糖尿病家族史是肾移植后糖代谢异常患者血糖无法恢复的影响因素。 关键词 :肾移植，糖代谢异常，影响因素 Copyright © 2020 by author(s) and Hans Publishers Inc. This work is licensed under the Creative Commons Attribution International License (CC BY 4.0). http://creativecommons.org/licenses/by/4.0/
system: [SYSTEM]

user: 1. 引言 自1954年以来，美国医生约瑟夫·默里成功地完成了第一例纯合子双胞胎之间的肾移植，开创了器官移植的新纪元。1960年，中国完成了第一例人肾移植。20世纪70年代后，肾移植在我国正式开展。随着肾移植的发展，移植后糖尿病已引起人们的重视。移植后糖尿病(PTDM)是肾移植术后常见的并发症。它最早是由斯塔尔茨等人于1964年发现的。有证据表明，移植后糖尿病降低了移植后患者的生活质量和长期生存率，是导致移植失败和死亡的主要因素之一，也是发生心血管疾病的危险因素之一 [ 1 ]。目前已有大量研究对移植后糖尿病的危险因素及机制进行探讨。对于引起PTDM的危险因素一直是研究热点，掌握PTDM的危险因素，即可早期识别PTDM的高危患者，及早进行临床干预，以减少移植后糖尿病的发生。然而临床中发现，肾移植术后部分患者出现糖代谢异常可以恢复，针对肾移植后糖代谢异常患者血糖变化的研究尚不充分，对引起最终血糖恢复与否的影响因素目前暂无相关研究。
system: [SYSTEM]

user: 2. 方法 2.1. 研究对象 自2013年1月至2018年6月在青岛大学附属医院行肾移植手术的患者共549名，其中符合纳入标准者共178名，其中男性132名，女性46名。所有患者均于我院肾移植科门诊复诊，随访年限≥1.5年。 纳入标准：年龄大于或等于18岁；首次进行肾移植手术；手术1月后新发糖代谢异常；随访年限≥1.5年。排除标准：术前、术后资料不全；失访或死亡；联合器官移植者；多次器官移植者；移植失败或移植后1.5年内移植肾失功；术前已确诊糖尿病或已有空腹血糖受损。 本研究方案经本院伦理委员会批准，且所有研究对象均知情同意。 2.2. 研究内容 2.2.1. 资料收集内容 通过查阅住院病历和门诊病历以及电话随访的方式，对符合纳入标准的178例肾移植患者的一般资料及实验室检查结果进行回顾性研究。主要收集患者姓名、住院号、联系方式、性别、年龄、身高、体重、体重指数(BMI)、收缩压、舒张压、糖尿病(DM)家族史、原发病是否为多囊肾、术前空腹血糖(FBG)、甘油三酯(TG)、总胆固醇(CHOL)、低密度脂蛋白胆固醇(LDL-C)、高密度脂蛋白胆固醇(HDL-C)、乙型肝炎病毒(HBV)感染史、丙型肝炎病毒(HCV)感染史、EB病毒感染史、巨细胞病毒(CMV)感染史、手术时间、移植后是否发生急性排斥反应。 2.2.2. 诊断标准 移植后糖尿病(PTDM)的诊断标准使用美国糖尿病协会(ADA)的诊断标准 [ 2 ]：即具有糖尿病症状且空腹血糖(FBG) ≥ 7.0 mmol/L，或随机血糖(RPG) ≥ 11.1 mmol/L，或口服75 g葡萄糖耐量试验(OGTT) 2小时血糖≥11.1 mmol/L。FBG在5.6~6.9 mmol/L诊断为空腹血糖受损(IFG)，OGTT 2 h血糖在7.8~11.1 mmol/L诊断为葡萄糖耐量受损(IGT)。一过性PTDM定义为连续1月或1月以上空腹血糖升高并达到PTDM的诊断标准。空腹定义为至少8小时未摄入热量。 2.2.3. 研究分组 根据PTDM的诊断标准，将纳入研究的178名肾移植术后出现糖代谢异常的患者分为PTDM组和一过性PTDM组，PTDM组为术后糖代谢异常持续不恢复的患者。一过性PTDM组为肾移植后出现糖代谢异常但最终血糖恢复正常的患者。 2.2.4. 肾移植术后免疫抑制治疗方案 所有手术患者均采用三联治疗方案：他克莫司(FK506)+糖皮质激素+吗替麦考酚酯。肾移植受者均于手术前开始口服他克莫司，起始剂量为0.05~0.25 mg/(kg∙d)，每日分两次口服，每12小时给药一次。根据他克莫司血药浓度来调整剂量。糖皮质激素用量：术后当天给予甲强龙750 mg静滴一次，术后第一、二天给予甲强龙每天500 mg静滴，术后第三天开始改为口服甲泼尼龙每天16 mg。若术后发生急性排斥反应，给予静脉滴注糖皮质激素治疗。 2.3. 统计学处理 应用SPSS 22软件进行统计学分析，对所有计量资料进行正态性检验，符合正态性分布的计量资料，采用两独立样本的t检验，数据用均数±标准差(X ± SD)表示。不符合正态性分布的计量资料，采用秩和检验，数据用中位数(四分位数)表示。计数资料采用卡方检验，数据用率或构成比表示。影响因素分析采用Logistic回归。P < 0.05有统计学意义。