特殊条件下单叶函数的性质（英文）

得到如下性质:一个单叶函数进行小的扰动后仍是一个单叶函数,因此一个单叶函数有一个包含的全是单叶函数的邻域.     

改进的基于逆向流分析的C程序切片算法

为解决切片算法时空开销太大的问题, 提出一种改进的基于逆向流的静态切片算法。只需通过分析控制依赖, 获得程序整体框架, 再从切片点开始基于逆向控制流从里向外扩张式扫描,在扫描中不断获得只与切片相关的数据依赖, 以此得到程序切片。该算法减少了计算控制流的工作量, 避免计算谓词依赖集的过程, 减少了存储资源开销, 提高了切片的效率。     

Total Station Method Applied Research in the Investigation of the Airport

针对机场勘测对地形图测绘的要求,对在机场勘测阶段采用自由设站法进行地形图测绘的可行性进行了分析,提出了适合机场勘测要求的自由设站法.     

屏蔽门系统安全回路快速诊断方法

安全回路作为屏蔽门控制系统的核心组成部分，直接影响屏蔽门系统运行的稳定性、安全性。屏蔽门系统通过安全继电器把安全回路已接通信号传送给信号系统，信号系统判断屏蔽门系统处于安全状态，地铁列车可以安全进站或发车。门机控制器将安全回路的状态以及门机的信息上传至主监控中心。可以对各屏蔽门的安全回路进行实时监控，一旦安全回路发生故障，可以迅速定位到故障点，并且进行及时维修，确保地铁运营的安全。     

中科院常州中心产学研协同创新建设现状分析

该文在调查研究中科院常州中心6家研究院所产学研协同创新建设与运营的现状的基础上,总结中科院常州中心产学研协同创新工作中存在的经验、优势、问题、不足,针对产学研协同的范围过窄、科研成果转化率不高、产学研协同创新建设缺乏专业人才和产学研合作的科技含量较低等问题,运用系统论的分析方法,从产学研协同创新建设内容着手,进而提出相应的对策建议,为提高协同创新建设成效和推动其迅速高效发展提供可靠的依据。     

一种求解比例延迟中立型泛函微分方程的数值方法

将一种有效的分析方法即同伦分析法应用到求解中立型延迟泛函微分方程中,由于辅助参数在变动,可以得到不同的近似解,比较这些结果可知同伦分析对解决中立型比例延迟微分方程是简单有效的方法.     

数字化无线温度传感器与无线数据采集系统的设计

目前,大型场所对环境温度的检测需求越来越大,而现有的温度测量系统显然不能满足检测需求,设计数字化无线温度传感器有着积极的意义。     

浅析企业员工绩效考核制度

文章阐述了绩效考核管理和绩效考核的含义、绩效考核应遵循的原则,研究了基于企业战略目标建立关键绩效指标考核体系的过程并建立了模型,分析了在企业绩效管理实际工作中容易产生的问题和解决的对策。