司法证明过程的性质——司法证明标准的制度性替代

司法证明标准的确定必须考虑司法证明过程的特殊性质,惟有在此基础上建构的司法证明标准才有可能是恰当的。不考虑司法证明过程的特殊性质而直接借用它种证明的证明标准建构或充当司法证明的证明标准都值得商榷。运用逻辑语言分析的方法,分析了司法证明过程的特殊性质,讨论了其它司法证明标准存在的困难,提出了建构司法证明标准的一般框架。     

论康德与托马斯·阿奎那对存在论证明的批判

安瑟伦关于上帝存在的存在论证明自提出以来,就遭到过诸多批判。在西方哲学史上,关于这个证明的比较著名的批判主要来自托马斯.阿奎那和康德。托马斯.阿奎那把这个证明视作先天论证,认为从先天出发并不能证明这个证明,要想证明这个证明必须从后天出发。康德却视其为存在论证明,认为即使从后天出发,也不能为上帝存在提供证明。他把他的批判主要集中在＂上帝到底是不是一个实在的谓词＂上,认为从后天出发的证明——宇宙论证明和自然神学证明,依然是＂伪装的存在论证明＂,证明不了＂上帝存在＂这个命题。康德在哲学史上第一次真正击中了存在论证明的中枢神经,动摇了该证明。     

关于拓扑学中两个基本定理的一种新的证明方法

在拓扑学定理的证明过程中,教材一般都是利用逆否命题的证明方法来加以证明,本文则是采用直接的证明方法对定理进行严格的证明。     

关于拓扑学中两个基本定理的一种新的证明方法

在拓扑学定理的证明过程中，教材一般都是利用逆否命题的证明方法来加以证明，本文则是采用直接的证明方法埘定理进行严格的证明。     

证明责任分配之要素分析

证明责任分配是证明责任之分配主体根据特定的实质性标准将待证事实的证明责任在承担主体之间予以分配的活动,证明责任分配的主体、客体和标准构成证明责任分配的基本要素,而分析证明责任分配之构成要素,有利于揭示证明责任分配的基本理论逻辑。     

民事诉讼证明标准再探析

民事诉讼证明标准是民事诉讼法的一个基本问题,对民事诉讼证明标准进行了界定,明确提出客观真实与法律真实是证明任务,不是证明标准,介绍了证明标准的类型和作用范围,并对我国民事诉讼证明标准的构建进行了初步设想.     

刑事诉讼证明主体的界定

鉴于目前理论界对刑事诉讼中的证明主体的范围界定过大，因此有必要将证明主体与诉讼主张、证明责任、新诉讼模式等联系起来，以重新界定证明主体。在界定证明主体概念的同时，文章对证明主体的内涵进行了分析。刑事诉讼证明的主体应包括公诉人、被告人、自诉人、附带民事诉讼的原告人。法院等都不是诉讼证明的主体。     

试论我国刑事诉讼证明标准的体系化及相关问题

刑事诉讼证明标准的体系是指刑事诉讼证明标准在其模式以及刑事诉讼的性质、诉讼证明、证据理论的共同作用下,结合立法司法实践所自有的体系化内容,也可以说是以证明标准模式与具体的证明标准为主要内容的产物。也有学者认为刑事诉讼证明标准的体系是指刑事诉讼证明标准法律规定的体系。笔者同意前一种观点。我国刑事诉讼证明标准的理论探讨中,存在对到底选择哪一种证明标准的模式或多或少地予以回避,对模式支配下的具体证明标准研究不够深入等问题。这反映出证明标准的体系化研究不够到位,本文以此为出发点,着力论证刑事诉讼证明标准的体系化及相关问题。     

论行政处罚事实认定标准与证明标准

行政处罚事实认定标准是行政处罚程序中的查明事实行为，是自向证明活动，具有客观真实的实体性倾向。行政处罚事实认定证明标准是行政机关向人民法院证明行政处罚事实依据的证明程度，是行政机关的证明事实行为，是他向证明活动，具有法律真实的程序性倾向。行政诉讼证明标准与行政处罚事实认定标准相互影响，行政处罚事实认定证明标准具有多元性。     

论证明标准在税务行政诉讼中的适用

证明标准是证据理论中的核心问题。一般认为证明标准可以分为优势证明标准、清楚而有说服力证明标准和排除合理怀疑证明标准三种。本文从一个实际案例出发,详细的分析了税务行政诉讼中证明标准的适用问题。     

鲁棒环境演算类型演化系统的扩充

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算[1]是针对这种演算的一种改进.文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行.在[2]的基础上,进一步讨论了此问题.通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中.证明了类型系统的正确性.同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性.     

多绕组变压器的多边形等值电路模型

通过求解多绕组变压器的支路电流方程和引入绕组等效阻抗的概念，得到了多绕组变压器的多边形等值电路模型，并推导了模型参数的计算公式，根据这些计算公式和多边形等值电路模型，可进一步推导出多绕组变压器的梯形和射线形等值电路模型．揭示了绕组等效阻抗概念和副边交叉耦合阻抗概念的一致性，以及多边形、梯形和射线形等值电路模型之间的内在联系．算例表明，多绕组变压器的多边形等值电路模型形式简单，计算准确，具有较强的一般适用性．     

浅谈新形势下科技期刊编辑人才素质与培养

介绍了新形势下科技期刊编辑人才的现状,讨论了科技期刊编辑应该具备的政治素养、道德修养和文化素质,阐述了科技期刊编辑应该做"T"型、统筹兼顾型、交际型、勇敢质疑型、外语和计算机型的新时代人才。为新形势下如何成为合格的科技期刊编辑提供了借鉴,对科技期刊编辑的自我提升具有重要意义。     

High cell density alters the ratio of type III to I collagen synthesis by fibroblasts

HUMAN fibroblasts in culture synthesise both type I and type III collagen(1), with type I accounting for 70-90% of the total(2). In culture, the rates at which these proteins are synthesised is constant and apparently rather rigidly controlled(3). However, the proportions of these collagens differs in cells cultured with increased amounts of serum (increased type III/I)(4) as well as in cells obtained from patients with certain diseases. Cells from patients with the Ehlers-Danlos type IV syndrome make little or no type III collagen(5,6), whereas cells from patients with osteogenesis imperfecta have an increased type III/I (refs 7, 8). We have found that cells from some patients with systemic sclerosis (scleroderma), have a reduced type III/I ratio. However, as previously reported, these cells grew to a lower density than control cells(9). We report here that normal fibroblasts from human and guinea pig skin produce proportionally more type III collagen at high cell density, probably because of a reduction in the synthesis of type I collagen.     

基于句型系统的中文问题理解研究

提出了一种基于向量空间模型的句型识别方法,该方法通过基于句型模式的问句句法树规约,得到句子关于句型模式的句型结构,再计算句型结构与句型模式之间的相似度来实现问句的句型识别.并在汉语疑问句句型系统的基础上,通过句型识别实现了对问题的分类和问题理解.测试结果表明,该方法提高了问题理解的准确度.     

浅谈铅的污染及对人的危害

铅广泛应用于人们的生产、生活领域，但铅又是一种极具污染性的物质。它通过在环境和人体中的循环，对人体的神经系统、血液系统及其它方面产生毒害作用。铅对人体的危害主要有环境类、职业类、生活类、药物类、母源类五种方式。     

自动化专业的应用型与创新型培养机制的研究

经过数年的建设,我校自动化专业的应用型与创新型培养机制日渐完善、更加成熟,已经在自动化专业学生的培养过程中取得明显成效。本文对自动化专业的应用型与创新型培养机制的建立、运行、完善等方面进行了阐述,对自动化专业的应用型与创新型培养机制的层次关系、运行机制、培养效果和机制特点等进行了总结和分析,对工科专业建设与专业发展具有一定的借鉴意义。     

并联机床工作空间解析系统的开发

以丰田工机公司的HexaM并联机床为模型,讨论了刀架和刀架铰链的改造以及螺母高度等并联机床零部件的形状和尺寸对工作空间的影响,开发了对应倾斜滑动型、垂直滑动型、伸缩型以及回转型并联机床的工作空间解析系统.通过实验结果与仿真结果的对比,证明了所开发软件的正确性,该软件有助于新的并联机床的开发.     

型B半群上的同余

主要研究了型B半群上的容许同余,给出了型B半群上的容许同余核的一些性质,并得到了型B半群上最小容许同余的刻画。特别地,给出了型B半群上具有E性质的容许同余的刻画,得到了一些结果。