一类约束满足问题及其算法

针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·     

针刺老年大鼠"足三里"、"关元"穴对SOD、CAT、GSH-PX活性影响的实验研究

通过针刺老年大鼠“足三里”、“关元”穴^(1)观测大鼠脑、心、肾组织中超氧化物歧化酶(SOD)、过氧化氢酶(CAT)、谷胱甘肽过氧化物酶(GSH—PX)活性的变化来探讨针刺与衰老的关系。采用生物化学方法检测针刺后大鼠组织内SOD、CAT、GSH—PX含量的变化。结果表明，针刺能提高脑、心、肾组织中SOD、CAT及GSH—PX活性。提示针刺老年大鼠“足三里”、“关元”穴区能提高氧化清除酶活性，抑制脂质过氧化反应，从而起到延缓衰老的进程，达到抗衰老作用。     

3连通图生成树上的可去边

摘要：设G是3连通图，e是G中的一条边．若G—e是3连通图的一个剖分．则称e是3连通图G的可去边．否则，称e是G的不可去边．本文给出某些3连通图的生成树上可去边的分布情况及数目。     

添加剂对气体水合物蓄冷过程影响的实验研究

对R141b水合物在添加不同比例的次氯酸钙或苯磺酸钠的结晶生成过程进行了实验研究．实验表明，适当比例的添加剂使水合物生成过冷度明显减小，3／10000的苯磺酸钠可以使过冷度减小0．78℃；水合物生成速度显著提高，8／10000的次氯酸钙可以使水合物平均生成速度增加0．2g／s．蓄冷装置实现了稳定高效的蓄冷密度和蓄冷效率，加入3／10000的苯磺酸钠时，蓄冷量为4．74MJ，蓄冷密度为206．07MJ／m^3，满足了实际蓄冷空调工程应用的要求．     

色谱软件在TVOC检测中的应用

根据国家对建筑行业提出的新要求,提出了进行室内环境污染检测的新的色谱专用软件,能满足TVO℃监测的需要.     

开放式焊接综合实验室的研究与实践

为了适应21世纪创新人才的培养，提高学生的综合素质，对高校传统的实验教学方式的改革势在必行。本文对开放式焊接综合实验室的研究与实践进行了探讨，对提高专业课实验教学质量，对深化高校实践教学改革具有借鉴作用。     

"感而能谐,婉而多讽"--由《俳谐杂说》看蔺时工杂文的艺术特色

在泰安的本土作家中。蔺时工是钟情于杂文并在杂文创作上卓有成就的一位。他的那些“感而能谐，婉而多讽”的杂文作品。常给人留下深刘的印象。他的杂文艺术特色主要体现在三个方面：其一，体式多样。蔺时工在杂文体式的创新方面下了很大功夫。其二，“杂”而有“文”。蔺时工的杂文题材广泛。又善用刻画形象、活用语言、说“闲话”的方式突出杂文的艺术性。其三，由笔论理。刻时工的杂文在论理上，很少直来直去，多通过影射、类比、暗示手手法，让读者的思维主动参与。     

齿轮信号特征识别的谱相关密度分析

针对齿轮初期故障以调频形式表现且包络解调仅能够解调幅的现状,以一般调制信号为模型,引入解析思想,对各类型调制信号进行二阶循环平稳分析,理论推导了各自的分析结果,给出了调制信号谱相关密度分析的统一构架,证明了解析形式的谱相关密度同时提取调幅、调频特征的能力.仿真分析和齿轮故障实例验证了该分析方法对于调制特征的提取能力,表明该方法能够准确反映齿轮振动信号调制特征的变化,适用于齿轮初期故障的监测和识别.     

水下声场激励水表面横向微波的色散关系

针对水下声场在水表面激励横向微波的现象, 建立一套测量水表面横向微波波长的图像采集和处理系统, 利用该系统对水表面横向微波波长进行了测量, 将实验值与理论值进行比较, 结果表明, 表面横向微波是色散波, 理论模型给出的波长量级与实验结果相吻合.      

超声测量数据计算物质冷压线的一种解析方法

提出了一个利用超声测量数据来计算冷压线的一种解析方法．该方法对冷能和冷压的描述先不考虑原子之间的相互作用势的具体形式，而是直接从Murnaghan、Birch—Murnaghall、Vinet等不同解析形式的等温物态方程出发，利用室温较低压力下的超声测量数据计算零压体积模量KT0及其对压力的一阶偏导数K＇T0，将其修正到0K而得到冷压线，并用静高压等温压缩数据检验各种解析物态方程模型的适用性．利用超声测量数据计算了Al、Cu、Ag3种金属的冷压线，并用DAC原位测量的300K等温压缩数据对该计算进行了比较．