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

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

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

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

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

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

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

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

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

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

基于LS-SVM的多传感器气体质量流量测量

针对流量测量中流速分布不规则对气体流量测量精度的影响,提出了一种多传感器气体质量流量测量新方法。该方法基于均速管测量原理,在测量管道中按照对数线性法分布了4个热式气体流量传感器,采集不同特征位置的流量。通过流量标定实验,获得不同质量流量下测量管道内4个传感器的电压。然后利用GA和LS-SVM算法,将传感器电压和气体的质量流量作为训练集,建立了气体流量模型。实际测量中由4个传感器的电压计算出气体的质量流量。不规则流场的流量实验结果表明该方法是有效的。     

基于串联质谱的快速肽段鉴定算法

在现有RT-PSM算法的基础上,完成蛋白质数据库酶切成肽段数据库的转换过程,提出有效峰提取的优化策略,设计一个肽段鉴定算法——FPI-PSM。对于没有翻译后修饰的情形,采用Keller数据集进行测试。与RT-PSM算法相比,FPI-PSM算法的灵敏度提高了5%,每个质谱的平均鉴定时间从13.6 ms下降到5.6 ms。     

铠装热电偶传递函数参数估计

为了评价铠装热电偶动态特性,针对铠装热电偶测量动态温度过程用集总热容法和复合集总热容法建立了铠装热电偶的传热模型.从所建立模型分析,铠装式热电偶传热过程是保护管、绝缘层和测量接点这3个小时间常数惯性环节的串联,且保护管与绝缘层、绝缘层与测量接点存在接触热阻,产生了两个耦合作用.当保护管时间常数和绝缘层时间常数都比较小时,传递函数可近似为带时滞的惯性环节.建立了基于双槽法的正负温度阶跃实验系统,测量热电偶在正负温度阶跃激励下的输出响应.按照预估延迟时间和预估延迟时间加扰动两种情形,用输出误差自回归滑动平均方法估计了传递函数的参数.结果表明,输出误差自回归滑动平均方法适用于铠装热电偶实验建模和模型的离线辨识.     

反馈集问题的研究进展

反馈集问题是经典的NP难问题,在电路测试、操作系统解死锁、分析工艺流程、生物计算等领域都有重要应用,按照反馈集中元素类型可分为反馈顶点集(FVS)问题和反馈边集(FAS)问题。人们利用线性规划和局部搜索等技术设计了一系列关于FVS和FAS问题的近似算法,并基于分枝一剪枝策略和加权分治技术提出了FVS问题的精确算法。随着参数计算理论的发展,近年来参数化反馈集问题引起了人们的重视,并取得了很大突破。目前已经证明了无向图和有向图中FVS问题和FAS问题都是固定参数可解的(FPT)。利用树分解、分支搜索、迭代压缩等技术,对无向图FVS问题提出了一系列FPT算法。针对某些特殊的应用,人们开展了对具有特殊性质的图上FVS问题的研究,提出了一些多项式时间可解的精确算法。现首先介绍了在无向图中关于FVS问题的近似算法与精确算法,然后具体分析了FVS问题的参数化算法。进一步阐述了关于有向图和特殊图上FVS问题的研究现状,介绍了FAS问题的研究成果。基于对反馈集问题研究现状的分析,提出了今后FVS问题研究中值得关注的几个方面。     

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

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