基于基本块的控制流检错方法优化研究

系统的高可靠性是研究航空航天领域的一个重要指标. 由于太空环境的特殊性, 辐射和高能粒子会造成计算机系统的出现瞬时性错误, 这种错误被称作软错误, 它对航空航天器件造成了很大的影响, 严重降低系统的可靠性. 检测和防护这种软错误是航空航天系统中的重要研究方向之一. 软错误的检测和防护包括硬件防护与检错, 软硬件混合检错以及纯软件检错等. 随着商用器件的广泛使用, 与之相配合的各种软错误软件检错方法开始得到深入的研究, 在各种软件检错方法中, 控制流检测是抵御单粒子事件的有效手段之一.目前的主流方法是采用嵌入式签名技术, 但是该技术引入的检测指令过多, 导致程序效率低下. 本文从总结控制流检测技术的共同点出发, 分析该技术导致效率低下的原因：由于基本块定义的约束导致程序中基本块过多, 进而在代码注入过程中引入过多的判断及跳转指令, 导致程序效率低下. 本文针对这种情况, 提出了一种基于源代码分析的基本块规约的方法. 该方法通过修改基本块定义的约束, 使在新的基本块定义下每个基本块能够容纳更多的指令, 减少检测指令的注入, 提高效率；并且在新的基本块定义下, 原来的控制流检错方法仍可以不加修改的直接应用于新的基本块定义上. 该方法能在不修改benchmark源代码以及控制流检测方法的基础上, 选择合适的约束量重新划分基本块, 减少引入的检测指令. 本文中使用该方法以ECCA, CFCSS和RSCFC三个控制流检错方法作为验证对象, 使用这3种控制流检错方法, 在不同的约束量作用下, 对8个常见算法的benchmark进行了软错误覆盖率测试和效率测试. 多次实验数据表明, 该方法在提高检错算法效率的同时, 能够保持软错误检错的覆盖率基本不变. 在对控制流检错算法进行优化的同时, 本文还完成了相应的控制流分析工具, 基于模拟器的错误注入和代码片段执行时间检测工具等. 有效的对优化算法进行了评估和测试.

沈阳城市森林生态系统健康与管理研究

本文系统研究了沈阳城市森林的布局与结构、城市森林功能、城市森林病虫害发生与树木健康状况和城市自然资源与社会经济状况等指标对沈阳城市森林生态系统健康与管理的影响。同时一，采用2种生态系统健康评价方法对沈阳城市森林生态系统健康状况进行了评价，并提出了沈阳城市森林生态系统健康管理的对策。研究结果如下：1、截至2004年末，沈阳城市森林植被覆盖率已经达到35％，城市森林林地分布基本合理，但需要进一步加强道路林地、居住区林地和城郊大面积生态林建设。2、沈阳城市森林以乔木为主，乔灌株数比为1.7：1，乔灌的覆盖度比约为7:1。3、沈阳城市森林不同类型林地中植物组成不同。公园林地中有74个属，137个种（变种）；庭院林地中有53个属，104个种（变种）；居住区林地中有45个属，81个种（变种）；道路林地中有43个属，94个种（变种）；运河风景林地中有75个属，142个种（变种）；棋盘山风景林地中有48个属，118个种（变种）。4、公园林地、庭院林地、居住区林地、道路林地和运河风景林地的Shannon一Wiener多样性指数分别为2.78、3.05、3.15、3.18和3.18，均匀度指数分别为0.56、0.66、0.72、0.70和0.64。除了棋盘山风景林地外，沈阳城市森林中栽植总量超过乔木总量5％的乔木树种有7个属，分别为李、柳树、杨树、桧柏、榆树、槐树和银杏，7种树木总量达到了全部乔木总量的82.09％；栽植总量超过灌木总量5％的灌木树种也有7个属，分别为水腊、丁香、李属，小聚、玫瑰、忍冬和连翘，7个属灌木总量达到了全部灌木总量的87.92％。5、公园林地、庭院林地、道路林地和防护林地中OBH＜20cm、20cm＜DBH＜60cm和DBH＞60cm树木的比例分别为：57.9％、40.0％、2.1％，49.2％、47.8％、3.0％，65.3％、33.1％、1.6％和64.6％、34.9％、0.5％，表明沈阳城市森林树木的规格总体上偏小。6、经样方调查和CITYgreen模型计算，沈阳城市森林的生态效益约2.0亿USD／yr.。公园林地、庭院林地和风景林地的景观指标相对较高；道路林地和居住区林地的景观效果一般；防护林地的景观效果较差。7、目前已经发现的沈阳城市森林病害约600余种，虫害约700余种，其中杨树主要病虫害39种，柳树的主要病虫害有33种，榆树和槐树的主要病虫害均为，1种。杨柳树腐烂病、光肩星天牛、天幕毛虫、桃红颈天牛和美国白蛾等是近10年来沈阳城市森林中普遍发生和造成严重危害的主要病虫害。沈阳城市森林主要树木的平均健康指数为2.68，处于一般健康状态。8、沈阳城市森林的土壤和水资源状况均不利于树木的健康生长，沈阳的社会经济发展也有待于进一步提高。9、经过生物指示物法（光肩星天牛为生物指示物）、专家权重法、公众问卷调查和对比研究，沈阳城市森林生态系统总体上处于亚健康状态。10、通过对沈阳城市森林资源、管理状况的调查研究和健康状况的评价，本文提出了沈阳城市森林生态系统健康管理的对策，包括合理规划沈阳城市森林林地布局，增加道路林地、居住区林地和城郊林地的面积和植被覆盖率；调整树木种类组成，避免单一或少数树种的大量栽植，提高生物多样性水平；保护大树和古树；增加城市森林管理资金的投入；应用先进技术，采取科学的病虫害防治和植物养护方法，促进树木的健康生长等。This project systematically studied the urban forest ecosystem health and management in Shenyang. The study explored factors, such as urban forest structure, distribution, pests, aesthetic value, ecological benefit, natural resources and socieo-economic status, that affecting the urban forest ecosystem health and management. Two methods were used to evaluate the ecosystem health. This project also proposed Shenyang's urban forest ecosystem health management strategies. The research results can be summarized as follows: 1. As of the end of 2004, urban forest coverage in Shenyang is about 35%, and is in relatively even patch distribution pattern. However, the street trees and roadside forest patches, residential block forest patches should be enhanced. 2. Trees are the major component of the Shenyang s urban forest, followed by shrubs. The quantity ratio of tree to shrub is about 1.7:1, and the coverage ratio of trees to shrub is about 7:1. 3. Species composition varies by location. There are 74 genera, 137 species (including varieties) in the public parks; 53 genera, 104 species (and var.) in the green spaces of the institution (including school), factory, and company; 45 genera, 81 species (var.) in residential blocks; 43 genera, 94 species (var.) in streets and roadside forest patches; 75 genera, 142 species (var.) in the Canal landscape forest patches; 48 genera, 118 species (var.) in the Qipan Mountain recreation forest. 4. The Shannon-Woener indices varies in parks, in institution, factory, and company yards, in streets and roadside forest patches, in residential blocks.there are 2.78, 3.05, 3.18, 3.15, 3.18, respectively; and the evenness indices are 0.56, 0.66, 0.70, 0.72, 0.64, respectively. Besides the Qipan Mountain forest patches, trees of 7 genera, Prunus spp., Salix spp., Populus spp., Sabina spp., Ulmus spp., Robinia spp. and Ginkgo biloba are of more than 5% the total urban trees, respectively. In fact, trees from these 7 genera are about 82% of all trees in Shenyang's urban forests. In terms of shrubs, species of 7 genera, Ligustrum spp., Syringa spp., Prunus spp., Berberis spp., Rosa spp., Lonicera spp., and Forsythia spp. are more than 5% the total urban shrubs, respectively. 88% of all the shrubs in Shenyang s urban forest are from these 7 genera. 5. The diameter class of DBH<20cm, 20cm60cm of trees in parks, in institution, factory, and company yards, in in streets and roadside forests, and in protective forests are 57.9%, 40.0%, 2.1%; 49.2%, 47.8%, 3.0%; 65.3%, 33.1%, 1.6%; and 64.6%, 34.9%, 0.5%, respectively. The result indicated that the DBH is relatively small in Shenyang s urban forests. 6. Using random plots sampling and CITYgreen model calculation, the ecological benefit of Shenyang's urban is about 0.2 billion US dollars per year. The aesthetic value of parks, institution and company yards, and scenary forest patches is relative high; however, the aesthetic value of protective forest patches is low. 7. There are more than 600 types of diseases and more than 700 kinds of insects in Shenyang's urban forest. Among them, Populus spp., Salix spp., Ulmus spp. and Robinia spp., are attached mainly by 39, 33, 11, and 11, difference types of pests respectively. The rot disease of the Populus spp. and Salix spp., and the insects such as, Anoplophora glabripennis, Malacosoma neustria, Aromia bungii, and Hyphantria cunea are major pests in Shenyang s urban forest for the past 10 years. The trees health condition is relatively poor by having the average health index of 2.68 for major species. 8. The urban soil and water resource are not favorable to tree's growth in Shenyang, and so is the socieo-economic status. 9. Through using bio-indicator, professional and public evaluation, and comparision with other urban forests, it can be concluded that the status of Shenyang s urban forest is not very healthy in general. 10. To improve the urban forest ecosystem health in Shenyang, a better urban forest design need to be implemented to enhance the area and vegetation coverage of the street and roadside forests, the residential block forests, and the surburb forest Species biodiversity need to be enhanced by adjust the species composition of urban forest trees to reduce the single or several tree species populations and to plant more varieties. A better fundings for urban forest health management need to be budgeted. Advanced technologies in tree care and scientific measures to control pests need to be adopted to prove better care for plants and to keep trees grow healthfully.

The thermal fatigue resistance of vermicular cast iron coupling with H13 steel units by cast-in process

This paper focuses on improving the thermal fatigue resistance on the surface of vermicular cast iron coupling with inserted H13 steel blocks that had different cross sections, by cast-in processing. The microstructure of bionic units was examined by scanning electron microscope. Micro-hardness and thermal fatigue resistance of bionic samples with varied cross sections and spacings were investigated, respectively. Results show that a marked metallurgical bonding zone was produced at interface between the inserted H13 steel block and the parent material - a unique feature of the bionic structure in the vermicular cast iron samples. The micro-hardness of the bionic samples has been significantly improved. Thermal resistance of the samples with the circular cross section was the highest and the bionics sample with spacing of 2 mm spacing had a much longer thermal fatigue life, thus resulting in the improvement for the thermal fatigue life of the bionic samples, due to the efficient preclusion for the generation and propagation of crack at the interface of H13 block and the matrix. Crown Copyright (c) 2010 Published by Elsevier Ltd. All rights reserved.

毛蕊异黄酮类似物的合成及其对JAK/STAT信号途径调控的构效关系研究

干扰素（IFNs）是最早发现的具有广泛用途的一类细胞因子，IFN-α通过JAK/STAT信号途径调控机体一系列生理和病理反应。至今尚未发现类干扰素的小分子。我们前期研究发现天然产物毛蕊异黄酮可激活干扰素诱导的JAK/STAT信号途径。为发现类干扰素小分子、获得小分子探针，本课题拟建立成熟的JAK/STAT信号途径的筛选模型，合成毛蕊异黄酮及其类似物，研究这些化合物的构效关系，进而尝试通过共价键标记生物素或香豆素来直接研究它们与相关受体的作用。 从异香草醛出发经7步合成反应得到了毛蕊异黄酮。采用平行合成策略得到异黄酮类化合物；采用分支式合成策略，以取代苯乙酸作为合成砌块，获得具有与异黄酮类似结构的香豆素、3-芳基喹诺酮。与分离得到的黄酮类化合物，构建了一个包括异黄酮、黄酮、香豆素、3-芳基喹诺酮在内的化合物库。 建立了包含IFN-α刺激反应元件 (ISRE)的荧光素酶报告基因体系，通过筛选化合物库中的化合物，发现异黄酮骨架为激活JAK/STAT信号途径必须结构、毛蕊异黄酮7-位酚羟基被取代后活性丧失。根据以上结果，对毛蕊异黄酮3′-位标记物的合成进行了初步尝试。 发现山茱萸科植物青荚叶(Helwingia japonica (Thunb.) Dietr.)有抑制蛋白酪氨酸磷酸酯酶1B（PTP1B）的活性。从其地上部分95%乙醇提取物的乙酸乙酯部分分离得到5个化合物,应用波谱方法及与已知品对照的手段鉴定它们为p-menth-2-en-1β, 4β, 8-triol (Z-1)、blumenol A (Z-2)、2′,3′,4′,5′,6′-五羟基查尔酮(Z-3)、洋芹素7-O-β-D-吡喃葡萄糖苷(Z-4)、木犀草素7-O-β-D-吡喃葡萄糖苷(Z-5). Interferons (IFNs) are one kind of cytokines with broad functions. IFN-α mediates series physiological and pathological changes of human body via JAK/STAT pathway. Untill now, no IFNs-like small molecules are discovered. In our preliminary experiment, the natural product calycosin has been observed to activate JAK/STAT pathway. Therefore, we establish a luciferase reporter gene system and synthesize calycosin and its analogues to reveal their structure-activity relationship (SAR). Besides, in order to prove that calycosin activates JAK/STAT pathway through IFN receptor, we attempted to tag it with biotin or coumarin by covalent bonding. Calycosin was synthesized from isovanillin via seven steps. Other isoflavones were obtained by parallel synthesis; coumarins and quinolones were prepared through divergent synthesis, using substituted phenylacetic acids as building blocks. Combing with natural flavones, a small molecule library was established. A luciferase reporter gene system, consisting of 5 copies of the ISRE (interferon-stimulated response element), was used for screening of small molecules from that library. We found that the core-structure of isoflavone was necessary, and if the 7-OH is substituted, the activity slumps. According to our observation, we tried to tag biotin or coumarin at 3′-OH of calycosin. The 95% ethanol extract of the aerial parts of Helwingia japonica (Thunb.) Dietr. showed protein tyrosine phosphatase 1B (PTP1B) inhibitory activity. Five compounds were isolated. On the basis of spectral data or by comparison with authentic samples, they were identified as p-menth-2-en-1β,4β,8-triol (1), blumenol A (2), 2′,3′,4′,5′,6′-pentahydroxychalcone (3), apigenin 7-O-β-D-glucopyranoside (4), and luteolin 7-O-β-D-glucopyranoside (5).

路易斯碱催化还原胺化反应研究

胺及其衍生物是很多重要生物活性分子的结构单元，是合成天然产物和手性药物的重要中间体。 直接还原胺化由于其合成步骤简单而成为制备二级胺和三级胺的简便方法。为了发展一种较为简便的直接还原胺化反应，我们把研究的重点放在开发一种简便实用的有机小分子催化方法上。由文献调研可知，现已报道的直接还原胺化方法大多是催化醛或酮与一级胺或者脂肪二级胺的直接还原胺化，而醛或酮与芳香二级胺的直接还原胺化却尚无报道。在本文中，我们发现用简单的四甲基乙二胺(TEMED)在室温下以二氯甲烷为溶剂即可催化三氯氢硅对酮和芳香二级胺之间的直接还原胺化反应，并取得了高达92%的收率。该反应条件温和，底物普适性广，各种类型的酮均可以与芳香二级胺进行直接还原胺化，并且得到比较满意的收率。 同时，我们从手性Sulfoximine出发，设计和合成了一系列的Sulfoximine类新衍生物，并将其应用于间接还原胺化反应中。遗憾的是我们并没有得到预期的不对称催化效果。 Amines and their derivatives are basic structural motifs in natural products and pharmaceuticals and highly versatile building blocks for various organic substrates. Direct reductive amination (DRA) is a convenient method for the preparation of secondary and tertiary amines owing to its operational simplicity. In an effort to develop a simple and convenient procedure for direct reductive amination reaction, we focused our study on search for a mild and efficient organocatalytic system. In the literature, there are many reports concerning DRA between aldehydes or ketones and either primary amines or secondary aliphatic amines. But there are no reports concerning DRA between aldehydes or ketones and secondary aromatic amines. In this study, we have developed a highly practical method for the synthesis of tertiary amines by the direct reductive amination of ketones and secondary aromatic amines with tetramethylethylenediamine (TEMED) as the catalyst using HSiCl3 as the reducing agent in dichloromethane (affording up to 92% yield). This method can be carried out under mild conditions and is compatible with many functional groups. A variety of ketones were efficiently aminated with secondary aromatic amines to afford the corresponding amines in good to excellent yields. Starting from chiral sulfoximine, we designed and synthesized a series of new sulfoximine derivatives and tested their efficiencies as asymmetric organocatalysts for the reduction of imines, which, unfortunately, only exhibited low catalytic activity and enantioselectivity.