救赎的不可能--鲁迅、张爱玲和巴金创作上的互文性

现代启蒙者一直确信个体和整个社会被救赎的可能性，个性自由和社会进步的积极前景也一直被评论家阐发为“五四”以来新文学作品的主流和本质。然而，在鲁迅、张爱玲和巴金的作品中，儿童的成长轨迹和成人的生存状态相互映照相互阐发，显示出启蒙者自身也处在双重的困境中；而个体人物所具有的哲学上的共相显现，更明证了救赎的可能性从一开始就是微乎其微的，救赎的逻辑起点根本就是悖谬的。同时，三位作家对于启蒙的深刻思考，更使得他们的创作具有了本质上的互文性。     

The Argument(s) for Universal Gravitation

In this paper an analysis of Newton’s argument for universal gravitation is provided. In the past, the complexity of the argument has not been fully appreciated. Recent authors like George E. Smith and William L. Harper have done a far better job. Nevertheless, a thorough account of the argument is still lacking. Both authors seem to stress the importance of only one methodological component. Smith stresses the procedure of approximative deductions backed-up by the laws of motion. Harper stresses “systematic dependencies” between theoretical parameters and phenomena. I will argue that Newton used a variety of different inferential strategies: causal parsimony considerations, deductions, demonstrative inductions, abductions and thought-experiments. Each of these strategies is part of Newton’s famous argument.     

局域演化的加权网络模型

在BA模型的基础上研究了兼顾局域演化、增长，以及局域与局域外存在较弱连接等3方面因素的加权网络。在这个模型中，引入了参数a，P1，P2，P3，通过理论分析，导出了这个加权网络模型的节点的强度分布，发现它服从幂律指数为2～3的幂律分布。数值仿真验证了理论分析的正确性；并通过调节参数，分析了该模型的内在特征和结构。这个改进的模型具有更为广泛的实际背景。     

基于USB2．0的信号发生器的设计与实现

针对传统信号发生器存在的诸多弊端,提出了一种基于USB2.0协议下的简易信号发生器的构造和实现方法。基于Cypress半导体公司的EZ-USB FX2芯片给出了其硬件组成、驱动程序框架和主要的固件程序代码。该方法采用直接数字合成方法,结合现场可编程技术,通过软件和硬件性能的结合完成了双通道信号的频率、幅度、相位的高精度调整。将参数调整,波形数据细分的复杂计算任务交于主机程序完成,简化了外设执行部件的电路结构。该信号发生器结构简单,信号失真小,配置灵活,可达到所见即所得的效果。     

Control and Communication Network in Hybrid Fuel Cell Vehicles

This paper describes the control and communication network in fuel cell vehicles, including both the protocol and the hardware. Based on the current protocol (ISO-11898 and SAE J1939), a new practical protocol is proposed and implemented for the control and communication network in fuel ceil vehicles. To improve the reliability of data communication and to unify the network management, a new network system based on dual-port RAM is also implemented.     

广义势的几个性质

广义势的引入，为超双曲型方程的研究开辟了又一条新途径。它是经典物理有势场中单层场位与双层场位概念的新扩充，本文主要围绕广义势进行讨论，以Ｊ．Ｈａｄａｍａｒｄ发散积分有限部分为工具，给出它们的一些性质。     

一种基于CAN总线的DNC系统通信研究

通信是DNC系统的关键技术之一，是设备集成和信息集成的基础．在分析了现有的DNC通信方式后，指出基于CAN总线的DNC系统通信具有实时性好，可靠性高，速率快等优点，是现阶段DNC系统通信的理想方式，并论述了其实现过程。     

群^2G2（K）的中心扩张

构造了2G_2(K)的泛中心扩张,当K是Z_3的代数扩域时,且|K|>3,则其Schur乘子是平凡的。     

Impulse propagation from the SA-node to the ventricles

Summary Normally the pacemaker of the mammalian heart is located in the sinus node. In the rabbit the sinus node can be subdivided into two regions, the center of the node where the impulse originates and the border zone through which the impulse is conducted towards the atrium. Conduction properties of both regions were investigated. It appeared that conduction velocity increases and refractoriness decreases when one goes from the nodal center towards the atrium. The tissue mass of the atrium is large in comparison to the sinus node and normally the resting membrane potential of atrial fibers is more negative than that of nodal fibers; consequently, a potential difference exists causing a current flow between both areas. Evidently this hyperpolarizing current flow depresses impulse formation in the border zone fibers which have better intrinsic pacemaker properties than fibers in the nodal center. If the impulse has reached the atrium it is conducted with a relatively high safety factor and will reach the AV node in principle without difficulty. The AV node, if deprived of sinus nodal dominance, develops spontaneous activity originating from the lower nodal fibers. Also in this structure, electrotonic depression by surrounding tissue causes deceleration of the pacemaker.     

中介逻辑的谓词演算系统(Ⅰ)

本文在中介原则的观点下构造中介逻辑的谓词演算系统MF,我们首先给出它的符号系统、形成规则和推理规则,又作为MF的初步展开而给出它的若干个形式推理关系,其中包括的一个重要定理,那就是MF中的替换定理。M F 形式符号:(一)逻样词s(二)个体词,a,b,c ,a; ,b;,c;< z = 1。2,…;(三)谓词F,G,rH,(i二1,2…),(四)约束变元X,L,Xr,Zt Yf, 了五)技术符MF的形成规贝.:(i) F'(a,...a})是合式公式;(ii)如果J是合式公式,则一工和X是合式公式,(iii)如果X和Y是合式公式,则〔X-> Y〕是合式公式;(iv)如果X(a>是合式公式。在其中出现,X不在其中出现,则和ExX }x}是合式公式。至于FM的形式推理规则,乃在接受M的全部推理规之外,另加如下六条(a).其中a不在r中出现,则r卜}TxA }x} ; ( 3 _)若A(a) - B,其中。不在B中出现,则3 xAB; ( 3 +)A(a) }-其中A }x}是由A(a)把其中a的某些出现替换为x而得; 定理4(替换定理)如果AI-I B,而f(P)为MF中之任一今式公式,则有fcA>I=If(B)>o