关于正规模态命题逻辑系统的完全性证明

模态逻辑的完全性理论至今已经有了很大发展,其证明通常也是逻辑研究中重要且极其困难的一环。从简单的证明命题逻辑有效性的真值表、归谬法的思想出发到反模型的建立;从最早证明模态逻辑系统的Kripke-语义图的出现到Hughes and Gresswell对Kripke-语义图的修正;从L.Henkin极大一致集的提出到从属模型和典范模型的建立;从典范模型的广泛使用到Bull有限模型的建立无不体现了这一点。对正规模态逻辑系统完全性证明的层层刨析,可以更好地把握和使用完全性证明方法。

论完全归纳证明的不完全性

完全归纳证明的“完全”性不是绝对的而是相对的亦即不完全的;这种相对性或完全性还突出体现在:作为完全归纳证明的前提或论据的单称的经验陈述命题不具有完全绝对意义上的正确无疑性.

Erdos猜想的初等数学证明(节选)

1关于欧德斯猜想对于一切n】1的正整数,方程1/x+1/y+1/z=4/n都有对应的正整数解(x,y,z),这就是欧德斯猜想.目前此猜想未被完全证明.最完善的证明是我国已故数学家柯召先生于1978年的证明,即当n≤10~8时,欧德斯猜想成立.本文用较为简单的初等数学方法,基本完全证明了欧德斯猜想的正确性.

论归纳证明的相对性

由于事物的本质是无限多样、不断发展变化着的统一体，我们不可能对事物的本质进行完全绝对的归纳证明。归纳证明，其中包括完全归纳证明以及简单枚举法、科学归纳法、契合法、差异法等不完全归纳证明，都具有相对性，都不可能获得具有完全绝对意义上的真实的科学知识。

推定适用的逻辑分析

本文从逻辑的角度对前提命题与结论命题之间的必然联系、常态联系、例外联系和中立联系作出了明确的区分 ,并分析了它们各自在诉讼证明中的不同作用 ,从而科学地阐明了为什么必须以常态联系作为推定的逻辑依据这一重大疑难问题。并在此基础上科学地确立了推定适用的基本条件 。

安全高效的水印认证协议

基于完全零知识交互证明系统和位委托方案,提出了可证明的安全水印认证协议.现有文献大都使用基于Cox的扩频数字水印方案或对其进行修改后的扩频水印方案.采用了鲁棒性较强的更适合于版权保护的乘法嵌入规则,在宿主信号中嵌入水印;水印检测时,在充分考虑了不同的变换域、信道特性以及人类视觉特性的基础上,采用基于广义高斯分布和Weibull分布模型的各种变换域的鲁棒优化检测器.使用位委托方案对数字水印信息进行委托,并联合使用随机序列隐藏水印嵌入位置信息.协议确保了在证明相应水印存在的同时,没有泄露任何有关水印的敏感信息,防止了蓄意攻击者利用认证过程中泄露的有关水印的敏感信息(如水印、水印位置、提取密钥等)来移除或伪造水印.数字水印方案对各种变换域的水印检测器给予了较全面的考虑,所以,应用该协议进行水印认证,其安全性、有效性、鲁棒性和实用性都有较大提高.

愿中日经济贸易合作之果更加丰硕

今年是中日和平友好条约缔结五周年.五年来,两国友好合作关系发展的历程,完全证明了中日和平友好条约的签订,是符合中日两国人民世世代代和平友好相处的共同愿望的,是符合中日两国人民的根本利益的.在过去的五年中,通过两国国家领导人的互访和各界人士的交往,两国间在政治、经济、科学、文化和教育等方面的关系都有了不同程度的发展.特别是在经济贸易和技术合作关系方面取得的进展,尤其令人高兴.无论是政府间的,还是民间的,无论是正常贸易,还是举办合资企业、补偿贸易、来料加工等,都取得了可喜成果.

为建设具有中国特色的社会主义现代化国家而奋斗

40年前,旧中国是一个深受帝国主义、封建主义和官僚资本主义残酷剥削压迫的半殖民地半封建国家。近代历史上多少志士仁人,为了寻找革命真理,挽救祖国危亡,抛头颅、洒热血,进行可歌可泣的英勇斗争。中国人民这一伟大斗争,只有在中国共产党领导下才取得了光辉的胜利,人民得到了解放,建立了新中国,中国人民从此站立起来。历史完全证明了资本主义不能救中国、只有社会主义才能救中国、没有共产党就没有新中国的真理。

一餐也不能放松

我患糖尿病近10年,平时除按时服药外,很注意饮食控制和体育锻炼。但有时遇到可口的饭菜吃起来也忘乎所以,存侥幸心理,以为一餐、两餐没关系。殊不知,就因为这一餐没控制好,血糖就上去了。 2001年11月21日,我测空腹血糖为8.40mmol/L。此后,我严格控制饮食,尤其改掉了晚上看电视时经常嗑瓜籽儿的坏习惯。1个月后,空腹血糖降到6.45mmol/L。我在高兴之余,又慢慢放松了饮食控制。虽然再也不嗑瓜籽儿了,可有时主食过量。3月13日晚饭,我蒸了紫米面馒头,比买的好吃,一下吃了大半个,还喝了一碗小米粥(有一两多),食后觉得有饱胀感,心想这下又吃多了,明天血糖肯定会高。为了证实我的预测,第二天则去医院测空腹血糖。结果正如所料,又上升到8.30mmol/L。 以上情况完全证明,饮食控制一餐也不能放松。

我国科学家完证世界级数学难题庞加莱猜想

国际数学界关注上百年的重大难题——庞加莱猜想，不久前被我国中山大学朱熹平教授和旅美数学家、清华大学兼职教授曹怀东彻底证明。在美国出版的《亚洲数学期刊》6月号以专刊的方式，刊载了长达300多页、题为《庞加莱猜想暨几何化猜想的完全证明：汉密尔顿·佩雷尔曼理论的应用》的长篇论文。

平面几何(之23) 三角形全等

(1)全等三角形的概念·符号两个三角形,将它们放到一起,如果能够完全重合,那么,就说这两个三角形是全等三角形.将一个任意的三角形纸片,放到一张平展的纸上,用细细的笔,贴着这个三角形纸片的边缘画一周,再拿开三角形纸片。

金星上曾有过海洋吗?

在太阳系的九大行星中,就数金星与地球最相似。在很长的一个时期里,人们把地球和金星称作“姐妹”行星。甚至不少人认为,金星也应该和地球一样,存在着大量的水。在金星上覆盖着大面积的海洋,海中孕育了生命。然而,现代科学已经完全证明,金星表面是个奇热、无水,干旱到极点的行星,金星是个没有生命的世界。于是,又有人提出,过去的金星有过波涛汹涌的大海洋,只是后来在某个时期消失了。金星果真曾经有过大海吗?

论单称经验陈述命题的真实性

由于单称经验陈述命题所陈述的感知经验不可能是完全绝对地确真无疑的 ,同时由于单称经验陈述命题本身也不可能完全绝对地精确无疑 ,因而 ,单称经验陈述命题的真实性总是相对的 ,并不具有完全绝对的正确无疑性。

从伯乐相马谈起

我们敬爱的周总理早就指出:中国这么大,人口这么多,有大量人才。一九七七年招生中大批人才的涌现,完全证明了周总理的正确予见。这些人才的大批涌现,使人们想起那流传已久的春秋战国时代的伯乐相马的故事。这故事虽然发生在两千多年前,然而,在今天华主席率领我们向四个现代化进军的新时期内,在广开才路、早出人才。

虚假的统计现象值得注意

近年,一些假统计数泛滥成灾,对领导机关的决策危害深远,但却没有像假货那样引起人们注意。别的不说,仅就某些省的计划生育统计数字而言,一些虚假数字居高不下,有些甚至达到登峰造极的地步,令人瞠目。最近,国家有关部门对一些省的计划生育状况进行抽样调查,结果令人吃惊,1992年和1993年前9个月的计划生育率、出生率、多胎率等水分均高达30%,有些指标水分高得令人难以置信。当然,抽样并不能完全证明整个工作水平,但是。

淡以名利 勤于精艺——56229部队孙普泽自学成才纪事

也许中原是我国文化发源地之一的缘故吧,在孙普泽这个普通战士身上也闪烁着艺术的灵气,他对书法艺术不懈的追求和悟性完全证明了这一点。他迷上书法,还是十多年以前的事。他的家乡是素有“人杰地灵”之称的河南灵宝市。逢年过节,贴对联是书法展览的一种好形式。孙普泽从小就受到了这种艺术的熏陶。在教师和父亲的辅导下,他便从“飞、凤、家”几个字开始涂鸦了。汹涌的黄河水赋予他坚韧的意志与毅力。他常常以手指代笔,以桌子、地面。

你知道“庞加莱猜想”吗

今年6月3日,国际数学界传出了一个令人振奋的消息：各国数学家关注了百年的重大难题——“庞加莱猜想”最终被完全破解了。做出这个重大贡献的是来自中山大学的朱熹平教授和旅美数学家、清华大学兼职教授曹怀东。从理论上讲,“庞加莱猜想”是对“三维空间结构分类”的一种推测。

贝宁格棉针织物活性冷轧堆染色技术

国内外生产实践已完全证明,棉针织物采用CPB染色和平幅水洗不仅可有效地解决普通机缸难以避免的擦伤、缸差等染色质量问题,低于1:1的浴比也让水、汽和化学品耗用量大幅降低。CPB是针织物印染中实现节能减排降低生产成本的行之有效的技术。