平面薄片质心的多种算法

结合一个具体实例,总结了平面薄片质心的五种计算方法,供从事微积分教学的老师参考.     

“小小英语角”演绎“世界大故事”

每逢周末,浙江省宁波市北仑区新碶街道牡丹社区的英语角里就人头攒动,而且是各种肤色的人聚集一起,或自弹自唱,或纵情高歌……小小的社区英语角受到了辖区内中外居民的喜爱。牡丹社区的英语角开办10年来,累计开展英语交流活动400多次,参与     

关于Feigenbaum型泛函方程的C^1解

利用Schauder不动点定理、自同胚和紧凸子集的相关性质研究Feigenbaum型泛函方程的连续可微解的存在性和唯一性.     

关于复变函数与积分变换教学的几点注记

结合在复变函数与积分变换课程教学中的体会,讨论了几个应该引起注意和容易产生混淆的问题,并针对工科数学的特点对课程某些内容的教学安排提出了一些改革,以使之更为简洁和合理.     

民国情怀建筑的现代演绎——记沈阳二中综合教学楼设计

通过对沈阳二中历史溯源的了解,深度挖掘同泽男中有代表性的历史元素,在设计中用现代的技术手段加以演绎;并对旧教学楼承载的众多师生记忆的空间予以挖掘,用现代手法使其得以延续.     

剩磁法估测三相交流异步电动机转速的分析

介绍一种用剩磁法估测三个交流异步电动机转速的新方法,并就这种方法的有关问题进行了初步分析。     

Prolog语言-搜索策略的归结反演推理机

Prolog语言采用一种特殊的合取范式形式来描述人工智能中所要求解的问题,这样一种知识表示方法所要求的知识推理技术必须具有机械化的可行性。要使归结过程的机械化步骤在计算机上具有可行性,还要告诉计算机一种搜索策略,即指导计算机进行归结的方法。这种方法显然是一种归纳逻辑方法。计算机中的逻辑推导既不是单纯的演绎过程,也不是单纯的归纳过程。计算机语言既是演绎的又是归纳的,是二者的融合。     

有关几何公理化方法的形成及教学方法探讨

从几何学的发展历史来看,公理化方法曾经历过两个阶段,即古代几何学公理化方法(也称为实体的公理化方法)和近代几何学公理化方法(也称为形式的公理化方法),文章着重探讨近代几何学公理化方法产生的主要因素及形成的历史途径。     

律师拒证权的法经济学分析——以证据资源的稀缺性为视角

在刑事诉讼对抗制体系下,控辩双方对证据资源的需求和证据的供给之间发生了紧张关系,使证据成为一种稀缺资源.对于证人证言这样一种公共物品,法律通过设定真相作证义务满足了刑事诉讼对证据的需求.而对于律师基于职业关系所掌握的被告人的秘密信息,如果严格贯彻真相义务要求律师作证,则会产生类似于经济学意义上的外部影响问题.对于外部影响的解决,科斯定理给出了基本思路,即明确被告人对其秘密信息的排他性产权,并设立律师拒证权予以保护.     

演绎论证及其形式表达的有效性

演绎论证可能有不同的形式表达 ,其中准确反映它的逻辑形式的是恰当的形式表达 ;一个演绎论证是有效的 ,当且仅当它的恰当形式表达是有效的 ;演绎论证的有效性和它的形式表达的有效性密切相关 ,但它们有不同的规定、特点和判定方法