CIMS过程运行管理系统研究

CIMS是将企业主要生产经营活动实现自动化的高度复杂的大规模集成系统;在CIMS的实践过程中,不仅要实现物流和信息流的集成,还要实现组织和功能的集成,进行系统运行过程的有效管理,才能从总体上实现生产的最优调度和控制,从而实现系统最优目标.本文从沈阳鼓风机厂CIMS工程的实际出发,讨论在信息集成的基础上,根据企业内部运行规律对SB-CIMS内的各功能模块进行协调管理,使CIMS内部各功能模块和谐地运行,从而实现功能的集成和系统的最优目标。

数据驱动型多次波衰减方法的研究

In the practical seismic profile multiple reflections tend to impede the task of even the experienced interpreter in deducing information from the reflection data. Surface multiples are usually much stronger, more broadband, and more of a problem than internal multiples because the reflection coefficient at the water surface is much larger than the reflection coefficients found in the subsurface. For this reason most attempts to remove multiples from marine data focus on surface multiples, as will I. A surface-related multiple attenuation method can be formulated as an iterative procedure. In this essay a fully data-driven approach which is called MPI —multiple prediction through inversion (Wang, 2003) is applied to a real marine seismic data example. This is a pretty promising scheme for predicting a relative accurate multiple model by updating the multiple model iteratively, as we usually do in a linearized inverse problem. The prominent characteristic of MPI method lie in that it eliminate the need for an explicit surface operator which means it can model the multiple wavefield without any knowledge of surface and subsurface structures even a source signature. Another key feature of this scheme is that it can predict multiples not only in time but also in phase and in amplitude domain. According to the real data experiments it is shown that this scheme for multiple prediction can be made very efficient if a good initial estimate of the multiple-free data set can be provided in the first iteration. In the other core step which is multiple subtraction we use an expanded multi-channel matching filter to fulfil this aim. Compared to a normal multichannel matching filter where an original seismic trace is matched by a group of multiple-model traces, in EMCM filter a seismic trace is matched by not only a group of the ordinary multiple-model traces but also their adjoints generated mathematically. The adjoints of a multiple-model trace include its first derivative, its Hilbert transform and the derivative of the Hilbert transform. The third chapter of the thesis is the application for the real data using the previous methods we put forward from which we can obviously find the effectivity and prospect of the value in use. For this specific case I have done three group experiments to test the effectiveness of MPI method, compare different subtraction results with fixed filter length but different window length, invest the influence of the initial subtraction result for MPI method. In terms of the real data application, we do fine that the initial demultiple estimate take on a great deal of influence for the MPI method. Then two approaches are introduced to refine the intial demultiple estimate which are first arrival and masking filter respectively. In the last part some conclusions are drawn in terms of the previous results I have got.

太阳辐射对溶解有机质荧光光谱特征的影响

利用三维荧光光谱研究了太阳辐射对溶解有机质(DOM)荧光光谱特征的影响。实验结果表明,太阳辐射使DOM的荧光发射光谱强度减弱。在三维荧光光谱图中,红枫湖样品的荧光峰A,C,南明河样品的荧光峰A,B,C,尤其是荧光峰C的λExmax/λEmmax位置随着太阳辐射时间的延长而逐渐向短波长移动。从腐殖酸样品的三维荧光光谱图中则发现,原始样品荧光峰位置出现在λEx/λEm=275/500nm处,光照作用后出现两个荧光峰λEx/λEm=245/450nm和310/450nm。太阳辐射对DOM中不同荧光组分的光降解速率存在差异,从荧光峰A和C的比值r(A,C)随太阳辐射时间的变化趋势得知,荧光峰C比荧光

Piecemeal Learning of an Unknown Environment

We introduce a new learning problem: learning a graph by piecemeal search, in which the learner must return every so often to its starting point (for refueling, say). We present two linear-time piecemeal-search algorithms for learning city-block graphs: grid graphs with rectangular obstacles.

Spatial Reference Frames for Object Recognition: Tuning for Rotations in Depth

The inferior temporal cortex (IT) of monkeys is thought to play an essential role in visual object recognition. Inferotemporal neurons are known to respond to complex visual stimuli, including patterns like faces, hands, or other body parts. What is the role of such neurons in object recognition? The present study examines this question in combined psychophysical and electrophysiological experiments, in which monkeys learned to classify and recognize novel visual 3D objects. A population of neurons in IT were found to respond selectively to such objects that the monkeys had recently learned to recognize. A large majority of these cells discharged maximally for one view of the object, while their response fell off gradually as the object was rotated away from the neuron"s preferred view. Most neurons exhibited orientation-dependent responses also during view-plane rotations. Some neurons were found tuned around two views of the same object, while a very small number of cells responded in a view- invariant manner. For five different objects that were extensively used during the training of the animals, and for which behavioral performance became view-independent, multiple cells were found that were tuned around different views of the same object. No selective responses were ever encountered for views that the animal systematically failed to recognize. The results of our experiments suggest that neurons in this area can develop a complex receptive field organization as a consequence of extensive training in the discrimination and recognition of objects. Simple geometric features did not appear to account for the neurons" selective responses. These findings support the idea that a population of neurons -- each tuned to a different object aspect, and each showing a certain degree of invariance to image transformations -- may, as an assembly, encode complex 3D objects. In such a system, several neurons may be active for any given vantage point, with a single unit acting like a blurred template for a limited neighborhood of a single view.

GABAA receptor chloride channels are involved in the neuroprotective role of GABA following oxygen and glucose deprivation in the rat cerebral cortex but not in the hippocampus.

Assays on "ex vivo" sections of rat hippocampus and rat cerebral cortex, subjected to oxygen and glucose deprivation (OGD) and a three-hour reperfusion-like (RL) recovery, were performed in the presence of either GABA or the GABA(A) receptor binding site antagonist, bicuculline. Lactate dehydrogenase (LDH) and propidium iodide were used to quantify cell mortality. We also measured, using real-time quantitative polymerase chain reaction (qPCR), the early transcriptional response of a number of genes of the glutamatergic and GABAergic systems. Specifically, glial pre- and post-synaptic glutamatergic transporters (namely GLAST1a, EAAC-1, GLT-1 and VGLUT1), three GABAA receptor subunits (α1, β2 and γ2), and the GABAergic presynaptic marker, glutamic acid decarboxylase (GAD65), were studied. Mortality assays revealed that GABAA receptor chloride channels play an important role in the neuroprotective effect of GABA in the cerebral cortex, but have a much smaller effect in the hippocampus. We also found that GABA reverses the OGD-dependent decrease in GABA(A) receptor transcript levels, as well as mRNA levels of the membrane and vesicular glutamate transporter genes. Based on the markers used, we conclude that OGD results in differential responses in the GABAergic presynaptic and postsynaptic systems.

Applications of outsourcing theory to collaborative purchasing and licensing

Urquhart, C. (2003). Applications of outsourcing theory to collaborative purchasing and licensing. VINE: The Journal of Information and Knowledge Management Systems, 32(4), 63-70.

Special Educational Needs in Wales

Special Educational Needs in Wales (with K Williams and B Rainey), (2004) 3 Wales Journal of Law and Policy 17-33. RAE2008

Islamic Dress, Institutions of Education and Freedom of Religion under the ECHR: A UK perspective

Sherlock, A. and Williams, K. (2005). Islamic Dress, Institutions of Education and Freedom of Religion under the ECHR: A UK Perspective. Wales Journal of Law and Policy. 4, pp. 214-230. RAE2008

Rubisco small subunit, chlorophyll a/b-binding protein and sucrose : fructan-6-fructosyl transferase gene expression and sugar status in single barley leaf cells in situ. Cell type specificity and induction by light

Chungui Lu, Olga A. Koroleva, John F. Farrar, Joe Gallagher, Chris J. Pollock, and A. Deri Tomos (2002). Rubisco small subunit, chlorophyll a/b-binding protein and sucrose : fructan-6-fructosyl transferase gene expression and sugar status in single barley leaf cells in situ. Cell type specificity and induction by light. Plant Physiology, 130 (3) pp.1335-1348 Sponsorship: BBSRC RAE2008

Construction of a Festuca pratensis BAC library for map-based cloning in IFestulolium substitution lines

Iain S. Donnison, Donal M. O Sullivan, Ann Thomas, Peter Canter, Beverley Moore, Ian Armstead, Howard Thomas, Keith J. Edwards and Ian P. King (2005). Construction of a Festuca pratensis BAC library for map-based cloning in Festulolium substitution lines. Theoretical and Applied Genetics, 110 (5) pp.846-851 Sponsorship: BBSRC;BBSRC RAE2008

Efficacy of a four-week uphill sprint training intervention in field hockey players

Current evidence increasingly suggests that very short, supra-maximal bouts of exercise can have significant health and performance benefits. The majority of research conducted in the area however, uses laboratory-based protocols, which can lack ecological validity. The purpose of this study was to examine the effects of a high intensity sprint-training programme on hockey related performance measures. 14 semi-professional hockey players completed either a 4-week high intensity training (HIT) intervention, consisting of a total of six sessions HIT, which progressively increased in volume (n=7), or followed their normal training programme (Con; n=7). Straight-line sprint speed with and without a hockey stick and ball, and slalom sprint speed, with and without a hockey stick and ball were used as performance indicators. Maximal sprint speed over 22.9m was also assessed. Upon completion of the four-week intervention, straight-line sprint speed improved significantly in the HIT group (~3%), with no change in performance for the Con group. Slalom sprint speed, both with and without a hockey ball was not significantly different following the training programme in either group. Maximal sprint speed improved significantly (12.1%) in the HIT group, but there was no significant performance change in the Con group. The findings of this study indicate that a short period of HIT can significantly improve hockey related performance measures, and could be beneficial to athletes and coaches in field settings.

Autonomia w nauce języka obcego – co osiągnęliśmy i dokąd zmierzamy?

Niniejszy tom poświęcony jest niezwykle istotnemu zagadnieniu w dydaktyce języków obcych, jakim jest autonomia, rozumiana nie tylko jako zdolność i chęć uczniów do przejęcia choćby części odpowiedzialności za własną naukę, ale również jako gotowość nauczycieli do wyjścia poza ramy instytucjonalne i stworzenia warunków, w których postawy i zachowania o charakterze autonomicznym mogą być rozwijane. Książka stanowi zbiór artykułów opartych na wybranych referatach wygłoszonych podczas konferencji pod hasłem Autonomia ucznia w nauczaniu języków obcych – co osiągnęliśmy i dokąd zmierzamy, zorganizowanej w maju 2007 roku przez Instytut Neofilologii Państwowej Wyższej Szkoły Zawodowej w Koninie oraz Zakład Filologii Angielskiej Wydziału Pedagogiczno-Artystycznego UAM w Kaliszu. Można ją również uznać za kontynuację rozważań nad autonomią zawartych w publikacji z 2004 roku, zatytułowanej Autonomia w nauce języka obcego i będącej pokłosiem pierwszej konferencji poświęconej tej właśnie tematyce.

Typability and Type Checking in the Second-Order Λ-Calculus Are Equivalent and Undecidable (Preliminary Draft)

We consider the problems of typability[1] and type checking[2] in the Girard/Reynolds second-order polymorphic typed λ-calculus, for which we use the short name "System F" and which we use in the "Curry style" where types are assigned to pure λ -terms. These problems have been considered and proven to be decidable or undecidable for various restrictions and extensions of System F and other related systems, and lower-bound complexity results for System F have been achieved, but they have remained "embarrassing open problems"[3] for System F itself. We first prove that type checking in System F is undecidable by a reduction from semi-unification. We then prove typability in System F is undecidable by a reduction from type checking. Since the reverse reduction is already known, this implies the two problems are equivalent. The second reduction uses a novel method of constructing λ-terms such that in all type derivations, specific bound variables must always be assigned a specific type. Using this technique, we can require that specific subterms must be typable using a specific, fixed type assignment in order for the entire term to be typable at all. Any desired type assignment may be simulated. We develop this method, which we call "constants for free", for both the λK and λI calculi.

Exploiting the Transients of Adaptation for RoQ Attacks on Internet Resources

In this paper, we expose an unorthodox adversarial attack that exploits the transients of a system's adaptive behavior, as opposed to its limited steady-state capacity. We show that a well orchestrated attack could introduce significant inefficiencies that could potentially deprive a network element from much of its capacity, or significantly reduce its service quality, while evading detection by consuming an unsuspicious, small fraction of that element's hijacked capacity. This type of attack stands in sharp contrast to traditional brute-force, sustained high-rate DoS attacks, as well as recently proposed attacks that exploit specific protocol settings such as TCP timeouts. We exemplify what we term as Reduction of Quality (RoQ) attacks by exposing the vulnerabilities of common adaptation mechanisms. We develop control-theoretic models and associated metrics to quantify these vulnerabilities. We present numerical and simulation results, which we validate with observations from real Internet experiments. Our findings motivate the need for the development of adaptation mechanisms that are resilient to these new forms of attacks.