利用数学逻辑方法进行地质事件计算机研究

来源 :世界地质 | 被引量 : 0次 | 上传用户:lijb2009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
地质事件产生的原因以及地质事件间的时空联系可以通过数学逻辑方法来研究。通过模拟不同地质事件、现象间的因果联系,设计出一套数学方法对其研究。以这些方法为基础的一套计算机技术总体结构是由所要研究的问题,特别是这些问题的数学特征来决定。计算步骤依一定的条件可以进行改变和组合。这些条件包括:a)数据类型(定性、定量
其他文献
结合压力容器计算机辅助设计软件的研制,研究了利用AUTOCAD开发计算机辅助设计专用软件的几个关键性问题:如程序绘图,汉字信息,绘图数据的显示和选择以及与绘图程序的连接。对专用软件的控制结构设计和内存管理等问题提出了设计新颖、使用方便、运行高效的解决方法。
期刊
在92′多国仪器仪表展览会上,美国罗斯蒙特(中国)公司首次向中国推出了RS3集散控制系统的中文化系统软件,这一软件是由该公司在台湾的分公司开发出来的,其功能为: 1.中文输入中文化过去RS3屏幕上显示的中文都是采用作图方式实现的(含其他公司DCS产品),而现在可利用仓颉、拼音、
期刊
一、前言 BPDSCAD工艺平面布置系统,是工厂设计系统中规模较大的系统。系统由屏幕菜单、屏幕指导及相应的图形库、用户程序库组成。附图为该系统的总体结构流程图。 BPDSCAD系统包括建筑平面图绘制、建筑剖面图绘制、工艺平面图布置、公用符号和图例汉字文本处理四大部分
期刊
本文提出了采用交互式图象技术来实现CAD与CAM的集成方法。文中介绍了JBZ—CADM系统中图象与数控编程的接口设计、刀位轨迹生成及内存管理以及编辑、修改、输出等问题。对于应用APT语言系统所存在的一些缺点,例如编程不直观、记忆繁琐易出错,都可以避免,另外在数据操作上,为了要修改加工信息,必须退出系统,但对于交互式图象数控编程,可以实时进行修改,因而提高了编程效率。
期刊
本文的目的在于提供一种叫做 LINKAGES(连杆机构)的算法和计算机程序系统。该系统力图解决涉及空间和平面连杆机构,以及机械手的类型、运动分析与合成的各种问题。LINLAGES 系统包括涉及研究对象的知识库(以独到的方法和算法的形式给出)。对这些问题的求解基于解析法和数值法(优化方法)。专门设计的符号和代数转换智能系统,使人们能用计算机来解决复杂的和繁难的机构运动学问题。
期刊
大多数小型手持式激光测距仪均采用平行平面谐振腔结构的Nd:YAG激光器作为测距光源,因其激光器的峰值功率不高,激光束散角差,重复工作频率低而使测距仪的性能受到一定限制。我们采用能同时压缩脉宽和束散角的平凸型非稳腔和热效率高的新型双掺(Ce,Nd):YAG晶体,装调出的激光器获得了18.6mJ能量,5ns脉宽,0.6mrad束散,峰值功率3.7MW的激光单脉冲输出。
期刊
试图通过统一的产品定义,将 CAD/CAPP/CAM 集成起来,实现产品信息的交换与共享。实现 CAPP 系统自动化,必须以产品定义为基础,从中获取所需的特征信息,通过逻辑决策,生成最优工艺规程。本文运用人工智能技术,用框架的结构形式描述产品,机床规范和加工方式,用产生式规则的形式表示逻辑决策,模仿人类的推理过程,实现工艺规划的自动化。
期刊
产品定义数据(PDD)是定义产品性能、结构及制造要求等的产品内部数据,是CAD/CAPP/CAM的研究对象,也是 CAD/CAPP/CAM集成的基础。本文提出了基于特征的产品定义模型,通过统一的产品定义模型,驱动各应用子系统。介绍了研制的回转体零件的特征库、产品定义模型和数据结构,并以中性文件的形式输出产品信息,实现了CAD/CAPP的集成.
期刊
气体检测器是日本的气体技术股份公司生产的气体检测设备。由气体采集器和检测管两部分组成。在日本,已广泛使用: 气体采集器的外形像一个精制的充气筒,筒体相当于气缸的缸体,长16cm,直径4.2cm;内芯是圆柱体形活塞,活塞上端有手柄,供手动操作用;从手柄到插入检测管的胶圈外缘,全长仅21cm,净重270克,携带方便。泵体用铝合金制成,轻便,且坚固耐用。在现场检测不同的气体,可以选用与待测气体名称一致的
期刊
本文讨论了微机CAD/CAM中数控机床辅助编程的实现方法,简单介绍了图形数据共享、数控编程、几何仿真、图形用户接口等四个模块的功能与设计原理。
期刊