A Comparative Picture of Corporate Social Responsibility Approaches by Leading Companies in the United Kingdom and Brazil

Purpose - This paper compares CSR strategy, stakeholder engagement and overseas approaches of six leading companies which have large potential environmental and social impacts, influential stakeholders and notable CSR actions. Design/methodology/approach - It is an exploratory survey based on interviews of senior executives from British and Brazilian companies operating in the steel, petroleum and retail sectors and makes comparisons between and within them. Findings - British companies interviewed are more rule-based, adopt an implicit CSR approach; react to stakeholder’s demands based on moral motives and focus on environmental issues. The Brazilian companies, reviewed in this study, adopt an explicit CSR approach, have relational motives to engage with stakeholders and are more concerned with building a responsible image and narrowing social gaps. Research limitations/implications - The survey is based on perceptions of senior executives interviewed which may or may not correspond to actual practices. The sample size restricts generalization of results and specific firms interviewed may not represent the prevailing CSR business strategy in their respective countries. Practical implications - British companies can learn from the Brazilian experience how to become more innovative in a broader approach to CSR. Brazil should reinforce its legal framework to provide a more systematic and rule-based approach to CSR close to the UK experience. Originality/value - The way CSR is conceived and implemented depends on the ethical, socioeconomic, legal and institutional environment of the country in which the firm operates

Formal specification and refinement of a safe train control function

Motivated by the design and development challenges of the BART case study, an approach for developing and analyzing a formal model for reactive systems is presented. The approach makes use of a domain specific language for specifying control algorithms able to satisfy competing properties such as safety and optimality. The domain language, called SPC, offers several key abstractions such as the state, the profile, and the constraint to facilitate problem specification. Using a high-level program transformation system such as HATS being developed at the University of Nebraska at Omaha, specifications in this modelling language can be transformed to ML code. The resulting executable specification can be further refined by applying generic transformations to the abstractions provided by the domain language. Problem dependent transformations utilizing the domain specific knowledge and properties may also be applied. The result is a significantly more efficient implementation which can be used for simulation and gaining deeper insight into design decisions and various control policies. The correctness of transformations can be established using a rewrite-rule based induction theorem prover Rewrite Rule Laboratory developed at the University of New Mexico.

川西北高寒草甸土壤呼吸研究：季节动态和放牧效应

除植被冠层的光合作用之外，土壤的呼吸作用是陆地生态系统碳收支中最大的通量。土壤呼吸即使发生较小的变化也能显著地减缓或加剧大气中CO2浓度的增加，从而明显影响到全球气候变化。土壤呼吸速率变化与否以及变化的方向可以反映生态系统对环境变化的敏感程度和响应模式。尽管如此，土壤呼吸仍是一个为人们了解不多的生态系统过程。 草地生态系统是陆地生态系统的一个重要组成部分。针对草地土壤呼吸进行野外实验研究和相应方法论的探讨将对区域乃至全球碳源汇性质的准确估算具有重要的科学意义。然而，近几年来关于草地土壤呼吸的主要研究工作都集中在温带草原和部分热带草原，而针对高寒草甸生态系统土壤呼吸的研究报道还很少。 2008年4月至2009年4月期间，我分别在2008年6、8、10、12月和2009年2月和4月分6次对川西北的典型高寒草甸群落的土壤呼吸进行观测，分析了不同类型高寒草甸群落土壤呼吸的季节变化特征以及环境因子和放牧模式对其影响。主要研究结果如下： 1）该地区高寒草甸生态系统在生长季（6月～8月）土壤呼吸速率较大（6.07～9.30μmolCO2¡m-2¡s-1 ） ， 在非生长季（ 12 月～ 2 月） 较小（ 0.16 ～0.49μmolCO2¡m-2¡s-1 ） 。土壤CO2 年累积最大释放量为3963 ～ 5730gCO2¡m-2¡yr-1，其中，生长季土壤CO2的释放量占年总释放量的85%～90%。非生长季占10%～15%。非生长季所占比例略小于冬季积雪覆盖地区的冬季土壤呼吸占年土壤呼吸量的比例（14%～30%）。温度，尤其地温，是影响该地区高寒草甸生态系统土壤呼吸速率的最主要环境因子。土壤呼吸速率与地上生物量和土壤水分之间没有显著相关性，但是土壤含水量过大会导致土壤呼吸速率下降。 2）在观测期内，草丘区的土壤呼吸显著高于对照区的土壤呼吸，其最大土壤呼吸速率为16.77μmolCO2¡m-2¡s-1，土壤CO2 年累积最大释放量为8145gCO2¡m-2¡yr-1，是对照区的近2 倍。由于草丘在高寒草甸中占有较大的面积比例（近30%），因此，它将对高寒草甸生态系统的碳循环起着重要的作用。 3）放牧模式不仅可以影响高寒草甸群落的土壤CO2 排放，而且还可以改变土壤呼吸的温度敏感性（Q10）。本研究表明，在生长季有长期放牧活动干扰时将会增加土壤向大气中释放二氧化碳的速度，促使土壤碳库中碳的流失。禁牧样地的土壤呼吸速率在刚禁牧时先迅速增大，随着禁牧时间的延长土壤呼吸速率将会下降。此外，与其它放牧模式相比，冬季放牧将高寒草甸群落土壤呼吸速率在生长季达到最大值的时间明显向后推迟。不同放牧模式下高寒草甸群落土壤呼吸的Q10 值大小顺序为：禁牧一年群落>冬季放牧群落>禁牧三年群落>夏季放牧群落>自由放牧群落。 4）基于呼吸室技术的观测方法中，测量前的剪草处理可以明显改变该地区高寒草甸群落的土壤温度和土壤呼吸速率。在生长季，剪草处理将使土壤呼吸速率的瞬时响应增加90%左右。由于剪草处理明显增加了剪草样方白天的土壤温度，而土壤温度与土壤呼吸之间存在着极显著的指数相关关系，因而剪草处理导致土壤呼吸速率迅速增加。因此，在高寒地区基于呼吸室技术观测的土壤呼吸应当进行校正。 综上所述，川西北高寒草甸生态系统土壤呼吸速率在生长季较高，而在非生长季较低。土壤温度是影响该地区土壤呼吸的最主要环境因子。在实验观测期，草丘区土壤呼吸速率显著高于对照区的，是对照区土壤呼吸速率的近2倍。由于测量前的剪草处理可以明显改变待测点的土壤呼吸速率，因此，应对在高寒地区基于呼吸室技术观测的土壤呼吸进行校正。 Soil respiration is the second largest component (less than plant phtotosynthesis) of carbon dioxide flux between terrestrial ecosystems and the atmosphere. A minor change in soil respiration rate can significantly slow down or accelerate the increase of atmospheric CO2 concentration that is closely related to global climatic change. In turn, the change in the flux direction and rate of soil respiration may indicate the elasticity and stability of ecosystems to global changes and human disturbance. However, soil respiration is still an ecosystem process that has been poorly understood. Grassland ecosystem is an important component of the terrestrial ecosystem. Accurately estimating the CO2 flux from soil to atmosphere in situ is the key to evaluating the carbon resource and sink regionally or globally. Despite of extensive studies on the temperate and tropic grasslands, the soil respiration of alpine meadows has not substantially been measured. In the current study, soil respiration was measured for an annual cycle from April, 2008 to April, 2009 for the alpine meadow in northwestern Sichuan Province of China to determine the seasonal variation of soil respiration for the typical plant communities. The results are shown as follows: 1) Large seasonal variation of soil respiration was observed in the alpine meadow. The rate of soil respiration was the greatest (6.07～9.30μmolCO2¡m-2¡s-1) in June and the smallest (0.16 ～ 0.49μmolCO2¡m-2¡s-1) occurred from December to February in the non-growing season. The total emission of soil CO2 was estimated as 3963～5730 gCO2¡m-2¡yr-1, 85%~90% of which was released during the growing season, and 10%~15% during the non-growing season which was slightly less than the ratio of winter and annual CO2 flux from soil. Temperature, particularly the soil temperature, was the major environmental factor regulating the soil respiration. Significant and positive relationships were not found between soil respiration and soil moisture and between soil respiration and plant above-ground biomass, but excessive soil water content would decrease in the rate of soil respiration. 2) The rate of soil respiration in grass hummock communities was up to 16.77μmolCO2¡m-2¡s-1, which was about twice as great as in the controls (communities located in low and even sites). Considering the large proportion (about 30% on average) of hummock area in the meadow, it can be concluded that the hummocks played an important role in the carbon cycling of the study ecosystem. 3) Grazing patterns affected the flux of CO2 emission and the temperature sensitivity of soil respiration (Q10) in the alpine meadow. Grazing during growing season increased the rate of soil respiration. The rate of soil respiration increased significantly immediately after the alpine meadow being fenced, but thereafter decreased. In addition, grazing in winter delayed the peak respiration rate relative to the non-grazing mode. The Q10 value was the largest in the non-grazed area for one year, and next came the area with grazing in winter, followed by the non-grazed area for three years, the area with grazing in summer, and the non-limited grazed area. 4) In the chamber-based techniques, clipping manipulation before each measurement increased the transient rate of soil respiration by about 90% in the summer of the alpine meadow. As increase in soil temperature at daytime in the clipped plots by clipping and the exponential relationship between soil respiration and temperature, clipping manipulation led to increase in the rate of soil respiration. This suggested that a correction should be done for the techniques if employed in alpine and cold regions. In summary, the rate of soil respiration in the alpine meadow was the greatest in June and the smallest occurred from ecember to February in the non-growing season. Soil temperature was the major environmental factor regulating the soil respiration. The rate of soil respiration in grass hummock communities was up to 16.77μmolCO2¡m-2¡s-1, which was about twice as great as in the controls. A correction should be done for the techniques if employed in alpine and cold regions, because of the effect of clipping manipulation on soil temperature and respiration.

基于ECA规则的企业过程数据集成系统设计与实现

流程企业中的信息主要包括管理数据和过程数据，随着企业信息化进程的推进，实现管理数据和过程数据的集成对提高流程企业生产管理与决策的质量、效益和水平起到越来越重要的作用，为实现流程企业的管控一体化创造了条件。本文在对流程企业的数据集成需求和现有的过程数据集成方法全面分析的基础上，针对现有的过程数据集成方法无法保证数据集成过程的主动性以及数据的时效性问题，提出了基于ECA规则的过程数据集成方法，该方法将具有主动机制的ECA规则引入到数据集成中，通过事件触发规则来完成数据集成任务，保证了数据的时效性和可靠性，具有一定的应用价值。论文主要工作如下： 1．分析了流程企业生产数据的特点和过程数据集成的重要性，总结了现有的解决过程数据集成问题方法的不足，针对已有方法无法保证过程数据集成的主动性和数据的时效性问题，提出了基于ECA规则的过程数据集成方法。 2.分析了流程企业数据集成的具体需求特点，给出了过程数据集成系统中的ECA规则的设计描述。基于实时数据库提供的发布/订阅机制，阐述了系统对规则中主要事件类型产生的捕获处理过程。 3.设计了基于ECA规则的过程数据集成框架，研究了框架中主要模块设计所用到的关键技术，包括复合事件检测机制、规则语法解析和规则调度策略，分析了该框架的特点，说明了系统运行流程。 4．基于上述研究，开发了基于ECA规则的企业过程数据集成系统。该系统已经投入石化和钢铁企业的实际应用中,取得了较好的效果。

Growing season ecosystem respirations and associated component fluxes in two alpine meadows on the Tibetan Plateau

From 30 June to 24 September in 2003 ecosystem respiration (Re) in two alpine meadows on the Tibetan Plateau were measured using static chamber- and gas chromatography- (GC) based techniques. Simultaneously, plant removal treatments were set to partition Re into plant autotrophic respiration (Ra) and microbial heterotrophic respiration (Rh). Results indicated that Re had clear diurnal and seasonal variation patterns in both of the meadows. The seasonal variability of Re at both meadow sites was caused mainly by changes in Ra, rather than Rh. Moreover, at the Kobresia humilis meadow site (K_site), Ra and Rh accounted for 54% and 46% of Re, respectively. While at the Potentilla fruticosa scrub meadow (P_site), the counterparts accounted for 61% and 39%, respectively. T test showed that there was significant difference in Re rates between the two meadows (t = 2.387, P = 0.022). However, no significant difference was found in Rh rates, whereas a significant difference was observed in Ra rates between the two meadows. Thus, the difference in Re rate between the two meadows was mainly attributed to plant autotrophic respirations. During the growing season, the two meadows showed relatively low Q(10) values, suggesting that Re, especially Rh was not sensitive to temperature variation in the growing season. Additionally, Re and Rh at the K_site, as well as Rh at the P_site was negatively correlated with soil moisture, indicating that soil moisture would also play an important role in respirations.

基于合同网协议交互投标的动态调度方法研究

柔性制造系统使生产加工路径有很多可选性,所以调度系统必须考虑机器调度问题。分配规则调度是一种最基本、最具影响力的动态调度方法。然而,分配规则调度方法很少考虑机器顺序选择。兼顾工件选择和机器选择两方面,本文运用交互投标过程,构建基于合同网协议调度的协商规则。研究作业车间动态调度问题,提出并构建了5种合同网规则调度方法。通过实验分析结果表明,基于合同网交互投标模式的规则调度能够大大改善调度系统性能,提高设备的利用率和设备负荷平衡指标。

基于多代理和规则调度的敏捷调度系统研究

研究了在敏捷制造环境下制造车间生产过程的动态调度问题。针对敏捷化调度的特殊要求 ,提出了综合运用多代理机制与规则调度实现敏捷化制造车间生产过程动态调度的方法 ,建立了基于多代理生产组织和运行模式的生产过程动态调度系统框架结构 ,研究了在多代理结构的基础上实现规则调度的方法 ,创建了适应实际生产环境的代理的模型结构 ,并以一类敏捷加工车间动态调度的仿真研究说明所提出方法的思路和可行性。

基于规则的移动机器人实时运动规划

研究移动机器人在动态环境中的导航与避障问题。为提高规划的实时性,提出了基于规则的规划方法,将多移动障碍环境机器人的运动规划分解为相对简单的单移动障碍运动规划,利用最优控制来实现单障碍的最优避障,并用智能搜索方法解决了移动机器人在多移动障碍环境中的实时运动规划问题。仿真实例表明了该方法的有效性。

非饱和膨胀土力学特性及其工程处置研究

The unsaturated expansive soil is a hotspot and difficulty in soil mechanics inland and outland. The expansive soil in our China is one of the widest in distributing and greatest in area, and the disaster of expansive soil happens continually as a result. The soil mechanics test, monitor, numerical simulation and engineering practice are used to research swell and shrinkage characteristic, edge strength characteristic and unsaturated strength characteristic of Mengzi expansive soil. The seep and stability of the slope for expansive soil associated with fissure are analyzed and two kinds of new technique are put forward to be used in expansive soil area, based on disaster mechnics proposed of the slope.The technique of reinforcement in road embankment is optimized also. Associated with engineering geology research of Mengzi expansive soil, mineral composition, chemical composition, specific area and cation content, dissolubility salt and agglutinate, microcosmic fabric characteristic, cause of formation and atmosphere effect depth are analyzed to explain the intrinsic cause and essence of swell and shrinkage for expansive soil. The rule between swell-shrinkage and initial state, namely initial water content, initial dry density and initial pressure, can be used to construction control. Does Response model is fit to simulate the rule, based on ternary regression analysis. It has great meaning to expansive soil engineering in area with salt or alkali. The mechanics under CD, CU and GCU of expansive soil is researched by edge surface theory to explain the remarkable effect of consolidation pressure, initial dry density, initial water content, cut velocity, drainage and reinforcement to the edge strength characteristic. The infirm hardening stress strain curves can be fitted with hyperbola model and the infirm softening curves can be fitted with exponential model. The normalization theory can be used to reveal the intrinsic unity of the otherness which is brought by different methods to the shear strength of the same kinds of samples. The unsaturated strain softening characteristic and strength envelope of remolding samples are researched by triaxial shear test based on suction controlled, the result of which is simulated by exponential function. The strength parameters of the unsaturated samples are obtained to be used in the unsaturated seep associated with rainfall. The elasticity and plasticity characters of expansive soil are researched to attain the model parameters by using modified G-A model. The humidification destroy characteristic of expansive soil is discussed to research the disaster mechanism of the slope with the back pressure increasing and suction decreasing under bias pressure consolidation. The indoor and outdoor SWCCs are measured to research the effect factors and the rule between different stress and filling environment. The moisture absorption curves can express the relationship between suction and water content in locale. The SWCCs of Mengzi expansive soil are measured by GDS stress path trixial system. The unsaturated infiltration function is gained to research seep and stability of the slope of expansive soil. The rainfall infiltration and ability of slope considering multifarious factors are studied by analyzing fissure cause of Mengzi expansive soil. The mechanism of the slope disaster is brought forward by the double controlling effect between suction and fissure. Two new kinds of technique are put forward to resolve disaster of expansive soil and the technique of reinforcement on embankment is optimized, which gives a useful help to solving engineering trouble.

The Behavior Language; User's Guide

The Behavior Language is a rule-based real-time parallel robot programming language originally based on ideas from [Brooks 86], [Connell 89], and [Maes 89]. It compiles into a modified and extended version of the subsumption architecture [Brooks 86] and thus has backends for a number of processors including the Motorola 68000 and 68HCll, the Hitachi 6301, and Common Lisp. Behaviors are groups of rules which are activatable by a number of different schemes. There are no shared data structures across behaviors, but instead all communication is by explicit message passing. All rules are assumed to run in parallel and asynchronously. It includes the earlier notions of inhibition and suppression, along with a number of mechanisms for spreading of activation.

A Simple Model of Circuit Design

A simple analog circuit designer has been implemented as a rule based system. The system can design voltage followers. Miller integrators, and bootstrap ramp generators from functional descriptions of what these circuits do. While the designer works in a simple domain where all components are ideal, it demonstrates the abilities of skilled designers. While the domain is electronics, the design ideas are useful in many other engineering domains, such as mechanical engineering, chemical engineering, and numerical programming. Most circuit design systems are given the circuit schematic and use arithmetic constraints to select component values. This circuit designer is different because it designs the schematic. The designer uses a unidirectional CONTROL relation to find the schematic. The circuit designs are built around this relation; it restricts the search space, assigns purposes to components and finds design bugs.

Fuzzy interpolative reasoning via scale and move transformation

Z. Huang and Q. Shen. Fuzzy interpolative reasoning via scale and move transformation. IEEE Transactions on Fuzzy Systems, 14(2):340-359.

Computational modeling of defects in nanoscale device materials

This PhD thesis concerns the computational modeling of the electronic and atomic structure of point defects in technologically relevant materials. Identifying the atomistic origin of defects observed in the electrical characteristics of electronic devices has been a long-term goal of first-principles methods. First principles simulations are performed in this thesis, consisting of density functional theory (DFT) supplemented with many body perturbation theory (MBPT) methods, of native defects in bulk and slab models of In0.53Ga0.47As. The latter consist of (100) - oriented surfaces passivated with A12O3. Our results indicate that the experimentally extracted midgap interface state density (Dit) peaks are not the result of defects directly at the semiconductor/oxide interface, but originate from defects in a more bulk-like chemical environment. This conclusion is reached by considering the energy of charge transition levels for defects at the interface as a function of distance from the oxide. Our work provides insight into the types of defects responsible for the observed departure from ideal electrical behaviour in III-V metal-oxidesemiconductor (MOS) capacitors. In addition, the formation energetics and electron scattering properties of point defects in carbon nanotubes (CNTs) are studied using DFT in conjunction with Green’s function based techniques. The latter are applied to evaluate the low-temperature, low-bias Landauer conductance spectrum from which mesoscopic transport properties such as the elastic mean free path and localization length of technologically relevant CNT sizes can be estimated from computationally tractable CNT models. Our calculations show that at CNT diameters pertinent to interconnect applications, the 555777 divacancy defect results in increased scattering and hence higher electrical resistance for electron transport near the Fermi level.

Computational Methods for RNA Structure Validation and Improvement.

With increasing recognition of the roles RNA molecules and RNA/protein complexes play in an unexpected variety of biological processes, understanding of RNA structure-function relationships is of high current importance. To make clean biological interpretations from three-dimensional structures, it is imperative to have high-quality, accurate RNA crystal structures available, and the community has thoroughly embraced that goal. However, due to the many degrees of freedom inherent in RNA structure (especially for the backbone), it is a significant challenge to succeed in building accurate experimental models for RNA structures. This chapter describes the tools and techniques our research group and our collaborators have developed over the years to help RNA structural biologists both evaluate and achieve better accuracy. Expert analysis of large, high-resolution, quality-conscious RNA datasets provides the fundamental information that enables automated methods for robust and efficient error diagnosis in validating RNA structures at all resolutions. The even more crucial goal of correcting the diagnosed outliers has steadily developed toward highly effective, computationally based techniques. Automation enables solving complex issues in large RNA structures, but cannot circumvent the need for thoughtful examination of local details, and so we also provide some guidance for interpreting and acting on the results of current structure validation for RNA.