案例教学法在《软件工程》课程中的应用

案例教学法是哈佛商学院主要的教学方法,教学效果得到广泛好评.我国计算机类本科教学主要采用传统教学方法.将案例教学法引入<软件工程>课程教学,有助于学生将理论知识与实践相结合.在教学实践的基础上,对在<软件工程>课程中运用案例教学法的方法、途径等做了初步探讨.     

建构主义理论指导下的软件工程案例教学法

建构主义认为,学习是学生在原有知识经验的基础上对新信息进行主动构建的过程,教学要以学生为中心、设计教学环境、为学生自主建构知识的意义提供各种信息条件。针对软件工程课程的特点及其实践教学的不足,依据建构主义理论,提出软件工程课程的案例教学法。该方法从精选案例、案例分析、案例总结、案例教学效果评价四方面,给出软件工程课程案例教学的基本过程;同时,指出案例教学是在传统理论教学基础上实施的,以及案例教学过程中应该注意的问题;最后,给出案例教学效果的评价方法。教学实践表明,该方法有助于学生理解和掌握软件工程的基本原理和方法,提高软件分析与设计的能力。     

CTSISI教学模式在高职《计算机应用基础》课程中的应用

CTSISI教学模式是在案例教学法基础上的一种延伸和扩展,是一种运用案例进行教学的方法,根据《计算机应用基础》课程特点、培养目标的要求,以及教学对象的特点,本文探讨了在《计算机应用基础》课程中教学中如何运用案例教学法,来强化理论,培养学生实践能力。实践证明,案例教学法能够激发学生的积极性和主动性,能够锻炼学生的实际动手能力,与行业的实际应用接轨,提高了教学的质量。     

案例教学法在网络工程教学中的应用

案例教学法是一种激发学生学习兴趣,启发学生研究实际问题,注重能力培养的现代教学方法,在高校教学中已经引起了普遍重视。而网络工程这门课程是把网络原理运用到实际工程中的重要方法和手段。因此。是理论性和实践性相结合的课程。本文通过网络工程的案例,探讨了案例教学法在网络工程教学中的应用。     

基于项目导向的任务驱动法在课程教学中的应用——以《数据库应用技术》课程为例

“任务驱动”是一种建立在建构主义教学理论基础上的教学法。本文在建构主义学习理论和任务驱动教学思想的指导下,结合具体项目案例,采用项目导向,任务驱动的方法,实现学生实践能力的提高。探索该方法在《数据库应用技术》课程的实践应用,从而达到提升教学效果,在同类课程中推广的目的。     

案例教学法在PhotoShop教学中的应用及效果分析

"案例"教学法是一种理论结合实践的教学模式,将案例教学法与PhotoShop平面设计教学结合在一起一方面可以达到丰富教学的目的,另一方面还能提高学生团队合作能力和创新精神。本文根据PhotoShop软件教学特点,在分析案例教学法的含义基础上,本文提出在Photoshop课程中的实施案例教学法观点,并对案例教学的效果进行了分析。     

案例教学法在面向对象程序设计课程中的应用

面向对象程序设计的传统教育模式使得学生与企业真实需求之间存在巨大差异。案例教学法理论上能在一定程度上解决理论与实际衔接的问题,但其实施效果却取决于所采用的案例。结合我校的行业背景,从构思实际民航信息系统中涉及的工程问题出发,研究案例教学法在面向对象程序设计课程中的应用,并分析了其存在的问题。     

软件工程课程教学改革与实践探索

基于软件工程课程的特点,分析了目前教学过程中存在的问题,提出了两阶段教学法：理论讲授阶段以案例分析教学法,通过分析和演示案例,讲述软件工程的过程、理论与方法;在学生实践阶段采用任务驱动教学法,学生通过完成软件项目来巩固理论知识,并锻炼实践能力。实践表明,改进的教学方法能充分调动学生的学习自主性,提高学生的学习兴趣,改善教学效果。     

行动导向教学理念在电路分析课程中的研究与实践

针对学生在学习电路分析基础课程中遇到的"与后续课程脱节"、"知识与解决问题脱节"和"理论与工程应用脱节"问题,本文提出在教学中引入基于"行动导向"的教学理念,探索针对三个问题分别采用"引导文教学法"、"问题驱动教学法"和"案例教学法",通过课堂教学实践证明,在"行动导向"理念指导下的这些教学法能较好地解决上述问题,提高课堂授课质量。     

“数字工程”理论授课中的案例教学法及案例库建设

针对"数字工程的原理与方法"的课程内容较为抽象的特点,提出理论授课中的案例教学法,论述该课程教学中案例教学法的地位和应用,结合工程应用开发所积累的项目实例,阐述案例库系统开发的必要性、开发流程及实践,最后对理论授课中的案例教学效果进行总结。     

Macro finance early warning system

In this paper, a financial early warning information system is developed based on the multi-dimensional climate approach that is featured with a multi-dimensional index construction and the relevant multi-dimensional analysis. Requirement analysis and design issues of building an information system supporting this multi-dimensional climate approach are discussed in detail. And a case using this system to study the macro financial issues is presented to illustrate how the proposed multi-dimensional approach works in the information system we design. This research is an interdisciplinary work of economic theories, macro financial empirical studies, and software engineering. With advanced macro financial early warning theories implemented in a web application, the Macro Financial Early Warning System (FEWS) developed in this research has been proved to be effective in a trial running in the Forecasting research institute of the Chinese Academy of Sciences.     

An organizational maturity model of software product line engineering

Software product line engineering is an inter-disciplinary concept. It spans the dimensions of business, architecture, process, and the organization. Some of the potential benefits of this approach include cost reduction, improvements in product quality and a decrease in product development time. The increasing popularity of software product line engineering in the software industry necessitates a process maturity evaluation methodology. Accordingly, this paper presents an organizational maturity model of software product line engineering for evaluating the maturity of organizational dimension. The model assumes that organizational theories, behavior, and management play a critical role in the institutionalization of software product line engineering within an organization. Assessment questionnaires and a rating methodology comprise the framework of this model. The objective and design of the questionnaires are to collect information about the software product line engineering process from the dual perspectives of organizational behavior and management. Furthermore, we conducted two case studies and reported the assessment results using the organizational maturity model presented in this paper.     

Structured proof procedures

In this paper, we address the problem of enriching an interactive theorem prover with complex proof procedures. We show that the approach of building complex proof procedures out of deciders for (decidable) quantifier-free theories has many advantages: (i) deciders for quantifier-free theories provide powerful, high level functionalities which greatly simplify the activity of designing and implementing complex and higher level proof procedures; (ii) this approach is of wide applicability since most of the proof procedures are composed by steps of propositional reasoning intermixed with steps carrying out higher level strategical functionalities; (iii) decidability and efficiency are retained on important (decidable) subclasses, while they are often sacrificed by uniform proof strategies for the sake of generality; and finally (iv), from a software engineering perspective, the modularity of the procedures guarantees that any modification in the implementation can be accomplished locally. As a case study, we present and discuss a proof procedure for the existential fragment of first-order logic (prenex existential formulas without function symbols) built on top of a propositional decider.     

一种混合动力学系统多目标优化控制问题的求解方法

提出一种基于进化计算的具有通用性的方法,用于求解混合动力学系统多目标优化控 制问题.以一个多罐配料系统为仿真实例的研究表明,该算法能够有效地解决这一类经典最优 控制理论难以解决的复杂系统控制问题.     

基于图形约束的工程图扫描图象直线整体识别方法

本文在分析现有工程图纸扫描图象识别算法与识别系统所存在的问题的基础上，提出了与现有局部识别算法完全不同的工程图纸整体识别的理论与算法，该算法已经在ＣＡＤ＆ＣＧ国家重点实验室调试成功，试验表明，基于图形约束的直线整体识别算法符合技术人员读图的规律，具有局部识别算法无可比拟的优越之处。     

Exemplar driven development of software product lines

The benefits of following a product line approach to develop similar software systems are well documented. Nevertheless, some case studies have revealed significant barriers to adopt such approach. In order to minimize the paradigm shift between conventional software engineering and software product line engineering, this paper presents a new development process where the products of a domain are made by analogy to an existing product. Furthermore, this paper discusses the capabilities and limitations of different techniques to implement the analogy relation and proposes a new language to overcome such limitations.     

A new combination procedure for the word problem that generalizes fusion decidability results in modal logics

Previous results for combining decision procedures for the word problem in the non-disjoint case do not apply to equational theories induced by modal logics—which are not disjoint for sharing the theory of Boolean algebras. Conversely, decidability results for the fusion of modal logics are strongly tailored towards the special theories at hand, and thus do not generalize to other types of equational theories. In this paper, we present a new approach for combining decision procedures for the word problem in the non-disjoint case that applies to equational theories induced by modal logics, but is not restricted to them. The known fusion decidability results for modal logics are instances of our approach. However, even for equational theories induced by modal logics our results are more general since they are not restricted to so-called normal modal logics.     

Intelligent computer-aided-design systems: a synergical approach of artificial intelligénce and engineering

A synergism has begun to surface from the artificial intelligence (AI) and engineering communities: an effort to apply AI techniques to engineering problem-solving activities, and to study problems arisen from various engineering fields as a way to develop AI theories and methodologies. This paper first discusses the needs of such a synergical approach and identifies in a broad perspective some AI techniques currently being applied to engineering. It then describes a system, called KREATOR, which applies qualitative reasoning, a subfield of AI, to computer-aided design (CAD). The key observation is that an engineer designer's qualitative knowledge can offer a good basis for the reasoning of device behaviors. Such knowledge, however, is not captured by conventional CAD systems for lack of good representations. KREATOR is a knowledge capturing scheme that allows the designers to record their qualitative knowledge of how mechanical devices behave, KREATOR then automatically generates qualitative simulations.     

Integration and analysis of use cases using modular Petri nets inrequirements engineering

It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industrial applications. Software requirements are stated as a collection of use cases, each of which is written in the user's perspective and describes a specific flow of events in the system. The use case approach offers several practical advantages in that use case requirements are relatively easy to describe, understand, and trace. Unfortunately, there are a couple of major drawbacks. Since use cases are often stated in natural languages, they lack formal syntax and semantics. Furthermore, it is difficult to analyze their global system behavior for completeness and consistency, partly because use cases describe only partial behaviors and because interactions among them are rarely represented explicitly. We propose the Constraints-based Modular Petri Nets (CMPNs) approach as an effective way to formalize the informal aspects of use cases. CMPNs, an extension of Place/Transition nets, allow the formal and incremental specification of requirements. The major contributions of the paper, in addition to the formal definitions of CMPNs, are the development of: 1) a systematic procedure to convert use cases stated in natural language to a CMPN model; and 2) a set of guidelines to find inconsistency and incompleteness in CMPNs. We demonstrate an application of our approach using use cases developed for telecommunications services     

Reverse engineering in the design of turbine blades – a case study in applying the MAMDP

This paper presents a case study on the reverse engineering of turbine blades used in nuclear power generators. Reverse engineering has been widely recognised as a crucial step in the product design cycle. However, major problems with current reverse engineering technology are the inefficient surface reconstruction process, lack of digitising accuracy control in the data digitisation process, and bottlenecks resulted from huge amounts of digitised surface points in the surface modeling process. Moreover, under this limitation, modern concurrent engineering concepts are difficult to implement to obtain optimal product design. This study applies a developed reverse engineering approach – the modified adaptive model-based digitizing process (MAMDP) to the 3D geometric design of turbine blades. The approach integrates surface digitising and modeling processes of turbine blades into a single surface reconstruction process. Using the approach, accurate product CAD models can be efficiently generated and the product design cycle of turbine blades can be successfully linked.