软件可靠性与硬件可靠性异同分析

从可靠性的基本概念出发,结合可靠性工程,分析了软件可靠性、硬件可靠性及其在工程中的区别和联系,然后介绍了在这领域中的几种基本研究方法,最后提出了在可靠性工程发展中需解决的问题。     

应用测绘软件进行投影换带计算的探讨

笔者通过实例论述了如何运用(WP软件)、(Coord)软件(Convert软件)、(测量计算器)和“Soosoft软件”来分别进行高斯投影及换带计算的正确方法、注意事项、解决问题的途径,在一方面电脑普及,电脑应用软件严重积压,另一方面人们仍然在用落后的运算工具进行作业的今天具有一定的现实意义。     

开源软件Linux内核的进化分析

开源软件各种版本的源代码和相关开发信息是软件工程研究者研究软件进化的重要数据源.文中研究了Linux的进化规律,归纳了开源软件项目的数据源及数据收集方法,并给出了Linux内核的软件进化的分析方法和相关分析结果.得出了Linux目前以超线性方式进化,而进化的主要推动力是适应系统硬件资源的进化的结论,并提出了快速测算大型开源软件复杂性的方法.     

基于Petri 网软件过程执行机制的研究

在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式化定义,很好地描述了软件过程执行机制中的同步、并发和异步等特点,解决了早期"前摄式"机制的过程支持缺陷,降低了反映式机制建模的复杂性。     

考虑BOM的FMS生产线能力规划问题

针对印刷装配板(Printed Wiring Board, PWB)的制造过程,建立了一个基于多种需求状态的多计划期多种产品类的能力规划模型.该模型考虑了机器的柔性、产品类的BOM(Bill of Materials)约束(物料需求约束)以及进行生产能力调整的风险.考虑该模型是一个大规模的混和整数规划问题,无法用一般的数学软件直接进行求解,提出了一种求解近似最优解的方法,首先应用启发式算法减少装配线能力调整决策变量的搜索空间,然后应用遗传算法进行搜索.最后通过实例分析验证了该方法的可行性及其在管理学上的意义.     

北京市用水结构与产业结构的成分数据回归分析

城市经济发展带来了产业结构和用水结构的明显变化,本文分析了用水结构受产业结构变化影响的变动规律.用水结构和产业结构是一系列按照时间顺序排列的成分数据,运用软件SIMCA-P 11.5建立了基于偏最小二乘回归的成分数据线性回归模型,证明了用水结构组分变动与产业结构变动有一致性.为城市水资源管理提供了合理有效的定量方法,并可作为对未来用水结构预测的基础.     

基于粒子群算法的资源均衡

提出了将粒子群算法运用到型号研制项目资源均衡优化问题中的构想,建立了适用于资源均衡优化问题的粒子群算法模型,设计了基于非关键活动动态时差的资源均衡优化粒子群,构建了基于资源强度和活动实际开始时间的评价函数,给出了算法流程,并通过算例的计算分析,应用该算法得到的资源强度比初始方案的降低了88.38%,比P3软件及Project2002的结果分别降低了58.42%、74.48%,验证了该算法的可行性与有效性,同时还获得了若干个次优方案.     

Petri网建模工具的面向对象设计

Petri网建模环境的开发有利于Petri网应用理论的验证和实现。介绍一个Petri网建模工具的面向对象设计方法 ,并且主要给出了该建模工具的结构组成、建模工具条、Petri网图形元素的构造方法以及Petri网点火机制的计算机实现方法。成果为基于Petri网的系统分析方法的研究提供了一个灵活可用的辅助工具。     

软件化雷达信号处理系统总线协议

提出一种基于DSP平台的软件化雷达信号处理系统的总线协议 ,协议包含 4条传输总线和 1条指令总线 ,具有优良的可扩展性、可重构性和通用性。按照此协议 ,以能完成 16个合成阵元通道的相控阵雷达信号处理为目标 ,设计了硬件 ,实现了系统。     

电容式车辆称重装置静态性能测试与分析

针对目前车辆称重方法的不足,开发了基于电容传感器的车载式车辆称重装置。文章从结构设计、测量原理对称重装置作了介绍,重点讨论了其静态特性测试过程,提供了相应的试验数据,根据试验数据,从非线性、重复性、迟滞性等方面进行了误差分析,给出了迟滞补偿办法,显示了该电容称重装置的突出优点;电容式车辆称重装置具有一定的实用价值。