非线性曲线拟合的三种软件解法之比较

以2004年全国大学生数学建模竞赛C题为例，研究了用三个常用的数学软件（LINGO，Mathematica，MATLAB）实现非线性曲线拟合的算法，并对它们作了比较．     

数学软件与数学建模课程双语教学改革探讨——基于调动学生学习积极性

数学软件与数学建模课程开展双语教学是教学改革的客观要求.然而,双语教学会增加教学难度,使学生感到困难,从而失去学习的兴趣和积极性,调动学生的积极性是一个重要课题.基于数学软件与数学建模双语课程的特点,探讨了调动学生学习积极性的教学策略.     

数学软件与数学建模课程的双语教学探索

针对课程的特点和学生的英语基础状况,认为数学软件与数学建模课程应当实行双语教学,在进一步提高学生专业英语水平的基础上,培养学生运用数学知识和计算机解决实际问题的能力。     

高职高等数学课程教学改革的实践与思考

为适应职业教育人才培养的新要求及数学教学课时的变化,提出了开发和应用高职高等数学立体化教材的基本设想,以逐步实现教师教学方式与学生学习方式的转变。结合教学改革的实践,对教学内容、多媒体教学、数学软件的引入、数学建模和数学实验课的开设进行了探索与思考。     

将数学建模思想与方法融入数学主干课程教学

数学建模对提高学生应用数学的能力是巨大的，在高校的数学主干课程中融入数学建模的思想和方法可以弥补传统数学教学的不足，促进高校数学教师的知识更新，推动数学教学思想的进步，同时解决高等数学教材与最新数学软件的时间差的问题。     

两类动态规划问题的Mathematica求解

阐述了动态规划数学建模的基本步骤和动态规划数学模型的基本要素，并分析了求解动态规划数学模型的两类基本算法。通过若干算例，用基于Mathematica软件实现了这两类基本算法。     

集成可视化矿床建模软件DMS在某矿山的应用

集成可视化矿床建模软件（ＤＭＳ）以关系数据库为核心,以地质统计计学为理论基础,可以建立集矿床开采的资源信息与工程信息于一体的数字化模型－矿床开采模型。讨论了该软件的功能组成以及在某大型矿山建立矿床模型的实际应用情况,最后对２个中段的实际残余矿量与模型计算残余理进行了比较,结果表明两者误差在５％左右,反映了具有较高的建模精度。该建模结果可用于矿山生产实际建模。     

UML在商业门户开发平台系统开发中的研究

UML(Unified Modeling Language)是一种定义良好，易于表达，功能强大，且普遍适用的建模语言，它用于描述软件蓝图．本文研究的重点是UML模型的扩展以及基于扩展的UML建模过程框架，并且介绍了UML建模技术在商业软件开发中的应用．     

一种多线程软件并发漏洞检测方法

多线程软件由于进程间共享使用资源而极易发生死锁这一严重的并发漏洞.通过Petri网模型对多线程软件进行建模,并利用混合整数规划技术检测其漏洞.目前,使用互斥锁的多线程软件可通过Gadara网建模和检测.而使用信号量的多线程软件,虽可用S*PR网建模,但是尚未有理论支撑混合整数规划用于其漏洞检测.定义了S*PR网的一个子类——SEM-S*PR网,它允许资源库所初始标志大于1且分支可对称地使用资源,进而可建模一类使用信号量的多线程软件.依据结构特点,证明了该网保持活性的充分必要条件是网运行过程中所有信标始终非空.此结论是混合整数规划用于SEM-S*PR网建模的多线程软件的并发漏洞检测的理论基础.     

基于扩展Petri网的安全关键软件需求模型检验

Petri网是系统建模的形式化方法,为了解决其在软件需求建模和建立程序语义映射方面存在的不足,提出了一种扩展Petri网的方法来支持软件需求建模,区分了状态型和数值型库所,根据软件特点有针对性地扩展了变迁的可触发条件和迁移运算,同时建立了和模型检验程序语言的映射,将扩展Petri网作为检验的模型输入,利用时态逻辑描述运行性质,进行需求模型检验.定时器和航空发动机的防喘功能验证实例结果表明,扩展Petri网可以较好地支持软件系统需求建模和软件程序语义映射,通过模型检验和反例路径分析,可以达到修改和完善需求模型的目的,从而提高软件的质量和安全性.     

水处理系统优化运行数学模型及其求解方法的研究

针对我国北方典型的水厂生产工艺，以水处理系统运行费用最低为目标，兼顾水厂运行安全和生产习惯。运用最优化理论方法，建立了非线性、多目标、复杂约束的水处理系统优化运行数学模型．针对模型的特点，采用LINGO软件对该数学模型进行了求解，特别是研究了LINGO软件与常用办公软件的接口技术，开发出以LINGO为计算核心的水处理系统优化运行数学模型的求解软件．应用表明，该软件具有性能稳定、操作方便等特点，适合工程实际的应用．     

基于分层Petri网的面向服务需求求精

为了使结构化面向对象形式语言（SOFL）适应面向服务的软件架构，提出了一种用于面向服务架构软件需求求精的新方法.使用分层Petri网进行建模，利用顺序图对消息传递进行分析，采用SOFL对非形式化和半形式化的系统描述逐步求精.讨论了基于分层Petri网的Web服务，定义了分层服务网、分层Web服务相关概念，描述了用于Web服务软件需求的分析、设计和建模完整过程，并给出了旅游服务中该过程的具体实例.实例分析表明，该方法适宜Web服务分析建模，可帮助用户实现不同粒度Web服务.该方法有助于对面向服务环境下软件需求求精和验证的探索.     

Mathematica应用画图软件的开发

将计算机语言VC与数学软件Mathematica相结合，开发出一个应用画图软件。该软件是可以脱离Mathematica环境的自动执行软件，配合高等数学空间解析几何一章的讲解可起到较好的辅助效果。     

基于乘法器的模拟电路参数测量方法

提出一种基于乘法器的模拟电路参数测量方法，阐述了该方法的基本原理，并进行理论分析和数学推导．利用LabVIEW软件对该方法建模仿真．实验结果表明，运用基于乘法器的模拟电路参数测量方法实现模拟电路参数测量完全可行，可得到准确度较高的测量结果．     

基于双瀑布软件过程模型实现软件质量工程

针对高质量软件开发的需求，通过对软件性能工程使用范围受限和应用复杂等方面问题的分析，在综合多种传统软件过程模型特点的基础上，提出 了一种将软件质量属性建模、分析和反馈融入软件过程的双瀑布软件过程模型，并详细介绍了双瀑布模型在软件过程中各个阶段的任务，重点说明了其改进及引入的建模样式、建模知识库等技术.     

基于双瀑布软件过程模型实现软件质量工程

针对高质量软件开发的需求，通过对软件性能工程使用范围受限和应用复杂等方面问题的分析，在综合多种传统软件过程模型特点的基础上，提出 了一种将软件质量属性建模、分析和反馈融入软件过程的双瀑布软件过程模型，并详细介绍了双瀑布模型在软件过程中各个阶段的任务，重点说明了其改进及引入的建模样式、建模知识库等技术.     

关于高等数学教学的一点探讨

为适应新世纪高等教育的发展，就工科院校学生学习高等数学的作用及高等数学的教学进行了初步的探讨，提出了淡化运算技巧，引入数学软件，增加数学建模的学习，提高学生的应用能力，对不同专业的要求，分层次教学的思路。     

SAS软件在多组分同时分析中的应用

引入统计分析领域的ＳＡＳ软件,从仪器分析方法和化学计量学方法的选择到使用ＳＡＳ软件成功开发出用于多组分同时分析的“数据处理”系统,建立了一套用于多组分体系的快速、准确的分析方法,并以五元混合硝基苯为例进行了测定,结果令人满意,实现了化学、数学和计算机的良好结合,大大提高了分析效率．     

川菜营养配膳与点餐安卓软件设计

基于安卓系统开发的川菜营养配膳与点餐软件目的是引导人们健康膳食、均衡营养而开发的一款软件。软件首先建立起数据库,包含菜肴的能量、蛋白质、碳水化合物等营养素含量,钠摄入脂肪,以及辣度等数据;再以Android SDK为开发环境,Java语言编写,并结合Wifi技术、UML建模方式而建立的。该软件可以灵活为就餐者进行点餐指导,用户可以通过Andriod手机或平板电脑客户端下载此软件。     

物理实验仿真教学系统的研制

介绍物理实验仿真系统的开发过程.讨论了仿真系统的数学模型、图形模型的建模方法和软件实现技术,研究了单个图形部件的制作、场景的合成以及仿真实验的实现等问题.