基于MATLAB的因子分析与聚类分析在学生成绩评价中的应用

利用MATLAB软件对学生的原始成绩进行因子分析和聚类分析,并与平均成绩进行对比,能够更加客观而有效地对学生的学习能力做出综合评价,能为高校的教学评价、教学管理与教学政策的制定以及学生的就业与发展提供科学的参考依据.     

面向目标导向的软件演化过程行为的研究

对软件演化过程行为的分析有助于在演化前期阶段发现一些不合理的设计情况,从而达到降低软件演化的风险.在面向目标导向的软件演化过程模型的基础上,使用通信顺序进程的原理对软件演化过程的行为进行了研究,分别从过程的迹、确定性和不确定性等方面进行了深入的分析,并给出了每一种行为的计算方法.     

材性模型加载热压模具应力分析方法研究

利用欧洲EUROCODE3标准,通过对应力-应变模型进行线性逼近,得出折线模型的方法,分析了海洋石油钻井平台桩腿热压过程的工况.利用分析的结果,预测了ASTM-A-517钢板热压过程中的弹塑性变形趋势以及模具的应力应变分布,从而为模具的设计优化提供依据,节省大量的时间和成本.     

基于MIDAS的某带端部转换剪力墙结构的抗震性能分析

文章以某高层剪力墙结构带端部转换为例,采用有限元软件MIDAS/Building进行多遇地震下的弹性计算、罕遇地震下的弹塑性分析及楼板应力分析,对托墙转换构件采用小震、中震弹性双控设计,对结构整体及构件的抗震性能进行评估。计算结果表明,通过加强措施后,结构布置合理,无明显刚度薄弱层和过大扭转位移比,结构具有良好的屈服机制。     

A software reliability growth model for component-based software incorporating debugging delay and imperfect debugging

In view of the problems and the weaknesses of component-based software(CBS) reliability modeling and analysis,and a lack of consideration for real debugging circumstance of integration testing,a CBS reliability process analysis model is proposed incorporating debugging time delay,imperfect debugging and limited debugging resources.CBS integration testing is formulated as a multiqueue multichannel and finite server queuing model(MMFSQM) to illustrate fault detection process(FDP) and fault correction process(FCP).A unified FCP is sketched,given debugging delay,the diversities of faults processing and the limitations of debugging resources.Furthermore,the impacts of imperfect debugging on fault detection and correction are explicitly elaborated,and the expressions of the cumulative number of fault detected and corrected are illustrated.Finally,the results of numerical experiments verify the effectiveness and rationality of the proposed model.By comparison,the proposed model is superior to the other models.The proposed model is closer to real CBS testing process and facilitates software engineer's quantitatively analyzing,measuring and predicting CBS reliability.     

信息物理融合系统可信软件形式化建模与分析

从多Agent系统的角度,以Petri网和π演算为语义基础,建立了一种信息物理融合系统（cyber-physical systems,CPS）可信软件形式化模型（high-confidence software formal model,HCSFM）. HCSFM以Petri网形象地描述CPS可信软件静态结构模型及动态行为,用Petri网分析方法和支持工具对模型进行分析和验证; 利用π演算刻画CPS可信软件中Agent的加入、退出、更新和体系结构重配置等动态演化机制,并研究Agent的演化策略及演化后CPS的一致性,确保动态演化后CPS软件能正常交互,从而为CPS软件设计提供可信保障. 通过HCSFM在无人驾驶车辆编队CPS中的应用,表明HCSFM可以有效地对CPS可信软件进行建模和分析.     

软弱围岩大变形治理措施有效性分析

近年来,我国新一轮铁路建设规划侧重点转向边疆多山地区,隧道建设过程中出现大量软岩区,软弱围岩因其变形大、难治理而严重阻碍施工,解决软岩大变形问题不可避免。依托边疆新建某隧道工程,结合原支护方案所得软岩段监测数据,制定改进治理方案。应用有限元软件Midas/GTS进行模拟,分析改善后治理方案的软岩变形情况,并结合现场实验段监测数据综合分析治理措施的合理性,以保证软弱围岩段顺利施工。     

输电线路中均压环对复合绝缘子的研究

本文利用COMSOL Multiphysics有限元仿真软件仿真了绝缘子在加装均压环前后周围电场的情况,证实了复合绝缘子加装均压环确实能够解决输电线路中电场集中的问题,为输电线路安全稳定的运行提供理论基础.     

铁路车站计算机联锁软件的安全性评估策略

安全控制系统的行为直接关系人身和大宗财产的安全，如何定量地反映系统中计算机软件的安全性品质是一个值得探讨的问题。应从软件可靠性和安全性含义的讨论中，明确它们之间的区别。在此基础上，提出一种能定量反映计算机联锁安全软件安全性的评估策略，最后论述了对某制式铁路车站计算机联锁安全软件进行分级测试后，利用J－M可靠性模型对其进行安全性定量分析的方法。     

软件演化过程的度量数据采集策略研究

度量数据的采集是度量软件过程的重要环节,讨论了度量数据的采集过程中遇到的问题,以及有效数据采集应遵循的原则,并针对软件演化过程的特点及不同的应用提出了2种数据采集的策略．