检索结果-内蒙古大学图书馆

计算机学报 1996年第10期19卷 735-740页

作者：李祥贵州大学计算机理论研究所

１９８９年Ｂｌｕｍ，Ｓｈｕｂ与Ｓｍａｌｅ提出了在实数域上的一个计算模型（本文称其为ＢＳＳ机器计算模型）．ＢＳＳ机器计算模型主要是基于（有穷）有向图的，它很直观但没有形式化，不方便使用经典的离散的计算理论中的许多成熟的... 详细信息

１９８９年Ｂｌｕｍ，Ｓｈｕｂ与Ｓｍａｌｅ提出了在实数域上的一个计算模型（本文称其为ＢＳＳ机器计算模型）．ＢＳＳ机器计算模型主要是基于（有穷）有向图的，它很直观但没有形式化，不方便使用经典的离散的计算理论中的许多成熟的工具．本文从程序设计系统出发，提出一种在任意有序环（域）下的很自然的程序设计语言，严格定义了它的语法与语义，研究了它与ＢＳＳ机器计算的关系，证明了本文的程序设计计算与ＢＳＳ有穷维机器计算的等价性．

关键词：程序设计 BSS 机器计算程序计算计算模型

来源：评论

学校读者我要写书评

暂无评论

程序计算法在数据处理中的应用

引用

环境科学进展 1993年第6期1卷 68-71页

作者：沈来云浙江省绍兴县环保监测站

函数计算器程序计算功能简便易学,容易掌握,程序计算功能的深入开发,应用在一般的环境监测数据处理中,快速准确,非常便利。

关键词：程序计算数据处理微机环境监测

来源：评论

学校读者我要写书评

暂无评论

常见含水流体包裹体体系pH值的程序计算

引用

高校地质学报 2015年第1期21卷 43-49页

作者：张月沙毛世德中国地质大学(北京)地球科学与资源学院北京100083

常见成矿流体可以近似为CO2-H2O-Na Cl体系及其子体系,在成矿过程中一旦被矿物捕获和封存,就会形成流体包裹体。基于对流体包裹体的热力学研究,可以获得成矿流体的温度、压力和组成等物理化学参数。虽然p H值是一个重要的物理化学参数,... 详细信息

常见成矿流体可以近似为CO2-H2O-Na Cl体系及其子体系,在成矿过程中一旦被矿物捕获和封存,就会形成流体包裹体。基于对流体包裹体的热力学研究,可以获得成矿流体的温度、压力和组成等物理化学参数。虽然p H值是一个重要的物理化学参数,但是对于含水流体包裹体p H值的研究,一直处于探索阶段。目前只有少数研究者实验测定了CO2-H2O-Na Cl体系的p H值,部分研究者建立了热力学模型来计算该体系的p H值。本文结合前人工作,对重要的流体包裹体系(H2O、Na Cl-H2O和CO2-H2O-Na Cl)的p H值计算模型进行了系统归纳,并给出相关体系精确的计算程序。这些体系的执行程序代码可以从论文出单位或通讯作者获得。

关键词：流体包裹体 pH 热力学模型程序计算

来源：评论

学校读者我要写书评

暂无评论

精确刃磨断屑槽数学模型与程序计算和应用

引用

机械设计与制造 2005年第11期 65-66页

作者：刘华杜天苍北京石油化工学院北京102617

为工具磨床的刃磨系统建立了数学模型,用计算机程序研究了刃磨前砂轮与刀具相对位置对断屑槽几何形状的影响,从而确定了刀具刃磨时在夹具上的准确位置,为精确刃磨断屑槽提供了理论依据。实际应用中,利用计算结果可以方便准确地刃磨出各... 详细信息

为工具磨床的刃磨系统建立了数学模型,用计算机程序研究了刃磨前砂轮与刀具相对位置对断屑槽几何形状的影响,从而确定了刀具刃磨时在夹具上的准确位置,为精确刃磨断屑槽提供了理论依据。实际应用中,利用计算结果可以方便准确地刃磨出各种直线型断屑槽。

关键词：刃磨断屑槽数学模型程序计算

来源：评论

学校读者我要写书评

暂无评论

空气冷却器设计的程序计算与应用

引用

石油天然气学报 2003年第Z2期25卷 167-167,169页

作者：郑艳娥冯进饶胜桥江汉石油学院机械工程系

对空气冷却器的主要设计参数进行了分析和确定,对其设计计算内容进行了理论分析,提出了相应的计算公式,为程序计算打下了基础。应用实例的编程验算结果反映了国产天燃气压缩机空气冷却器的设计特点。

关键词：天然气压缩机空气冷却器设计参数程序计算

来源：评论

学校读者我要写书评

暂无评论

程序计算解函数的不动点特征

引用

计算机学报 1987年第12期 705-711页

作者：冯玉琳中国科学技术大学

本文从一般的格不动点出发,讨论了程序的计算解函数与逻辑解函数的一致性问题,并特别证明了延迟值调用计算法则的安全性.只有在程序的计算解函数与最小不动点函数保持一致的前提下,基于不功点特征公理推导的程序性质,也才是程序计算解... 详细信息

本文从一般的格不动点出发,讨论了程序的计算解函数与逻辑解函数的一致性问题,并特别证明了延迟值调用计算法则的安全性.只有在程序的计算解函数与最小不动点函数保持一致的前提下,基于不功点特征公理推导的程序性质,也才是程序计算解函数的性质.文章最后给出LISP程序证明的一个例子.

关键词：函数计算计算法则不动点固定点点(数学) 程序计算

来源：评论

学校读者我要写书评

暂无评论

程序计算在水泥制品中的应用——介绍一种高效能袖珍函数计算器

引用

混凝土与水泥制品 1987年第6期 49-50页

作者：张明勇

在水泥制品行业工作的技术人员经常要遇到数据处理和分析,计算工作量很大,即使使用一般的函数计算器也要花费大量的工作时间,且计算步骤一多,经常要出现错误,免不了要重复演算,因此,节约时间,提高工作效率显得十分重要。选用一台CASIO f... 详细信息

在水泥制品行业工作的技术人员经常要遇到数据处理和分析,计算工作量很大,即使使用一般的函数计算器也要花费大量的工作时间,且计算步骤一多,经常要出现错误,免不了要重复演算,因此,节约时间,提高工作效率显得十分重要。选用一台CASIO fx-180P 袖珍计算器可在计算复杂公式或数据处理方面大大减轻工作量。下面举例说明:例1 按下式计算石棉水泥输水管抗折强度。R=509.4×F×（d+2S）/（D-d）式中 R—抗折强度,兆帕;F—抗折荷载,牛顿;d—管内径,米;

关键词：函数计算器抗折强度程序计算

来源：评论

学校读者我要写书评

暂无评论

应用CASIO可编程序计算机进行液压系统的程序计算

引用

武汉科技大学学报 1984年第4期 21-33页

作者：陈厚福武汉钢铁学院流体力学教研室

本文根据流体力学和液压传动系统设计的基本理论,对以各种往复活塞式油缸为中心所组成的各种回路的液压传动系统,提出一个利用该机进行辅助设计的通用程序。该程序可以计算有关回路的压降、驱动油缸的工作压力和流量,以及系统的压降和... 详细信息

本文根据流体力学和液压传动系统设计的基本理论,对以各种往复活塞式油缸为中心所组成的各种回路的液压传动系统,提出一个利用该机进行辅助设计的通用程序。该程序可以计算有关回路的压降、驱动油缸的工作压力和流量,以及系统的压降和泵站的有关参数。文中还针对 FX—702P 型计算机容量特小的弱点,对液压系统的程序计算提出了“分块节点”法,从而推广了该机在液压传动辅助设计中的应用。本文最后附有该通用程序和部分计算实例,可供有关单位在进行设计时使用。

关键词：液压系统回路液压传动系统 CASIO 油缸 PRT 活塞面积计算程序蓄能器储能器液压缸液压执行元件可编程序计算机程序计算

来源：评论

学校读者我要写书评

暂无评论

用SAP5程序计算导弹战斗部冲击响应

引用

振动与冲击 1983年第4期 11-18页

作者：张延珍朱玉华傅合占

本文采用SAP5线性静动通用程序,对某导弹战斗部模型进行了静态和动态分析计算。在动态分析中,除了计算特征值和特征向量外,主要用振型迭加法和逐步积分方法,对战斗部穿甲时的瞬态响应进行了一定的探讨和计算,给出个几种情况下的位移、... 详细信息

本文采用SAP5线性静动通用程序,对某导弹战斗部模型进行了静态和动态分析计算。在动态分析中,除了计算特征值和特征向量外,主要用振型迭加法和逐步积分方法,对战斗部穿甲时的瞬态响应进行了一定的探讨和计算,给出个几种情况下的位移、应力历程结果和曲线。结果表明,我们的计算与国外用SAP4程序的计算完全一致。我们认为用有限元方法分析瞬态冲击问题是行之有效的。

关键词：导弹战斗部导弹弹头 SAP5 程序计算振型迭加法瞬态冲击应力波冲击响应

来源：评论

学校读者我要写书评

暂无评论

用SAP—5程序计算水轮机蜗壳与座环打压状态下的应力

引用

大电机技术 1985年第2期 52-58+2页

作者：米毓德哈尔滨大电机研究所

通过五个力学模型的有限元分析计算,找出了蜗壳座环打压状态下经济而准确的应力计算方法,其计算结果与电站实测值很接近。此项工作为今后研究蜗壳座环与混凝土联合受力问题打下了基础。

关键词：座环蜗壳固定导叶程序计算打压 SAP

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：