发挥综合优势为老厂技术改造服务

七十年代以前,我院主要围绕基建进行工厂设计,以外延手段为扩大工厂生产能力服务。1973年10月,为贯彻中央提出的以内涵为主技术改造方针,一机部在上海召开了技术改造经验交流会,明确参加老厂技术改造是设计院的一项重要任务。从七十年代中期开始,我院始终把为老厂技术改造服务、促进工厂技术进步作为一项主要任务,并作为设计改革的主要方向。十多年来,我院在技术改造中不断实践,不断提高,不断改革,不断创新。据1974～1985年的统计,我院共进行了180多个厂项的技术改造(本文以下简称技改)设计,在工艺、装备、环保及改善生产条件等方面研究和开发了一批优秀成果。其中,获国家级奖4项、全国科学大会奖6项、部及省级奖28项。这些成果,都存工厂技术改造设计中被采用,并在行业中得到推广。这不仅促进了行业技术进步,也促使我院设计水平不断提高。一     

读张抗抗《集体记忆》有感

忘记历史就意味着背叛,张抗抗在《集体记忆》中描写史志工作者在搜集史料时遇到了这种背叛现象,知情人有意无意地患上了“集体忘却”症。通过梳理此症的主要表现,即强占记忆与摧毁记忆,指出其社会文化政治因素在于建国以来的主流思想。     

不适定热传导反问题的两种求解方法及其比较

本文以不适定热传导反问题为对象，采用两种方法进行了求解。一种方法基于对具有测量误差的边界条件进行适当的微扰，使之化为适定问题；另一种方法基于Ｔｉｋｈｏｎｏｖ的正则平滑思想，对反问题中的输入数据进行平滑处理，以便使函数及其一阶导数均实现一致逼近。通过计算与求解表明，两种方法均能得到具有一定精度与稳定性的结果，其中以正则化法更为理想     

刍议工程建设安全生产监理工作

安全监理的任务主要是贯彻落实安全生产方针政策,督促施工单位按照建筑施工安全生产法规和标准组织施工,消除施工中的冒险性、盲目性和随意性,落实各项安全技术措施,有效的杜绝各类不安全隐患,杜绝、控制和减少各类伤亡事故,实现安全生产.     

基于GM8123/8125的单片机串口扩展电路

在以MCS-51单片机为核心的应用系统中,经常需要将其单个串口扩展为多个串口,以实现多串口通信。以AT89S51单片机为例,提出了基于GM8123/8125的串口扩展方案,实际应用表明该方案使用简单、通讯可靠、与标准串口通信格式兼容,解决了单片机在串行通信应用系统中的串口局限问题。     

类型系统λω×≤的PER模型

类型系统是近年来理论计算机科学的研究热点之一 .1999年周晓聪曾在文献 [1]中提出并研究了类型系统λω× ≤ 及其性质 .类型系统λω× ≤ 是λω×的扩充 ,引入了子类型关系和受限的全称类型 .与 System F的各种扩充相比 ,它区分各种上下文 ,使得规则和性质的研究更为清晰 .研究该类型系统的 PER模型作为其语义解释 ,并说明该模型的合理性     

浅议灌区用水信息化管理

文章根据水利灌区信息采集及传输的实际需求,在进行需求分析的基础上,依据信息点的类别、选择不同的网络传输方式进行探讨,同时,应尽力利用现有的社会或自有通讯资源,以减少通讯基础设施投资和管理维护升级费用,有利于灌区信息化的可持续发展。     

浅析泵站电气设备的维修方法与实践

文章阐述了掌握通用机电设备及维修的基本理论和基本技能的必要性,就具有从事通用机电设备、自动化设备与生产线的安装、调试、运行、检测、维修和机电设备工作的能力展开论述。     

基于HOG和block权重的快速人体检测方法

为解决HOG行人检测过程缓慢的问题,在梯度向量直方图HOG中引入block权重的概念,通过合理筛选block,组成行人的特征向量,然后使用线性SVM作为分类器,重新进行学习,达到减少信息冗余、提高检测效率的目的。在INRIA库上进行实验,结果表明,通过合理选择block,能够在不影响检测效果的情况下,显著减少block的数目,达到提高检测速度的目的。     

对象在类型系统λω×≤中的表示

类型系统是研究面向对象技术形式理论基础的重要工具 类型系统λω×≤ 是一个带高阶子类型关系的多态类型系统 ,对其性质和范畴论语义模型进行了研究 在此基础上 ,讨论了如何以类型系统λω× ≤ 为工具 ,研究对象、类、继承等面向对象技术的基本概念的形式语义 结合类POINT和CPOINT等例子 ,讨论了基于递归类型和基于存在类型的两种对象表示方法 ,并对它们的特点进行了总结与比较