一种命题形式系统的等价性证明

Lukasiewicz提出的一个命题形式系统与两个常见的命题形式系统之间的等价性证明关键就在于在Lukasiewicz系统中证明公理模式A→（B→A）和（A→（B→C））→（（A→B）→（A→C））。而要证明这两个公理模式其关键又在于证明若干重要的中间公式，如A→（（┐B→B）→B）以及皮尔士律、吸收律、段定律等。就此，在Lukasiewicz给出的证明的基础上，讨论了一种不同的、相对简单一些的证明过程。     

Hilbert代数是反正蕴涵BCK-代数

证明了Ｈｉｌｂｅｒｔ代数（Ｈ，→，１）是反正蕴涵的ＢＣＫ－代数，即若使ａ＊ｂ＝ｂ→ａ，则（Ｈ，＊，１）是正蕴涵ＢＣＫ－代数。１在（Ｈ，→，１）中是最大元，而在（Ｈ，＊，１）中是最小元。     

英语正文音素转换的规则表示及其推理

正文→音素转换规则可表示为Ａ→Ｂ／Ｃ－Ｄ基本形式，正文→音素转换推理是一个基于语言学规则和简单统计的启发式推理过程，该过程包含三个步骤：（１）词素分解，（２）音素转换，（３）确定词内重音。     

对TL 9000（3．0版）的几点认识

电讯业质量管理体系标准——TL9000标准建立在ISO9000标准平台上，分为两大部分：质量管理体系要求（3．0版）和质量管理体系测量指标（3．5版）。它进一步细化了电讯行业产品范围所包含的硬件、软件和服务，涵盖了各个部门、各类电讯产品，是设计→开发→生产→配送→安装→维护→改进的→整套系统要求，     

TC2模型下中性top-pion衰变过程研究

在顶色辅助的人工色（TC2）理论模型中，研究了树图下中性top—pion（πt^0）的衰变过程πt^0→bb^-，tt^-，tc^-和圈图下中性top—pion（πt^0）的衰变过程πt^0→gg，γγ，γz，通过对这些衰变过程的衰变分支比的计算，可以得到πt^0在树图下的主要衰变过程为πt^0→tt^-，tc^-，在圈图下的主要衰变过程为πt^0→gg.对于小质量的中性top-pion（πt^0），可以用πt^0→tc^-来探测；对于大质量的中性top—pion（πt^0），可以用πt^0→tt^-来探测．中性top—pion（πt^0）是TC2模型中的特征粒子，通过对这些过程的研究可为在将来的直线对撞机上探测top—pion（πt^0）的存在提供理论依据。以此来检验TC2理论的正确性．     

Fe－C合金贝氏体相变机制

贝氏体在奥氏体贫碳区马氏体式切变相变机制为：γ→γ＇（贫碳）＋γ１（富碳）→ｘ＇（与ｙ’同成分）＋γ１→ＢＦ＋γ１．整个相变过程受碳扩散控制．热力学分析表明，贝氏体切变形成具有热力学可能性，贝氏体相变具有阶段性特点．     

一类布尔函数密码性质的分析与设计

分析了形如ｆ（ｘ，ｙ）＝ｈ（ｘ）·ｙｇ（ｘ）及ｆ（Ａｘ＋ａ）的ｎ元布尔函数的密码性质，并设计出几种好的布尔函数。其中ｇ（ｘ）是ＧＦ（２）ｋ１→ＧＦ（２）的函数，ｈ（ｘ）是ＧＦ（２）ｋ１→ＧＦ（２）ｋ２的函数，ｋ１＋ｋ２＝ｎ，Ａ是ｎ×ｎ可逆矩阵，ａ∈ＧＦ（２）ｎ。     

可逆热变色材料BiVO_4

利用氧化煅烧成功的制取了新型可逆热色材料氧化铋钒（ＢｉＶＯ４）。实验表明，它具有很好的热色特性，在７５０℃以下性能稳定，可在黄（室温）→橙（１２０℃）→红（２００℃）色系进行可逆变色，是一种性能优良，安全无毒的热色功能材料。     

向量空间序列的反向极限及其维数

设{Vi，φi}^ ∞－∞是域F上的向量空间序列，我们曾得到了关于{Vi，φi}^ ∞i＝∞的极限空间－正向极限lim→Vi的维数公式。本文引入{Vi，φi}^ ∞－∞的另一个极限空间，反向极限lim←Vi，并证明了下述结论：a．若{Vi，φi}^ ∞－∞的特征数列{nt}^ ∞－∞的极限tlim→－∞nt＜ ∞，则dim（lim←Vi）＝tlim→－∞nt；b．若ilim→－∞{dim（Vi/kerφi）}＜ ∞，则dimlim←Vi≤ilim→－∞{dim（Vi/kerφi）}。     

微分中值定量中间点渐近性质再研究

本文得到的结果有两个方面：其一对拟拉格朗日定理中间点渐近性态得到ｌｉｍｙ→ａ－０ａ－ζ１／ａ－ｙ｛≥１／２，当ｆ″－（ａ）〉０，≤１／２，当ｆ″－（ａ）〈０。及ｌｉｍｙ→ａ－ｏａ－ζ２／ａ－ｙ｛≥１／２，当ｆ″－（ａ）〈０，≤１／２，当ｆ″－（ａ）〉０；其对二对高阶和一阶拉格朗日定理在一定条件下，当区间的两个端点都趋于其内部一定点ｃ时，中间点渐近性态分别是：ｌｉｍｘ→ｃｙ→ｃζ－ｃ／ｙ－ｘ＝１／２     

浅谈中等职业学校市场营销学教学的改革与创新

市场营销学是一门属于管理学范畴的、与企业的经济活动密切相关的应用性学科。改革市场营销学教学,提高教学质量,对培养应用型、技能型营销人才具有举足轻重的作用。可从培养目标、教学内容、教学方法、教学形式、考评方法五个方面对市场营销教学进行改革与创新。     

信息与计算科学专业实践教学体系创新研究探析

结合专业建设对信息与计算科学专业实践教学的现状及存在的主要问题进行了分析,同时就信息与计算科学专业实践教学体系的主要内容、总体设计和组织管理方面进行了探讨,提出了按模块分层次构建实践教学内容体系的设想,对信息与计算科学专业实践教学有一定的指导意义。     

创建高校应届博士教师的科研时间工作平台

近十几年来,以引进应届博士生为主的高层次人才队伍建设,是省属普通高校实行人才强校战略,向教学研究型大学迈进的重要举措。针对普通高校的科研环境和应届博士生的特点,提出在有限财力和现有制度约束下,统一教学和科研工作的计量方法,设定年度完成的教学超工作量,可以作为后续学年的预付工作量的考核办法,从而创建一个较充分的科研工作时间平台,为充分发挥个人才能开创一个良好的开端;在保证高校教学规模发展的前提下,稳步提升科研实力。     

构建科学的教学体系,努力提高高校教学质量

教学质量是高等学校生存和发展的生命线。要提高教学质量必须加强教师队伍建设,优化学科专业系统,推行现代教育方法和手段,规范教学管理,营造科研学术氛围,构建完善的教学考核评估系统。     

计算机网络技术专业课程体系改革研究

应用型本科是根据经济和社会发展需要而建立的一个培养高层次技术应用型人才的完整办学体系,它的培养目标是:面对现代社会的高新技术产业和服务业,在工业、工程领域的生产、建设、管理、服务等第一线岗位,直接从事解决实际问题、维持工作正常运行的高等技术应用型人才。 本文首先讨论了应用型本科专业教学改革的指导思想和目标,然后以“计算机网络技术”专业教学的课程体系建设为例,详细论述了该专业应用型本科专业教学建设的基本思路和课程体系的建设方案。     

经济法课程改革探索

针对目前各专业经济法课程的教学内容雷同、教学计划的安排不合理、考核方法单一等问题,提出对经济法教材进行细分、增加案例法教学、充分利用多媒体教学设备、实现考试方法的二分等相应的改革措施。     

基于“卓越”理念的管理学课程教学改革的研究

本文从卓越管理人才培养要求的角度,对管理学课程的教学现状进行分析,指出其在教学理念上、教学内容安排、教学过程设计、教学方法及课程考核方式选择等方面存在的问题,在此基础上提出管理学课程教学改革的建议。     

高职院校高等数学立体化分级教学现状浅析

高等数学是高等职业院校必修的一门重要公共基础课程。一方面,高职学生平均入学水平较差,自身数学知识参差不一;另一方面,高等数学课时较少,教学内容平淡无趣,使得当前高职教育处于学生学习难、课堂教学难的境地。针对这一状况,应对高职院校高等数学教材、教学方法和教学手段进行改革,进行立体化分级教学,针对学生的个性差异,因材施教,提高高职院校高等数学的教学质量。     

谈烹饪高职教育的目标定位及教学运作

烹饪学在高等职业教育中是一门新型学科。烹饪高职教育应形成一个与社会主义市场经济体制和科技发展相适应的、具有中国特色的人才培养模式,培养一批行业急需的应用型、技能型、管理型人才。在烹饪教学中,应注重训练学生的动手能力及培养学生的科学思维方法,使烹饪专业的教学计划、教学方法、教学内容、教学管理都显现其特色。     

高校教学督导运行机制的探索与实践——以湖南工程学院为例

教学督导是高校教学管理体系中的重要组成部分,对教学督导运行机制在高校教学质量监控体系中的作用、现状和问题进行了分析。以湖南工程学院为例,对教学管理体制、教学督导组织机制、工作模式进行了分析和研究,以建立一套行之有效、自我监控的三级教学督导管理机制,从而达到提高高校教学质量的目的。