教学课程资源库 更多>>

关键词： 统一建模语言   舰载雷达侦察设备   建模   仿真  

摘要： 针对仿真推演系统中舰载雷达侦察设备建模需求和建模标准化要求,介绍了一种基于统一建模语言UML(Unified Modeling Language)的舰载雷达侦察设备的建模方法。在对舰载雷达侦察设备需求分析的基础上,采用UML用例图定义舰载雷达侦察设备建模的功能需求;利用UML静态建模机制,明确舰载雷达侦察设备实体内部单元划分;利用UML动态建模机制,就舰载雷达侦察设备工作流程进行分析,构建相应的活动图及交互关系图,并对其中涉及的判定规则及算法进行了说明。最后,在仿真推演系统中实现了该模型,通过实际推演应用分析,验证了采用该建模方法的可靠性和优越性。

关键词： 英语+软件工程专业   大学英语   复合型人才   培养模式   培养目标  

摘要： 根据《外国语言文学类教学质量国家标准》规定,英语+软件工程专业的人才培养目标是培养具备较好的英语语言综合应用水平、较强的计算机软件开发能力和较丰富的人文社科知识和自然科学知识,以及具有较强的科学意识和创新素质的厚基础、宽口径和复合型国际化人才。但英语+软件工程专业人才培养面临专业定位不明确、培养的人才素质不高和师资力量薄弱等问题,因此,英语+软件工程专业人才培养应该重新定位专业方向、加强教材建设、改进教学方法、强化师资力量、加强教学管理、加强国际交流与合作和专门用途英语教学。

关键词： 国际   视角   承包商   布局   结构化   迫切希望   设计   工程施工  

摘要： 随着国际工程市场形势变化与竞争加剧,我国承包商“走出去”传统的工程施工与EPC承包模式,已逐渐不能完全响应业主需求。尤其是“一带一路”重点布局的发展中国家和地区,庞大的基础设施建设计划对应的却是资金严重不足,当地政府迫切希望发展经济,要求承包商“带资进场”。

关键词： Design pattern   Search-based software engineering   Software product line architecture  

摘要： The design of the product line architecture (PLA) is a difficult activity that can benefit from the application of design patterns and from the use of a search-based optimization approach, which is generally guided by different objectives related, for instance, to cohesion, coupling and PLA extensibility. The use of design patterns for PLAs is a recent research field, not completely explored yet. Some works apply the patterns manually and for a specific domain. Approaches to search-based PLA design do not consider the usage of these patterns. To allow such use, this paper introduces a mutation operator named "Pattern-Driven Mutation Operator" that includes methods to automatically identify suitable scopes and apply the patterns Strategy, Bridge and Mediator with the search-based approach multi-objective optimization approach for PLA. A metamodel is proposed to represent and identify suitable scopes to receive each one of the patterns, avoiding the introduction of architectural anomalies. Empirical results are also presented, showing evidences that the use of the proposed operator produces a greater diversity of solutions and improves the quality of the PLAs obtained in the search-based optimization process, regarding the values of software metrics.

关键词： Adaptive random testing   object-oriented software   object distance   unit testing   method parameter  

摘要： Finding an effective method for testing object-oriented software (OOS) has proven elusive in the software community due to the rapid development of object-oriented programming (OOP) technology. Although significant progress has been made by previous studies, challenges still exist in relation to the object distance measurement of OOS using Adaptive Random Testing (ART). This is partly due to the unique features of OOS such as encapsulation, inheritance and polymorphism. In a previous work, we proposed a new similarity metric called the Object and Method Invocation Sequence Similarity (OMISS) metric to facilitate multi-class level testing using ART. In this paper, we broaden the set of models in the metric (OMISS) by considering the method parameter and adding the weight in the metric to develop a new distance metric to improve unit testing of OOS. We used the new distance metric to calculate the distance between the set of objects and the distance between the method sequences of the test cases. Additionally, we integrate the new metric in unit testing with ART and applied it to six open source subject programs. The experimental result shows that the proposed method with method parameter considered in this study is better than previous methods without the method parameter in the case of the single method. Our finding further shows that the proposed unit testing approach is a promising direction for assisting software engineers who seek to improve the failure-detection effectiveness of OOS testing.

关键词： anodes   Li metal anodes   Li-metal-free anodes   lithium-sulfur batteries   solid electrolyte interface  

摘要： Lithium-sulfur (Li-S) batteries are considered as one of the most promising options to realize rechargeable batteries with high energy capacity. Previously, research has mainly focused on solving the polysulfides' shuttle, cathode volume changes, and sulfur conductivity problems. However, the instability of anodes in Li-S batteries has become a bottleneck to achieving high performance. Herein, the main efforts to develop highly stable anodes for Li-S batteries, mainly including lithium metal anodes, carbon-based anodes, and alloy-based anodes, are considered. Based on these anodes, their interfacial engineering and structure design are identified as the two most important directions to achieve ideal anodes. Because of high reactivity and large volume change during cycling, Li anodes suffer from severe side reactions and structure collapse. The solid electrolyte interphase formed in situ by modified electrolytes and ex situ artificial coating layers can enhance the interfacial stability of anodes. Replacing common Li foil with rationally designed anodes not only suppresses the formation of dendritic Li but also delays the failure of Li anodes. Manipulating the anode interface engineering and rationally designing anode architecture represents an attractive path to develop high-performance Li-S batteries.