在小学数学教学中进行计算器演算的实验探索

一、问题的提出 近年来．由于多种直观媒体,如电视、广播和网络等的日益普及．学生在日常生活中获取知识的渠道,逐渐由抽象的文字、数字,变成了形象的画面、声音。因此．学生的阅读能力及对抽象字符的反应、记忆能力有了不同程度的下降。这就导致学生在大数目、多数字的运算中．错误率大大提高,从而挫伤了学生的学习积极性．甚至使某些学生“见数就怕”,产生了畏难、厌学的情绪．影响了学生整体素质的提高。     

VBA调洪演算中的应用

利用Microsoft Excel引入的VBA及其提供的IDE环境编写代码来完成调洪计算的复杂数据处理过程。     

物理学中求比有诀窍

对于“求比”问题，我们可通过演算找出规律，从而迅速准确地做出解答。     

经典逻辑的表列方法

表列(tableau)方法是一种形式证明的方法,具有良好的通用性,适用于经典逻辑和非经典逻辑的许多系统。表列方法对于各种逻辑系统的元理论的研究,也是一种有力工具。     

学生时代养成好习惯

二十多年前的一件事。连续几天,我在教室地上捡纸团,有同学很窘地说:老师,这不是我丢的。我叫他不必介意,因为我不是来帮他们搞卫生的。我逐一打开这些窝成一团的草稿纸,为的是看看学生使用草稿纸的习惯。一般情况是:学生不在意草稿纸摆放在桌上的位置(他通常不会把纸摆正),总是随意在空白处演算,草稿纸上杂乱无序。但是,我曾见到有个学生的草稿纸上将演算的题目按顺序编号。他告诉我,这样做的好处是:无论是考试还是做作业,在最后检验时,根据编号,他很快就能找到每个题目的演算过程,这样大概可以省下两三分钟。这个习惯,可能会跟着他一辈子,他的一生中可以有无数个两三分钟,而且很可能会有几次关键的两三分钟。     

Pi演算建模BPEL4WS程序及实例研究

通过对pi演算进行扩充以形式化描述BPEL4WS程序,给出了扩充pi演算的语法和操作语义,并用pi演算的通讯并发结构表示BPEL4WS规范的link结构。基于对BPEL4WS规范死路排除DPE模式的分析,提出了一个完善的解决DPE问题的pi演算形式化方法。在以上工作的基础上,系统地完成从Web服务组合语言BPEIA．WS规范到扩展pi演算的映射,提出了几种验证程序性质的思路。最后给出了一个完整的案例,说明BPEL4WS程序的pi演算描述。     

一张桌子加上一个椅背的距离

苏小雨呆呆地望着安宁那因为快速演算而微微颤动的肩头发愣。她怎么可以那么全神贯注地学习,不受一点儿干扰。她的肩头似乎蕴涵了无穷的力量,那力量由肩头传到手臂,再由手臂传到笔尖,使演算纸沙沙作响。     

开源软件整合技术的分析

随着各种开源软件在教学中得到越来越广泛的应用,开源软件整合成为教育信息化进程中的重要课题。由于整合所涉及的技术广泛且不易把握,因此需要建立整合的技术范型来形成总体观。本文首先分析了整合的基本模式。然后通过对整合的核心问题的分析,提出了将pi-演算作为整合的设计语言。最后从领域语言角度分析了实现pi-演算的关键技术。     

基于MAS系统的动态web服务组合形式化建模研究

动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程.     

联合演算何以可能

一无谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征。亚氏逻辑与命题逻辑一样，都是二值逻辑。三段论蕴涵式比命题蕴涵式复杂，它表示一种特殊的蕴涵关系。希尔柏脱和阿克曼认为，对命题演算符号可作谓词演算的解释，也可作类演算的解释。通过对谓词的新解释，可以在命题演算、谓词演算与类演算之间建立起完全的类比，从而把传统推理的有些形式作现代逻辑的处理。这一联合演算思想虽未发育成熟，却能够为我们全面、深入地理解词项逻辑、谓词逻辑、类逻辑和命题逻辑之间的关系，特别是传统逻辑与现代逻辑的关系开辟广阔的空间。