学科分类
/ 25
500 个结果
  • 简介:摘要:本文重点讨论射影几何符号计算的两个基本问题:①投影几何特性应如何解析编写?用算法表示“射影几何属性”领域语言中的一阶公式,并转换为方括号(或不变式)解析几何语言中的受限类公式。这种特殊形式对应于合成射影几何中的陈述,并且该算法是转换几何的基本步骤。②解析几何定理如何证明?不变射影给出了解析射影几何定理。希尔伯特零点定理派生的理论在证明中起着核心作用。为证明关于所有字段或有序字段上“几何特性”的开放定理,一种算法会推导零点定理恒等式,从而在证明中提供最大的代数简单性和最大的信息。最后结果支持这样的建议,即应使用不变语言中的标识直接执行计算分析投影几何

  • 标签:
  • 简介:

  • 标签:
  • 简介:

  • 标签:
  • 作者: 白孝银
  • 学科: 自然科学总论 > 科学技术哲学
  • 创建时间:2009-03-13
  • 出处:《西部科教论坛》 2009年第3期
  • 机构:摘要:当前初中几何概念教学,形式上热热闹闹,而实效性很低,教师在教学设计思路上的缺陷是其重要原因。只要认真研究中小学几何课程的衔接,准确把握学生知识能力起点,从学生已有的知识经验出发进行教学,同时遵循现代教与学的理论,把几何概念的教学从言语信息层次教学上升到智慧技能层次教学,初中几何教学质量的提高就大有希望。
  • 简介:摘要随着科技的发展,原有的仓储系统已不能满足现代物流的需要,因此自动化立体仓库就基于此应用而生。自动化立体仓库的应用,有利于合理规划、管理、使用仓库进行存储。但是在货位存储的策略、货位的分配原则上存在着其弊端。对自动化立体仓库入库货位进行优化,可以降低使用成本,提升存储效率,合理有效利用仓库空间,对此,以货位优化算法为基础建立数据模型,综合入库的原则,进行入库货位优化设计。

  • 标签: 自动化立体仓库 入库货位 优化入库
  • 简介:

  • 标签:
  • 简介:分形几何理论揭示了世界的本质即部分与整体的自相似性,它被誉为大自然的几何学,也就是说分形几何的理论与大自然有着密切的关系,本文从分形几何的思想、研究对象、分维、分形几何美和分形几何的应用五个方面阐述了分形几何与大自然的和谐统一。

  • 标签:
  • 简介:

  • 标签:
  • 简介:摘要: 智能立体停车库是现代社会快速发展的产物,有效解决了停车难的问题。本文主要就平面移动类机械式智能立体停车库进行研究,从立体停车库的类别、机械组成部分、电气组成部分、操作控制部分和社会特性等方面,详细阐述了立体停车库的重要组成,以及立体停车库的主要社会特性。同时,从立体停车库的排序系统进行分析,明确了立体停车库排序系统的主要内容和亟待解决的问题,以保障立体停车库排序系统正常运行。

  • 标签: 平面移动类机械式智能立体停车库 汽车 停车库
  • 简介:

  • 标签:
  • 简介:傅兰雅的《译书事略》立足于动态语言观与可译性的辩证关系,详述了江南制造总局的译书之法,厘定了科技术语的翻译原则,是晚清科技翻译实践的经验总结和理论升华。徐光启译《几何原本》早于傅氏撰写《译书事略》近280年,但是徐氏对“平面图形”相关概念的处理以及对中国传统数学词汇的扬弃与傅氏对科技术语翻译的要求却是高度一致,是对傅氏翻译思想的跨时空注脚。翻译主体自身条件的差异和时代背景的不同又使得两人在具体问题的处理上稍有偏侧,若将徐、傅二人置于对方之境遇,恐怕前者亦会对我国的科技翻译实践进行理论总结,后者亦会对《几何原本》中的数学术语采取同样的处理方式,可谓两者易时易地亦然。

  • 标签: 徐光启 《几何原本》 傅兰雅 翻译思想 跨时空注脚
  • 简介:

  • 标签:
  • 简介:近来临床医学界对sepsis一词的中文译名颇有争议。sepsis来自古希腊文,意即腐败。著名的Dorland医学字典1936年第17版对sepsis的解释是“腐败过程(putrefactiveprocess)产物所造成的中毒(poisoning)”。这里所说的?..

  • 标签: 中文译名 脓毒症 致病性微生物 烧伤创面 全身性感染 全身炎性反应综合征
  • 简介:国学的术语规范指的是国学所属各学科的术语规范。国学术语的规范既是术语学和国学的研究对象,也是语言规划的重要内容,同时它还是建设有中国特色术语学的重要组成部分。文章从国学术语的概念划分、科学定义、术语定名和译介等方面对国学的术语规范问题作了系统阐述。

  • 标签: 国学 术语 规范
  • 简介:首先阐述全国科学技术名词审定委员会和中国标准化研究院术语与语言资源标准化研究领域中的专家及历史上语言哲学家们对专名的讨论,其后陈述通名/专名的实质差异和形式差异及实践中区辨的必要性。最后从术语工作中对待专名的现状,向名词审定机构提出专名审定中有关译名原则和公布方法的两点建议。

  • 标签: 通名 专名 本土化
  • 简介:辽宁西部晚侏罗世中华龙鸟、原始祖鸟、尾羽鸟、孔子鸟和长城鸟的发现,以实物材料证明鸟类系由小型兽脚类恐龙演化而来,鸟类就是恐龙。但目前世界上关于鸟类的定义还存在着较大分歧。本文认为:鸟类应被定义为已经发育了翅膀和飞行羽毛的生物。以原始祖鸟和尾羽鸟为代表的“初鸟类”应是目前已知最古老的鸟类。

  • 标签: 中华龙鸟 原始祖鸟 尾羽鸟 孔子鸟 长城鸟 鸟类定义
  • 简介:摘要自实施《政府采购法》以来,我国政府采购制度越来越规范,不仅提高了国家财政金融资源的使用效率,更是有效调节了国民经济的结构,为我国经济转型铺平了道路。但是问题总是与成绩并存,一些单位急功近利的心态没有改变,导致部分单位不够重视政府采购政策的约束力、政府采购程序不规范等行为屡屡出现。规范政府采购流程,完善政府采购管理,将把我国经济改革推向新的高度。

  • 标签: 政府采购 管理机制 规范管理
  • 简介:摘要玻璃幕墙作为现代化建筑的主要围护结构之一,其设计首先要满足建筑美学和建筑功能的要求,同时要更多的考虑热工设计,遵从环保与节能的设计原则。务必要兼顾安全性、经济性、适用性、科学性原则,做到对材料节能、构造节能、遮阳节能、智能化节能等各方面的统筹兼顾,合理选择节能型材料,并根据工程设计情况采取针对性的构造方法,同时搭配行之有效的智能化手段,提高保温效果,降低取暖能耗,只有这样,才能实现玻璃幕墙节能效果的最大化,将建筑能耗压缩到最低水平。

  • 标签: 建筑玻璃幕墙 节能技术
  • 简介:摘要: 网络技术进步前提下,信息传播的整体速度随之呈现出大幅提升的趋势,对人们当前的工作和快节奏的生活带来较大的影响,信息技术已逐渐的渗入至社会各行业,人们的习惯也开始改变。信息技术高速地发展,众多高新的技术产品出现并迅速兴起,是信息系统中传输的关键部分,能将多种不同的信息转换为所需的数据形式,故成为目前相关人员探究的新内容。新时期下,随着多种信息技术较为宽泛的应用,在网络方面突显出诸多的信息安全问题,受到社会各届的关注,故相关部门开始对当前的问题 做出全面地分析,继而选用切实有效的应对策略,保证信息使用各环节中的安全,使网络得以健康地前行。

  • 标签: 信息 安全问题 相关研究