教育要有针对性管理要有强制性

分析高职学生思想状态的多层次性,提出以正面的思想教育和启发引导为主,同时加强规章制度的制约性,以提高教育管理工作的效果.     

A proof system for communicating processes with value-passing

A proof system for a version of CCS with value-passing is proposed in which the reasoning about data is factored out from that about the structure of processes. The system is shown to be sound and complete for finite terms with respect to a denotational semantics based on Acceptance Trees.     

The Logarithmic Image Processing Model: Connections with Human Brightness Perception and Contrast Estimators

The logarithmic image processing (LIP) model is amathematical framework based on abstract linear mathematicswhich provides a set of specific algebraic and functionaloperations that can be applied to the processing of intensityimages valued in a bounded range. The LIP model has been provedto be physically justified in the setting of transmitted lightand to be consistent with several laws and characteristics ofthe human visual system. Successful application examples havealso been reported in several image processing areas, e.g.,image enhancement, image restoration, three-dimensional imagereconstruction, edge detection and image segmentation.The aim of this article is to show that the LIP model is atractable mathematical framework for image processing which isconsistent with several laws and characteristics of humanbrightness perception. This is a survey article in the sensethat it presents (almost) previously published results in arevised, refined and self-contained form. First, an introductionto the LIP model is exposed. Emphasis will be especially placedon the initial motivation and goal, and on the scope of themodel. Then, an introductory summary of mathematicalfundamentals of the LIP model is detailed. Next, the articleaims at surveying the connections of the LIP model with severallaws and characteristics of human brightness perception, namelythe brightness scale inversion, saturation characteristic, Weber'sand Fechner's laws, and the psychophysical contrast notion. Finally,it is shown that the LIP model is a powerful and tractable framework for handling the contrast notion. This is done througha survey of several LIP-model-based contrast estimators associated with special subparts (point, pair of points,boundary, region) of intensity images, that are justified bothfrom a physical and mathematical point of view.     

Reconstruction of a discontinuous function from a few fourier coefficients using bayesian estimation

The goal of this paper is the application of spectral methods to the numerical solution of conservation law equations. Spectral methods furnish estimates of the firstn Fourier coefficients of the solution. But since the solutions of conservation law equations can have discontinuities, the estimate of the solution by summing the firstn terms of the Fourier series will haveO(1/n) error, even if the Fourier coefficients are known to high accuracy. But if the solution could be accurately reconstructed from its Fourier coefficients, spectral methods could be used effectively in these problems. A method for doing this is to assume a probability distribution for functions. Functions which are smooth away from the discontinuity are assumed to be likely, and those which are not smooth away from the discontinuity are assumed to be unlikely. Then a reconstruction algorithm is chosen by minimizing the expected error over all algorithms. It is possible to put the smoothness assumptions mentioned earlier into an infinite-dimensional Gaussian probability distribution, and then the minimum-error algorithm is well-known and fairly simple to construct and apply. If the Fourier coefficients of the reconstructed function are known exactly, then this approach gives very good results. But when used with Fourier coefficients obtained from a spectral approximation to Burgers' equation, the results were much less impressive, probably because the coefficients were not known very accurately. It is possible to construct filters that reconstruct a function using Legendre or Chebyshev coefficients for information instead Fourier coefficients. It is found that the performance of these filters is similar to the Fourier case.     

When laws and ethics collide: What should psychologists do?

At times the laws under which psychologists function may appear to contradict generally recognized ethical values and/or good clinical care. When these circumstances arise, psychologists must determine if a conflict really exists and, if so, seek solutions that reconcile respect for the law with their ethical values. At times, psychologists may decide to follow the law despite their ethical concerns. At other times, they may determine that a conscientious objection is warranted. The authors recommend options to consider when these situations arise and offer a decision-making process. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Decisive arrival law parameters and a general finite capacity queueing problem

This paper addresses the problem of finding the parameters of the arrival law which most significantly influence expected occupation and loss of a finite capacity queue. The input process is supposed to be ergodic and wide sense stationary. We show that it is mostly possible to fit an MMPP(2) to the decisive parameters of observational data. Numerical examples illustrate the importance of the decisive parameters, called key parameters, and also show the accuracy of the proposed fitting procedure. Finally, in the appendix we present the solution of the finite capacity queueing problem with Special Semi Markov Process (SSMP) arrivals and a general service strategy.     

磁弹性理论中的守恒定律和路径无关积分

守恒定律与路径无关积分是传统力学中的重要工具,在位错、断裂力学和其他缺陷理论中具有重要的应用价值。由于力场和磁场的共同作用,以及磁弹性材料本身的耦合性质,所以磁弹性体具有更为广泛的守恒定律和路径无关积分。文中通过定义4种不同的热力学函数,应用电磁场理论中的能量矩概念,建立了磁弹性理论中对偶形式的守恒定律,并由这些对偶形式的守恒定律得到了相应的路径无关积分。文中建立的守恒定律和路径无关积分,对研究磁弹性体中的缺陷理论将起到十分重要的作用。     

利用变频调速器对砂布砂纸生产线进行恒张力控制

本文根据弹性力学中的虎克定律，结合砂布砂纸生产特点，分析计算了生产线中基体、应变、速度、张力、转速等参数之间的关系，建立了砂布砂纸生产线中传动辊转速（频率）运动方程。然后利用此规律通过交流变频调速器对电机转速的控制，实现了砂布砂纸生产线的恒定张力控制。系统控制简捷、稳定，调节方便，节约能耗，重复性好，实用性强。     

单榫头叶片精锻成形规律三维热力耦合有限元模拟研究

单榫头叶片是航空发动机中的一类重要叶片.本文以单榫头叶片精锻过程为研究对象,采用热力耦合方法,利用自行开发的面向叶片精锻过程的三维刚粘塑性热力耦合有限元数值模拟系统3D-CTM,模拟分析了不同工艺参数(变形速度、摩擦因子以及坯料锻造温度)下的单榫头叶片精锻过程,研究了不同工艺参数对叶片精锻成形规律的影响.该研究对制定叶片精锻工艺以及发展叶片精锻技术具有重要的理论意义和实用价值.     

Territorial targeting in EU private law

In a series of rulings given in the last few years, the Court of Justice of the European Union (EU) has made use of the concept of targeting by a trader of a particular territorial market as a device for determining the scope of European legislation on private law. The concept is of particular importance in the context of trading activities conducted by means of the Internet, though its significance is not confined to such activities. In particular, the European Court has used the concept of targeting for the purpose of restricting the substantive ambit of intellectual property rights created or harmonised by EU legislation. On the other hand, it has avoided use of the concept of targeting in the context of EU legislation allocating jurisdiction between the courts of the Member States, even in respect of disputes involving intellectual property, except where a legislative text specifically invokes such a concept. The instant paper endeavours to review the position as currently established by the European case-law, and to predict the likely further developments.