试论气功按摩的基本特征和基本形式

气功按摩是气功与按摩结合的新疗法，是将气功和按摩两疗法的优点相加。因其具有更高疗效，适应性更广、更具有生命力而无副作用，所以气功按摩是整体疗法、自然疗法、外治法和替代医学的重要组成部分，代表着医学发展方向。     

试论乡土文学的时代性

本文从作家主体意识、表现的客体对象以及表现形式这三个角度，论述了乡土文学创作中时代性的重要意义，并指出了目前在这三方面存在的一些问题。     

复空间形的全实极小子流形的整体Pinching定理

研究了复空间形的紧致全实极小子流形,得到了整体 Pinching 定理。     

不同条件下麝香石竹玻璃苗的诱导形成及其生理特性研究

研究了不同培养基及外植体条件下麝香石竹玻璃苗的诱导形成及玻璃苗部分生理特性。本文研究认为：麝香石竹玻璃的形成是培养基和外植体因素相互作用的结果，培养基极端的水分环境可能是导致玻璃苗形成的外在原因。     

共形平坦黎曼流形中具有平行第二基本形式的子流形

设Ｍ＾ｎ＋ｐ是ｎ＋ｐ维共形平坦黎曼流形，本文对具有平行第二基本形式的子流形作了讨论，将我们现有结论推广到了更一般的情形。     

社会主义民主的目标结构及其完善

本文对社会主义民主的目标结构及其运行规律进行研究，以民主的利益决策形式和技术决策形式为探讨的基本对象，分析了民主的利益决策形式和技术决策形式的基本内容、所遵循的原则以及两者之间的关系，阐明了社会主义民主的利益决策形式和技术决策形式是对资本主义民主的利益决策形式和技术决策形式的扬弃，提出了促成社会主义民主目标结构正常运行是社会主义民主建设的重要任务。     

Петровский意义下二阶线性椭圆组Dirichlet问题解的存在唯一性

本文利用Lax-Milgram定理,证明意义下具有常系数主部的两个自变数两个未知函数的二阶线性散度形椭圆型方程组Dirichlet问题解的存在唯一性定理.     

论特里·伊格尔顿的文学意识形态批评理论

意识形态批评是马克思主义文学理论的核心,但是传统的马克思主义文学理论往往偏重于对文学的思想内容进行意识形态的分析而忽视了文学的自律性,当代西方新马克思主义的代表人物特里·伊格尔顿将意识形态理论运用于文学形式、文学生产的分析,开拓了马克思主义文学意识形态批评的新视界,是在新的时代对马克思主义文学理论的有益补充。     

Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.