Logic Gates & Feedback: Towards Knowing What’s Going on in the Electronics Lab
- Joshua Underwooda; Hilary Smithb; Rosemary Luckina; Benedict Du Boulayb
Abstract. We describe preliminary work using participatory design methods with teachers looking at how technology might be used to improve teacher awareness of individual students ’ comprehension of key concepts, progression through activities and engagement during classes. We are exploring the use of mobile devices and Learning Management Systems to support face-to-face teaching. Here, we report pilot studies in which we used a class set of tablet PCs and online resources to capture live data about learner progress, comprehension and attitudes during hands-on electronics classes. We report findings in terms of teacher, learner, technical and pragmatic issues. Results suggest our...
Student modeling using fuzzy logic and neural networks
- Regina Stathacopoulou
Abstract. In this thesis a neural network-based fuzzy modeling approach to as-sess student learning characteristic and update the student model in Intelligent Learning Environments is proposed. The neural network-based fuzzy diagnos-tic model is a general diagnostic model which can be used to implement the di-agnostic process in any learning environment according to designers ’ and teachers ' suggestions. Fuzzy logic is used to provide a linguistic description of students ' behavior and learning characteristics, as they have been elicited from teachers, and to handle the inherent uncertainty associated with teachers ’ sub-jective assessments. Neural networks are used to add learning...
Making Sense of Relevant Semantics (draft)
- Tony Roy
Abstract: Involving as it does impossible worlds and the like, the Routley-Meyer worlds semantics for relevant logic has seemed unmo-tivated to some. I set a version of relevant semantics in a context to make sense of its different elements. Suppose a view which makes room for structured properties — or related entities which combine in arbitrary ways to form structured ones. Then it may seem natural to say entailment supervenes upon the structures, so that P entails Q just when part of the condition for being p is being q. If P stands in this relation to Q, a result...
Providing Automated Verification in HOL Using
- Tarek Mhamdi
Abstract. While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a verification framework in which we attempt to strike the balance between the expressiveness of theorem proving and the efficiency and automation of state exploration techniques. To this end, we propose to integrate a layer of checking algorithms based on Multiway Decision Graphs (MDG) in the HOL theorem prover. We deeply embedded the MDG underlying logic in HOL and implemented a platform that provides a set of algorithms allowing the user to develop...
The Logic Grammars based Genetic Programming System
- Man Leung; Wong Kwong; Sak Leung
Inductive Logic Programming (ILP) and Genetic Programming (GP) are two approaches in program induction. However, they are restricted in the computer languages in which programs can be induced. Generic Genetic Programming (GGP) is a novel, powerful, and general approach that combines ILP and GP. Using GGP, programs in various programming languages such as Lisp, Prolog, and Fuzzy Prolog can be evolved. The approach is also powerful enough to handle context-sensitive information and domain-dependent knowledge. In this paper, we describe the details of an implementation of GGP called LOGENPRO (The LOgic grammars based GENetic PROgramming system).
Political and Systemic Issues of Public Schools as Settings for Mental Health Programs and Services
- Robert W. Burke
To those of us passionate about the potential of school mental health (SMH) services, it is a foregone conclusion that such services should be provided for all children in virtually every public school in America. Equally apparent is the stark fact that, at the present time, high quality mental health services are not available in most schools. This gap between logic and reality begs an obvious question: If SMH is such a good idea, then why do such services exist in so few schools? And, more precisely to the point of this Issue Paper, if student mental health is so...
Phonological variation and change in contemporary English: evidence from Newcastle upon Tyne and Derby
- Lesley Milroy; James Milroy; Gerry Docherty; Pa Ul Foulkes; Arlcl Da Vid Walsha W
Tlzis pnper giiw an oi~eriieii ~ of the principal findings of a recent project carried out on plzon»logic~cll inriation and clzarzge ir1 contenil>oran spoken English. We exarnined patterns of pl7onological ~nriarion and change in conternporao\. urban dialects. using quatititr~ii~e sociolinguistic merlzods, instrumenral phonetic, nnd plzonological ana!\.sis. Conilersational and word-list dura itiere.~ysretnaticalb ~.ollected.fr-om 32 n~neside and 32 Derby speakers, euch san~ple being srratlfied to include equal nurnbet-s of men and women. t\vo age-groups and hvo social class groups. Tliis satnplr design alloi.iwd us to assess the irnpact of age, class, and gender on patrerns of langunge i,ariation and cl7ange. as iq'e11...
Fuzzy-Based VerificationProbability Determination Method for Dynamic Filtering
- Man Ho Han; Hae Young Lee; Tae Ho Cho
Sensor nodes may be easily compromised and seized by adversaries, because they are disseminated in hostile environments. Adversaries may try various security attacks on sensor networks using compromised nodes. False data injection attacks using nodes may cause false alarms, and severe energy waste. The dynamic en-route filtering scheme (DEF) can detect and drop false data during the forwarding process. In DEF, each forwarding node verifies data with a certain probability. In terms of energy conservation, this approach is efficient against false traffic, but not against legitimate traffic. In this paper, we propose a fuzzy-based verification-probability determination method for DEF. A...
Why are combined modal logics so robustly undecidable?
- Frank Wolter
One of the main reasons for the success of modal logics in computer science is their unusual robust decidability. Indeed, standard modal logics like polymodal K, S4, and S5, temporal logics like LTL and CTL, dynamic logics like PDL, epistemic logics like S5 with common knowledge, description logics like ALC and SH I Q, and modal spatial logics like S4u, are decidable in EXPTIME [7, 4]. However, modern applications of modal languages often require rather complex formal models and corresponding languages that are capable of reflecting different features of an application domain. It is not sufficient to work with just...
A New Fuzzy Lyapunov Controller for Nonholonomic Mobile Vehicles
- Francesco M. Raimondi; Maurizio Melluso
Abstract:- This paper presents a new fuzzy Lyapunov controller for nonholonomic mobile vehicles. A symbiosis between classical backstepping techniques and fuzzy logic was realized. The control system ensures a good robustness with respect to outside perturbations. These perturbations can interact with the vehicle. They are sources of uncertainty for the system model and can perturb the validity of the nonholonomic constraints. Therefore the trajectory tracking problem with noise is considered. The asymptotic stability of the fuzzy kinematical control system is guaranteed by Lyapunovs method. The algorithm efficiency, error minimization and noises reject are confirmed through simulation examples in Matlab environment.
Implementing weighted abduction in markov logic
- James Blythe; Jerry R. Hobbs; Pedro Domingos; Rohit J. Kate; Raymond J. Mooney
Abduction is a method for finding the best explanation for observations. Arguably the most advanced approach to abduction, especially for natural language processing, is weighted abduction, which uses logical formulas with costs to guide inference. But it has no clear probabilistic semantics. In this paper we propose an approach that imple-ments weighted abduction in Markov logic, which uses weighted first-order formulas to represent probabilistic knowledge, pointing toward a sound probabilistic semantics for weighted abduction. Application to a series of challenge problems shows the power and coverage of our approach. 1
Diffusion tensor imaging in an infant with traumatic brain swelling
- Aaron S. Field; Khader Hasan; Brian J. Jellison; Konstantinos Arfanakis; Andrew L. Alex
Summary: We present the case of a 14-month-old male infant who underwent diffusion tensor imaging within 24 hours of traumatic brain injury. Although conventional MR findings that included those of diffusion-weighted im-aging were unremarkable, full-tensor diffusion imaging re-vealed striking abnormalities in regions of brain that sub-sequently developed overt swelling. This case engenders important hypotheses regarding mechanisms of traumatic brain swelling and anisotropic diffusion of water in patho-logic tissues. Early and accurate diagnosis of traumatic brain injury in the pediatric population remains an impor-tant component in the initial care of the patient with head trauma. Modern neuroimaging plays a primary role...
Tightly coupled fuzzy description logic programs under the answer set semantics for the Semantic Web
- Thomas Lukasiewicz; Umberto Straccia
We present a novel approach to fuzzy description logic programs (or simply fuzzy dl-programs) under the answer set semantics, which is a tight integration of fuzzy disjunctive logic programs under the answer set semantics with fuzzy description logics. From a different perspective, it is a generalization of tightly coupled disjunctive dl-programs by fuzzy vagueness in both the description logic and the logic program component. We show that the new formalism faithfully extends both fuzzy disjunctive logic programs and fuzzy description logics, and that under suitable assumptions, reasoning in the new formalism is decidable. We present a polynomial reduction of certain...
Demonstrations of expressive softwear and ambient media
- Sha Xin Wei; Yoichiro Serita; Jill Fantauzza; Steven Dow; Giovanni Iachello; Vincent Fiano; Joey Berzowska; Yvonne Caravia; Delphine Nain; Wolfgang Reitberger; Julien Fistre
We set the context for three demonstrations by describing the Topological Media Lab's research agenda. We next describe three concrete applications that bundle together some of our responsive ambient media and augmented clothing instruments in illustrative scenarios. The first set of scenarios involves performers wearing ex-pressive clothing instruments walking through a confer-ence or exhibition hall. They act according to heuristics drawn from a phenomenological study of greeting dy-namics, the social dynamics of engagement and disen-gagement in public spaces. We use our study of these dy-namics to guide our design of expressive clothing using wireless sensors, conductive fabrics and on-the-body cir-cuit...
FINITE STATE MACHINE CONTROLLER FOR A THREE-LEVEL ACTIVE HARMONIC COMPENSATOR
- E. A. Memelink; S. D. Round; R. M. Duke
A three-level Active Harmonic Compensator (AHC) switching controller is implemented using a Field Programmable Gate Array (FPGA). An FPGA enables quick implementation of complex logic circuits that can be easily modified through reprogramming. The switching control logic uses a finite state machine within the FPGA to implement fixed band hysteresis current control. The three-level inverter uses a new topology that is presently used in an existing analogue AHC. Simulations are presented using the finite state machine design and operation is verified through a low power experimental unit operating as a current injection unit. 1.
AN EVALUATION OF A CONVECTION DIAGNOSIS ALGORITHM OVER THE GULF OF MEXICO USING NASA TRMM OBSERVATIONS*
- Michael F. Donovan; Earle R. Williams; Cathy Kessinger; Nancy Rehak; Huaqing Cai; Daniel Megenhardt; Richard L. Bankert; Jeffrey Hawkins
Deep convection over the ocean can present a significant hazard to aviation along transoceanic routes. These clouds are occasionally associated with severe turbulence, icing, strong vertical updrafts and lightning. Infrared (IR) geostationary satellite observations help to identify the locations of large cloud regions but alone do not provide insight into the internal cloud structure and are incapable of distinguishing clouds that contain hazards from those that are more benign. A Convective Diagnosis Oceanic (CDO) algorithm developed at the National Center for Atmospheric Research (NCAR) applies a fuzzy logic, data fusion technique to the outputs of three satellite-based convection detection algorithms...
Soft error rate analysis for combinational logic using an accurate electrical masking model
- Feng Wang; Yuan Xie; R. Rajaraman; B. Vaidyanathan
Abstract — Accurate electrical masking modeling represents a significant challenge in soft error rate analysis for combinational logic circuits. In this paper, we use table lookup MOSFET models to accurately capture the nonlinear properties of submicron MOS transistors. Based on these models, we propose and validate the transient pulse generation model and propagation model for soft error rate analysis. The pulse generated by our pulse generation model matches well with that of HSPICE simulation, and the pulse propagation model provides nearly one order of magnitude improvement in accuracy over the previous models. Using these two models, we propose an accurate...
Using Soft-computing Methods
- George Meyer; George Meyer
and animal growth and environmental factors, modeling, and instrumentation and controls for both agricultural and biological systems engineering students for 28 years. He has received national paper awards and recognition for his work in distance education and has received university teaching awards. His current research include measurement and modeling of crop water stress, fuzzy logic controls for turf irrigation management, and machine vision detection, enumeration, and plant species identification for spot spraying control and precision agriculture. David Jones, University of Nebraska-Lincoln DAVID JONES, Professor, has taught graduate and undergraduate classes that involve fuzzy set theory and soft computing techniques, risk...
Diseño del programa de control para una celda de manufactura flexible didáctica
- Murillo Soto, Luis Diego
An alternative way to program the controller of a Flexible Manufacturing Cell (FMC) is to use the proposed theory by Huang, Lewis, Pastravanu & Gurel (1995) called the matrix based approach for discrete event systems. This theory was designed to run on computers, where execution of binary matrix operations in real time is not a problem; however the implementation of these operations in commercial programmable controllers (PLC) is not realizable in direct way, because most of the PLCs are programmed using graphics language as the called Ladder Logic Diagram (LLD). The above restriction causes this powerful programming tool, excludes the...
Una colonización doble vinculante: Una reflexión política, legal y crítica
- Rivera Santana, Carlos
En este artículo presento una reflexión acerca de la diversidad cultural en el contexto de la colonización. Puerto Rico como contexto de colonización manifiesta expresiones culturales y burocráticas de subyugación que matizan el fenómeno de la diversidad cultural en Puerto Rico. Una apreciación de la historicidad de la constitución de la colonización del país revela que en la lógica las minorías no sólo marginalizan sino privilegian políticamente. Por lo tanto, en una nación de minorías una diversidad cultural es marginalizada cultural y burocráticamente. Esto se expresa en la ausencia total de política pública en Puerto Rico acerca de la diversidad...