基于中文陈述句灵活语序的Lambek演算

目前,自然语言处理已从句法、词法层面走向轻量级语义层面。针对中文陈述句的自然语言处理,传统Lambek演算无法解决中文陈述句灵活语序的问题,而现有的方法加入模态词、新连接词等后,又进一步增加了已经是NP-hard的Lambek演算的复杂性,因此并不适合计算机的相关处理。基于此,采用加标动词匹配的Lambek演算对中文陈述句灵活语序进行处理。加标动词匹配算法的时间复杂度低,使得计算机及其程序能有效地对中文陈述句灵活语序进行处理,并能通过Curry-Howard对应理论与λ-演算引入轻量级语义处理。     

不是wisdom也不是孤岛

“智慧城市”的建设更准确的表述应该是“城市的智能化发展”。智慧城市的概念是由美国IBM公司在2008年提出的,英文为“Smart City”。“Smart”一词,本意是机灵的、聪明的,而对应“智慧”一词的英文应该是“wisdom”。     

基于误差传递建模的仿真可信性控制

针对模型误差对仿真可信性的影响, 提出了基于误差传递建模的仿真可信性控制方法。在建立仿真误差数学描述的基础上, 利用泰勒展开方法对误差传递模型进行了推导, 得到了仿真误差模型的一般形式。针对误差传递关系的非线性特点, 提出了基于神经网络的误差传递模型参数辨识的方法, 对神经网络相关参数的确定方法进行了研究, 给出详细的辨识过程。为提高仿真可信性控制的效率, 提出了基于敏感性分析的仿真模型综合重要性确定方法, 最后, 通过实例分析表明所建误差传递模型的正确性, 以及该可信性控制方法的可用性和有效性。     

苎麻织物增强PLA-PCL复合材料的制备及其性能研究

采用原位聚合法制备了聚乳酸-聚己内酯（PLA—PCL）／苎麻复合材料。研究了硅烷偶联剂（KH550）预处理、纤维含量以及成型工艺对PLA—PCL／苎麻复合材料力学性能的影响。结果表明，经KH550处理后，复合材料的力学性能有不同程度的提高，拉伸强度由49．84MPa到68．95MPa，弯曲强度由34．84MPa提高到65．06MPa，冲击强度由30．13J／m^2提高到53．54J／m^2。在纤维的质量分数为45％，成型温度为170℃，复合材料具有最优性能；采用原位聚合法制备PLA-PCL／苎麻复合材料，复合材料的界面性能较好。     

源于自然的服装设计

大自然是人类生活的基础,自然界中的各种事物为服装设计师提供了取之不竭的灵感来源。从设计的形式、风格、理念三个方面分析自然对服装设计的启示,并以此指导服装设计的实践活动。自然这个主题一直以不同的方式出现在各种形态的服饰文明中,对自然生活的渴望、对无拘无束人生的向往、对自然清晰的认识与创造、对科技客观的评价与把握、对精神空间的深层探寻、对古老文明的继承和反思等等都是我们设计服装的最初的理念。     

基于高精度波前快速推进法的页岩气储层动用分析

为了快速准确模拟页岩气储层开发过程中的动用情况,利用高精度波前快速推进法对波前运移程函方程进行求解,通过复合线性流模型对多级压裂水平井模型中的气体流态进行分区,实现飞行时间与真实时间的换算,得到储层动用随时间变化示意图及储层动用范围与时间的定量关系.对比波前快速推进法与高精度波前快速推进法的计算结果,发现在相同时间内,利用高精度波前快速推进法计算时储层动用范围更大.在裂缝总长相等的情况下,通过对比不同裂缝形态下的储层动用发现,在裂缝间的压力达到连通前,储层动用程度与裂缝形态无关;当裂缝之间压力连通后,储层动用与裂缝形态密切相关.     

支持向量机与哈夫曼树实现多分类的研究

基于支持向量机和决策树的多分类方法存在错误累积问题,累积的错误往往使分类准确率下降,分类效果变差.在仔细分析了其产生错误累积原因的基础上,提出了基于哈夫曼树的支持向量机多分类方法.该方法首先将一个多分类问题分解为多个二分类问题,针对每个二分类问题使用支持向量机二分类方法解决;然后根据相异度来决策分类的优先顺序,构建基于哈夫曼树的支持向量机多分类模型;最后使用勒卡斯开源数据集进行验证,并将它与传统的支持向量机多分类方法进行实验比较.实验结果表明,新的方法在分类速度和分类精度上较传统的支持向量机多分类方法优越.     

Crystallization kinetics of amorphous Zr65Cu25Al10 alloy

1　ＩＮＴＲＯＤＵＣＴＩＯＮＴｈｅｄｅｖｅｌｏｐｍｅｎｔｏｆｇｌａｓｓｆｏｒｍｉｎｇ ｍｕｌｔｉｃｏｍｐｏ ｎｅｎｔａｌｌｏｙｓｙｓｔｅｍｓｗｉｔｈｖｅｒｙｌｏｗｃｒｉｔｉｃａｌｃｏｏｌｉｎｇｒａｔｅｓｗｉｔｈｉｎ 1～ 10 0Ｋ/ｓｈａｓｏｆｆｅｒｅｄｆｉｒｓｔ     

机械合金化Al-Cu-Fe准晶相形成的研究进展

综述了机械合金化A1-Cu-Fe准晶相的形成机理及热力学稳定性方面的研究进展.     

基于TMS320C6678的多核程序加载研究与实现

针对多核D SP系统程序加载复杂的问题,基于T MS320C6678对多核程序加载进行了研究与设计。从一级引导程序出发,设计并优化了多核程序内容存储格式。设计了简洁的二级引导程序,以修正一级引导程序只识别主核程序入口地址,而从核入口地址缺失的现象。为了快速生成特定格式的多核程序内容,设计了多个工具用于添加S PI启动参数表、DDR3启动表、从核程序入口地址以及完成程序内容格式的转换。实现了S PI Flash多核程序加载以及基于I2C主模式的Nand Flash多核程序加载。