《物理化学实验》数据处理系统软件的开发及应用

本软件为高等教育出版社出版的《物理化学实验》一书配套开发,旨在解决通常的物理化学实验数据处理过程中存在的计算复杂,由于作图时不可避免的误差而影响最终实验结果等问题。它以Visual Basic 6．0为开发工具,采用最小二乘法直线拟合、非线性拟合、数值积分等方法对实验数据进行处理,能够得到更正确、更科学的真实的实验结果,并将计算结果和图形打印输出;通过链接数据库,将数据录入和数据处理相分离,便于对实验结果进行统计分析、归纳整理。本软件为处理物理化学实验数据提供了快捷、方便的方法,也为教师批改实验报告提供可靠的依据。     

“传热综合实验”数据处理的方法

实验数据计算复杂,还要将结果在直角坐标纸上作图,主观误差不可避免.故以Visual Basic 6.0语言为工具,用最小二乘法直线拟合,处理化工原理实验“传热综合实验”的数据,以消除手工作图的误差,绘制出科学的、准确的图形.该程序占用内存小,使用快捷方便,经编译可生成脱离Visual Basic单独运行的可执行程序.同...     

用Microsoft Excel处理氧弹法燃烧热的实验数据

测定燃烧热是大学物理化学实验中的一个重要实验,用手工处理数据既费时,误差又大.本文介绍应用Microsoft Excel软件的函数、图解、多项式拟合、单变量求解等多种功能,处理氧弹法测定燃烧热数据的新方法.结果表明,这些方法不需编程,数据处理简单快捷;比手工作图法方便,且更准确.     

化工原理实验报告批改软件的开发

介绍了化工原理实验报告批改软件的主要内容、设计思想及功能,该软件可用于化工原理实验报告的批改,追踪学生实验数据的处理及计算过程,指出学生数据处理出错的原因。该软件具有操作简单、使用方便等特点。     

"BET容量法测定固体比表面积"实验数据处理程序

由于实验数据计算复杂并且需要根据其结果在直角坐标纸上作图,不可避免引起主观误差.以Visual Basic 6.0为开发工具,用最小二乘法直线拟合,处理物理化学实验"BET容量法测定固体比表面积"的数据,完全消除了手工作图的误差,得正确实验结果,绘制出图形.通过界面窗口将数据录入和数据处理功能相分离,避免了个别学生修改实验数据.该程序为实验的数据处理提供了方便的方法,也为教师批改实验报告提供了可靠的依据.     

工程实验数据的非线性拟合方法

在EXCEL软件中,拟合非线性实验数据有4种方法。其中规划求解方法与随机抽样方法的最大优点是不要变换方程,且适合任何实验数据非线性拟合。规划求解方法最为简便,但精度相对要差,结果有时难以把握。后者加入了VBA混合编程,达到筛选与优化目的,提高了拟合精度。另2种方法为函数公式方法和回归分析方法,前者根据最小二乘法原理仅仅在电子表格中输入函数公式即可得到精度极高的拟合结果。后者利用了EXCEL自带的数学分析工具完成拟合,精度最高。但它们在应用之前,需要对实验数据进行多元多项式方程变换,对难于变换的非线性实验数据不适合。处理工程实验数据,掌握这4种非线性实验数据的拟合方法很有必要。     

数值计算原理的仿真实现

针对数值方法求解很多原理难以理解的情况,通过介绍方程组求解方法、数据插值和拟合原理,并利用MATLAB平台上仿真验证原理的可靠性.编写应用程序和软件以及函数工具,利用精确数据和仿真图像来验证方法可行性,以增强对原理的理解和认识.通过图形和程序并茂达到对课程加深理解的目的,采用原理推导和论证相结合的方式使算法更具有说服力.在保证实验要求的精度前提下计算出相应结果并绘制出仿真图像,数据和图像经过验证能够满足实验和工程上的要求.     

最小二乘曲线拟合在溶液表面张力实验数据处理中的应用

为了优化正丁醇溶液表面张力实验的数据处理方法,本文使用线性和非线性最小二乘曲线拟合方法拟合σ-c关系曲线,并比较了2种拟合方法在溶液表面张力实验数据处理中的应用效果,发现后者能更好地反映正丁醇水溶液表面张力与浓度的函数关系,拟合效果较好,拟合后的计算较简便,计算正丁醇分子截面积结果较准确.继续用后者处理舍弃了2个高浓度数据后的实验数据,拟合效果更好,计算分子截面积结果更准确.在处理正丁醇溶液表面张力实验数据时,应避免使用线性最小二乘曲线拟合方法,应使用非线性最小二乘曲线拟合方法.在正丁醇溶液表面张力实验中,应避免使用高浓度溶液,应使用较低浓度的溶液.     

基于蒙特卡罗最小二乘的实验数据拟合方法

采用最小二乘法拟合化工实验数据,相关系数接近于1,精度高,但所得的结果与经验关联式大相径庭。蒙特卡罗方法是一种基于概率模型的非确定性数值方法。蒙特卡罗最小二乘拟合方法处理化工实验数据,应用中更为灵活,适用范围更广。在Excel电子表格中,利用工作表中的数据与VBA混合编程很容易完成蒙特卡罗最小二乘数据拟合,VBA实现与Excel电子表格的数据通讯及并行处理实验数据,读取工作表中的实验数据,计算随机点的大致搜索范围,进行最小二乘统计分析,将结果输出到工作表中。蒙特卡罗最小二乘拟合方法采用与最小二乘法相同的精度标准,在符合大数定理的基础上,精度大幅度提高。蒙特卡罗方法在随机搜索点较小时,误差很大,当随机搜索点达到10000时,其精度与最小二乘法相差无几,却得到与经验关联式十分接近的准数关系方程,取得了实践与理论统一的实验效果。     

基于样条插值与最小二乘法的振弦式传感器非线性补偿

介绍了振弦式传感器的工作原理,针对振弦式传感器被测力与输出频率之间的非线性关系问题,提出一种非线性补偿的设计方法.基于三次样条插值原理,通过插值增加数据密度,解决了因实测数据稀疏导致的工程精度问题;结合最小二乘法方法,应用Matlab软件对振弦式传感器的F-f曲线进行拟合并进行了修正,获得了较为准确、光滑、符合工程实际的曲线,得到了合理的结论.实验证明,该方法以有限实测点数据实现了振弦式传感器的F-f曲线的精确拟合,为长期埋设的振弦式传感器F-f函数提供了一个切实可行的快速测定方法.     

基于函数级控制流监控的软件防篡改

软件防篡改是软件保护的重要手段。针对由缓冲区溢出等攻击导致的控制流篡改,提出一种基于函数级控制流监控的软件防篡改方法。以函数级控制流描述软件正常行为,利用二进制重写技术在软件函数入口处植入哨兵,由监控模块实时获取哨兵发送的软件运行状态,通过对比运行状态和预期值判断程序是否被篡改。实现了原型系统并对其进行了性能分析,实验结果表明,基于函数级控制流监控的软件防篡改方法能有效检测对控制流的篡改攻击,无误报且开销较低,其实现不依赖程序源码,无需修改底层硬件和操作系统,监控机制与被保护软件隔离,提高了安全性。     

重复软件缺陷报告检测方法综述

软件缺陷在软件的开发和维护过程中是不可避免的,软件缺陷报告是软件维护过程中重要的缺陷描述文档,高质量的软件缺陷报告可以有效提高软件缺陷修复的效率.然而,由于存在许多开发人员、测试人员和用户与缺陷跟踪系统交互并提交软件缺陷报告,同一个软件缺陷可能被不同的人员报告,导致了大量重复的软件缺陷报告.重复的软件缺陷报告势必加重人工检测重复缺陷报告的工作量,并造成人力物力的浪费,降低了软件缺陷修复的效率.以系统文献调研的方式,对近年来国内外学者在重复软件缺陷报告检测领域的研究工作进行了系统的分析.主要从研究方法、数据集的选取、性能评价等方面具体分析总结,并提出该领域在后续研究中存在的问题、挑战以及建议.     

软件实训教学系统设计

基于高校实践教学的需求,为满足高校教师对软件实训过程管理的需要,提升实训教学质量,提高实践教学工作的效率,本文设计了软件实训教学系统,该系统能够实现学生基本信息的录入、修改,实训成果和实训报告的上传、修改,实训分组和过程管理等功能.使用该系统能够使整个软件实训教学过程全部在网上进行,教师能够更加便捷地监控学生实训进程,...     

On modeling software defect repair time

The ability to predict the time required to repair software defects is important for both software quality management and maintenance. Estimated repair times can be used to improve the reliability and time-to-market of software under development. This paper presents an empirical approach to predicting defect repair times by constructing models that use well-established machine learning algorithms and defect data from past software defect reports. We describe, as a case study, the analysis of defect reports collected during the development of a large medical software system. Our predictive models give accuracies as high as 93.44%, despite the limitations of the available data. We present the proposed methodology along with detailed experimental results, which include comparisons with other analytical modeling approaches.

Experience on knowledge-based software engineering: A logic-based requirements language and its industrial applications

A formal requirements specification language plays an important role in software development. Not only can such language be used for stating requirements specification, but also can be used in many phases of software development life cycle. The FRORL project started from constructing a language with a solid logical foundation and further expanded to research in verification, validation, requirements analysis, debugging, and transformation. Research in this project aided in some industrial applications in which a code generation tool produced software for embedded systems. This article reports the experiences gained from this project and states the value of research in knowledge-based software engineering.     

基于VB的数字/中文转换算法模型

结合船只管理软件的开发 ,用 VB设计了一个符合汉语口读习惯的货币数字 /中文转换算法模型 ,有效地提高了制作报表、证件的效率和准确率 ,能广泛应用于金融、交通等部门的数据库应用软件中.     

A case study in SQA audits

Software quality assurance (SQA) audits are becoming a standard practice in corporations seeking to enter contractual relations with other organizations, or just evaluating their own state of readiness. This paper describes one approach to conducting SQA audits. Excerpts from reports of actual audits conducted on several organizations engaged in software development are used to show how an audit is conducted and what can be achieved through the auditing process. The paper is not meant to be a definitive answer or guide to doing SQA audits. Rather, it serves as an annotated case study of how SQA audits can be conducted with an emphasis on data gathering and reporting.Dr Paul W. Oman is an associate professor of computer science at the University of Idaho, and an independent software consultant who specializes in software analysis. He is the director of the Software Engineering Test Lab within the UI College of Engineering, where he conducts research in software development methods, CASE tools, and software maintainability issues. Oman has published over 50 articles and reports on software tools, software development, and computer science education. He has a PhD in computer science and is a member of the IEEE, IEEE Computer Society, and ACM.