证实

By the principle of Verification logical positivism drives problems of value out of philosophy.

逻辑实证主义根据"可证实性原则"斥逐价值问题；杜威在认可"可证实性原则"的前提下，从"价值表达的可证实性"、"情感、欲望的可证实性"、"评价判断的可证实性"三个方面证明了价值判断的可证实性，从而捍卫了哲学研究价值问题的合法性。

Analysis of nuclear extracts of human cells has indicated a similar excision repair mechanism for nick-directed mismatch correction in higher cells, and several reconstituted systems that rely on purified human proteins have been described, such as hMutSα、hMutSβ、hMutLα. Recently, scientists discovered that nickel could be inhibitors of DNA repair. Nickel can greatly enhance the mutagenicity and genotoxicity of compounds in cigarette by inhibiting the nucleotide excision repair pathway in human cells. We have confirmed that nickel could inhibit MMR of E. coli and human and presumed that nickel inhibited repair before MutH incision of the MMR in E. coli. However, there is no evidence of mechanism of nickel inhibiting MMR in human cells.

镍是存在於香菸中的微量金属，近年来有学者发现镍是DNA修复反应的抑制剂，长期抽烟的人会容易因为香菸中化合物攻击DNA而引起突变，进而引起肺癌，而镍会抑制核苷酸移除修复系统（nucleotide excision repair；NER），所以使得体内的DNA损伤无法修复；过去实验室已经证实大肠杆菌的核酸配对错误修复系统会受到镍等重金属的抑制，并且推测出镍的抑制反应是抑制在修复反应的上游nicking的步骤；另外，也证实了人类的核酸配对错误修复系统也会受到镍的抑制，然而还没研究证实会抑制在核酸配对错误修复反应的哪个步骤。

According to their theory, they thought the value judgment including ethics and moral is meaningless statement, this result leads to a possible situation: If value judgment is unverifiable, certainly, people will doubt on both meaning and effectiveness of the judgment; if value judgment is unverifiable, the guide for people will also be meaningless, and rational intellect have to give way to the ambient pressure as well as the nescient preference.

这种关于价值判断是不可证实的论证将导致的可能后果是严重的：如果价值判断是不可证实的话，那么人们必然会对价值判断的意义和有效性产生彻底的质疑；如果价值判断是不可证实性的话，那么哲学对人类生活的指导将会显得十分无力，理性的智慧将不得不让度给无知、外在的压力和盲目的偏好。

This article writes from the theory "the unverification of value judgment " and its supporting reasons, contends for the rationality of the logic positivism which stands for the univerification of the value, and tries to reestablish the confidence on the possible meaning and effectiveness of the value verification through criticizing logic positivism's principle of verification and their reasons for the univerification of value judgments.

本文从"价值判断是不可证实的"这一论断的提出及其论证理由入手，检讨逻辑实证主义及其继承者关于价值判断是不可证实的这一理论的合理性，并通过对逻辑实证主义的可证实性原则及其否定价值判断可证实性的理由的批判，力图消解人们对价值判断可证实性的误解，重新确立对寻求价值判断意义和有效性的信心。

The study showed the recombinant wt/mCREG protein depressed the VSMC proliferation depending on dose and the optimal concentration was 400nM;2biologic function of CREG protein and the membrance receptor mechanism:①effect on VSMC migration: the wound healing experiment showed the OB2 cells migration was slower significantly after added wt/mCREG(400Nm) in supernatant. The HITASY cells migration were very slowly and no remarkable change. The gelatinase digestion and Western blot analysis showed the matrix metalloproteinase was decreased and TIMPs was increased;②effect on differentiation: after added wt/mCREG(400nM), the expression of myocardin, SMα-actin, MHC and caldesmin were increased and that of LM-1 and FN were decreased in OB2 cells. These effects were more significant when adding wtCREG.;③effect on VSMC proliferation: Cell cycle assay and BrDU stain showed: after added the wtCREG and mCREG protein, the ratio of cell in G0/G1 phase increased to 0.5773 and 0.5572 from 0.5308 respectively in OB2 group, which increased to 0.7369 and 0.7034 respectively from 0.6297 in HITASY group;3Role of M6P/IGF2R in CREG biologic function:①ELISA and co-immunoprecipitation showed the wt/mCREG binding to M6P/IGF2R directly.②antibody blocking test: when the anti-IGF2R was added to medium at the same time with wt/mCREG at different concentration(2μg/mL、4μg/mL、8μg/mL),the effects of CREG protein which depressing proliferation, migration, secretion and promoting differentiation were blocked, which had the positive correlation to the concentration of added anti body. The studies showed two combinant CREG promoted VSMC switch to differentiation phaenotype, at the same time, depress VSMC proliferation, migration and secreting extracellular matrix.

上述实验结果证实：两种重组CREG蛋白对VSMC增殖均有剂量依赖性的抑制作用，并且相同浓度的糖基化的CREG蛋白对细胞增殖的抑制效应更为显著，最佳效应浓度为400nM；2两种重组CREG蛋白添加后对HITASY和OB2细胞生物学行为的影响：①CREG蛋白对VSMC迁移的影响：刮伤实验发现，加入最佳效应浓度的wtCREG和mCREG蛋白24h后，OB2组迁移能力下降，HITASY组无明显变化；细胞外基质金属蛋白酶-2，9(Matrix metallo-proteinase 2，9，MMP2 ，9)明胶酶电泳检测和Western blot检测结果证实，两种CREG蛋白均可以使OB2细胞合成细胞外基质MMP2，9减少，而组织金属蛋白酶抑制物(Tissue Inhibitors of Metalloproteinases，TIMPs)增加；②CREG蛋白对VSMC分化的影响：加入400nM的wtCREG和mCREG蛋白12h后，OB2细胞myocardin、SMα-actin、MHC、caldesmin表达增加，LM-1、FN表达减少；③流式细胞仪分析细胞周期和BrDU染色分析证实，加入400nM的wtCREG和mCREG蛋白后，OB2组G0/G1期细胞由0.5308分别增加至0.5773和0.5572，HITASY组G0/G1期细胞由0.6297分别增加至0.7369和0.7034；3M6P/IGF2R在重组CREG蛋白的生物学功能中的调控作用：①免疫共沉淀和免疫荧光双染色分析结果显示，CREG蛋白与M6P/IGF2R存在直接结合；②应用抗体阻断实验：将不同浓度的anti- M6P/IGF2R(2、4、8μg /mL)与两种CREG蛋白同时加入培养液中，CREG蛋白抑制VSMC增值、迁移和合成细胞外基质、促进分化的效应减弱，而且与加入anti- M6P/IGF2R浓度正相关。

In this paper, an improved confirmer digital signature is presented according to the analysis of the traditional confirmer signature algorithm and the introduction of zero-knowledge proof.

本文在分析已有证实数字签名算法缺陷的基础上，将零知识证明引入证实数字签名，提出了一个改进的证实数字签名方案。

The scheme shows that the new scheme is an implementation of secure and efficient confirmer signature.

在证实数字签名方案中，签名的证实和否认功能由一个半可信任的第3方承担，同时证实者具有转化一个证实数字签名为一个普通数字签名的能力。当然，签名者不能参与证实的过程，证实者也不能参与签名的过

Considering RSA is one of the most widely used cryptosystems,this paper proposes a confirmer signature scheme based on RSA for the first time.

考虑到RSA是应用最广泛的公钥密码体制之一，该文提出了一种完全基于RSA的证实数字签名方案，分析表明，该方案是一种安全高效的证实数字签名实现方案。1概述Chaum引进了证实数字签名[3]的概念。

The second part of the thesis consists of three chapters, which focus on arguing for the rationality of "the unverifiable value judgment" from three points, the verification on the value judgment and emotion, the verification on value judgment and the language logic and the verification on the value judgment and rationality. The fourth chapter mainly discuss the verification on value judgment and emotion.

本文第二部分，即第四、五、六这三章，集中反驳&价值判断是不可证实的&这一论断的合理性，主要是从逻辑实证主义和情感主义对价值判断可证实性的三方面攻击入手，分别对情感与价值判断的可证实性、语言逻辑与价值判断的可证实性和理性与价值判断的可证实性三者进行再考察，第四章主要探讨情感与价值判断可证实性。

What's more, mathematical applications in real life also depends on may hypothesises! Even the most pure and logical theory of mathematics, like algebra, are based on assumptions.

别老拿现有的已证实的理论来比较未经证实，你知道那些已经被证实的理论在被证实之前是什么样子吗？

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。