装药设计软件的设计与实现

为了配合国营某厂在固体推进剂研制和应用基础技术设计理论方面的提高,对火箭发动机内弹道进行预估仿真计算,应用相关软件技术和基础理论,开发设计了火箭发动机装药设计软件,可利用推进剂的性能参数,进行火箭内弹道的仿真模拟,同时可进行药型设计,预估P-t曲线、预估R-t曲线、计算内弹道参数及点火药量等,为内弹道测试服务,进一步提高了固体推进剂技术的研发水平。     

关于形式化方法与软件可靠性的研究

形式化方法是一种基于数学的表示方法.它的意义在于它能帮助发现其它方法不容易发现的系统描述的不一致,不明确或不完整,有助于增加软件开发人员对系统的理解,因此形式化表示方法是提高软件系统,特别是Safety-Critical系统的安全性与可靠性的重要手段.     

PAS高级软件在西宁电网中的应用

随着电力系统的迅速发展,作为EMS系统核心的PAS高级应用软件功能已逐步成为电网安全、稳定、优质和经济运行的科学计算分析工具。基于西宁电网实际,本文综述了PAS软件的结构、功能,介绍了各应用软件模块的选用及主要功能,并描述了该软件在西宁电网的实际应用情况。     

《软件开发技术》课程教学内容与教学方法改革研究与实践

《软件开发技术》是基于工作过程导向的课程开发,以来自企业的实际项目为载体设计教学内容,课程总体设计体现＂做中学＂的理念。以学生毕业后将要从事的程序员或软件设计师职业岗位能力为培养目标,与软件公司合作,按照基于软件系统开发的工作过程来开发和设计课程,既保证职业岗位所需技能、相关知识、职业素质的需要,又保持原有软件开发知识体系的相对完整性,培养学生的职业能力,养成学生的职业习惯,同时也为学生的可持续发展奠定基础。     

面向图文法的体系结构测试方法研究

针对目前体系结构描述语言对体系结构动态行为描述方面的不足而难以生成测试路径问题,提出一种基于超边图文法的软件体系结构测试技术,首先用超边图文法表示软件体系结构,同时用实体语言EL描述体系结构,然后根据EL描述导出接口互联图IIG,再根据测试覆盖准则,生成测试路径,最后以Client/Server为例验证该方法的有效性.     

R统计软件在统计教学中的应用

在讲授统计基本思想方法的同时利用统计软件进行辅助教学,以提高学生利用专业知识解决实际问题的能力已成为现代统计教学的重点;以回归模型为例介绍了R统计软件在统计教学中的应用。     

基于现代教育技术的软件工程项目教学研究

软件工程是软件开发必须掌握的核心技术。使用项目教学方法可以有效帮助学生将所学的理论知识运用到软件开发过程中,而现代教育技术的应用能使得整个教学过程变得丰富多彩且更容易被学生接受。本文主要阐述利用现代教育技术将软件工程项目教学方法得以实现的过程。     

浅述软件无线电中的调制解调理论

软件无线电概念对于通信系统的发展起到了巨大的引导作用,实现软件无线电台的关键之一就是要解决多模式调制解调的软件化问题。本文从信号空间映射的角度,详细介绍了各种数字信号调制解调的通用模式。     

某CAT数据库管理系统设计

某CAT系统测控软件采用组件式设计,系统数据库提供整个测控系统软件的运行支持。本文分析了某CAT系统数据库的需求,进行了数据库模型和数据库接口设计,实现了数据库管理系统的设计。     

软件复用技术在基于B/S模式的新闻管理系统中的应用研究

软件复用是在软件开发中避免重复劳动的解决方案.通过软件复用,可以提高软件开发的效率和质量。当前软件构件技术被视为实现成功复用的关键因素之一,本文介绍软件复用的基本概念及关键技术,并结合实际开发中的经验,对基于B/S模式新闻管理系统开发中的软件复用进行了一定的研究。