演算相关论文
<正> 非形式逻辑是如可诞生的?它研究些什么内容?它对思维科学的研究具有怎样的哲学意义?本文试图对此作一较全面的介绍和分析。 ......
<正> 诸葛殷同在《再议辩证逻辑》中说:“弗雷格以后逻辑彻底与哲学分了家,成为一门完全独立于哲学的科学.这促进了逻辑的飞跃发展......
我们的研究是要把模态μ-演算和非良基集合论联系起来，用模态μ-公式来建立带有穷传递闭包的非良基集的一个有穷特征化，以推广带有穷......
自然语言是一个由较小语言成分逐步递增地形成较大语言成分的符号体系，这就是自然语言的毗连性（concatenation）。通过毗连，自然语言符......
论证过程包括相互联系的两个方面：证明和反驳。证明是论证主体对所赞成的观点进行辩护的过程，反驳是论证主体对所反对的观点进行归谬......
...
确保构件系统的一致性是构件演化的根本目标.根据构件交互过程,借鉴演算的类型系统和进程构造方法,提出构件交互的类型系统和基于......
Hilbert(希尔伯特)第15问题是David Hilbert于1900年提出的23个著名问题之一.该问题要求为Schubert(舒伯特)的计数演算建立严格的......
她紧皱着眉头，眼睛透过厚厚的镜片恶狠狠地盯着那张写满化学方程式的演算纸，不耐烦地用笔在上面乱画一通。舟舟已经不记得这是她第几......
中原大地有两位闻名八方治疗不孕不育症的专家，他们就是王庚贤、王广宇父子。多年来，王氏父子孜孜不倦，锲而不舍，上下求索，中西结合，精彩......
陈景润rn陈景润1933年5月22日生于福建闽侯.家境贫寒,学习刻苦,他在中、小学读书时,就对数学情有独钟.一有时间就演算习题,在学校......
珠海炬力和中星微电子均于去年在纳斯达克成功上市.其中珠海炬力今年2月刚发布的财报表明其2005年第四季度销售额达到4100万美元,......
一、注意处理好定性分析与定量计算之间的关系rn教学中定性分析相当重要,特别是波形分析和实验验证环节尤为关键.涉及此部分内容时......
课例:苏教版小学数学第十一册,教材第96页.rn例5:一个环形,它的内圆半径10厘米,外圆半径15厘米,面积是多少平方厘米?rn教学时,我出......
中考数学常见题型一般分为三种:填空题,选择题,解答题.填空题只要求直接填写结果,不必写出计算过程或推理过程;选择题是四选一的单......
利用函数构建数学模型解决实际问题是近几年中考的一个热点题型，是实践性、创新性很强的命题亮点，其解题步骤一般如下： 实际问题 ......
阅读是人类社会生活的一项重要活动,是人类汲取知识的主要手段和认识世界的主要途径.可在我们今天的教学中,谈及阅读,往往认为只是......
数学,在人们眼中历来都是冷冰冰的数字,这里面充满了理性,没有感情。以至于在传统的数学课堂教学过程中给人的感觉是除了老师念经......
化学是一门以实验为基础的学科,因此有实验的新课相对好上,但理论课较为抽象,如果在理论课中也让学生进行探究得出结论或者能感悟......
C语言程序学习中，包含多个运算符的表达式中运算符执行流程的理解是一个要点，人们通常按照运算符的优先级和结合性，用演算的方式......
本文针对卫星观测系统中卫星任务规划软件模块，根据卫星任务规划特点，设计了卫星任务规划软件流程。同时，对卫星任务规划流程进行......
使用S型学习曲线探讨了信息系统咨询成本和培训成本的优化问题，研究了组织计划实施信息系统时面临咨询成本和培训成本两难冲突时的......
分析了对工作流进行形式化建模的意义，应用Pi演算对工作流高级分支和同步模式进行了形式化描述。在深入研究工作流过程基本结构特征......
看过了RODNEY·MULLEN(罗德尼·穆林)演算的物理公式,我们不禁对这位滑板教父肃然起敬,而无论是衣服上密密麻麻的计算公式,抑或是......
计量小区管理技术是目前国际上先进的供水节水技术，是对供水管网进行主动渗漏控制的重要工具之一。利用计量小区管理技术对中小城市......
Pi演算和Petri网是常用的两种形式化建模技术,关于他们之间的相互表达问题已经引起了人们的关注。主要目的是研究如何用Pi演算表示......
天然气管道内腐蚀直接评价技术作为完整性管理技术重要组成部分，在管道维护中发挥着重要作用。本文分析了直接评价技术的理论基础、......
以水资源优化配置的基本理论与研究方法为基本出发点，阐述了Mike Basin模型基本原理、结构流程、功能及其输入输出等。并以淮河干流......
会议
本文介绍了北京理工大学郑联达教授采用用“大震组合周期”与“大震迁移方向”方法预测2003年9月发生在日本北海道8级大震的演算过......
通过界定专业图书范围，演算关联数据构建专业特征分布一览表和图书利用状况一览表，并分析了专业藏书分布和馆藏图书利用效果，从中掌握......
车辙是沥青路面的主要病害之一,它也成为目前道路工程建设及研究的一个热点和难点。笔者认为,把沥青混合料视为黏弹性塑性本构关系......
在基于DEM的分布式流域水文模型中,确定流域DEM中每个栅格的汇流演算顺序是准确描述水流时空分布的关键之一。本文比较研究了两种......
本文通过对非嵌岩双排支护桩的性质和特点的充分分析,首次提出该种支护桩新的设计方法,为工程实践提供了理论上的参考依据.该方法......
本文在理清指令接收设备信令处理流程的基础上,采用二项分布模型对指令概率这一类关键指标进行量化分析,建立指令概率与误码率间的......
二层单准Prolog语言基于互逆主义逻辑中的二层单准演算,其中会出现二层递归现象、即头和体中出现相同的经数联符.本文讨论了五种二......
本文对移动Agent的安全性进行了分析。文章首先基于Seal演算抽象了移动Agent系统，然后形式化描述了四个安全保护命题，最后给出了满足......
本文介绍某厂一、三期工程分别对单、双轴水泥土搅拌桩进行了静载荷试验.比较其结果表明单轴的复合地基承载力高于双轴的.笔者对此......
当前的研究中很多都是偏重于对经济订购批量的研究,即确定某种情况下的最优订购量.而本文的重点则是放在最优订购周期上,研究了变......
本文采用矩形面积上作用有竖直三角形分布荷载时的附加应力计算公式,推导出条形面积上作用有竖直三角形分布荷载时的附加应力.运用......
本文意图将Lambek演算LC中的范畴概念推广到模糊模糊范畴,从而使LC推广为模糊Lambek演算FLC,并给出易于应用的简化演算FLC*.通过示......
