柏孜克里克千佛洞壁画起甲的修复机理初探

目前大多数文物暴露在自然界的复杂环境中,导致文物表面的历史信息逐渐消失,特别是壁画。现存的石窟壁画发生了多种壁画病害,如起甲、空鼓、酥碱、皎结材料老化等,然而最致命的病害当属起甲。因此调查起甲的发生因素,介绍现存的起甲保护方法及保护材料,进一步探讨起甲修复机理,为以后文物保护工作奠定理论基础。结合吐鲁番柏孜克里克干佛洞壁画抢救性保护工程的实践过程,提出壁画起甲修复机理、保护的具体操作及注意事项。     

时态结构中的恒常联系因果学习

人工智能研究中,行动这一概念通常在理论框架中有完全的定义。然而,现实中的行动有时难以完全刻画。智能体需要从过去的经验观察中习得行动的后果。本文提出一种基于时态结构的行动一结果学习理论。在自然数时间结构中,智能体通过观察过去的恒常联系建立因果关系。智能体依据己建立的因果关系指导将来的行动。同时,我们给出关于该理论的一个完全的逻辑演绎系统,并给出基于该逻辑的智能体行动的有效算法。     

状态相似性与流量限制模型

在可能世界语义中,如果根据是否含有模态算子而将一个点上为真的公式分为两类,那么可以认为不含模态算子的公式描述的是当前点的信息,其它公式描述的是其它点的信息,以及当前点与其它点的关系。通过对不同点上命题真值指派的比较,我们可以在可能世界语义模型上定义出一种状态相似性。本文构造了三类刻画状态相似性的模型,并给出了分别刻画其中两类模型的完全的系统。本文最后讨论这些模型在时态逻辑和信念逻辑中的应用。     

句子之间的距离（英文）

"语境"是知识论、语言哲学和逻辑学领域的经典话题。当我们谈论语境的时候,存在两层意思:首先,语境指在进行解释时的物理或沟通环境,这种环境会为时间、空间、名字、记号、符号所决定;第二,语境指进行讨论所基于的基本理论框架。在本文中,我们通过预设一种理想语言,来避免对语境在第一层含义之下所导致的问题进行讨论。然后,我们将从特定的文本语料库构造第二层含义之下的语境。在构造的过程中,我们借鉴数据挖掘领域"聚类分析"的思想,将语境视为基于语句之间互信息的语句聚类。     

由北宋“崔吴变法”看当代工笔花鸟的转型

艺术的发展会受到哲学、经济、文人思想的影响。分析"崔吴变法"的历史成因,人们可以了解到北宋时期传统的工笔花鸟画艺术,不仅受到了当时经济发展的影响,也是文人在物质追求满足后转向野情野趣的精神需求。面对当今工笔花鸟画的异化现状,艺术家需要借鉴传统工笔画的文化内涵,色彩技法,形式组合以适应当代人的审美追求,建立属于自身的民族文化体系。     

浅谈丙烯颜料发展过程中的一些问题

材料科学日新月异的发展，极大地推动了材料语言和水彩的本体语言在水彩艺术创作中的创新，在当代艺术和科技发展的大环境下，水彩艺术也呈现出了百花齐放的景象，材料学家合成水彩材料的方法已不仅仅局限在传统的水彩颜料，随着艺术家们对多功能材料和技法的渴望，丙烯颜料应运而生。他们汲取传统水彩材料之长，补其短，丙烯颜料被大量地运用到水彩艺术创作之中，并与多种综合媒介相结合，这不仅拓宽了水彩画创作的思路，而且能运用新的语言表达方式进行绘画创作，促进丙烯颜料创作的高速发展。     

横看成岭侧成峰——林风眠与潘天寿之比较

林风眠与潘天寿是中国现代绘画史上的两座高峰,他们的艺术主张虽然不同,但本质上却是相通的,都为中国画的发扬光大作出了杰出的贡献.     

一个用于表达因果关系的ATL的扩展

CTL模型检测技术已被广泛应用于形式验证领域。交互时态逻辑（ATL）是对CTL的一个扩展,用于表达多主体博弈结构上的性质。ATL使用合作算子来表达多个主体能够通过合作保证系统的设计目标。在实际应用中,我们需要知道主体的行动与系统的输出状态之间具有因果关系。在本文中,我们通过引入新的模态算子扩展ATL,使得这种因果关系得到表达。我们使用两种方式的扩展。其中之一是从主体的能力出发,直观上,如果一些主体可以通过合作的行动来保证系统进入某个状态,同时,这些主体也可以通过合作的行动保证系统不进入这个状态,则这些主体的行动与该系统状态间具有更强的因果关系。我们使用的另一种方式是从系统状态出发。我们考虑要想使系统进入某状态,哪些主体的行动的必不可少的,哪些主体的行动是充分的但非必要的条件。在本文中,我们扩展后的逻辑CATL和SATL表达力强于ATL,但计算复杂性与ATL相同。     

形式逻辑学专栏:编者导语

<正>自改革开放以来,中国在形式逻辑学方向的研究水平突飞猛进,在一些领域已经达到了国际领先水平。青年学者对此起到了至关重要的作用。本专栏收录了三篇形式逻辑学方向的论文。三篇论文的主要作者都是近几年来表现突出的我国青年逻辑学家。来自西南大学马明辉的论文"The disjuction property of some propositional logics"延续了他一贯的技术化风格。论文讨论了正规命题逻辑的析取性质。