机房标准化改造

本文针对某信息研究所网络中心机房改造前出现的机房的整体设施、网络设备的性能和稳定性、硬件平台性能低,也没有相应的容错机制等问题,提出了基础网络改造、网络安全改造、应用系统改造、运维系统改造、机房标准化建设的改造方案,并简介了改造后的具体效果。     

农网改造升级工程项目的风险管理控制对策

随着我国电网升级改造项目的开展,农网改造的效果在很大程度上影响新农村的建设、城乡的统筹发展效果和整体电网的顺利发展。电力企业应重点关注农网改造,加大农网改造的力度,提高农网的质量和水平,促进农网改造工程能有效提升质量,为建设新农村提供基础保障。研究农网改造升级工程项目风险管理控制对策,能有效提升农网改造的质量。     

固网计费系统改造方案的设计分析

本文介绍了固网计费系统的总体概况及改造方案的设计分析。包括计费系统改造背景、计费系统的现状、计费改造的目标、计费改造的设计思路、计费系统规划原则、计费改造的各项功能需求分析等。     

以商业办公为用途的旧工业建筑改造策略研究

办公用途与旧工业建筑改造的新功能相结合已成为建筑改造的一种趋势,文章正是对这一改造形式进行全方位的探讨。通过对改造过程中难点问题的分析,提出可实施的改造策略,实现对城市旧工业建筑用途的全面提升。     

基于既有线铁路信号设备改造工程的施工技术探讨

在既有铁路信号设备改造过程中,如果不采取科学合理的技术措施,很容易对既有铁路信号造成干扰,影响铁路系统的正常运行。因此,应积极加强对既有铁路信号设备改造的综合分析,总结既有铁路改造的具体施工组织设计方案,明确信号设备改造的准备过程。因此笔者主要分析了信号设备改造的要点,从而希望能够提高既有线信号设备改造的整体质量,提供合理的改造方案,为确保既有铁路信号改造升级时的人身、设备双安全,保证施工进度和质量,提供相应参考。     

经济型数控化改造中抗干扰设计及实现

在进行普通机床经济型数控化改造时,不但要保证改造后机床的功能和性能,还要保证改造后的机床能够可靠、稳定地运行。为了实现改造后机床的可靠性和稳定性,阐述了普通机床经济型数控化改造中的抗干扰设计和实现。     

齐鲁烯烃厂72万吨乙烯装置改造的HSE管理

齐鲁72万吨乙烯改造工程是国家重点技改项目,也是中石化“十五“重点工程,2003年2月动工建设,2004年10月装置完成改造后一次开车成功.齐鲁72万吨乙烯装置改造首次实施了“二改一“方案,即由两年两次停车改造改为一次停车改造,相比较国内先期进行的乙烯装置改造,齐鲁乙烯改造是生产和施工深度交叉时间最长,停工检修改造施工时间最集中、施工难度最大、建设周期最短的一项工程.……     

卷烟包装机搅动器控制系统改造

介绍了一种将故障率高的卷烟包装机直流专用调速系统改造为通用交流调过系统的方法。给出了调速系统负载特性,改造的理论依据,改造过程及改造的设备系统选型。     

气压机控制系统的改造

介绍了延炼一联合气压机控制系统改造前存在的问题、改造实施过程以及改造后所取得的效果。     

铣床数控化改造

本文介绍了铣床数控改造的方法、改造部位、数控系统设计及机床改造时应注意的问题。     

提高地磁传感器方位检测精度的方法

介绍了地磁传达传感器的原理及其信号处理方法，分析了传感器信号出现振荡、零点偏移、信号不对称等问题的成因，并提出了解决办法，使传感器的精度和可靠性得以提高。     

Continuous attractors of a class of neural networks with a large number of neurons

A class of simplified background neural networks model with a large number of neurons is proposed. Continuous attractors of the simplified model are studied in this paper. It contains: (1) When the background inputs are set to zero and the excitatory connections are in Gaussian shape, continuous attractors of the new network are obtained under some condition. (2) When the background inputs are nonzero and the excitatory connections are still in Gaussian shape, continuous attractors are achieved under some appropriately selected condition. (3) Discussions and examples are used to illustrate the theories developed.     

格值有限状态机子机的构造算法

给出了格值有限状态机（简记为LFSM）状态后继的概念,研究了它的性质,并提出了格值子机、格值真子机和基于格值子机的可分离性的概念,讨论了格值子机的若干性质。最后,给出了两个构造格值子机的算法,并通过实例验证了此算法。     

群智感知污染数据收集技术综述

传统的污染监测方法主要是通过固定基站进行监测的,但是这种方法缺乏灵活性且成本高昂,已不足以应对日益严重的污染问题。一种新的数据获取模式——移动群智感知为大范围感知数据提供了新思路。为了及时掌握移动群智感知收集污染数据的研究现状,本文对国内外现有研究进行系统全面的综述,并结合现有研究,为群智感知在智能手机上的应用提供可行方案。首先,对污染收集技术不同发展阶段问题进行总结;然后,对比分析不同众包污染收集系统的优缺点,并对所用的关键技术优缺点及适用场景进行说明;最后,对群智感知下收集污染数据存在的问题进行总结,并提出未来的研究重点。     

PLC系统电磁干扰的抑制

介绍电磁干扰的分类与性质,分析PLC控制系统电磁干扰产生的原因,并提出抑制方法。     

Optimization of conical shells of Mises material

Conical shells made of a von Mises material are considered. The shells are subjected to unifromly distributed lateral loading and are simply supported at outer edges whereas inner edges are absolutely free. The shell wall is assumed to be of piece-wise constant thickness. Resorting to the lower bound theorem of limit analysis, optimal designs of shells are established under given weight (material volume of a shell) which corresponds to the maximum load carrying capacity. Received May 15, 2000     

An evaluation of the effectiveness of symbolic testing

The effectiveness in discovering errors of symbolic evaluation and of testing sad static program analysis are studied. The three techniques are applied to a diverse collection of programs and the results compared. Symbolic evaluation is used to carry out symbolic testing and to generate symbolic systems of path predicates. The use of the predicates for automated test data selection is analysed. Several conventional types of program testing strategies are evaluated. The strategies include branch testing, structured testing and testing on input values having special properties. The static source analysis techniques that are studied include anomaly analysis and interface analysis. Examples are included which describe typical situations in which one technique is reliable but another unreliable. The effectiveness of symbolic testing is compared with testing on actual data and with the use of an integrated methodology that includes both testing and static source analysis. Situations in which symbolic testing is difficult to apply or not effective are discussed. Different ways in which symbolic evaluation can be used for generating test data are described. Those ways for which it is most effective are isolated. The paper concludes with a discussion of the most effective uses to which symbolic evaluation can he put in an integrated system which contains all three of the validation techniques that are studied.     

中科院ARP项目实施风险研究

为保证中国科学院ARP项目的顺利实施,有效控制项目实施过程中的风险,总结了项目推进过程中的主要风险和应对策略.首先介绍了中科院ARP项目的概况和一期工程的不足之处,通过比较ERP和ARP的相同与不同,阐述了ARP主要思想和特征,总结了ERP开发过程中对ARP项目有重要借鉴作用的实践经验,如实施主体认识、咨询公司作用、积极风险管理态度和选择合适的系统等.在ERP常见的19种风险基础上,总结了ARP项目实施中的3种主要风险,给出了应对的策略和办法.     

共面多边形不变量计算方法研究

不变量的场景理解和目标识别是计算机视觉研究的一个重要领域,以往有关不 变量研究主要集中在点、直线、二次曲线等几何元素之间。在二维平面点的射影变换的基础 上,利用平面三角形面积不变量构造了三角形、四边形、五边形、六边形等共面多边形的不 变量,并提出了具体的计算方法。在此基础上通过举例分析和实验验证,证明文中所给公式 的正确性。     

Analysis of integer programming formulations of clustering problems

Five different integer programming formulations of the clustering problem are discussed. Three new heuristic algorithms for solving these problems are presented. Some of the existing algorithms are generalized. The relevance of integer programming and combinatorial theory to cluster analysis is discussed. Many other applicable algorithms are listed.