逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

改革开放30年中国农村经纪产业演变轨迹研究

通过界定农村经纪产业的概念,从产业的角度,研究改革30年来中国农村经纪产业演变发展的市场运行轨迹和历史发展背景,试图从产业角度,为找出解决中国广大分散的农户与市场对接的管理良策提供基础思路。     

企业基本问题的法学与经济学分析

我国法学界对企业的定义和分类大多仍停留在新古典经济学的“黑箱”阶段,现代经济学关于企业的契约性理论为认识企业的概念和基本分类提供了新的视角。企业是生产要素所有者通过契约组成的提供产品或劳务、具有民事主体资格的社会组织,企业可以分为物质资本企业、人力合作企业和介于两者之间的企业,它们各有存在的合理性,也存在矛盾和弊端。     

焦虑的诱发因素及调控方法--以体操教学为例的研究

国内外心理学对学生的焦虑与运动成绩的相关研究已成为一个专门的课题。针对焦虑对学生体操技术掌握的影响，运用运动心理学有关理论对大学生体操教学中的焦虑诱发因素进行问卷调查，归纳了体操教学中诱发学生焦虑过度的原因，并对其主要影响因素进行分析，提出了控制学生的适宜焦虑水平的方法。     

毛细管顶空气相色谱法测定饮用水中的氯仿和四氯化碳

建立了用毛细管顶空气相色谱法测定饮用水中氯仿和四氯化碳的方法。色谱条件为 非极性毛细管柱(30m×0.32mm×0.25μm),柱温40℃ 汽化室温度200℃,检测器为微池电子捕获检测器 检测器温度250℃ 载气为高纯N_2 流速3.2mL/min,尾吹气流速56.8mL/min,采用不分流进样 吹扫时间0.61min,吹扫流量20mL/min。实验表明 该方法准确度高,灵敏度比国标方法大大提高,适用于饮用水中氯仿和四氯化碳的分析测定。     

The Colour of The Sky的中文翻译分析

科技文章的翻译须以严密性、准确性和客观性为宗旨。随着语言学科的发展,人们有更客现、更全面的方法来分析和评论译文。本文通过对译文《天空的色彩》语域特征和语域标志的分析,认为其做到了科技文章文体和行文方式的对等,意义相符和功能相似。     

运用心理学原理搞好物理教学

应用心理学的原理引导学生学习物理的兴趣,从而开拓学生思维,提高他们分析问题和解决问题的能力,是当前在素质教育中物理教师应注意的一个问题。     

动物喻人与汉英文化

语言是文化的载体,也是文化的组成部分。语言中借助动物某些特征的联想来比喻人的现象自然亦被打上了鲜明的民族文化烙印,它们源于各自民族文化并充分反映本民族的文化特色。本文便从动物喻人这个视角来比较汉英文化的异同,探讨影响跨文化言语交际的若干文化因素。     

代谢综合征基础与临床系列研究——GRGDSP/7E3对动脉粥样硬化内皮细胞MMPs的mRNA表达的影响

目的了解GRGDSP/7E3对基质金属蛋白酶（MMP-2,MMP-9）mRNA表达的影响。方法体外培养人脐静脉内皮细胞,分别用酶谱法和逆转录聚合酶链式反应（RT-PCR）检测MMP-2,MMP-9活性和mRNA表达。待细胞融合成单层后,分别加入无血清培养基、静息期血小板、活化后血小板及interleukin-1β（IL-1β）,共同培养60min后,洗去血小板,内皮细胞继续培养6h。上清液及细胞分别用于酶谱法检测MMP-2和MMP-9活性,以及RT-PCR分析mRNA表达。结果内皮细胞与活化血小板共同培养后,酶谱法显示：与对照组相比,未活化的血小板轻微诱导MMP-2和MMP-9分泌,而活化状态的血小板能显著诱导这二者的分泌,与IL-1β的作用相当;而且还可以见到62kDaMMP-2活化形式。加入阻断剂GRGDSP以及GPⅡb/Ⅲa单克隆抗体（7E3）作用后检测发现,MMP-2和MMP-9分泌减少。与活化血小板共同培养后的内皮细胞表面表达uPAR和MT1-MMP以及上清液中MMP-2的mRNA与对照组相比明显增高,而静息状态的血小板作用不显著。加入GRGDSP或7E3后,mR-NA的表达降低。结论①活化状态的血小板与IL-1β的作用相当,能显著诱导MMP-2和MMP-9分泌;能明显增高内皮细胞（EC）-uPAR和MT1-MMP及上清液中MMP-2mRNA的表达;②GPⅡb/Ⅲa阻断剂可能抑制血小板在不稳定斑块部位聚集、粘附等一系列炎症反应。     

从思维方式的维度看真理标准讨论的当代价值

真理标准问题讨论的深层意义是变革了人们的思维方式。主要体现在以客观性原则代替了主观主义,以理论创新代替了因循守旧,以思想解放代替了思想僵化三个方面。它对于马克思主义理论与时俱进、理论创新;对于正确认识国情,实事求是;对于高举邓小平理论伟大旗帜,全面建设小康社会具有重要的价值。