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

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

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

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

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

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

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

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

证明责任分配之要素分析

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

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

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

刑事诉讼证明主体的界定

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

民事诉讼证明标准再探析

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

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

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

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

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

Regulation of canonical Wnt/β-catenin pathway in the nucleus

Canonical Wnt/β-catenin pathway plays a central role in development, homeostasis, as well as tumorigenesis. The regulation of the pathway involves various and complicated mechanisms, including the extracellular, intracellular and endonuclear regulation. As the key component of the pathway, the Lefl/Tcfs-β-catenin complex is also the key target of regulation in the nucleus. In the current review, we are going to summarize the regulators in the nucleus which can modify the transcrip- tional activity of the Wnt/β-catenin pathway.     

放大器的线性失真和非线性失真

分析了失真产生的原因，又通过具体电路的具体波形分析了线笥失真和非线性失真的区别与系；最后又根据分析情况介绍了减少线性失真和非线性失真的方法步骤。     

文艺复兴时期欧洲声乐艺术的特点与成就

"文艺复兴"是西方文明史上的一次重大的思想文化运动。文艺复兴时期音乐文化的重要特点,一是世俗音乐的发展,二是专业音乐的发展。声乐艺术在文艺复兴时期所取得的成就及在各个历史时期的发展、变革以及各种流派和风格的产生,必然和当时社会的现状紧密相连。     

在OPENSSL中自定义加密卡中的SCB算法

在使用OpenSSL来进行加解密时,会使用一些自定义的特殊算法,如:加密卡设备中的SCB算法.本文介绍自定义Engine(引擎)机制,这种机制运行OpenSSL使用第三方提供的硬件加密设备进行数据加解密运算;在Evp中自定义SCB对称加密算法封装函数,有点类似PKCS#11 提供的接口标准.结果表明,大量的信息在网络中传输时,更能保证用户间通信的安全与保密性,以此符合国家对加解密算法的标准.     

On Tragic Consciousness In The Works By Ernest Hemingway

As an American modern novelist who were famous in the literary world, Hemingway was not a person who always followed the trend but a sharp observer. At the same time, he was a tragedy maestro, he paid great attention on existence, fate and end-result. The dramatis personae's tragedy of his works was an extreme limit by all means tragedy on the meaning of fearless challenge that failed. The beauty of tragedy was not produced on the destruction of life, but now this kind of value was in the impact activity. They performed for the reader about the tragedy on challenging for the limit and the death.     

气体对阴离子表活剂压裂液破胶实验研究

阴离子表活剂压裂液是新型清洁压裂液,原油和地层水对其破胶机理与实验研究已相当充分,但气体对其破胶作用至今研究很少.为解决阴离子表活剂压裂液在压裂应用中的障碍,研究采用一套实用的实验流程,评价了天然气、氮气、二氧化碳三种常见气体对阴离子表活剂压裂液的影响.实验证明,三种不同的气体对阴离子表活剂压裂液的降粘幅度存在较大的差别,其中,二氧化碳气体对阴离子清洁压裂液降粘幅度最大,可使交联液体彻底破胶,天然气对阴离子型表活剂压裂液降粘幅度较小,氮气对阴离子压裂液的粘度几乎没有影响,氮气和天然气可以使液体泡沫化,从而有利于返排.实验结果为优化压裂设计提供了依据,可有效提高现场压裂施工成功率.     

试验机稳定加载条件的修正及伺服控制的本质

本文通过对试验机-试样系统的分析,认为试验的稳定加载条件不仅仅取决于试验机和试样的刚度(K_m+K_r),而且取决于试验机活塞(端部)的位移速率.具有反馈系统的伺服试验机,正是通过对活塞位移U_q的控制来谐调刚度(K_m+K_r)的变化,从而达到控制应变速率,以保证加载过程的稳定.     

多腔速调管主要性能指标简化分析

介绍了速调管在我国的发展现状和几种不同结构的多腔速调管的主要特性比较,并给出了小信号条件下速调管的各种主要特性的简化分析方法.在这种简化分析方法中,把多腔速调管看作是几个双腔速调管的级联,并且没有考虑非线性、空间电荷效应和相对论效应等带来的影响,目的是阐述基本原理和基本分析方法.     

Exchange-Correlation and Electronic Excitation Energies from Pairing Matrix Fluctuations

We have developed an adiabatic connection to formulate the ground-state exchange-correlation energy in terms of pairing matrix linear fluctuations.This formulation of the exchange-correlation energy opens a new channel for density functional approximations based on the many-body perturbation theory.We illustrate the potential of such approaches with an approximation based on the particle-particle Random Phase Approximation(pp-RPA).This re-     

Lower Paleozoic oil relationships within Williston Basin, Canada

The Williston Basin is a significant petroleum province, containing oil production zones that include the Middle Cambrian to Lower Ordovician, Upper Ordovician, Middle Devonian, Upper Devonian and Mississippian and within the Jurassic and Cretaceous. The oils of the Williston Basin exhibit a wide range of geochemical characteristics defined as "oil families", although the geochemical signature of the Cambrian Deadwood Formation and Lower Ordovician Winnipeg reservoired oils does not match any "oil family". Despite their close stratigraphic proximity, it is evident that the oils of the Lower Palaeozoic within the Williston Basin are distinct. This suggests the presence of a new "oil family" within the Williston Basin. Diagnostic geochemical signatures occur in the gasoline range chromatograms, within saturate fraction gas chromatograms and biomarker fingerprints. However, some of the established criteria and cross-plots that are currently used to segregate oils into distinct genetic families within the basin do not always meet with success, particularly when applied to the Lower Palaeozoic oils of the Deadwood and Winnipeg Formation.