简介:最近,在美国有过一场以弱对强的拳击比赛,照理说这场比赛不会有任何悬念,但结果大出人们的意料,却是弱者胜。我在兴奋难当之余,想它至少又有了一种生活法则供弱者选择。
简介:摘要 : 随着信息技术行业的发展, 设计规模和 输入数据量的 指数性增长 ,模拟时间已长得无法忍受, 另外, 也很难判断模拟验证的完备性形式验证不用向量、运用数学方法证明设计的特征和等价性 ,对这两个问题给出解决办法 ,但技术发展仍存在不少难题在模拟中引入形式验证技术 ,形成的断言验证方法 ,可能是解决验证危机的有效办法。
简介:尽管此前有预期3月份进出口下降幅度可能放缓,但商务部新闻发言人姚坚3月17日表示,金融危机影响正在加深,现在断言出口已经回暧可能还为时尚早。
简介:数年前,我们将电子书描绘成“出版业的一场新革命”。到处都散布着乐观的预言。好像阅读电子书很快就会变得像使用个人电脑阅读电子邮件一样简易。市场调研公司对电子书的发展趋势作出了一些
简介:从语义上看,现代汉语中带从句宾语的“我想”实际上是一个表示说话人的不很肯定的主观看法的弱断言谓词。其断言性和弱断言性可以分别从与叙实谓词和强断言谓词的比较中看出来。这个例子说明,现代汉语谓词在语义和句法上也具有“断言”与“叙实”的差异.
简介:据英国《每日邮报》4月13日报道,美国科学家的最新研究表明:火星上存在生命的几率高达99%。
简介:法国总理弗朗索瓦·菲永强烈表示.为了重新举办F1法国大奖赛.应该在法国修建一条新的赛道。
简介:麦金太尔关于“启蒙道德筹划失败”的断言可能导致两种相反理解。麦氏认为,情感主义者放任道德分歧(多),须对无休止的道德争论负责。启蒙筹划虽然寻求普遍性方案,然其背后却深藏不可公度的前提,同样导致不可公度的各家之言。只不过,后者仍试图用理性来解决,而前者则“坦率地”放弃这种努力。为缓解道德分歧,麦金太尔引入传统合理性。但亦存在问题。生活境遇的改变,使我们须悬置先入之见,通过对话重新圈定道德普世性(一)与道德分殊性(多)的话语范围。
不要断言自己是弱者
数字芯片设计的断言验证
断言出口回暖为时尚早
断言电子书消亡为时尚早
现代汉语中的弱断言谓词“我想”
美科学家断言火星上存在生命的几率高达99%
法国总理断言将会再次举办F1法国大奖赛
麦金太尔何以断言启蒙道德筹划是失败的?——兼论道德哲学中的“一”与“多”