学科分类
/ 1
8 个结果
  • 简介:最近,在美国有过一场以弱对强的拳击比赛,照理说这场比赛不会有任何悬念,但结果大出人们的意料,却是弱者胜。我在兴奋难当之余,想它至少又有了一种生活法则供弱者选择。

  • 标签: 成功 拼搏精神 自信 弱者 琼斯 鲁伊兹
  • 简介:摘要 : 随着信息技术行业的发展, 设计规模和 输入数据量的 指数性增长 ,模拟时间已长得无法忍受, 另外, 也很难判断模拟验证的完备性形式验证不用向量、运用数学方法证明设计的特征和等价性 ,对这两个问题给出解决办法 ,但技术发展仍存在不少难题在模拟中引入形式验证技术 ,形成的断言验证方法 ,可能是解决验证危机的有效办法。

  • 标签: 数字芯片 断言验证 数学方法
  • 简介:尽管此前有预期3月份进出口下降幅度可能放缓,但商务部新闻发言人姚坚3月17日表示,金融危机影响正在加深,现在断言出口已经回暧可能还为时尚早。

  • 标签: 进出口 时尚 断言 金融危机 商务部
  • 简介:数年前,我们将电子书描绘成“出版业的一场新革命”。到处都散布着乐观的预言。好像阅读电子书很快就会变得像使用个人电脑阅读电子邮件一样简易。市场调研公司对电子书的发展趋势作出了一些

  • 标签: 断言电子书 消亡为时尚早 电子书消亡
  • 简介:从语义上看,现代汉语中带从句宾语的“我想”实际上是一个表示说话人的不很肯定的主观看法的弱断言谓词。其断言性和弱断言性可以分别从与叙实谓词和强断言谓词的比较中看出来。这个例子说明,现代汉语谓词在语义和句法上也具有“断言”与“叙实”的差异.

  • 标签: 断言谓词 叙实谓词 弱断言谓词 强断言谓词 认知插入语
  • 简介:麦金太尔关于“启蒙道德筹划失败”的断言可能导致两种相反理解。麦氏认为,情感主义者放任道德分歧(多),须对无休止的道德争论负责。启蒙筹划虽然寻求普遍性方案,然其背后却深藏不可公度的前提,同样导致不可公度的各家之言。只不过,后者仍试图用理性来解决,而前者则“坦率地”放弃这种努力。为缓解道德分歧,麦金太尔引入传统合理性。但亦存在问题。生活境遇的改变,使我们须悬置先入之见,通过对话重新圈定道德普世性(一)与道德分殊性(多)的话语范围。

  • 标签: 启蒙的道德筹划 不可公度 道德普世性(一) 道德分殊性(多)