非线性规划问题求解的计算机实现

科学研究、工业生产与军事管理等领域存在着大量非线性规划问题,但其求解是复杂的。本文探讨了使用数学软件在计算机上实现求解非线性规划问题,并进行了分析比较。     

西安电子科技大学

西安电子科技大学是以信息与电子学科为主,工、理、管、文多学科协调发展的全国重点大学,直属教育部,是国家＂211工程＂立项建设的重点高校之一,是全国55所设有研究生院的高校之一,37所示范性软件学院的高校之一,20所获批设立集成电路人才培养基地的高校之一。     

军队油库级信息系统开发平台研究

军队油库级信息系统开发平台以面向对象为基本方法,软件重用为关键技术,按“框架、构件、数据对象”三层次的应用系统组成模型,在专业构件库基础之上,通过系统定义实现信息系统自动生成。此研究成果说明走信息系统开发平台建立专业领域ＭＩＳ是一条事半功倍之路。     

智能长途台用户模块控制板的实现

本文介绍智能长途台中用户模块控制板的硬件和软件实现方法。对在模块控制板上实现的中央处理机控制、时隙交换和分配、高层数据链路控制、故障检测等电路做了说明,给出了一些模块控制板的软件处理流程。对实现智能长途台有着重要的作用。     

重金属离子在线水质检测系统设计与试验

为解决水环境中重金属离子现场应急检测的难题,实现水环境中重金属离子的在线检测,提出了一种基于离子选择性电极法和阳极溶出伏安法的组合式重金属离子在线水质检测系统。分析了离子选择性电极法和阳极溶出伏安法的工作原理,构建了重金属离子在线水质检测系统结构,设计了系统检测软件工作流程,并对该方法进行了验证。结果表明:组合式电化学检测法是一种可靠稳定的重金属离子检测方法,可满足现场应急在线检测要求。     

公用电脑快速备份与恢复系统软件的技巧

现在电脑的功能越来越强 ,人们每天都离不开电脑。要想提高电脑的使用效率和延长计算机正常工作时间 ,选择一个能快捷对原始系统及常用软件备份与恢复的软件很重要。明智的选择是———GHOST     

软件可维护性的一种定量计算方法

软件可维护性是软件维护难易程度评价的标准,为实现软件可维护性的定量计算,在介绍波动效应的基础上,根据软件可维护性计算的基本思路和基本原理,建立了基于波动效应分析的软件可维护性计算模型,并对模型进行了分析和校验。     

分布式计算机网络数据加密研究

针对C~3I 系统对分布式计算机网络数据加密的特定需求,重点对网络加密方式,密码装置、软件编程设计等核心问题进行了研究。可对数据加密总体设计与软件概要设计提供参考。     

军用装备软件需求层次分解及其规格描述

不规范的软件需求是造成无法顺利开展装备软件定型测评的重要原因。介绍了软件需求的基本概念,指出了军用装备软件需求的层次划分和各层需求的产生与描述方法,定义了需求文档的若干质量属性,从形式化、半形式化到自然语言的顺序介绍了软件需求的描述方法,并对用自然语言描述软件需求时应注意的问题列举了实例进行说明。利用该方法开展软件需求分析和规格说明定义,可以缓解当前定型测评所面临的困难,使装备软件定型测评在技术实施上得到保证。