西方翻译“三模式”批评——兼论马丁·路德翻译思想的模式性质

本文通过分析马丁·路德翻译思想的"模式"性质、特征、价值和影响力,尤其是其现代表现,提出为"三模式"增添"路德模式",明确"四模式"的合理逻辑及其对译学研究以及翻译教学和翻译实践的指导价值。

教师课堂教学的诱导模式和性质

交换结构理论最初形成于时课堂会话结构的分析，“诱导”一词是该理论框架内的一个基本分析单位。笔者试图采用交换结构理论，通过分析大学英语阅读课堂上教师的诱导模式与性质及其在课堂互动活动中的作用，从一个侧面揭示课堂上师生互动活动的现状，对如何提高课堂教学效率问题提出一些粗浅的看法。

应用“结构—性质”模式实施素质教育

素质教育作为一种教育理想,愈来愈被人们所接受。但素质教育是通过学校的各种课程来实现的。作者依据教学实践提出了“结构—性质”模式,应用于有机化学教学过程发现,该模式简单易学,可操作是进行至素质教育的有效方法。

现代化“中国模式”的内涵及定位

"中国模式"是一种综合的现代化模式,是指中国在社会主义建设的实践中形成的一种不同于其他国家的现代化范式,是中国崛起过程中呈现出的经济、政治和文化特征的综合。中国模式的内涵包含中国特色社会主义的现代化理念、中国社会主义初级阶段的制度和体制、中国特色社会主义现代化的实现手段三个层次。中国模式属于社会主义现代化模式,但它不是一种成熟与完美的现代化模式,它只是全球化背景下发展中大国阶段性的现代化模式。

模态顺序图uMSD的形式语义

UML 2.0顺序图已广泛应用于业界,但其语义模糊,以至于不能有效地加以使用.模态顺序图(modal sequence diagram,简称MSD)是对UML 2.0顺序图的模态扩展,区分了强制场景(用universal MSD表示,简称uMSD)和可能场景(用existential MSD表示,简称eMSD).其中,uMSD具有较强的表达能力,能够用于表示并发系统的时态性质,故主要工作围绕uMSD展开.为了使uMSD用于形式化分析、验证和监控,给出基于自动机的uMSD语义解释,并给出各种操作符的算法,用性质规约模式度量uMSD的表达能力.最后进行了实例研究,并讨论了其应用前景.

基于体系结构模型检查分布式控制系统

分布控制系统是大量硬件设备通过计算机系统得以控制和协调的高度复杂系统,它们也是任务关键的系统,需要保障其功能的高度正确性和可靠性.分析复杂控制系统的过程包含了证明或验证设计的系统确实满足某种需求.但由于系统的复杂度,有效分析系统是相当困难的.从系统设计和分析的角度看,基于体系结构方法可以运用层次化构造和抽象的方法来减小模型复杂度.模型检查技术是分析复杂系统构造满足正确和可靠性需求的有效方法.结合软件体系结构描述方法和模型检查技术,提出了基于体系结构的分布式控制系统形式分析方法,通过楼宇综合控制系统实例研究,展示了该方法在提高分布式控制系统设计质量方面的效果.

Vegetation Traits and Soil Properties in Response to Utilization Patterns of Grassland in Hulun Buir City, Inner Mongolia, China

Numerous studies have focused on vegetation traits and soil properties in grassland, few of which concerned about effects of human utilization patterns on grassland yet. Thus, this study hypothesized that human disturbance(e.g., grazing, mowing and fencing) triggered significant variation of biomass partitioning and carbon reallocation. Besides, there existed some differences of species diversity and soil fertility. To address these hypotheses of grassland with diverse utilization patterns in Hulun Buir City, Inner Mongolia, China, we sampled in situ about aboveground biomass(AGB) and belowground biomass(BGB) to evaluate their biomass allocation. Species diversity and soil properties were also investigated. Subsequently, we discussed the relationship of species diversity with environmental conditions, using data collected from 23 sites during the ecological project period of Returning Grazing Lands to Grasslands(RGLG) program. The results were as follows: 1) both AGB and BGB were lower on grazing regime than those on fencing and mowing, but the ratio of root-to-shoot(R/S) was higher on grazing regime than the other two utilization patterns; 2) neither of evenness and Simpson Index was different significantly among all grassland utilization patterns in desert, typical, and meadow grassland at 0.05. In meadow grassland, species richness of fencing pattern was significantly higher than that of grazing pattern(p < 0.05); 3) both of soil organic carbon content and soil available phosphorous content were increased significantly on fencing pattern than grazing pattern(p < 0.05) in desert grassland, and mowing patterns increased the soil nutrients(soil organic carbon, soil total phosphorous, soil available phosphorous, and soil total nitrogen) significantly compared with grazing patterns(p < 0.05) in typical grassland. However, there were no significant differences among utilization patterns in meadow grassland. In conclusion, both of AGB and BGB were increased significantly by fencing. Moreover, species diversity and soil nutrients can be promoted via mowing and fencing. This study suggested that implementation of Ecological Project played a positive role in sustainable grassland utilization of Hulun Buir City and a strong positive influence on the entire temperate grassland.

Comprehensive Assessment of Seawater Quality Based on an Improved Attribute Recognition Model

The attribute recognition model (ARM) has been widely used to make comprehensive assessment in many engineering fields, such as environment, ecology, and economy. However, large numbers of experiments indicate that the value of weight vector has no relativity to its initial value but depends on the data of Quality Standard and actual samples. In the present study, the ARM is enhanced with the technique of data driving, which means some more groups of data from the Quality Standard are selected with the uniform random method to make the calculation of weight values more rational and more scientific. This improved attribute recognition model (IARM) is applied to a real case of assessment on seawater quality. The given example shows that the IARM has the merits of being simple in principle, easy to operate, and capable of producing objective results, and is therefore of use in evaluation problems in marine environment science.

Experimental study on biaxial mechanical behavior of concrete suffered high temperature and constitutive model

Biaxial compression tests on plain concrete suffered high temperature ranging from 200 ℃ to 600 ℃ were carried out using the large-scale dynamic-static tri-axial concrete test system at the State Key Laboratory of Coastal and Offshore Engineering with designated stress ratios of 0, 0.25, 0.5, 0.75 and 1, respectively. The measured strength and strain were reported and the changes in both biaxial compressive failure envelopes and strains at peak stresses were analyzed. The regressive equation of initial elastic modulus in the biggest principal compressive stress direction was derived from test results. With the published results from previous biaxial tension-compression experiments, a three-parameter failure criterion has been proposed. A biaxial nonlinear elastic incremental constitutive model was developed for the compressive stress directions by using the equivalent uniaxial strain values deduced from test results. Analytical results obtained from the proposed biaxial constitutive model achieve good agreement with the experimental results.

An attribute recognition model based on entropy weight for evaluating the quality of groundwater sources

In our study, entropy weight coefficients, based on Shannon entropy, were determined for an attribute recognition model to model the quality of groundwater sources. The model follows the theory previously proposed by Chen Q S. In the model, firstly, the author establishes the attribute space matrix and determines the weight based on Shannon entropy theory; secondly, calculates attribute measure; thirdly, evaluates that with confidence criterion and score criterion; finally, an application example is given. The results show that the water quality of the groundwater sources for the city comes up to the grade II or III standard. There is no pollution that obviously exceeds the standard and the water can meet people’s needs .The results from an evaluation of this model are in basic agreement with the observed situation and with a set pair analysis (SPA) model.

Mechanical properties of frozen rock mass with two diagonal intersected fractures

Based on previous research results, this paper investigated the influence of fracture morphology on mechanical properties and failure modes of rock mass with two diagonal intersected fractures. This study carried out a series of triaxial compression tests on rock-like specimens with two crossed fractures under negative temperature, concluded the following conclusions. The strength and failure modes of rock mass are significantly influenced by the dips of two crossed fractures. The strength of rock mass with two frac- tures cannot simply be estimated using the method that was developed for the rock mass with a single fracture. When the intersecting angle is less than 30~, the failure plane initiates at the tip of ＂artificial rup- tures＂ and extends to the upper and lower ends of the specimen. In case of a higher dip and intersecting angle ranging from 30° to 60°, the failure plane propagates along one of these two fractures. The mechan- lca! parameters of rock mass are not only related to the trace length, but also depend on the trace !ength ratio. One could roughly calculate the strength parameters using the approximation proposed in.this paper..For the rock mass with a trace length ratio 〈0.3 （short trace length/long trace length）, the failure mode is dependent on the fracture with a longer trace length. When the trace length becomes significant and the trace length ratio approximates to 1, the failure plane propagates along two fractures, where an X-shaped.failure pattern is presented： For the rock mass with moderate frac!ures and a trace length ratio of approxlmately 1, the failure mode Is.Independent on fractures, which is simllar to .the damage pattern of intact rock. The strength, and elastic .modulus of rock mass decrease with the increase of spacing between fractures, whl!e Polsson＇s ratio is Independent on the spacing. The failure mode can be deter- mined by the area. of triangle created by two fractures. Damage occurs at the smaller triangle area first, and propagates with the two sides of the larger triangle.

Study of the Practice Teaching Reform of Floriculture

This paper analyzes the current situation and problems of the of gardening flowers professional practice teaching, including： rigid and obsolete teaching mode, student learning enthusiasm deficiencies; practice over a single, and the lack of opportunity to practice and platform; lack of software and hardware construction, internship bases imperfect; lack of teachers＇ quality, teaching lack the times. The paper proposes a gardening the flowers professional practice teaching improvement strategies, including： innovative teaching ideas, improvement of education quality; comprehensive local conditions perfect practice, promote the construction and improvement of the practice platform; increase funding, improve the practice teachin~ base; to enhance the training and continuing education to improve practice, the overall quality of the course insla＇uctor.

反驳扎尔塔的对象理论与假装理论的融合方案

在有关虚构名称与虚构对象问题的讨论中,虽然作为实在论的抽象对象理论与作为反实在论的假装理论在本体论承诺上不同,但扎尔塔主张这两个理论可以融合。他引进了性质模式的方案用以论证沃尔顿承认虚构对象是抽象实体,假装理论的相关概念可以在对象理论的框架内被系统化定义。然而假装理论的核心是:虚构对象并不存在,我们仅仅假想虚构对象存在。这在本体论上与扎尔塔所主张的虚构对象是抽象对象的观点相悖,扎尔塔融合方案的论证存在缺陷。然而这并不代表对象理论与假装理论完全背道而驰。通过对两个理论哲学背景的探究得出,二者融合的本体论共识是:虚构对象是具有虚构性质的非实存对象。

Vibrational properties of silicene and germanene

The structural and vibrational properties of two-dimensional hexagonal silicon （silicene） and germanium （germanene） are investigated by means of first-principles calculations. It is predicted that the silicene （germanene） structure with a small buckling of 0.44 ,~ （0.7/k） and bond lengths of 2.28 ,~ （2.44 .~） is energetically the most favorable, and it does not exhibit imaginary phonon mode. The calculated non-resonance Raman spectra of silicene are characterized by a main peak at about 575 cm-1, namely the G-like peak. For germanene, the highest peak is at about 290 cm-1. Extensive calculations on armchair silicene nanoribbons and armchair germanene nanoribbons are also performed, with and without hydrogenation of the edges. The studies reveal other Raman peaks mainly distributed at lower frequencies than the G-like peak which could be attributed to the defects at the edges of the ribbons, thus not present in the Raman spectra of non-defective silicene and germanene. Particularly the Raman peak corresponding to the D mode is found to be located at around 515 cm-1 for silicene and 270 cm-1 for germanene. The calculated G-like and the D peaks are likely the fingerprints of the Raman spectra of the low-buckled structures of silicene and germanene.

Vibration uncoupling of germanium with different valence states lowers thermal conductivity of Cs2Ge3Ga6Se14

The thermal phonon transport is a key matter for heat managing in materials science which is crucial for device miniaturization and power density increase. Herein, we report the synthesis, structure and characterization of a new compound, Cs2Ge3Ga6Se14, with a unique anisotropic structure simultaneously containing Ge^3+ and Ge^2+ that adopt(Ge1)2^3+ Se6 dimer or(Ge2)^2+Se6 octahedron, respectively. The thermal conductivity was measured to be 0.57–0.48 W m^-1 K^-1 from 323 to 773 K, the lowest value among all the known Ge-containing compounds, approaching its glass limit according to the Cahill’s formulation. More importantly, we discover for the first time that the vibration uncoupling of Ge with different valence states hinders the effective thermal energy transport between the(Ge1)2^3+ Se6 dimer and(Ge2)^2+Se6 octahedron, and consequently lowers the thermal conductivity. In addition, we propose a structure factor f = sin(180) ×d/l(i =A, B)iGe Qi, with which a structure map of the Cs2 Ge3 M6 Q14 family is given.

Towards a self-adaptive service-oriented methodology based on extended SOMA

We propose a self-adaptive process （SAP） that maintains the software architecture quality using the MAPE-K standard model. The proposed process can be plugged into various software development processes and service-oriented meth- odologies due to its explicitly defined inputs and outputs. To this aim, the proposed SAP is integrated with the service-oriented modeling and application （SOMA） methodology in a two-layered structure to create a novel methodology, named self-adaptive service-oriented architecture methodology （SASOAM）, which provides a semi-automatic self-aware method by the composition of architectural tactics. Moreover, the maintenance activity of SOMA is improved using architectural and adaptive patterns, which results in controlling the software architecture quality. The improvement in the maintainability of SOMA is demonstrated by an analytic hierarchy process （AHP） based evaluation method. Furthermore, the proposed method is applied to a case study to represent the feasibility and practicality of SASOAM.

Size-and temperature-dependent Young's modulus and size-dependent thermal expansion coefficient of nanowires

Nanowires(NWs) exhibit size-dependent mechanical properties due to the high surface/volume ratio, in which temperature also plays an important role. The surface eigenstress model is further developed here to quantitatively predict the size-dependent mechanical properties of NWs and results in analytic formulas. Molecular dynamics(MD) simulations are conducted to study the size-dependent mechanical of [100], [110] and [111] Ni and Si nanowires within the temperature range of 100–400 K and the MD results verify perfectly the newly developed surface eigenstress model.

Hodge integrals with one λ-class

Hodge integrals over moduli space of stable curves play an important roles in understanding the topological properties of moduli space. ELSV formula connects the Hodge integrals with Hurwitz numbers, and the generating function of Hurwitz numbers satisfies the cut-and-join equation. Therefore, it is natural to consider how to use the cut-and-join equation for Hurwitz numbers to compute Hodge integrals which appear in ELSV formula. In this paper, at first, we will review the method introduced in Goulden et al.＇s paper to get the λg conjecture for Hodge integral. Through some variables transformation, the generating function of Hurwitz number becomes a symmetric polynomial which satisfies a symmetrized cut-and-join equation. By comparing the coefficients of the lowest degree term of both sides in this equation, we can get the ,λg conjecture. Then, in a similar way, we obtain our main result in this paper： a recursive formula for Hodge integral of type contains only one ,λg-l-class. We also point out that our results are closely related to the degree 0 Virasoro conjecture for a curve.

Pairwise interactions in gene expression determine a hierarchical transcriptional profile in the human brain

The orchestrated expression of thousands of genes gives rise to the complexity of the human brain.However,the structures governing these myriad gene-gene interactions remain unclear.By analyzing transcription data from more than 2000 sites in six human brains,we found that pairwise interactions between genes,without considering any higher-order interactions,are sufficient to predict the transcriptional pattern of the genome for individual brain regions and the transcriptional profile of the entire brain consisting of more than 200 areas.These findings suggest a quadratic complexity of transcriptional patterns in the human brain,which is much simpler than expected.In addition,using a pairwise interaction model,we revealed that the strength of gene-gene interactions in the human brain gives rise to the nearly maximal number of transcriptional clusters,which may account for the functional and structural richness of the brain.