基于统计的满文识别后处理的研究和实现

目前的技术不能使单字识别系统的识别率达到100%，单字识别系统会产生错判和拒判。因此，将满文中单词识别系统的识别信息和满文的词组信息有机的结合起来，建立满文词组和待定词集统计信息库，采用基于统计的隐马尔可夫模型的方法，利用Viterbi动态规划法求最佳路径，对满文的单字识别输出进行后处理，可以有效的提高识别系统的识别率。实验表明，单字识别系统的识别率越高，后处理的纠错能力越强。     

自然种类名称与严格性--克里普克通名理论的一个疑点

克里普克在<命名与必然性>中就专名问题给出了较为完整且具说服力的论证,但随后他把这套专名的理论直接推广到自然种类名称的做法却是值得商榷的:一是因为克里普克的这种推广只是一种简单的套用,他未就自然种类名称本身的严格性给出充分的论证;二是因为克里普克所谈到的自然种类名称属于不同的语法和语义类型,如此复杂的情形不能像专名那样一概而论.本文试就这些问题加以研讨.     

语用否定的逻辑分析

语用否定使人们对否定的认识进一步拓宽,本文运用现代逻辑方法对否定预设和否定话涵这两种重要的语用否定进行了细致的分析.认为否定预设可运用三值逻辑和"否定的几何图"来描述,而否定话涵则要针对四种不同的情况给予具体的分析.语用否定更新了人们关于否定的传统观念,使我们看到否定角度和否定方式的多维性.     

无穷小量的命运及对数学发展动力的思考

近代力学的需要催生了无穷小量.历史上的数学家对无穷小量作了各种解读,试图论证它存在的合法性,以使微积分严密化,都没有成功.在19世纪末的数学公理化运动中,极限取代了无穷小量成为微积分的基础.无穷小量的曲折历史使人们认识到:数学有效性并不必须由其真理性来保证,数学家的信仰是数学发展的精神动力.近代数学家经历了从信仰上帝到信仰自然再到信仰数学内部的逻辑美的过程,数学家的任务也经历了从解决上帝、自然和数学三者之间的矛盾到解决自然和数学两者之间的矛盾,再到解决数学内部的矛盾过程.哥德尔不完备性定理抽走了数学家的逻辑美信仰,数学界出现了信仰危机.     

试谈微分学的揭秘问题

微分学采用的是"纯粹数学"的抽象研究方法,尽管能得到正确结果,却变成"神秘的东西".这种神秘性是科学尚未从神学中解放出来的象征,现在是彻底揭开这个秘密的时候了.地球和太阳系是在时间进程中形成的.微分现象是物质运动的规律性在人们头脑中的反映.微分的运算过程是"否定之否定".变数的数学-微积分本质上说是辩证法在数学方面的运用.     

基于技术能力之上的技术追赶战略动态模式

发展中国家及其企业在技术追赶中应该如何行动,这是学术界研究的一个热点问题,为此,本文从技术能力角度对发展中国家企业的技术追赶战略进行了系统研究,主要结论为:为了提高技术追赶的绩效,在技术追赶过程中,追赶者必须努力保持技术能力和追赶战略之间的动态平衡性,当技术能力较弱时,技术追赶战略应该倾向于选择成熟并且是劳动密集型的技术和产品,通过技术许可,采用路径依从型的技术发展路线开始技术追赶.当技术能力得到提升,特别地,当技术能力较强时,技术追赶战略则应倾向于采用自主研发,开辟新的技术路径,发展新兴和技术密集型技术和产品进行技术追赶.     

微量元素对Al—Mg合金微结构及合金性能的影响

对Al—Mg基合金中添加微量元素的微观结构进行分析,结果表明微量元素的添加能显著增强该合金的时效硬化和强化效果.这是由于微量元素在合金中形成的细小、弥散均匀的第二相质点及复合粒子对位错和亚晶界具有钉扎作用.同时这些粒子可以强烈抑制合金再结晶,并能有效改善合金综合性能.     

悬索桥隧道式复合锚碇承载力计算方法

根据现场原位试验结果,分析了悬索桥隧道式复合锚碇系统(隧道式锚碇 预应力锚索)的可能破坏形态及其发生破坏的条件.采用极限理论,建立了锚碇系统的平衡方程.根据实际施工和设计特征,将锚碇-围岩接触面概化处理为4种力学模型,以节理力学理论和试验成果为基础,给出了相应的破坏准则.讨论了承载力简化计算公式中各分项系数的意义和取值方法,并用算例进行了验证.为设计工程师提供了对隧道式复合锚碇的一个整体设计思路和简化计算方法.     

股线的数学模型和外观模拟

通过对股线外观统计特性的分析，建立了股线捻回的随机矩阵模型，并给出了生成随机矩阵的方法。该方法可以模拟单色股线和多色股线，效果比较逼真，并为模拟具有真实质感的织物外观奠定了基础。     

英语的深入学习方式--精准解词--《综合大学英语》部分词汇辨析

英语学习进入较高级阶段以后，学习就应当在遣词用旬上下工夫，首先力求精准解词，这样不仅帮助理解内容，还可以提高语言的辨析能力，提高语言基本功。英语专业教材——Comprehensive Coilege English(CCE)中的部分用词为例，充分说明了这个道理。