基于SOCKS协议的IPv6/IPv4转换器

介绍了IPv6协议出现和IPv6和IPv4将长期共存的必然性。讨论了从IPv4到IPv6的各种过渡机制，包括IPv4网络中IPv6域间互联的机制及IPv6节点及IPv4节点间通信的机制。实现了一个IPv6／IPv4转换器，该转换器利用了SOCKS协议和6to4隧道方式。最后分析了这个转换器的适用性和特点。     

Sensitivity analysis of initial value problems with mixed odes and algebraic equations

An efficient method is described for sensitivity analysis of nonlinear initial value problems, which may include algebraic equations as well as ordinary differential equations.The linearity of the sensitivity equations is utilized to solve them directly via the local Jacobian of the state equations. The method is implemented with the implicit integrator DASSL and is demonstrated on a stiff industrial reaction model.     

étude des rechutes constatés dans une cohorte de personnes jugées inptes à subir leur procés ou acquittées pour cause d'aliénation mentale.

[Correction Notice: An erratum for this article was reported in Vol 20(2) of Canadian Journal of Behavioural Science Revue canadienne des Sciences du comportement (see record 2007-09831-001). The abstract accompanying the original article was incorrect; the correct abstract (in French) is presented in the erratum.] We know little about individuals who are declared unfit to stand trial and/or not guilty by reason of insanity. The few existing studies are characterized by methodological weaknesses, notably by short follow-up periods and a lack of external validity. The present investigation, which aims to evaluate and explain readmissions that occurred during a seven- to nine-year period, corrects only some of these weaknesses. Sixty-one per cent of the subjects were rehospitalized during the period of study. It proved difficult to identify the factors associated with readmission. However, males with a diagnosis of schizophrenia and who had committed violent crimes were found the most likely to be readmitted. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Study on axiomatic rules for building up relationships between requirement and source programs

The purpose of our study is to build up relationships between requirement and source programs with our originally thought-out rules. When other rules to be derived from these original rules are applied to software development, even a single instruction in a programming language could be determined, and the program would satisfy the requirement. More specifically speaking, these rules will turn into a formula or a prototype of software programs. Hence, when the variables in the requirement are placed in the formula, we can get a required program in an automatic way.     

A motivational model of rural students' intentions to persist in, versus drop out of, high school.

Using self-determination theory, the authors tested a motivational model to explain the conditions under which rural students formulate their intentions to persist in, versus drop out of, high school. The model argues that motivational variables underlie students' intentions to drop out and that students' motivation can be either supported in the classroom by autonomy-supportive teachers or frustrated by controlling teachers. LISREL analyses of questionnaire data from 483 rural high school students showed that the provision of autonomy support within classrooms predicted students' self-determined motivation and perceived competence. These motivational resources, in turn, predicted students' intentions to persist, versus drop out, and they did so even after controlling for the effect of achievement. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Fodor and Pylyshyn on connectionism

Fodor and Pylyshyn (1988) have argued that the cognitive architecture is not Connectionist. Their argument takes the following form: (1) the cognitive architecture is Classical; (2) Classicalism and Connectionism are incompatible; (3) therefore the cognitive architecture is not Connectionist. In this essay I argue that Fodor and Pylyshyn's defenses of (1) and (2) are inadequate. Their argument for (1), based on their claim that Classicalism best explains the systematicity of cognitive capacities, is an invalid instance of inference to the best explanation. And their argument for (2) turns out to be question-begging. The upshot is that, while Fodor and Pylyshyn have presented Connectionists with the important empirical challenge of explaining systematicity, they have failed to provide sufficient reason for inferring that the cognitive architecture is Classical and not Connectionist.     

大块式动力基础的振动分析与加固处理

根据一大块式曲柄连杆机构的机器钢筋混凝土基础的振动测试与振动分析 ,诊断了基础发生工程事故的原因 ,并结合工程特点 ,在不改变基础设计的动力参数的情况下 ,确定了灌浆加固处理方法 ,并介绍了灌浆加固处理的效果。     

某半导体产品的设计和快速实现研究

研究了产品开发及快速实现过程中任务获取、任务分配、进度的协调、信息传输等相关问题,并以某半导体产品为例,进行了产品的设计和快速实现,为缩短产品开发和上市周期、提高产品的市场竞争力积累经验。     

网络财务初论

网络财务是网络时代和电子商务发展的必然趋势 ,本文介绍了网络财务的特征及其会计理论 ,并就其在实施过程中可能出现的风险提出了相应对策