Performance-Driven Microfabrication-Oriented Methodology for MEMS Conceptual Design with Application in Microfluidic Device Design

Performance and manufacturability are two important issues that must be taken into account during MEMS design. Existing MEMS design models or systems follow a process-driven design paradigm, that is, design starts from the specification of process sequence or the customization of foundry-ready process template. There has been essentially no methodology or model that supports generic, high-level design synthesis for MEMS conceptual design. As a result, there lacks a basis for specifying the initial process sequences. To address this problem, this paper proposes a performance-driven, microfabrication-oriented methodology for MEMS conceptual design. A unified behaviour representation method is proposed which incorporates information of both physical interactions and chemical/biological/other reactions. Based on this method, a behavioural process based design synthesis model is proposed, which exploits multidisciplinary phenomena for design solutions, including both the structural components and their configuration for the MEMS device, as well as the necessary substances for the chemical/biological/other reactions. The model supports both forward and backward synthetic search for suitable phenomena. To ensure manufacturability, a strategy of using microfabrication-oriented phenomena as design knowledge is proposed, where the phenomena are developed from existing MEMS devices that have associated MEMS-specific microfabrication processes or foundry-ready process templates. To test the applicability of the proposed methodology, the paper also studies microfluidic device design and uses a micro-pump design for the case study.

HYMO : problem-oriented computer language for hydrologic modeling : users manual /

Bibliography: p. 53.

Application of a problem-solving methodology to software usability

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT

Towards New Teaching in Mathematics How to Realize Inquiry Based and Problem Oriented Mathematics Lessons?

Дагмар Рааб Математиката е вълнуваща и забавна. Можем ли да убедим учениците, че това може да стане действителност. Задачите са най-важните инструменти за учителите по математика, когато планират уроците си. Планът трябва да съдържа идеи как да се очертае и как да се жалонира пътят, по който учениците ще стигнат до решението на дадена задача. Учителите не трябва да очакват от учениците си просто да кажат кой е отговорът на задачата, а да ги увлекат в процеса на решаване с подходящи въпроси. Ролята на учителя е да помогне на учениците • да бъдат активни и резултатни при решаването на задачи; • самите те да поставят задачи; • да модифицират задачи; • да откриват закономерности; • да изготвят стратегии за решаване на задачи; • да откриват и изследват различни начини за решаване на задачи; • да намират смислена връзка между математическите си знания и проблеми от ежедневието. В доклада са представени избрани и вече експериментирани примери за това как учители и ученици могат да намерят подходящ път към нов тип преживявания в преподаването и изучаването на училищната математика.

The Experience of Development and Application Perspectives of Learning Integrated Expert Systems in the Educational Process

The main principles and experience of development of learning integrated expert systems based on the third generation instrumental complex AT-TECHNOLOGY are considered.

A taxonomy for the flexible job shop scheduling problem

This chapter aims at developing a taxonomic framework to classify the studies on the flexible job shop scheduling problem (FJSP). The FJSP is a generalization of the classical job shop scheduling problem (JSP), which is one of the oldest NP-hard problems. Although various solution methodologies have been developed to obtain good solutions in reasonable time for FSJPs with different objective functions and constraints, no study which systematically reviews the FJSP literature has been encountered. In the proposed taxonomy, the type of study, type of problem, objective, methodology, data characteristics, and benchmarking are the main categories. In order to verify the proposed taxonomy, a variety of papers from the literature are classified. Using this classification, several inferences are drawn and gaps in the FJSP literature are specified. With the proposed taxonomy, the aim is to develop a framework for a broad view of the FJSP literature and construct a basis for future studies.

Laskentatoimen tutkimus Suomessa vuosina 1985-1999

Tutkimuksen tavoitteena on analysoida laskentatoimen kauppatieteellisiä väitöskirjatutkimuksia vuosilta 1985-1999. Väitöskirjoista tutkitaan: missä yliopistoissa ne on tehty, ketkä tutkimuksia ovat tehneet, mitä on tutkittu ja mitä tutkimusmetodologiaa on käytetty. Lisäksi suoritetaan vertailua edellisiin vuosikymmeniin sekä USA:n ja Euroopan tutkimuksiin. Tutkimusote on nomoteettinen. Laskentatoimen väitöskirjat vuosilta 1985-1999 luokitellaan ja analysoidaan tutkimusten aihepiirin, tutkimusotteen ja tutkimusten ongelma-alueen perusteella. Analyyseistä saatuja tiivistettyjä tuloksia vertaillaan Juha ja Salme Näsin (1985) vuosien 1940-1984 laskentatoimen väitöskirjojen tutkimustuloksiin. Lopputuloksena todetaan, että vuosien 1985-1999 väitöskirjatutkimusten aihepiirit ovat keskittyneet johdon päätöksentekoon, väitöskirjojen tutkimusotteissa nomoteettinen tutkimusote on menettänyt johtoasemansa toiminta-analyyttisella tutkimusotteelle sekä ongelma-alueidensa perusteella väitöskirjat ovat suuntautuneet yrityksen taloudelliseen toimintaan.

A feature-based object-oriented expert system to model and support product design

In this paper a computer program to model and support product design is presented. The product is represented through a hierarchical structure that allows the user to navigate across the product’s components, and it aims at facilitating each step of the detail design process. A graphical interface was also developed, which shows visually to the user the contents of the product structure. Features are used as building blocks for the parts that compose the product, and object-oriented methodology was used as a means to implement the product structure. Finally, an expert system was also implemented, whose knowledge base rules help the user design a product that meets design and manufacturing requirements.

Estado situacional de los modelos basados en agentes y su impacto en la investigación organizacional

En un mundo hiperconectado, dinámico y cargado de incertidumbre como el actual, los métodos y modelos analíticos convencionales están mostrando sus limitaciones. Las organizaciones requieren, por tanto, herramientas útiles que empleen tecnología de información y modelos de simulación computacional como mecanismos para la toma de decisiones y la resolución de problemas. Una de las más recientes, potentes y prometedoras es el modelamiento y la simulación basados en agentes (MSBA). Muchas organizaciones, incluidas empresas consultoras, emplean esta técnica para comprender fenómenos, hacer evaluación de estrategias y resolver problemas de diversa índole. Pese a ello, no existe (hasta donde conocemos) un estado situacional acerca del MSBA y su aplicación a la investigación organizacional. Cabe anotar, además, que por su novedad no es un tema suficientemente difundido y trabajado en Latinoamérica. En consecuencia, este proyecto pretende elaborar un estado situacional sobre el MSBA y su impacto sobre la investigación organizacional.

POPT: uma abordagem de ensino de programação orientada a problema e testes

There is a growing interest of the Computer Science education community for including testing concepts on introductory programming courses. Aiming at contributing to this issue, we introduce POPT, a Problem-Oriented Programming and Testing approach for Introductory Programming Courses. POPT main goal is to improve the traditional method of teaching introductory programming that concentrates mainly on implementation and neglects testing. POPT extends POP (Problem Oriented Programing) methodology proposed on the PhD Thesis of Andrea Mendonça (UFCG). In both methodologies POPT and POP, students skills in dealing with ill-defined problems must be developed since the first programming courses. In POPT however, students are stimulated to clarify ill-defined problem specifications, guided by de definition of test cases (in a table-like manner). This paper presents POPT, and TestBoot a tool developed to support the methodology. In order to evaluate the approach a case study and a controlled experiment (which adopted the Latin Square design) were performed. In an Introductory Programming course of Computer Science and Software Engineering Graduation Programs at the Federal University of Rio Grande do Norte, Brazil. The study results have shown that, when compared to a Blind Testing approach, POPT stimulates the implementation of programs of better external quality the first program version submitted by POPT students passed in twice the number of test cases (professor-defined ones) when compared to non-POPT students. Moreover, POPT students submitted fewer program versions and spent more time to submit the first version to the automatic evaluation system, which lead us to think that POPT students are stimulated to think better about the solution they are implementing. The controlled experiment confirmed the influence of the proposed methodology on the quality of the code developed by POPT students

Problem Solving Policing: Views of Citizens and Citizens Expectations in Germany

For the last two decades American police experts developed new police philosophies in order to tackle more successful the increasing crime problems. Community Policing tries to improve the cooperation between the population and the police and to increase the trust in the police. A crucial factor is a meaningful cooperation between the police and the citizens. Problem Oriented Policing aims at structural changes in the organisation and the procedures of the police in public. The police have to investigate the hidden problems and conflicts of an individual offence and to create proactive and long term concepts for the social area of conflicts beyond the specific case. It is doubtful whether these philosophies can be implemented in Germany since the legality principle prohibits meaningful, trustworthy relationships between citizens and police officers. However, if one examines the results of surveys on citizens views and expectations towards the police one finds that the majority of the German citizens favour the postulates of community and problem oriented policing. They expect through these measures an improvement of their life situation in the community and the feelings of safety. If one takes these results seriously one has to question if the legality principle is still appropriate. It seems to hamper new, more promising policing styles which seem to improve life of it's citizens and reflect what the citizens want and expect from their police force.

A methodology for analysis and control of discrete event dynamic systems

The rapid developments in computer technology have resulted in a widespread use of discrete event dynamic systems (DEDSs). This type of system is complex because it exhibits properties such as concurrency, conflict and non-determinism. It is therefore important to model and analyse such systems before implementation to ensure safe, deadlock free and optimal operation. This thesis investigates current modelling techniques and describes Petri net theory in more detail. It reviews top down, bottom up and hybrid Petri net synthesis techniques that are used to model large systems and introduces on object oriented methodology to enable modelling of larger and more complex systems. Designs obtained by this methodology are modular, easy to understand and allow re-use of designs. Control is the next logical step in the design process. This thesis reviews recent developments in control DEDSs and investigates the use of Petri nets in the design of supervisory controllers. The scheduling of exclusive use of resources is investigated and an efficient Petri net based scheduling algorithm is designed and a re-configurable controller is proposed. To enable the analysis and control of large and complex DEDSs, an object oriented C++ software tool kit was developed and used to implement a Petri net analysis tool, Petri net scheduling and control algorithms. Finally, the methodology was applied to two industrial DEDSs: a prototype can sorting machine developed by Eurotherm Controls Ltd., and a semiconductor testing plant belonging to SGS Thomson Microelectronics Ltd.

A resolução de problemas e o cálculo mental na educação pré-escolar e no ensino do 1.º ciclo do ensino básico: uma reflexão em contexto de estágio

Mestrado (PES II), Educação Pré-Escolar e Ensino do 1º Ciclo do Ensino Básico, 1 de Julho de 2014, Universidade dos Açores.