零对称BZ-代数元素周期的性质

在BZ 代数中引入元素周期的概念 ,并讨论了零对称BZ 代数元素周期的重要性质 .研究表明 ,零对称BZ 代数子系统是一类比BCI/BCK、BCC 代数弱的逻辑代数系统     

新显色剂二溴对甲基偶氮羧磺的合成及其与锶显色反应的研究

报道了一种新型二溴对甲基偶氮羧磺染料的合成方法,及其与锶在0 48mol/L盐酸介质中形成的稳定的蓝色络合物.其最大吸收波长位于620nm处,表观摩尔吸光系数为8 88×104L·mol-1·cm-1,锶量在0～0 25μg/25mL范围内符合比尔定律.该试剂与其他测定锶的试剂相比,具有灵敏度高、选择性好等优点.     

谈中国武术的节奏与文化

中国武术的节奏是鉴别不同拳种和套路的重要因素。文章从几个方面探讨了中国武术的节奏特点，并以大量的文史记载及拳理、拳论，阐明中国武术的节奏与传统哲学、文化的历史渊源。     

H2在金属钾修饰碳纳米管上的吸附与储存

利用高压容积法、辅以卸压升温脱附排水法,测定金属钾修饰多壁碳纳米管(K~0-MWCNTs)对H_2的吸附储存容量。结果表明,在室温(～25℃)、～7.25MPa实验条件下其对氢的吸附储存容量可达3.80％(质量百分数);室温下卸至常压的脱附氢量为3.36％(占总吸附氢量的～89％),后续升温(升至673K)的脱附氢量为0.41％(占总吸附氢量的～11％)。     

英语中的汉语借词及其文化阐释

词汇互借是各种语言所共有的现象。英语在发展过程中吸纳了众多的汉语借词,借入方式不拘一格,所折射出的文化色彩斑斓,独具特色,而且有其深刻的文化成因。在追根溯源中把握汉语借词的地域特征、语法特征和文化内涵,有助于我们更好地运用这些借词进行交际。     

试析高职英语教学存在的问题及解决对策

该文旨在通过对天津市部分高等职业技术学院的调研,分析高职学院目前英语教学的现状和存在的问题,力求探索出一条适合高职高专特色人才培养模式的英语教学改革新途径。     

《四世同堂》的家族景观和胡同世情

在长篇巨著《四世同堂》中,老舍先生携带他浓郁的文化意识,通过解剖沦陷区的一个小胡同,并刻划以祁家为中心的一系列胡同居民,来展现八年抗战时期国家和民族的命运。小说中"家族"生活与"小胡同"的世情民生,是作家进行文化思考的窗口和载体。认真解析小说的文化讯息,从中可以窥见老舍对传统民族文化、国民性弱点进行反省批判,探索民族生存方式改造重建之路的深层文化思考。     

对混炼型聚氨酯弹性体生胶可塑度影响因素的探讨

详细论述了混炼型聚氨酯弹性体(MPU)的加工过程和特性，通过实验指出了生胶可塑度与MPU的加工过程和质量有密切的关系，影响可塑度的因素有生胶中硬链段的含量、聚酯二醇的结构和生胶的分子量。     

谈面向对象编程

近年来，在计算机软件业，面向对象的程序设计的思想已经被越来越多的设计人员所接受．面向对象的编程(OOP)和数据抽象已经成为最常用的编程术语．本文以C 为例，讨论OOP的编程风格与特性．     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．