证明者

In studying applications of CABMUT, it discusses how to estimate disputant's utility. For the situation with incomplete information, it defines the satisfaction function as a measure of disputant's utility, and gets the satisfaction programming and uses it to prove the existence theorem of fair and F——marginal solutions.

在应用方面，该方法讨论了关于冲突者的效用估计问题，特别是对不完全信息的冲突局势，采用满意函数量度冲突者的效用后，得出了满意规划模型，并用之证明了公平解、边际解的存在性定理。

More often it is grim: almost everyone, it turns out, was informing on the Martons, from neighbours to the nanny. Through it all, her father baffled his persecutors, who could not believe that the suave, stylish polyglot was just what he claimed to be: a hard-living, hard-playing newsman. His undoing came when a traitor in the American embassy reported that he had lent to officials there a copy of an official document, the state budget. Not exactly a secret, but pretext enough to send him to be broken in the AVO's dungeons.

这常常是无情的：事实证明几乎所有的人，从邻居到保姆，都对Marton一家进行了揭发，自始至终，她的父亲都反击了迫害者，这些迫害者难以相信这位礼貌又有风度地通晓多国语言的人如他所声称的那样：一位艰难生活、艰难工作的报人，当一位美国大使馆的叛徒揭发他将一份有关政府预算的政府文件的副本借给这里的官员时，他的不幸到来了，尽管这份文件不能确切的算作秘密，但是这足以成为将他送入AVO的地牢遭受折磨的借口。

Then it shall come to the thesis and antithesis, their argumentations and their results, that is to say, the justification of their assertion through indirect proof.

接著进入正反命题亦即自由者与自然者之论证及其结果，亦即皆以所谓间接证明法进行。

From the period of the emancipation of the Italian cities by Otho the Great, they gave evidence of what history was testified alike in earlier and later times, namely, that freedom and industry are inseparable companions, even although not unfrequently the one has come into existence before the other.

从奥托大帝解放意大利城市时算起，意大利人就像其古今时代历史所共同验证的那样证明了他们的能力，换言之，那就是让自由和产业成为不可分割的伴侣，尽管并非罕见其中一者可以先另者已然存在的情形。

Thus any expression of doubt about the existence of a supreme being proves the existence of such a being.

如此，任何对超越者的存在进行质疑的表达，就证明了这样的存在者的存在。

The only verdict is vengeance, a vendetta, held as a votive not in vain, for the value and veracity of such shall one day vindicate the vigilant and the virtuous.

对他们的裁决只有复仇，这象征希望的血海深仇不会是徒然的，终有一天会证明那些高尚者和警醒者是对的。

The core result conforms to TCM chronomedicine theory that "the cardiacpatiens feel surgeless in the morning, day is better while night is worse",which is proved to be true in science. The result combines modern Holterelectrocardiographic indicators, Zi wu liu zhu time rule and zangfusyndrome differentiation.

研究的核心结果与中医&心病者，日中慧，夜半甚，平旦静&的理论不谋而合，证明了中医时间医学&心病者，日中慧，夜半甚，平旦静&理论的科学性，并把现代动态心电图的心电学指标与中医子午流注时辰规律、脏腑辨证结合起来。

For the mode of legislation, it is suggested that a principle regulations to be made while the detailed applied situation and conditions are specified further in judicial explanation; regarding the applied situation, give four kinds of examples as shortage of capital, mixing of company, property of shareholders, business and personality, avoid the liability of contract and legal liability using of company personality; when making judgment, such three parts as main body, action and results have to be considered. The voluntary creditor and forced creditor consists of prosecutor, those person who abuses the force of company is the defendant who has the act of abusing company personally resulting in bad effect; the responsibility of producing of evident may refer to those of courts of Germany, which is proved by prosecutor, after that, the defendant provides the evident that he has a proper action for the suit of company or his action is not the direct cause for the loss of company; the legal effect of disregarding of corporate personality is to deprive the rights of limited liability of shareholders and shall undertake the affiliated liability according to different situations of company debts, however, it is clear that the legal effect is only limited to the special legal relationship in the specific case; the exercising body is made by court while the corporate personality might not be disaffirmed directly in exerting process; finally, it points out the real essence and also its real sense and difficulties in practice.

对立法模式，建议成文法中只做原则性规定，而具体的适用情形、适用条件等规定可以在司法解释中进一步作出明确规定；对适用情形，根据我国实际列举了资本显著不足、公司与股东财产、业务、人格的混同、利用公司人格规避契约义务和逃避法律义务四种大类；审判时应考虑的要件包括主体、行为、结果三大要件，自愿债权人和非自愿债权人构成原告，对公司有控制力的滥用者为被告，要有滥用公司人格的行为，并有损害的结果产生；举证责任可参照德国法院的做法，由原告提供初步证据证明公司存在滥用公司人格的行为，而后，由被告提供证据证明自己与涉诉公司的关系是正当的，或自己的行为与原告的损失没有因果关系；否认公司人格的法律效果是剥夺股东在个案中的有限责任的权利，视不同情形对公司债务承担连带责任，但应明确法律效力仅限于个案中的特别法律关系；行使主体应由法院的审判庭行使，而不宜在执行程序中直接否认公司法人人格；最后对逆向揭开公司面纱作了探讨，指出其现实意义和实践难点。

This is done by formalising the NSL (Needham-Schroeder-Lowe) protocol and its correctness in Agda, an interactive proof editor, using both the inductive method and strand spaces in Agda.

使用归纳方法和串空间分别将NSL(Needham-Schroeder-Lowe)协议及其正确性在辅助证明系统Agda中形式化，并比较了这两种安全协议验证法，证明两种方法形式化的正确性和攻击者能力是相同的。

Giorgione blazed the trail.a top student of bellini,he later forged his own style,inspired by the current vogue for pastoral love poetry based on recently discovered ancient texts,then the bestsellers of Venice's flourishing printing industry.he excelled at what was known among the educated elite as the model a competition between painting and poetry in which painters sought to prove that they could rival poets in conveying beauty by appealing to the eyes,as well as to the mind.this was revolutionary because it implied that painting originated in the imagination of the artist,rather than being a simple recording of the great and the good ,history and religion.it proved painters were creators and not just craftsmen .

Giorgione是这条路上的披荆斩棘者。作为Bellini最好的学生，他随后发展出了自已的风格。他的灵感来自于其时风行的田园诗，从最近发现的古代文本来看，这得益于那个时代威尼斯欣欣向荣的出版业出版的畅销书。他的卓越之处在于一项闻名于知识精英中的对比：就是诗歌与绘画的竞争，画家们致力于证明他们可以在表现美感上与诗人媲美，既可以悦目亦能赏心。这是革命性的，因为它暗示了绘画产生于艺术家的想象而不只是对美好事物、历史、宗教的简单记录。它证明了画家是创造者而非工匠。

Cynanchum Lingtai apricot production in the average weight 65 grams, the brightly-colored fruit, juicy rich, sweet-sour taste, sweet from the nucleolus, when the late Qing Dynasty famous Shaanxi, Gansu provinces, the Qing imperial court Tongzhi tribute for years.

灵台生产的牛心杏平均单果重65克，果实色泽鲜艳，汁多味浓，甜酸适口，离核仁甜，清末时就驰名陕、甘两省，清同治年间曾为朝廷贡品。

Chenopodium album,Solanum nigrum, and Amaranthus retroflexus were very susceptible to the herbicides. Polygonum persicaria and Abutilon theophrasti were relatively less susceptible to the herbicides, and Lycopersicon esculentum was not susceptible to it. The relationship between reduction rates of weed biomass and PPM values of weed leaves 2,4, and 6 days after treatment was established.

供试的6种杂草对该混剂的敏感性存在显著差异：红心藜Chenopodium album、龙葵Solanum nigrum和反枝苋Amaranthus retroflexus对该混剂最敏感，ED90值分别为47.65、71.67和29.17g/hm2；春蓼Polygonum persicaria和苘麻Abutilon theophrasti敏感，ED90值分别为96.91、114.20g/hm2；而番茄不敏感。