多元模态逻辑在有限模型语义下的(L)os-Tarski定理

证明了模态逻辑中Los-Tarski定理的有限模型论版本仍然成立,即：在有限模型语义下,一个多元模态公式在模型扩张关系下保持当且仅当它逻辑等价于一个存在多元模态公式．     

基于核判别分析与证据理论的图像伪作分层融合检测

现有图像伪作融合检测算法一般直接采用特征融合或决策融合技术,普遍存在算法不易扩展或检测准确率不理想等问题。在综合利用原始图像固有特征和篡改所引入特征的基础上,探讨了一种基于特征融合和决策融合的分层融合框架,并实现基于核判别分析(kernel discriminant analysis,KDA)和证据理论的图像伪作检测算法。该算法包含粗分类和细分类两阶段。在粗分类中,利用原始图像固有特征,采用KDA技术实现特征融合,输出结果为原始图像、篡改图像和待定图像三种类别。在细分类中,利用篡改操作所引入的特征,采用证据理论进行决策融合,实现对待定图像的进一步分类。实验结果表明,该算法能有效地检测模糊操作、重采样操作、JPEG压缩以及多种篡改组合操作。     

各种各样的【新型族】和从中可见的日本社会

在日本的报纸杂志上,经常会出现各种各种的[新型族],那些流行语反映着时代的动向,即所谓[流行语是时代的前沿反映]。同时,随着社会的发展和变化,流行语也随之发生变化。一部分依然留存,一部分成为死语,另一部分已变换成其他表达形式。那是什么现象?为什么会出现?本稿试图略做探讨。     

多元模态逻辑在有限模型语义下的■os-Tarski定理

证明了模态逻辑中Los-Tarski定理的有限模型论版本仍然成立,即：在有限模型语义下,一个多元模态公式在模型扩张关系下保持当且仅当它逻辑等价于一个存在多元模态公式．     

刍议小河滋次郎与清末狱制转型

作为日本著名监狱学专家的小河滋次郎,对清末狱制转型事业倾注了极大的热情。他对在日留学生倾心培育,为清末狱制转型储备了大量的人才。留学生对其著作的译介,进一步扩大了他在中国的学术影响。最后,小河滋次郎应清政府重金聘请亲自来华,担任京师法律学堂监狱学专修科的主讲,经过他严格培训合格的官员,大多数被安置在清末监狱改良的第一线,在清末狱制转型中起到了重要作用。另外他起草了中国第一部监狱法典《大清监狱律草案》和若干法规等,还为京师模范监狱设计建筑图式。小河滋次郎的学术理念和人品都早已超越了狭隘的民族主义,其一直热心追求的人道主义精神,其一直执着致力于的感化教育事业,使得他已经将中国的监狱事业看成是自己的人生事业的重要组成部分。