英汉语话语中信息焦点比较研究

汉语的信息焦点多在该结构末尾出现;英语的信息焦点在简单句法结构中出现在该结构末尾,而在复杂句法结构中则出现在该结构开首.对英汉话语中信息焦点的比较研究应力求规范性和客观性,以给语言习得教学和翻译提供新的指导思路.     

制动器试验台软件系统设计

随着汽车产业的发展,以及人们对汽车安全性能的要求越来越高,汽车测试平台也得到迅猛发展,这其中制动器测试试验台的发展自然成为各大汽车厂家大力发展的一个项目方向.以往的试验台设计的配套软件适用的参数标准比较单一,并且可观性和操控性不强,而JF122型试验台采用计算机自动控制,执行试验程序,并能够完成数据的采集、处理、存储.     

论汉语的人文性与对外汉语教学

语言的人文性是指语言所蕴涵的文化内涵。与西方语言相比较,汉语的人文性尤为突出。多年来,我们的教学法研究主要集中在宏观研究即方法论层面的理论研究,或者侧重微观研究即操作层面的教学技巧研究,而对于中观层面的教学模式研究鲜有涉及。本文从介绍汉语的人文性特点入手,提出了从汉语各层面的文化因素研究对外汉语教学的几种思路。     

电子封装用高体积分数SiCp/Al复合材料的制备

采用粉末注射成形制备SiC预成形坯和Al合金无压熔渗相结合的工艺,用单一粒度的粉末成功地制备出了致密度为98.7%的60%SiCp/Al高体积分数复合材料. SEM分析表明,所制备的复合材料增强体和基体分布均匀,组织致密,热膨胀系数在100℃到400℃范围内介于(7.10～7.75)×10-6K-1之间,室温热导率为170W·m-1·K-1,能够完全满足电子封装的技术要求.     

冶金专用车车架结构的优化设计

在某型冶金专用车车架概念化设计的基础上,以有限元结构分析和优化算法相结合为手段,对横梁和纵梁的截面尺寸进行优化,建立了车架的有限元模型,优化数学模型,通过电测试验验证了有限元模型的正确性,采用ANSYS参数化设计语言编制了优化设计程序,用ANSYS软件中的一阶优化方法获得最优设计。实际应用表明该优化设计方法比原有的设计方法更为有效和快捷,该方法可广泛应用于车架优化设计工程中。     

基于二元语义信息处理的最大树聚类方法

针对解决具有语言评价信息的多指标聚类分析问题,提出了一种基于二元语义信息处理的最大树聚类方法。该方法依据传统的最大树聚类分析方法的基本思想,采用二元语义概念对语言评价信息进行处理和运算,并对聚类对象进行分类,具有概念清晰、计算简单、信息处理较为精确的特点。最后,通过一个算例说明了所给出的聚类方法。     

光面爆破技术研究

光面爆破也称密眼小炮爆破,是一种根据设计要求进行人为控制的爆破方法.实施时,通过合理选择各种参数,严格控制装药量,科学布置各种炮眼,并按照一定的顺序装药起爆.     

谈机械设计各教学环节的质量要求

摘要提出机械设计课程中几个教学环节及每个环节的质量要求,以期评估和提高整个课程的教学质量。     

Linguistic Truth Values Lattice Implication Algebras

In order to study uncertainty reasoning and automatic reasoning with linguistic terms, in this paper, the set of basic linguistic truth values and the set of modifiers are defined, according to common sense; partially orderings are defined on them. Based on it, a lattice implication algebra model L18 of linguistic terms is built; furthermore, its some basic properties are discussed.     

Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.