新见《武略将军太仓卫副千户过侯墓志铭》考释

《武略将军太仓卫副千户过侯墓志铭》详细记载了明代太仓卫副千户过义的家族世系及生平事迹,为研究明代卫所武官、太仓地方史等提供了可靠资料。作者将其与《杨文懿公文集》所收墓志录文相校正,订正文字的错讹衍乱,不仅有助于志文识读,也可以补正相关史籍。

Monadically slicing programs with procedures

A two-phase monadic approach is presented for monadically slicing programs with procedures. In the monadic slice algorithm for interprocedural programs, phase 1 initializes the slice table of formal parameters in a procedure with the given labels, and then captures the callees＇ influence on callers when analyzing call statements. Phase 2 captures the callees＇ dependence on callers by replacing all given labels appearing in the corresponding sets of formal parameters. By the introduction of given labels, this slice method can obtain similar summary information in system-dependence-graph（SDG）-based algorithms for addressing the calling-context problem. With the use of the slice monad transformer, this monadic slicing approach achieves a high level of modularity and flexibility. It shows that the monadic interprocedural algorithm has less complexity and it is not less precise than SDG algorithms.

A Feature Definition Hierarchy for Supporting Design Process

The adaptability of features definition to applications is an essential condition for implementing feature based design. This paper makes attempt to present a hierarchical definition structure of features. The proposed scheme divides feature definition into application level, form level and geometric level, and provides links between different levels with feature semantics interpretation and enhanced geometric face adjacent graph. respectively. The results not only enable feature definition to abate from the specific dependence and become more extensive, but also provide a theoretical foundation for establishing the concurrent feature based design process model.

An Extended Birth-Death Processes with Catastrophes——Stochastically Monotone, Feller and Symmetric Properties

A new structure with the special property that catastrophes is imposed to ordinary Birth_Death processes is considered. The necessary and sufficient conditions of stochastically monotone, Feller and symmetric properties for the extended birth_death processes with catastrophes are obtained.

Simulation of pavement roughness based on time domain model

In order to describe pavement roughness more intuitively and effectively, a method of pavement roughness simulation, i.e., the stochastic sinusoidal wave, is introduced. The method is based on the primary idea that pavement roughness is denoted as the sum of numerous sines or cosines with stochastic phases, and uses the discrete spectrum to approach the target stochastic process. It is a discrete numerical method used to simulate pavement roughness. According to a given pavement power spectral density （PSD） coefficient, under the condition that the character of displacement frequency based on the time domain model is in accordance with the given pavement surface spectrum, the pavement roughness is optimized to stochastic equivalent vibrations by computer simulation, and the curves that describe pavement roughness under each grade are obtained. The results show that the stochastic sinusoidal wave is suitable for simulation of measured pavement surface spectra based on the time domain model. The method of the stochastic sinusoidal wave is important to the research on vehicle ride comfort due to its rigorous mathematical derivation, extensive application range and intuitive simulation curve. Finally, a roughness index defined as the nominal roughness index （NRI） is introduced, and it has correlation with the PSD coefficient.

An Equivalent Definition of the Crossed Cube

For the crossed cube,an equivalent definition based on the quadrilateral is given,by which we obtain the main properties of this topological architecture,and propose a procedure to find a shortest path between any two vertices in it.

Regulated Gene Expression with Promoters Responding to Inducers

Genetically engineered transgenic animals and plants have proven to be extremely useful for analyzing biochemical and developmental processes.Promoters responding to chemical inducers will be powerful tools for basic research in molecular biology and biotechnological applications.Various chemical inducible systems based on activation and inactivation of the target gene had been described.The transfer of regulatory elements from prokaryotes,insects,and mammals has opened new avenues to construct chemically inducible promoters that differ in their ability to regulate the temporal and spatial expression patterns,and this will dramatically increase the application of transgenic technology.This review provides an overview on regulation of gene expression,promoter activating systems,promoter inactivation systems,inducible gene over expression,and inducible anti suppression.

Progressive failure processes of reinforced slopes based on general particle dynamic method

In order to resolve grid distortions in finite element method(FEM), the meshless numerical method which is called general particle dynamics(GPD) was presented to simulate the large deformation and failure of geomaterials. The Mohr-Coulomb strength criterion was implemented into the code to describe the elasto-brittle behaviours of geomaterials while the solid-structure(reinforcing pile) interaction was simulated as an elasto-brittle material. The Weibull statistical approach was applied to describing the heterogeneity of geomaterials. As an application of general particle dynamics to slopes, the interaction between the slopes and the reinforcing pile was modelled. The contact between the geomaterials and the reinforcing pile was modelled by using the coupling condition associated with a Lennard-Jones repulsive force. The safety factor, corresponding to the minimum shear strength reduction factor "R", was obtained, and the slip surface of the slope was determined. The numerical results are in good agreement with those obtained from limit equilibrium method and finite element method. It indicates that the proposed geomaterial-structure interaction algorithm works well in the GPD framework.

Approach for workflow modeling using π-calculus

As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π calculus, thus facilitating the optimization of business processes.

Contrastive analysis of prefix dis- and un- in English

English prefix dis- and tin- are commonly surveyed along with some other negative prefixes. However, there are many cases in which prefix dis- and un- can be attached to the same root, causing the difficulty in distinguishing the comprehension of the two prefixes＇ semantic roles. Considering this issue, this paper endeavors to clarify the respective morphological processes and explain their specific semantic roles.

Modeling and Fault Monitoring of Bioprocess Using Generalized Additive Models （GAMs） and Bootstrap

Fault monitoring of bioprocess is important to ensure safety of a reactor and maintain high quality of products. It is difficult to build an accurate mechanistic model for a bioprocess, so fault monitoring based on rich historical or online database is an effective way. A group of data based on bootstrap method could be resampling stochastically, improving generalization capability of model. In this paper, online fault monitoring of generalized additive models （GAMs） combining with bootstrap is proposed for glutamate fermentation process. GAMs and bootstrap are first used to decide confidence interval based on the online and off-line normal sampled data from glutamate fermentation experiments. Then GAMs are used to online fault monitoring for time, dissolved oxygen, oxygen uptake rate, and carbon dioxide evolution rate. The method can provide accurate fault alarm online and is helpful to provide useful information for removing fault and abnormal phenomena in the fermentation.

Civilization and Art： Lifeworld in the Variety of Visual Experience

The paper examines the assignment of the visual experience in the context of interrelation between civilization and art. Civilization is defined as ＂the survival of the weak＂. It is stressed that this definition can be applied to man, animal and every living being. Lie as ＂someone else＇s truth＂ and art as ＂the process of the creation of ＇copies of the copies of nature＇＂ are considered to be the weak man＇s tools for survival. The author argues that purpose of erotic scenes and scenes of hunting （death and violence） both in the past and in the present is the excitation at the woman of desire to reproduction.

Multivariable Decoupling Predictive Control with Input Constraints and Its Application on Chemical Process

A constrained decoupling (generalized predictive control) GPC algorithm is proposed for MIMO (malti-input multi-output) system. This algorithm takes account of all constraints of inputs and their increments. By solving matrix equations, the multi-step predictive decoupling controllers are realized. This algorithm need not solve Diophantine functions, and weakens the cross-coupling of the variables. At last the simulation results demon- strate the effectiveness of this proposed strategy.

Processes of Adaptation and Creation of a Territorial Governance： The Experience of the Cities of Benevento and Salerno （Campania Region, Italy）~

This paper presents some considerations about the definition and role of ＂medium-sized cities＂ in the processes of urban governance of the Italian regional systems, in line with the objectives of European programming 2007-2013. Beginning from some theoretical considerations, the research objective is to delineate the features of the ＂new urban geography＂ of Campania region as it has been formed on the base of the social and economic processes that in the last 30 years have modified the regional urban system in the widest context of Mezzogiorno. To such aim, the paper is articulated in two parts： the first one in which the fundamental passages are re-called in the processes of development of Italian urban areas that have carried to new paradigms object of theoretical approaches still in course of definition, and the second one in which such processes are considered regarding the model of urban development of Campania, on which the research is concentrated. Specifically, the paper presents the case of two ＂middle cities＂ in the Campania region： Benevento and Salerno, which play a particularly important role in the design and development of a ＂regional network of medium-sized cities＂.

The Analysis of Handel Variations as an Example for Brahms Variations

＂Variations＂ is one of the main musical forms in compositional process. Johannes Brahms is one of the most important Romantic composers that used this form. Variations and Fugue on a Theme by Handel, Op. 24, （Op. 24, 1862） is a piece that Johannes Brahms wrote for solo piano in a highly creative style, which was classically arranged. Brahms took the theme from an aria in George Frederic Handel＇s Harpsichord Suite in B-flat major, HWV 434 （1733）. In Handel＇s work, the original theme was turned into five variations. With the purpose of exploring chromatic possibilities after the piano was developed from harpsichord, Brahms made 25 magnificent variations with an extensive fugue in his work. The purpose of this work is to prepare an explanatory document for pianists who intend to perform this piece and who are not familiar with such work. Also, it is hoped that piano performers will find explanatory points in this composition （e.g., stylistic characteristics） through comparisons with his other variations and start performing it more frequently

Assessment of Model Predictive Control Performance Criteria

The current highly competitive environment has driven industries to operate with increasingly restricted profit margins. Thus, it is imperative to optimize production processes. Faced with this scenario, multivariable predictive control of processes has been presented as a powerful alternative to achieve these goals. Moreover, the rationale for implementation of advanced control and subsequent analysis of its post-match performance also focus on the benefits that this tool brings to the plant. It is therefore essential to establish a methodology for analysis, based on clear and measurable criteria. Currently, there are different methodologies available in the market to assist with such analysis. These tools can have a quantitative or qualitative focus. The aim of this study is to evaluate three of the best current main performance assessment technologies： Minimum Variance Control-Harris Index; Statistical Process Control （Cp and Cpk）; and the Qin and Yu Index. These indexes were studied for an alumina plant controlled by three MPC （model predictive control） algorithms （GPC （generalized predictive control）, RMPCT （robust multivariable predictive control technology） and ESSMPC （extended state space model predictive controller）） with different results.

Moral Generalism or Particularism？

Moral generalism and particularism are two positions in meta-ethics which have different views regarding the relation between moral thought and principles. By accepting this relationship, generalists emphasize the necessity of principles in decision making process, and claim that the rationality of moral thought depends on the provision of a suitable supply ofmoral principles. In contrast, particularists have rejected, or at least doubted, the existence of moral principles, and believe that the rationality of moral thought depends on recognizing special features of a case and relevant conditions. This is why, unlike generalists, they use case study method rather than syllogism in decision making process and moral judgment. Consequently, to support their view, particularists commonly resort to holism in the theory of reasons, while atomism is in support of generalism. To evaluate these two attitudes, this study surveys some arguments that particularists and generalists proposed to justify their view and criticize the rival＇s one, and also explains their positions concerning the epistemological and metaphysical role of moral principles and reasons. Finally, after evaluating their claims, the importance of both approaches in meta-ethics is stressed.

The Major Western Cultural Influences on the Incubating Process of Ezra Pound＇s Early Poetics

This paper intends to study Ezra Pound＇s early poetics and his modernist poetry through a close research of the various elements in the shaping process of his poetics, and the significance and influence of his poetic thoughts on the American New Poetry Movement. It studies firstly the early translations and romantic lyrics of Pound, trying to demonstrate that part of the influence on his early poetics is from the Western traditional cultural inheritance and that the emphasis on musicality that Pound inherited from traditional forms of poetry turns out to be one of the major principles that Pound advocates in his early poetics; then it comes to the discussion of the new translation concepts and poetics in ＂The Seafarer＂ （1911）, which is a great work Pound translated based on an Old English poem; next this paper will focus on the influence of Robert Browning＇s dramatic monologues and Yeats＇ Symbolism on Pound＇s transition from subjectivity to objectivity.

The Hidden Curriculum in Language Classrooms

This paper discusses the issue of the hidden curriculum in the setting of a language classroom. The author first talks about the definition of the hidden curriculum from a theoretical perspective and proposes her own working definition. She then elaborates on the reasons and main manifestations of the hidden curriculum from the teachers＇ and learners＇ angles respectively with examples taken from language classrooms. Based on some profound reflections, some feasible suggestions on how to minimize the negative impacts of the hidden curriculum are suggested. On the basis of the previous discussion, the author reaches a conclusion： Language teachers should not avoid or ignore the hidden curriculum existing in the language teaching processes; rather, they are expected to face it positively and try their very best to solve the problems it brings. A sound attitude towards the hidden curriculum can help language teachers better understand and implement the formal or official curriculum made by the school or the state.

Analysis of publication dissemination of Chinese present current literature work English translation and research methodologies

As a systematic work, there are very close links between the various aspects of the English translation of Chinese modern and contemporary literary works, whether they are translated into the main body, translated content and other links, or a specific translation approach, are not segmentation. Many translators, sinologists and books, magazines and so on have played a very important role in the process of translating modern and contemporary literary works in China. However with English-Chinese “borrowism” compared with, English work that translates the Chinese present current literature work, no matter in quantity and quality, infi uence and other aspects that the work itself has appear the relative backwardness. In order to promote the modern and contemporary Chinese literary works in the world, it is necessary to analyze and study the English translation of Chinese modern and contemporary literary works and the research methods.