C语言与PROLOG、数据库及操作系统间的软件接口技术

软件接口技术是指不同类型的软件在同一运行环境下彼此之间进行的程序模块调用、参数传递、数据共享、功能相互支持与补充的方式与技术。软件接口从应用的角度来看有以下几种。     

构造函数法证明不等式

不等式的证明是数学中的重点,它具有广泛的应用,同时它也是难点,因证明无固定的程序可循、方法多样、技巧性强。本文主要阐述用构造函数法证明不等式。     

构建概率模型证明等式

在数学等式证明中,人们很少把等式中的数字或符号形象化、具体化,给等式建立起一个形象,直观的数学模型.而许多等式运用常规方法也难以证明或根本不能证明,更说不上给等式建立起数学模型.本文从构建数学模型的基本思想出发,对某些特殊类型的等式通过构建概率模型,给出它们的一种概率证法.     

证明妨碍及其规制对策

在民事诉讼实务中,由于民事行为的相互性,证明事实真相的证据由一方当事人或第三人加以控制的情形时有发生,从而使证据持有者基于自身利益的考虑,以作为或不作为的方式对证据的提出进行妨碍的行为层出不穷。此种行为严重违背了民事诉讼中的诚实信用原则和公平正义原则,侵害了他人的诉讼利益,应当予以规制。文章通过对民事诉讼中的证明妨碍问题进行理论分析,并提出相应的规制对策,如适用强制措施、推定主张成立、证明责任倒置等制度,试图有效减轻证明妨碍对诉讼的不利影响。     

试论刑事诉讼中的证明责任

证明责任问题是诉讼证明中必须加以解决的问题,它起源于罗马法,不同诉讼形式下的证明责任的内涵亦有所不同,它与诉论程序的性质、形式和特点有着直接联系。我国刑事诉讼法证明责任的内容包括三个方面。(一)公安司法机关须承担证明责任;(二)某些当事人亦负有证明责任;(三)犯罪嫌疑人、被告人不负证明责任,但应如实陈述。     

论民事诉讼的证明标准

实践中 ,在证据对某一事实的证明无法达到事实清楚、证据确凿的情况下 ,对盖然性较高的事实予以确认 ,我国诉讼证明中的最高证明标准是案件事实清楚 ,证据确实充分 ,即高度盖然性 ,法官通过采用自由心证的证据制度对已有的证据作出评判 ,因证明标准具有的特征 ,使其本身具有一定的弹性 ,因此在司法实践中 ,弄清认定证明标准及其依据有着极其重要的作用。     

拉格朗日定理对泰勒公式的证明

拉格朗日定理证明了柯西定理,柯西定理又证明了泰勒公式,而拉格朗日定理是泰勒公式的特殊情况,所以用拉格朗日定理证明泰勒公式一定是可行的。     

导数在证明不等式中的应用

不等式的证明是数学专业经常遇到的问题。中学已学过一些简单不等式的证明方法,本文利用导数这一工具,给出不等式的一些主要证明方法,并举例加以说明应用。     

导数在不等式证明中的应用

本文就利用导数证明不等式的一些方法加以归纳、介绍了具体的证明思路与方法。     

关于三段论一般规则存在依据的思考

三段论理论是人类有史以来第一个真正的理论体系.选择有效式是构造三段论理论重要的一环.三段论一般规则是一种最简单实用的选择方法,但却存在理由不足的缺陷.包含关系的概念内涵之间所具有的蕴涵关系,能够单一地引申或者说充分地论证三段论全部一般规则,甚至能直接识别出三段论每一个具体的有效式,从而为采用一般规则做有效式选择标准的三段论理论提供了可靠的理论依据.     

一种防止堆缓冲区溢出的新方法

缓冲区溢出是当今计算机安全所面临的重大威胁.首先分析了堆缓冲区溢出的原理,然后提出了一种新的内存管理机制,这种机制可以根据缓冲区的大小,自我进行内存管理,从而有效地防止堆缓冲区溢出的发生.     

高职《C语言程序设计》课程教学方法探析

高职学生普遍对程序设计课程感到难学、枯燥、兴趣不大。学生的畏学、厌学情绪,使得教师在教学过程中产生了相当大的困难。为了激发学生的学习兴趣,增强学生的学习热情,培养学生分析问题、解决问题的能力。本文从教学实践中的一些经验和体会谈起,希望对C语言课程教学起抛砖引玉的作用。     

网络化传感器故障自诊断的模糊逻辑方法

介绍了网络传感器的概念及其实现方法.针对网络传感器的故障自诊断功能,提出了一种以模糊逻辑为基础的故障诊断方法,具有简洁有效的特点.仿真结果表明了该方法的有效性.     

乒乓球双打发球次序的新计算法

本文试图运用数学与逻辑推理的方法,探讨如何纠正和解决乒乓球双打比赛中发球、接发球次序错误的问题,以便一旦发生发球、接发球次序错误时,能迅速恢复正常的比赛。     

基于状态编号的单片机软件设计方法

介绍了一种用状态编号进行单片机系统程序设计的方法。用该方法编写键功能处理程序和显示管理程序有其独到的优越性,从而使整个系统程序更具条理,便于编写、阅读和修改。     

论大学英语翻译教学中的比较法

英语教学与比较是以语言学习思维模式为主体来研究英语教学的特点和跨文化交际需要的。比较是通过一种逆向思维,把异域文化嫁接或移植到己域文化范围的过滤器。英语教学可借助于这个过滤器来提高学生的理解、记忆能力,帮助学生运用知识记忆网络图,使抽象的思维、概念具体化。比较法可以为大学英语翻译教学开拓思路,从而推进语言教学和大学英语教学改革。     

发展教育简述

发展教育以心理发生和发展逻辑为关于主体 (学生 )的教学主导理据。教学信息以及各级环境刺激在充分经验律等定律的作用于学生的整个心理发展和发展过程 ,相应教学具有严密的逻辑性和系统性。     

对当前北京市社区全民健身体育发展相关问题的研究

了解目前我市社区全民健身体育活动开展的现状 ,找出存在的一些问题 ,结合有关的文献资料 ,对我市社区全民健身体育发展的相关问题进行研究 ,在居民的健身意识、社区的体育健身条件、组织管理和经费状况等方面进行分析 ,对如何解决好出现的问题提出了相应的方法和建议。     

地域民族化是拓展中国画现代性的本土方式

对中国画的现代性进行了初步探讨,认为中国画的现代性方式不在于纯粹“西化型”,也不在于“中西融合型”,而在于体现民族文化精神的民族形式,在于通过地域民族化的本土方式。