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

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

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.     

Delay discounting of real and hypothetical rewards.

The degree to which real and hypothetical rewards were discounted across delays ranging from 6 hr to 1 year was explored in a within-subjects design. An adjusting-amounts procedure was used to estimate the subjective value of real and hypothetical rewards at each delay. A hyperbolic discounting function provided a significantly better fit to individual participants' preferences than did an exponential function. No significant effect of reward type on degree of hyperbolic discounting or area under the discounting curves was detected. These findings offer some support for the validity of using hypothetical rewards to estimate discounting rates in substance-abusing and other populations, but caution is suggested because this support is gleaned from a failure to detect an effect of reward type. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

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.     

Political orientation and modern versus aversive racism: Tests of Dovidio and Gaertner's (1998) integrated model.

According to J. F. Dovidio and S. L. Gaertner's (1998) integrated model of racism, politically liberal European Americans tend to express racism differently than conservative European Americans, with liberals demonstrating aversive racism and conservatives, symbolic or modern racism. In support of the model, in Experiment 1 liberals showed bias in favor of a twice-prosecuted African American relative to a European American in their judgment of double jeopardy, whereas conservatives did the reverse. Experiment 2 replicated these effects while eliminating a confound in the design of Experiment 1. Experiment 3 found evidence for the intrapsychic conflict hypothesized to underlie aversive racism. Specifically, only liberals displayed greater physiological arousal to the touch of an African American versus a European American experimenter. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

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.     

分偏移距动校正方法的改进

在地震资料处理中，速度分析和动校正对资料品质的影响很大。由于动校正速度是随偏移距变化而变化的，而常规速度分析并没有考虑这一因素，动校正效果往往不是很理想，从而影响资料的叠加和成像效果。分偏移距动校方法是在不同偏移距上采用不同的速度进行动校正。但由于是在不同偏移距组上分别独立进行速度分析和动校正，因此不能将不同偏移距组的同一反射同相轴校正到同一to层位上。这样就需要进行繁琐的后续处理，而且还会降低同相轴的连续性和平滑性。为此，对该方法进行了一些改进，即固定to在不同的分偏移距段进行速度扫描，段与段之间的衔接问题采用平滑处理解决。理论模型分析表明，采取上述改进措施后，动校正效果得到了一定提高，改善了同相轴的连续性和平滑性。     

大跨双曲混凝土组合扭壳屋盖施工拆模优化分析

由于混凝土抗拉能力较差,双曲组合扭壳抵抗悬垂线方向的主拉应力控制至关重要.如果拆模顺序不当,可能会使壳体结构产生过大的拉应力.为解决此问题,以华工扭壳为例,对平行四边形底面双曲组合扭壳的满堂脚手架施工拆模顺序进行全面优化分析,并与工程实测进行对比,得出较为合理的拆模方式.