计算机及数学软件在高职数学教学中的应用

阐述了计算机与数学软件运用于高等职业教育数学教学中的设想与实践探索．把数学实验作为传统教学、计算机和数学软件相结合的一种实践,贯穿于日常的教学过程,并列举了对应的课堂教学具体实例加以展示．最后指出,高职数学教学中应该加强这种教学模式的设计和开发．     

The Design and Implementation of Usable ODE Software

In the last decade it has become standard for students and researchers to be introduced to state-of-the-art numerical software through a problem solving environment (PSE) rather than through the use of scientific libraries callable from a high level language such as Fortran or C. In this paper we will identify the constraints and implications that this imposes on the ODE software we investigate and develop. In particular, the way a numerical solution is displayed and viewed by a user dictates that new measures of performance and quality must be adopted. We will use the MATLAB environment and ODE software for initial value problems, boundary value problems and delay problems to illustrate the issues that arise and the progress that has been made. One of the major implications is the expectation that accurate approximations at off-mesh points must be provided. Traditional numerical methods for ODEs have produced approximations to the underlying solution on an associated discrete, adaptively chosen mesh. In recent years it has become common for the ODE software to also deliver approximations at off-mesh values of the independent variable. Such a feature can be extremely valuable in applications and leads to new measures of quality and performance which are more meaningful to users and more consistently interpreted and implemented in contemporary ODE software. Numerical examples of the robust and reliable behaviour of such software will be presented and the cost/reliability trade-offs that arise will be quantified.     

主成分分析法在基于度量的软件风险评估中的应用

软件风险评估一般分为主观评估方法和客观评估方法两种.主观评估方法多依赖于专家知识及管理人员的经验,客观评估方法则是从软件产品本身的内在属性出发,通过对软件产品复杂性等特性的度量来进行的.本文研究了现代统计分析技术中的主成分分析法在基于度量的软件风险评估中的应用,并对面向对象开发的软件产品给出了算例,从而能帮助软件开发者或管理人员在项目管理过程中识别软件产品的高风险模块,便于有效地开展风险管理.     

基于探索性分析的炮兵武器系统野战运动速度需求研究

依据现代炮兵射击方式对炮兵武器系统机动性的特殊要求,以探索性分析方法为工具,论证保证自身生存之条件下的野战运动速度数量需求.主要结论是:当执行1次射击任务后被敌发现的概率介于0.4和0.65 之间时,炮兵武器系统处于生存的关键期;小于0.4时,野战运动速度的最大需求为9.2km/h;大于0.65时,野战运动速度的最小需求为89km/h,目前牵引火炮、自行火炮和指挥车辆等均不满足这一要求.     

Matlab软件在多元统计分析中的应用

许多实际问题往往需要对数据进行统计分析,建立合适的统计模型.过去一般采用SAS、SPSS软件分析,本文给出Matlab软件在多元统计分析上的应用,主要介绍Matlab在主成份分析、聚类分析、判别分析上的应用。文中均给以实例,结果令人满意。     

基于软件测试的软件缺陷预测模型

通过对某武器系统软件测试所得缺陷数据与软件规模之间关系的分析,建立了基于软件测试的软件缺陷预测模型.通过本项研究,可以在武器系统软件研制的初期阶段对软件可能含有的缺陷数量和缺陷等级进行预测,为软件研制过程的质量保证活动策划提供依据.     

打击时敏目标对火力反应时间需求的探索性分析

依据现代炮兵火力突击中“命中即毁伤”的趋势,从首群（发）命中概率出发,以探索性分析方法为工具,论证打击时敏目标对火力反应时间的需求。主要结论是：随着己方首群（发）命中概率和对方预警概率的变化,火力反应时间具有“有限可调”、“逐渐稳定”和“边际效用递减”之特点;在战斗初始时刻时敏目标处于驻止或机动状态时,火力反应时间的需求范围分别是30s～90s和15s～60s。     

Users,Programmers, and Statistical Software

Abstract

Statistical software provides essential support for statisticians and others who are analyzing data or doing research on new statistical techniques. Those supported typically regard themselves as “users” of the software, but as soon as they need to express their own ideas computationally, they in fact become “programmers.” Nothing is more important for the success of statistical software than enabling this transition from user to programmer, and on to gradually more ambitious software design. What does the user need? How can the design of statistical software help? This article presents a number of suggestions based on past experience and current research. The evolution of the S system reflects some of these opinions. Work on the Omegahat software provides a promising direction for future systems that reflect similar motivations.     

Integer-Programming Software Systems

Recent developments in integer-programming software systems have tremendously improved our ability to solve large-scale instances. We review the major algorithmic components of state-of-the-art solvers and discuss the options available to users for adjusting the behavior of these solvers when default settings do not achieve the desired performance level. Furthermore, we highlight advances towards integrated modeling and solution environments. We conclude with a discussion of model characteristics and substructures that pose challenges for integer-programming software systems and a perspective on features we may expect to see in these systems in the near future.     

带优化参数的SVR模型及在软件成本估算中的应用

随着社会各行各业对软件开发投资的日益增长,产业界和学术界越来越关注可靠的软件成本估算,以有效控制软件开发过程中相关风险.为了能更准确地估算软件成本,提出一种带遗传算法优化参数的支持向量回归机模型,用遗传算法来优化支持向量回归机模型中的参数集(C,γ,ε),可以避免参数选择的盲目性,能显著提高支持向量回归机模型的预测能力.分别用IBM DP、Kemerer和Hallmark三个数据库来验证模型的有效性,并与常用的线性回归模型进行对比,结果显示采用遗传算法优化的支持向量回归机模型具有很好的学习精度和推广能力,在MMRE和Pred(0.25)两个标准上都优于线性回归模型.     

考虑使用成本的软件交易方式选择研究

用户使用软件过程中往往需要支付数额不菲的各种成本。永久授权交易方式下,软件使用成本完全由用户负担;软件即服务交易方式下,部分使用成本(如软硬件维护成本)转由软件供应商负担,且供应商借助专业优势通常能压缩其分担的使用成本。对于永久授权和软件即服务两种交易方式,本文分别建立垄断软件供应商的两阶段定价模型,分析用户选择和供应商定价策略,考察软件使用成本、供应商分担部分使用成本及供应商成本压缩在软件交易方式选择中的作用。研究发现,当软件使用成本较高、供应商分担使用成本的比例较大、供应商压缩成本幅度较大时,软件即服务交易方式通常占优;否则,永久授权交易方式通常占优。     

移动学习软件打卡返现的免费增值策略研究

考虑网络外部性因素,研究移动学习软件打卡返现的免费增值策略。分别构建企业在垄断市场和竞争市场下的数学模型,得到不同市场结构下企业最优的产品价格、需求及利润,并通过均衡结果分析企业的策略选择。研究表明：(1)在垄断市场中,企业应当选择打卡返现策略,此时产品定价较高,付费市场需求较低。(2)在竞争市场中,对于企业2(劣势企业)而言,无论企业1(优势企业)采取何种策略,均不应选择打卡返现策略;对于企业1(优势企业)而言,只有当两家企业产品差异程度较大时,才应选择打卡返现策略。     

软件服务供应链合同设计与协调策略

考虑了整合式软件服务供应链和分散式软件服务供应链两种模式,以整合供应链为基准对分散供应链下的软件开发合同设计与协调问题进行了研究。在分散供应链下,分析了固定价格合同、销量激励合同和成本分担合同三种合同对供应链收益的影响,探索了这些合同的激励机制,考察了这些合同的适用环境。研究表明:三种合同中,成本分担合同对软件开发商的激励最高,达到了整合供应链下的协调水平;固定价格合同适用于软件用户对质量不太注重而对价格比较敏感、以及开发成本较高的情形,销量激励合同适用于软件用户对质量比较注重而对价格不太敏感、以及开发成本较低的情形,成本分担合同适用于平台运营商易于监测软件开发商开发成本的情形。     

一种新的基于不完全排错的最优软件发行策略

软件的最优发行管理问题是软件可靠性研究的一个关键问题.现有的最优软件发行模型大都假定软件排错过程是完全的,并且在排错过程中没有新的故障引入,这种假设在很多情况下是不合理的.本文提出了一种新的最优软件发行管理模型,该模型既考虑了软件的不完全排错过程,又考虑了在排错过程中可能会引入新的故障,同时还考虑了由于排错经验的不断积累,软件的完全排错概率会增加的情况.本文同时给出了该模型的解.     

软件可靠性模型和估计

本文根据何国伟提出的软件可靠性模型,特别是输入空间和输入分布的概念,分析软件测试数据特征,给出软件可靠性的点估计和置信下界的计算公式。     

高等数学教学现状调查分析

高等学校扩大招生后,非数学专业的数学教育面临很多问题,大部分人把这些问题归结为学生质量的下降造成的,这是不公正的.教学过程是一个系统的过程,从对1995级和2005级同一份高等数学(下册)试卷的考试情况进行分析,虽然可以显现出学生的差异,但这些差异不全是学生的质量的问题,应该与教学环境、教学要求、教学方法、师资条件以及社会发展环境等相关联,同时与学生的学习兴趣、学习能力是密不可分的.调查分析这些因素对当代学生的学习和数学教学的影响程度到底有多大,是有效提高大学数学教学质量的前提.     

Matlab软件在高等数学教学中的应用

Matlab是当今最优秀的科技应用软件之一。基于Matlab在科学计算中的强大功能,本文探讨了Matlab软件在高等数学教学中的应用。针对高等数学中的极限、导数、积分、极值等问题,在教学中融入Matlab辅助计算,把所学理论转化为实践,不仅大大地提高了教学的实效性,并且为学生今后运用所学知识解决专业、实际等问题奠定了基础。     

在高等数学教学中如何体现数学建模的思想

本文探讨了如何将数学建模思想渗透到理工科高等数学的教学和学习中的问题     

High school prospective teachers’ problem-solving reasoning that involves the coordinated use of digital technologies

The aim of this study was to characterize and discuss ways of reasoning that prospective high school mathematics teachers develop and exhibit in a problem-solving scenario that involves the coordinated use of digital technologies. A conceptual framework that includes Virtual Learning Spaces (VLS) and Resources, Activities, Support and Evaluation (RASE) essentials is used to introduce and support a problem-solving approach to structure learners’ problem-solving activities that encouraged them to share ideas, discuss and extend mathematical discussions beyond formal settings. Main results indicated that prospective high school teachers relied on a set of tool affordances (dragging objects, looking and exploring object’s loci, using sliders, quantifying and visualizing mathematical relations, etc.) to formulate, explore and identify properties or relations to share, discuss and support mathematical conjectures. In this context, the participants recognized and valued the importance of using several tools to both dynamically represent and explore mathematical tasks and to share and constantly refine their mathematical ideas and problem-solving approaches.     

数学软件在数学建模中的应用

本文以 2 0 0 1年全国大学生数学竞赛 A题为例 ,介绍数学软件在数学建模中的应用 ,并通过例子揭示该竞赛题本身在数学表述上是有缺陷的 .