复杂山地高密度宽线地震采集技术及应用效果

通过多年持续攻关,塔里木盆地山地地震采集技术取得了长足进展,但仍有许多勘探难题需进一步解决。阐述了针对高大山体区地震资料的低信噪比问题和高陡复杂构造成像问题而提出的一种攻关采集方法。该方法以宽线采集技术为基础,在增强压噪能力、提高静校正精度、改善陡倾角地层成像效果等方面采取了针对性技术措施。这些技术措施的的应用大幅度改善了地震剖面的成像质量。     

高中美术欣赏教学与审美评价

从美术欣赏教学的特征、美术的审美价值与评价、绘画欣赏中的评价三方面,对高中美术欣赏教学与审美评价进性了论述,并提出了有益的教学建议。     

京剧《望江亭》与元杂剧原剧本的几点比较

京剧《望江亭》与元杂剧原剧本相比 ,无论是在剧情、背景 ,还是在结构、情节、语言等方面均有诸多异同 ,其改编自然也有利弊得失 ,因此 ,从社会现实、典章奏疏、历史真实、剧本形式、语汇改写成败等多角度对之予以深入挖掘 ,可为今天的古戏曲改编提供经验借鉴 ,亦有利于演出的推陈出新 ,锦上添花。     

从《逻辑》到《逻辑基础》——王路教授访谈录

现代逻辑作为一门科学,自1935年金岳霖出版《逻辑》而得以系统地引进国内以来,至今已经85年了。访谈围绕逻辑教科书的主要内容、逻辑教学中可能会遇到的问题以及如何讲授现代逻辑基础的方法,探讨了王路教授的《逻辑基础》对《逻辑》中的理念的传承、逻辑对哲学的重要意义、普及和传授现代逻辑的种种可能途径。     

金岳霖问题——从逻辑的角度看

“金岳霖问题”指的是金岳霖在1930年提出的“中国哲学”问题,这个问题有两个先决问题。第一个先决问题是:先秦诸子讨论的问题是不是哲学问题,先秦诸子有没有逻辑,如果有的话这个逻辑是特殊的还是普遍的?第二个先决问题的关键则在于逻辑一元论。逻辑的一元论看法要求助于现代哲学家的一种基础倾向,金岳霖在自己后来出版的《逻辑》《论道》《知识论》等著述中,援引皮尔士的“样型-凭借区分”学说来说明逻辑与逻辑系统、实质与形式之间的区别,以支持逻辑一元论。如果把两个先决问题中的后者解释成前者的必要条件,那么金岳霖的这些工作以及沈有鼎、张清宇等人对墨家逻辑的研究就可以被解释为对“金岳霖问题”所做的回答。     

知识经济时代的档案管理

知识经济时代档案工作所处的地位十分重要 ,知识经济对档案管理观念的更新、档案管理人才的要求、档案管理方式的创新等方面提出了新要求。知识经济时代的档案管理将是知识的管理 ,而知识型人才的培养和管理方式的创新是档案管理适应知识经济时代要求的关键因素。     

取舍复句的逻辑认识及其应用

对取舍复句的逻辑认识是有争议的,至今尚无定论。我们在本文中提出自己于学习中得出的看法。 一 取舍复句是“选择已定”的选择关系联合复句,表示一种取舍关系即在两件事情中衡量得失后选定其中一件而舍弃另一件。取舍复句从比较中选择,有     

经典一阶逻辑的希尔伯特型系统

系统Z是文[7]构造的经典命题逻辑系统,这一系统的初始联结词是一类广义的谢夫竖函数,并且采用括号记法。作者在系统Z中加入存在量词,把存在量词和广义谢夫竖函数统一作括号记法,并且把系统Z的规则作相应的处理,最后证明了所得系统Z'的完全性。     

逻辑图：从古典到形式化的发展

古典的逻辑图主要包括欧拉图和文恩图（一般也把经过皮尔士改造过的文恩图“皮尔士-文恩图”包括在内）。由于可靠（且完全）的逻辑推演规则的提出，在逻辑图从古典形式走向形式化的发展历程中，具有转折性的是皮尔士-文恩图以及皮尔士的存在图系统，现代形式的图式逻辑就是在这两者的基础上建立起来的。     

逻辑图:从古典到形式化的发展

古典的逻辑图主要包括欧拉图和文恩图(一般也把经过皮尔士改造过的文恩图“皮尔士-文恩图”包括在内)。由于可靠(且完全)的逻辑推演规则的提出,在逻辑图从古典形式走向形式化的发展历程中,具有转折性的是皮尔士-文恩图以及皮尔士的存在图系统,现代形式的图式逻辑就是在这两者的基础上建立起来的。