合成邏辑TAC中合子的生成

近年来,软件的形式开发越来越受重视。本文设计了一个形式系统,它能实现合成逻辑TAC中合子的自动生成。     

现代地球科学研究方法的特点

现代地球科学的基本任务是整体性地认识地球。整体性研究已成为现代地学研究最主要的特点 ,具体表现在以下三个方面 :一是地球系统观研究 ,在全球尺度上研究地球系统的各组成 (岩石圈、水圈、气圈和生物圈 )的相互作用及其运行机制和演化 ;二是地球复杂性研究 ,研究地球系统的开放性、多层次时空结构、不稳定性、不平衡性和不均一性 ,研究地球系统相互作用的多因素和多样性以及它们之间的复杂的相互作用 ,不同组成、不同层次、不同作用的相互作用 ,以及作用过程和系统、子系统的整体行为和演化的非线性和不可逆性 ;三是跨学科综合研究 ,在地球科学研究中 ,多学科研究 ,特别是跨学科研究已经成为不可逆转的趋势 ,并成为主要研究方式。     

四至七维空间直角坐标系的三维模型建立及其应用

本文从n维空间有限旋转群理论出发,证明了n维空间正则立体的存在,着重研究了n维空间立方体的情况,得到四至七维空间直角坐标系在三维空间的投影模型,并将其应用到几何和物理模型的制作方面。     

试析顾炎武在古韵分部过程中对系联法的运用

关于顾炎武古韵分部的方法,虽然已有很多学者论及,但是没有详细地探讨.如果分析《唐韵正》和《诗本音》的关系以及顾炎武在《唐韵正》中把五支韵的伎、椅分属两部的原因,系联《诗经》韵脚字并对系联结果加以分析说明,可见顾炎武运用了韵脚字系联法进行古韵分部.     

李鸿章与北洋"官系"网的形成和发展

李鸿章是中国近代史上的重要人物.自1870年起李鸿章长期担任直隶总督兼北洋大臣一职,他利用自身权势,以北洋地域为依托,建立了一个强大的北洋官系网.北洋官系网的形成与发展对李鸿章淮系集团的发展产生了重要影响.     

张为《诗人主客图》的诗学理想及其意义

晚唐诗人张为在其诗选评论集《诗人主客图》中把中晚唐诗人78人分为“广大教化主”、“高古奥逸主”、“清奇雅正主”、“清奇僻苦主”、“博解宏拨主”、“瑰奇美丽主”六系和“主”、“上入室”、“入室”、“升堂”、“及门”5等。这种评论法遭后世颇多非议,然而将其还原至当时的文化语境,透析其内容和形式,我们可以看到这个文本形式不仅蕴含着作者崇儒尚道的诗学理想,而且还传达出作者因政治抱负和理想不能够实现而转以参禅问道的事实。     

医疗侵权中的因果关系——英美侵权行为法视角下的分析

因果关系的认定是医疗侵权案件中的一个难点.文章引用二分法的因果关系理论将因果关系分为事实上的因果关系和法律上的因果关系两个层次,认为对于医疗侵权纠纷,应根据不同的侵权形态,在事实因果关系的认定上分别适用必要条件原则、实质要素原则和"错失机会"原则;在法律因果关系的认定上适用限制性可预见说,并应该充分考虑介入原因、取代原因和政策因素.     

中国少数民族神话学研究的新收获——达西乌拉弯·毕马著《原住民神话大系》十部著作评介

西乌拉弯.毕马所著的十部著作囊括了台湾原住民各族的神话与传说,其内容之丰富,数量之繁多,想象之离奇,情节之怪异均堪称为中国乃至世界民族神话与传说宝库中的瑰宝。     

民间维权的软肋

李卯元和开发商的关系原本是针尖对麦芒,那么,两者之间怎么又发生了金钱关系呢?原因在于,李卯元在维权过程中掌握了开发商的诸多问题,如果李卯元在舆情汹涌之时将这些问题公之于众,开发商很有可能遭遇灭顶之灾。在这种情形下,如果李卯元的确以手中的把柄相要挟,迫使开发商向自己支付巨额钱财,无疑就构成了敲诈勒索罪。相反,如果是开发商实施“危机公关”策略,主动向李卯元支付巨额“封口费”,那么,敲诈勒索的罪名就值得商榷。李卯元获得钱财的事实是否构成敲诈勒索罪,关键在于开发商的支付行为是否“被迫”,在这个环节上,现场取证是非常重要…     

高等学校院(系)统战工作初探

院(系)是高校的基层,在高校整统战工作中承担着具体的统战任务。本文提出了院(系)要从建立工作机制、加强思想政治工作、营造良好环境、充分发挥党外知识分子作用等方面努力做好高校院(系)的统战工作。