形式语义描述方法研究进展与评价

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。     

基于LSI和自组织神经网络的高效文本聚类方法

根据隐含语义索引(LSI)理论和动态自组织映射神经网络理论,提出了一种文本聚类的新方法.应用动态自组织映射神经网络来实现文本聚类,不必预先给定聚类个数,可以在任意合适的位置生成一个新的类,具有聚类灵活和精度高等特点,对于高维的文本特征向量来说,聚类速度很低;该方法应用LSI理论来建立文本集的向量空间模型,在词条的权重中引入了语义关系,消减了原词条矩阵中包含的"噪声"因素,从而更加突出了词和文本之间的语义关系.通过奇异值分解(SVD),有效地降低了向量空间的维数,克服了自组织神经网络的聚类缺陷,提高了文本聚类的精度和速度.     

从《儒林外史》的翻译谈文化负载词的英译方法

文化负载词是指标志某种文化中特有事物的词组和习语。由于中西传统文化的巨大差异，在翻译文化负载词时，译者很难找到完全对等的表达。本文通过对《儒林外史》译文的探讨，总结其规律性翻译途径：即采用语义翻译 解释，交际翻译，交际翻译 脚注，源语词汇的义素拆分以及意象的转换等方法来实现跨文化翻译的最佳目标。     

基于语义距离的模糊信息分类方法

介绍了信息表极大必要属性组的概念。并用模糊语义距离矩阵解决了含有模糊数据的相互依赖的数据库的信息分类问题。     

陕西人格特征及其建设思路

人格是群体文化或民族文化的内化物。由于陕西传统文化的影响，陕西人格具有积极与消极两个方面的特征，文化的冲突又使当代陕西人的人格具有了双重性和矛盾性。陕西的现代化进程，在很大程度上取决于陕西人能否发挥自身的人格优势，正视和克服自己的人格弱点，重建适合于现代化进程的人格结构。     

指纹图像质量评价系统

指纹图像质量评价系统对于提高整个自动指纹识别系统的性能具有非常重要的意义 .在选取了指纹图像的总体灰度均值、块水平下的灰度均值和灰度方差、点方向信息、块方向信息作为评价因子后 ,首先求取各质量评价因子以及在其基础上的质量分 ,然后综合考虑各种评价因子求取总的质量分 ,最后给出最终的评价结果 .     

论建设现代汽车工程本科特色专业

针对我国汽车工业的发展现状，指出江苏省高校汽车类本科教育应从应用型人才的培养目标出发，加强汽车电子控制技术能力的培养；并着重对设立、建设和发展现代汽车工程本科特色专业的必要性、可行性及专业特色问题进行探讨和论述。     

追踪调查再研究模式:研究取向的探讨

从满铁调查、惯行再调查 ,杜赞奇的华北村落研究以及对华北村落的追踪调查再研究的脉络 ,探索了人类学的研究取向。在探讨中国社会组织原则时 ,将满铁材料与民族志现在时田野素材糅合起来 ,的确可以体现历时研究与共时研究相结合的一种新思路。     

IF深冲钢织构及其对塑性各向异性的影响

经不同热轧终止温度生产的两种含 Ti- Nb超低碳 IF深冲钢薄板呈现不同的塑性各向异性 .利用取向分布函数 ( ODF)定量分析了它们的织构 ,并对它们相异的塑性行为与织构及 ODF级数展开四阶系数的关系进行了探讨 .结果发现 ,沿板面〈1 0 0〉的取向分布是影响薄板塑性各向异性的主要原因 ,四阶织构系数 C124及 C13 4 值的大小与正负将决定制耳效应的特征 .     

交通路网中的定向寻优法

利用了现实中路段特别是节点位置的确定性和交通流量的定向性，结合图论中一些算法，模拟在重力场中水滴的流动，构造了一个求解交通路网中最短路径的定向寻优算法．阐述了此算法依据的原则、求解步骤以及特殊问题的处理方法，并说明了此方法的特点。