This paper presents a new multi-objective evolutionary algorithm which consists of a hybrid between a particle swarm optimization approach and some concepts from rough sets theory. The main idea of the approach is to ...
详细信息
The electromagnetic (EM) measurements obtained by using one transmitter and one receiver antenna in a borehole environment are simulated. The measurements are used to assess electrical properties of rock formations. F...
详细信息
In the automotive field, software development methods and tools are used to cope with the high complexity of automotive software development. However, problems occur with the tracing of information, the assessment and...
详细信息
Time series forecasting has been widely used to support decision making, in this context a highly accurate prediction is essential to ensure the quality of the decisions. Ensembles of machines currently receive a lot ...
详细信息
Lecture recordings can be a powerful addition to traditional lectures and they can even serve as a main content source in a number of didactic scenarios. If users can quickly locate relevant passages in a recording, t...
详细信息
ISBN:
(纸本)0769527469;9780769527468
Lecture recordings can be a powerful addition to traditional lectures and they can even serve as a main content source in a number of didactic scenarios. If users can quickly locate relevant passages in a recording, the recording combines the ease of search that comes with electronic text based media with the authenticity and wealth of information that is delivered in a live lecture. Locating relevant passages in a time based media such as a recorded lecture is, however, not as easy as searching an electronic text document. This paper advocates for interactive content overviews as an efficient navigation aid and presents an implementation that is based on SVG. It also discusses the feasibility of likewise approaches in other media formats
For many engineering educators, the topic of diversity can be frustrating and difficult. Writing and sharing individual diversity statements represents one strategy for empowering educators in their efforts to address...
详细信息
Signal transition graphs (STGs) are a popular formalism for the specification of asynchronous circuits. A necessary condition for the implementability of an STG is the existence of a consistent and complete state enco...
详细信息
Signal transition graphs (STGs) are a popular formalism for the specification of asynchronous circuits. A necessary condition for the implementability of an STG is the existence of a consistent and complete state encoding. For an important subclass of STGs, the marked graph STGs, we show that checking consistency is polynomial, but checking the existence of a complete state coding is co-NP-complete. In fact, co-NP-completeness already holds for acyclic and 1-bounded marked graph STGs and for live and 1-bounded marked graph STGs. We add some relevant results for free-choice, bounded, and general STGs
Despite the still-reigning concept of science proceeding by a monolithic "scientific method," philosophers and historians of science are increasingly recognizing that the scientific methodologies of the hist...
详细信息
This paper describes a methodology to support the design process of complex systems. The main challenge in modern industrial applications is the sheer volume of data involved in the design process. While using high-le...
详细信息
This paper describes a methodology to support the design process of complex systems. The main challenge in modern industrial applications is the sheer volume of data involved in the design process. While using high-level abstraction is necessary to manage this data and analyze the system "as a whole", designers need also to retain all the low-level information of the system, in order to be able to perform optimizations and modifications at later times. The solution proposed here is to use a hierarchy of models that describe the system at different levels of abstraction, and are arranged in such a way that is possible to easily "map" each level onto the others. The topmost layer of the system description is expressed in System Modeling Language (SysML), a general-purpose modeling language based on UMLreg
暂无评论