2008年笔记本尺寸新星 13英寸演绎完美风暴

笔记本尺寸的变革随着主流笔记本产品轻薄化以及因技术进步而降低的制造成本,配备14.1英寸屏幕规格的笔记本产品开始大量抢占市场份额,而13英寸规格的产品也在2008年开始崛起。     

逆演绎学习算法在智能通信网中的应用

在智能通信网的学习过程中,针对传统归纳演绎学习的困难,提出一种逆演绎的学习算法。从学习任务和逻辑程序角度出发,研究逆演绎学习算法的规则、霍恩状态函子和激励信息等问题,并利用逆演绎的学习算法实现了智能通信网的学习推理系统。测试结果表明,该算法能高效地归纳出逻辑程序。     

B＆W全新演绎805S

2004年底，B＆W公司在大英博物馆向业界宣布推出全新演绎的800D／S系列，以全面取代6年前推出的享有盛名的N800系歹U音箱。     

卡拉扬演绎贝多芬交响曲全集DVD

尽管有人对“指挥帝王”卡拉扬有不同的评价,但是作为古典音乐圣殿指挥台上的这位君王,卡拉扬在20世纪下半叶的统治地位以及影响力,是无法撼动更不能抹杀的。这位指挥泰斗有自己的个性,他的指挥魅力不仅体现在他对作品的深入探索与挖掘,同时也反映在他具有强烈自信的肢体语言和冷峻威严的面部表情上。卡拉扬生前曾无数次地演绎过贝多芬交响曲。他的一系列录音版本同样具有权威性。而环球DG的这套DVD的问世, 最大的诱惑力就是让广大爱乐者对卡大师的演绎能够“耳闻目睹”。     

浅淡高等数学教育中的素质教育

从我国教育目标出发论述了高等数学教学中素质教育的重要性,并结合近几年的教学实践,从重视基本知识、培养学生应用数学知识分析问题、解决问题的能力,培养学生数学精神三个方面进行探讨。     

初等不等式的可读证明的自动生成

结合不等式的证明及可渎证明的自功生成这两个问题，以初等不等式及部分三角形不等式为研究对象，运用人工智能的技术，对目标不等式、条件及证明方法分类模型化的方法，实现了一个基于规则的逆向演绎系统，它能证明大部分初等不等式及部分三角形不等式的真伪并可自动产生符合人类思维习惯的可读的证明过程，该系统可以移植到智能教育软件中。     

演绎面向对象数据库语言中的方法研究

方法和方法继承是面向对象的核心概念.本文介绍了约束演绎对象语言CDOL(constraint deductive object language)中方法的概念及定义，方法是作为规则定义的，它既可作为对象的接口，又可用来实现计算的抽象与共享，方法的继承和多态是通过类型机制和合一机制来实现的.     

理想状态下泛逻辑的形式演绎系统B

本文提出泛逻辑学在理想状态(广义相关系数h=0．5．广义自相关系数k=0．5)下的形式演绎系统B。讨论了商代数[F]的性质。进一步证明了形式演绎系统B与文[11]的基本形式演绎系统UL(h=k=0.5)是等价的。     

航空救生试验仿真系统的设计与实现

由于存在大量不确定型因素，使得建立在纯数学模型基础上的航空救生试验仿真存在很大局限性。文章首先通过对航空救生试验仿真系统的分析，提出了一种基于演绎型数学仿真和归纳型数学仿真相结合的混合型的数学仿真方法。然后，在分析混合型的数学仿真关键技术基础上，文章提出了实现方案、实现步骤，并建立了一个初步原型；最后通过对原型仿真系统的仿真结果的统计分析，证明该方法的有效性。