基于逻辑统计特征描述的软件测试方法研究

对软件测试建立动态运行模型,提出基于逻辑统计特征描述的软件测试方法。通过软件运行的统计特征对软件运行状态在可行域中的风险进行评估,从而得到软件测试的一个量化安全指标。最后从工程角度提出了有现实意义的软件测试框架,并从数学上证明了该框架的有效性。有一个隐含前提,就是程序应该是实际系统的拟合,程序功能模块的划分对实际系统所具有的逻辑约束与自身稳定性不构成破坏。     

软件配置测试的测试数据生成

本文提出利用多次单因素试验、正交实验设计和均匀设计等常用方法为软件的配置测试产生测试数据, 以确保待测软件可以在不同的配置上正确运行, 并分析比较了这些方法的优缺点. 在此基础上提出使用两两组合覆盖方法来改善正交试验设计方法的不足、使用多因素组合覆盖方法来降低因不完全测试而带来的风险, 并提出一种单因素覆盖方法, 该方法可以产生最少的测试数据, 在覆盖各个系统因素的同时, 尽可能多地覆盖各个因素间的两两组合. 最后, 对这些测试数据生成方法从测试数据集的规模、组合覆盖率、可用性等方面进行了比较.     

功率分汇流风力发电机实验台教学功能开发

针对一种基于功率分汇流系统的新型变速恒频风力发电机,进行了实验测试平台的原理设计、功能开发。在对变速恒频风力发电机相关运行特征和性能分析的基础上,开发该实验台教学功能,相应设计了模拟变速恒频风力发电的实验,使学员可以了解行星轮系的变速调节及功率分汇流原理。     

功率半导体器件的功耗及使用选择

本文介绍了功率半导体器件工作于开关状态时,功率损耗的产生及计算方法,给出了实际使用时如何选择的几点建议。     

利用复合网格进行电磁场分析

本描述了对有需要看重分析的局部区域的电磁场进行有限元分析的复合网格法．这种方法基于通常的有限元方法，有总体分析，局部分析和修正后的总体分析3个基本步骤．在前2步中，利用较粗的网格进行总体分析，得到节点的电势，将其作为后续进一步分析的局部区域的人工边界条件．将这些有了边界条件的局部区域用更精细的网格进行分析，得到更为精确的电势与密度分布．在第3步中，进行修正后的总体分析，通过迭代不断改进结果，直到满足给定的求解精度，得到更好的电势与密度分布的结果．数值实验表明，与通常的有限元方法相比，复合网格法在得到同样求解精度的结果时所耗的计算时间要少得多．     

教育全球化背景下我国课堂中权力与权利的变化

教育全球化既包括教育的地方全球化,也包括教育的全球地方化,它给我国教育的方方面面带来重要影响。我国传统课堂以权力为本位,显示出权力异化和权利弱化的特点。在教育全球化过程中,一些被全球所认可的、先进的教育理念冲击着我国的传统课堂,使之逐渐向以权利为本位教育观转变,追求权利的平等与权力的公正成为当代教育的核心理念。     

污水处理厂降低电耗方案优化研究

针对中小型炼油厂污水处理系统普遍存在"大马拉小车"、电能消耗高的问题,介绍了某炼油厂通过对污水处理系统电耗的分析研究,从具体实际出发,通过采取优化工艺流程、改进管理制度等多种措施,在不影响污水处理工程中工艺条件(活性污泥浓度、COD、含油量)的基础上,将年电力消耗降低了28%,投入产出比达到1:48,节约了电能,减轻了环境负担。     

飞机方向舵剩余强度试验方法研究

介绍了飞机方向舵雷击后剩余强度试验方法。试验件为飞机复合材料方向舵全尺寸部件。方向舵结构由复合材料层压板、复合材料面板NOMEX蜂窝芯夹层结构及金属结构件组成。该试验利用国际先进的MTS多点协调加载系统进行双通道高精度协调加载,并利用集成的VXI1629数据采集模块自动进行同步数据采集。试验方案科学合理,试验加载精度达到0.4%满量程以内,试验方法可为其他大型结构部件静力试验提供参考。     

一种测试用例集最小化生成算法研究及应用

测试用例的数量和质量决定软件测试的成本和有效性。在G算法和H算法的基础上,引入测试用例-测试需求映射关系重要性度的概念,本文提出了一种测试用例集最小化生成算法。该算法用于简化三角形分类程序的测试用例集,简化后的测试用例集是最小的测试用例集。实例分析证明该算法是有正确、有效的。     

双转子电机实验台设计与教学功能开发

针对一种新型的车用双转子电机,主要对其进行了实验测试平台的原理设计、功能开发。在对双转子电机应用于电动汽车中相关运行特征和性能进行分析的基础上,将该实验台进行教学功能方面的应用,相应地设计了负载突变和左右轮差速两种模拟实验,使学员可以对比了解到电驱动桥系统工作原理。     

基于过流保护的一种新型LED驱动开关电源的设计

基于过载电流保护技术,设计了一种新型的lED驱动开关电源,设计了电路图,并且对其原理进行了分析,完成实物并测试了其参数,结果表明开关电源具有良好的视在功率和稳定性,适合学生开展课外学术实践活动。     

电力系统故障录波器的功能研究

为解决日益复杂的电力系统故障分析 ,介绍了电力系统故障录波器必须具备的基本功能 ,着重研究了它的主要发展特点 :设备的微机化 ,强大的故障分析功能 ,实时的相角测量及功角监测 ,精确的故障测距 ,系统的网络化等 ,并就此提出可行的实现方案 .软件开发基于 Windows,硬件采用模块化 ,使系统界面友好 ,实时性高 ,扩展容易 ,可靠性高 ,维护简易 .随着全球定位系统的建立及计算机、微波光纤通讯在电力系统中的广泛应用 ,故障录波器将全方位发展成为一个多功能故障录波及监测分析综合系统     

Support for development and test of web application: A tree-oriented model

Building an abstract model of the web application is the chief task of software test based on model, which is an efficient way for testing the web application. One problem with current web application test technologies is the lack of tools for modeling the whole web software, especially the lack of support for describing web application from the view of action and function. This paper is concerned with providing the support for development and test of the web application. The presented novel model, named component-based and tree-oriented web application development model (CBTOWADM), abstracts the web application as a tree based on its system function and business process. CBTOWADM not only simplifies the design and development of the web application, but also acts as the model middleware for software test. The basic model definition, the system framework and the application in software test of CBTOWADM is described.     

全国计算机等级考试上机考试系统集成策略

论述在DOS和Windows两种环境下全国计算机等级考试上机考试系统集成技术和简要阐述对试题安装和考试过程中的注意事项．     

电力用户自然功率因数的改善和提高

如何在不添置电力补偿设备的前提下,改善和提高电力用户的自然功率因数,以达到减少无功功率损耗、节约电能的目的。     

我国转型期中央与地方高教权力博弈的方式和特点

本文比较详细地探讨了我国转型期中央与地方高教权力博弈的六种方式及其主要特征。本文认为,转型期不同阶段我国中央与地方高教权力博弈的方式呈现不同的特征,具体是,在1978-1984年阶段以隐性权力博弈为主,1985-1992年阶段以灰色权力博弈为主,1993-1997年阶段以主动型权力博弈为主,而1998年之后则以混合型权力博弈为主,但显性权力博弈在我国高教领域出现的条件尚未成熟。     

电力变压器油中微量水分变送器的设计与实现

文章探讨了电力变压器油中水分的存在形态及其危害,采用高分子材料聚酰亚胺薄膜的电容式湿度敏感元件原理,实现电力变压器油中微水含量的在线监测．结果表明,该电力变压器油中微水的在线测量变送器的测试结果,与国家标准试验方法一卡尔·费休试剂法一致．电力变压器油中微水含量的在线监测．保证了电力变压器运行安全．     

电力电子与电力传动系列课程的立体化建设

结合教学实践,对电力电子与电力传动系列课程立体化建设进行了探索和实践,从理论教学内容体系、实践教学体系、教师队伍建设等方面探讨了系列课程的立体化建设,旨在加强系列课程中各门课程间的联系,在理论教学内容和工程能力训练上保持较强的连续性,使各门课程形成一个统一的整体。实践表明,电力电子与电力传动系列课程立体化建设为培养电气工程与自动化专业学生在电力电子与电力传动方向创新意识及工程能力方面具有重要作用。     

地方高校核心竞争力的培育与构建

地方高校作为高等教育事业的重要组成部分,为地方经济发展做出了巨大的贡献。但受其地域性特征影响在与其他重点高校的竞争中处于不利地位,因而培育地方高校的核心竞争力具有重要的意义。应通过转变观念、科学定位、加强学科建设和管理创新等策略,逐步打造地方高校核心竞争力。     

略论产业转型背景下政府与高校专业设置权的配置

法学视角下,高等学校本科专业设置权不仅具有公权力的属性,同时也属于高校自主办学的基本权利范畴。在产业转型的背景下,我国现有的专业设置体制已不能适应高等教育改革与发展的需要,亟待依照高等教育规律与现代法治的要求重新配置政府与高校的专业设置权。省级地方政府应当以地方立法规范专业设置权的行使,高校应当在大学章程中载明本校专业设置的基本思路。