913 resultados para Embedded System, Domain Specific Language (DSL), Agenti BDI, Arduino, Agentino


Relevância:

40.00% 40.00%

Publicador:

Resumo:

A szerző korábban a szocialista rendszer és a posztszocialista átmenet elemzésére használta azt a szemléletet és módszertant, amelyet rendszerparadigmának nevezett el. A jelen tanulmány a kapitalizmus néhány általános vonásának vizsgálatára alkalmazza ezt a megközelítést. A cikk - fogalmi tisztázás után - példákat sorol fel a kapitalizmus néhány rendszerspecifikus vonására, majd kettővel részletesebben foglalkozik. Az egyik: a rendszer dinamizmusa. Az elmúlt évszázad nagy újításai, amelyek mélyrehatóan átalakították nemcsak a termelés technológiáját, hanem az emberek mindennapi életét is, a kapitalista rendszer és annak főszereplője, a vállalkozó vezette be és terjesztette el. Csak a kapitalizmusban tud kialakulni a vállalkozás és újítás mechanizmusa, az ehhez szükséges erőteljes ösztönzés és rugalmas tőkepiac. A másik példa: a kapitalista rendszer immanens tulajdonsága a munkaerőpiacon jelentkező tartós többlet, szemben a szocialista rendszerrel, amelynek kifejlett formájában tartós munkaerőhiány mutatkozik. Elméletileg és tapasztalatilag is igazolható, hogy minél dinamikusabb a kapitalista gazdaság állandó átalakulása, annál inkább keletkezik strukturális munkanélküliség. A hatékony bér elmélete megmagyarázza, miért érdeke a munkaadónak, hogy a piactisztító bérnél magasabb bért fizessen, és ezzel munkanélküliséget idézzen elő. A kapitalizmus reformálható rendszer. Ám ügyelni kell arra, hogy a részreformok között milyen a kapcsolat. Szerencsés esetben kiegészítik egymást. Ám ennél sokkal gyakoribb, hogy miközben szembeszállunk a rendszer egyik kedvezőtlen hajlamával, utat engedünk egy másik kedvezőtlen hajlam megerősödésének. ___________________ The author previously applied the outlook and methodology he named the system paradigm to analysing the socialist system and post-socialist transition. This study takes the same approach to some general attributes of capitalism. After clarifying some concepts, the author presents examples of some system-specific features of capitalism, before ad-dressing two of them in detail. One is the dynamism of the system. The great innovations of the last century that radically altered both the technology of production and people s daily lives were all introduced and disseminated by the capitalist system and its protago-nist, the entrepreneur. Only under capitalism can the mechanism of entrepreneurship and innovation emerge, with the strong incentives and flexible capital market they require. The other immanent feature is a chronic surplus on the labour market that contrasts sharply with the chronic labour shortage prevalent under the mature socialist system. Theory and experience confirm that the faster the ongoing transformation of a capitalist economy proceeds, the greater the propensity for structural unemployment to appear. It is explained by the efficiency pay hypothesis how an employer has an incentive to pay more than a market-clearing wage, thereby introducing unemployment. Capitalism is a system that can be reformed, but attention needs paying to relations between reforms of different parts of the system. In fortunate cases they complement each other, but it is commoner to find that tackling one unfavourable tendency only allows another such tendency to increase.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Unified Modeling Language (UML) is the most comprehensive and widely accepted object-oriented modeling language due to its multi-paradigm modeling capabilities and easy to use graphical notations, with strong international organizational support and industrial production quality tool support. However, there is a lack of precise definition of the semantics of individual UML notations as well as the relationships among multiple UML models, which often introduces incomplete and inconsistent problems for software designs in UML, especially for complex systems. Furthermore, there is a lack of methodologies to ensure a correct implementation from a given UML design. The purpose of this investigation is to verify and validate software designs in UML, and to provide dependability assurance for the realization of a UML design.^ In my research, an approach is proposed to transform UML diagrams into a semantic domain, which is a formal component-based framework. The framework I proposed consists of components and interactions through message passing, which are modeled by two-layer algebraic high-level nets and transformation rules respectively. In the transformation approach, class diagrams, state machine diagrams and activity diagrams are transformed into component models, and transformation rules are extracted from interaction diagrams. By applying transformation rules to component models, a (sub)system model of one or more scenarios can be constructed. Various techniques such as model checking, Petri net analysis techniques can be adopted to check if UML designs are complete or consistent. A new component called property parser was developed and merged into the tool SAM Parser, which realize (sub)system models automatically. The property parser generates and weaves runtime monitoring code into system implementations automatically for dependability assurance. The framework in the investigation is creative and flexible since it not only can be explored to verify and validate UML designs, but also provides an approach to build models for various scenarios. As a result of my research, several kinds of previous ignored behavioral inconsistencies can be detected.^

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The purpose of this investigation was to develop and implement a general purpose VLSI (Very Large Scale Integration) Test Module based on a FPGA (Field Programmable Gate Array) system to verify the mechanical behavior and performance of MEM sensors, with associated corrective capabilities; and to make use of the evolving System-C, a new open-source HDL (Hardware Description Language), for the design of the FPGA functional units. System-C is becoming widely accepted as a platform for modeling, simulating and implementing systems consisting of both hardware and software components. In this investigation, a Dual-Axis Accelerometer (ADXL202E) and a Temperature Sensor (TMP03) were used for the test module verification. Results of the test module measurement were analyzed for repeatability and reliability, and then compared to the sensor datasheet. Further study ideas were identified based on the study and results analysis. ASIC (Application Specific Integrated Circuit) design concepts were also being pursued.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

This study investigated the effects of repeated readings on the reading abilities of 4, third-, fourth-, and fifth-grade English language learners (ELLs) with specific learning disabilities (SLD). A multiple baseline probe design across subjects was used to explore the effects of repeated readings on four dependent variables: reading fluency (words read correctly per minute; wpm), number of errors per minute (epm), types of errors per minute, and answer to literal comprehension questions. Data were collected and analyzed during baseline, intervention, generalization probes, and maintenance probes. Throughout the baseline and intervention phases, participants read a passage aloud and received error correction feedback. During baseline, this was followed by fluency and literal comprehension question assessments. During intervention, this was followed by two oral repeated readings of the passage. Then the fluency and literal comprehension question assessments were administered. Generalization probes followed approximately 25% of all sessions and consisted of a single reading of a new passage at the same readability level. Maintenance sessions occurred 2-, 4-, and 6-weeks after the intervention ended. The results of this study indicated that repeated readings had a positive effect on the reading abilities of ELLs with SLD. Participants read more wpm, made fewer epm, and answered more literal comprehension questions correctly. Additionally, on average, generalization scores were higher in intervention than in baseline. Maintenance scores were varied when compared to the last day of intervention, however, with the exception of the number of hesitations committed per minute maintenance scores were higher than baseline means. This study demonstrated that repeated readings improved the reading abilities of ELLs with SLD and that gains were generalized to untaught passages. Maintenance probes 2-, 4-, and 6- weeks following intervention indicated that mean reading fluency, errors per minute, and correct answers to literal comprehensive questions remained above baseline levels. Future research should investigate the use of repeated readings in ELLs with SLD at various stages of reading acquisition. Further, future investigations may examine how repeated readings can be integrated into classroom instruction and assessments.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Hispanic Generation 1.5 students are foreign-born, U.S. high school graduates who are socialized in the English dominant K-12 school system while still maintaining the native language and culture at home (Allison, 2006; Blumenthal, 2002; Harklau, Siegal, & Losey, 1999; Rumbault & Ima, 1988). When transitioning from high school to college, these students sometimes assess into ESL courses based on their English language abilities, and because of this ESL placement, Hispanic Generation 1.5 students might have different engagement experiences than their mainstream peers. Engagement is a critical factor in student success and long-term retention because students’ positive and negative engagement experiences affect their membership and sense of belonging at the institution. The purpose of this study was to describe the engagement and membership experiences of Hispanic Generation 1.5 students’ at a Massachusetts community college. This study employed naturalistic inquiry within an embedded descriptive case study design that included three units of analysis: the students’ engagement experiences in (a) ESL courses, (b) developmental courses, and (c) mainstream courses. The main source of data was in-depth interviews with Hispanic Generation 1.5 students at Commonwealth of Massachusetts Community College. Criterion sampling was used to select the interview participants, ensuring that all participants were native Spanish speakers and were taking or had taken at least one ESL course at the institution. The study findings show that these Hispanic Generation 1.5 students at the college did not perceive peer engagement as critical to academic success. Most times the participants avoided peer engagement outside of the classroom, especially with fellow Hispanic students, who they felt would deter them from their English language development and general academic work. Engagement with ESL faculty and ESL academic support staff played the most critical role in the participants’ sense of belonging and success, and students who were required to engage with faculty and academic support staff outside of the classroom were the most satisfied with their educational experiences. While the participants were all disappointed with some aspect of their ESL placement, they valued the ESL engagement experiences more than the engagement experiences while completing developmental and credit coursework.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

This study evaluates the effects of repeated readings on the reading fluency and comprehension of 4 third through fifth grade English Language Learners (ELLs) with Specific Learning Disabilities (SLD). The results indicate gains in fluency, a decrease in errors, and an increase in correct answers to literal comprehension questions.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The Rab family of proteins are low molecular weight GTPases that have the ability to switch between GTP- (active) and GDP- (inactive) bound form, and in that sense act as molecular switches. Through distinct localization on various vesicles and organelles and by cycling through GTP/GDP bound forms, Rabs are able to recruit and activate numerous effector proteins, both spatially and temporally, and hence behave as key regulators of trafficking in both endocytic and biosynhtetic pathways. The Rab5 protein has been shown to regulate transport from plasma membrane to the early endosome as well as activate signaling pathways from the early endosome. This dissertation focused on understanding Rab5 activation via endocytosis of receptor tyrosine kinases (RTKs). First, tyrosine kinase activity of RTKs was linked to endosome fusion by demonstrating that tyrosine kinase inhibitors block endosome fusion and activation of Rab5, and a constitutively active form of Rab5 is able to rescue endosome fusion. However, depending on how much ligand is available at the cell surface, the receptor-ligand complexes can be internalized via a number of distinct pathways. Similarly, Rab5 was activated in a ligand-dependent concentration dependent manner via clathrin- and caveolin-mediated pathways, as well as a pathway independent of both. However, overexpression Rabex-5, a nucleotide exchange factor for Rab5, is able to rescue activation even when all of the pathways of EGF-receptor internalization were blocked. Next, the three naturally occurring splice variants of Rabex-5 selectively activated Rab5. Lastly, Rabex-5 inhibits differentiation of 3T3-L1 and PC12 cells through 1) degradation of signaling endosome via Rab5-dependent fusion with the early endosome, 2) and inhibition of signaling cascade via ubiquitination of Ras through the ZnF domain at the N-terminus of Rabex-5. In conclusion, these data shed light on complexity of the endosomal trafficking system where tyrosine kinase activity of the receptor is able to affect endosome fusion; how different endocytic pathways affect activation of one of the key regulators of early endocytic events; and how selective activation of Rab5 via Rabex-5 can control adipogenesis and neurogenesis.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Students with specific learning disabilities (SLD) typically learn less history content than their peers without disabilities and show fewer learning gains. Even when they are provided with the same instructional strategies, many students with SLD struggle to grasp complex historical concepts and content area vocabulary. Many strategies involving technology have been used in the past to enhance learning for students with SLD in history classrooms. However, very few studies have explored the effectiveness of emerging mobile technology in K-12 history classrooms. This study investigated the effects of mobile devices (iPads) as an active student response (ASR) system on the acquisition of U.S. history content of middle school students with SLD. An alternating treatments single subject design was used to compare the effects of two interventions. There were two conditions and a series of pretest probesin this study. The conditions were: (a) direct instruction and studying from handwritten notes using the interactive notebook strategy and (b) direct instruction and studying using the Quizlet App on the iPad. There were three dependent variables in this study: (a) percent correct on tests, (b) rate of correct responses per minute, and (c) rate of errors per minute. A comparative analysis suggested that both interventions (studying from interactive notes and studying using Quizlet on the iPad) had varying degrees of effectiveness in increasing the learning gains of students with SLD. In most cases, both interventions were equally effective. During both interventions, all of the participants increased their percentage correct and increased their rate of correct responses. Most of the participants decreased their rate of errors. The results of this study suggest that teachers of students with SLD should consider a post lesson review in the form of mobile devices as an ASR system or studying from handwritten notes paired with existing evidence-based practices to facilitate students’ knowledge in U.S. history. Future research should focus on the use of other interactive applications on various mobile operating platforms, on other social studies subjects, and should explore various testing formats such as oral question-answer and multiple choice.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

This study investigated the effects of repeated readings on the reading abilities of 4, third-, fourth-, and fifth-grade English language learners (ELLs) with specific learning disabilities (SLD). A multiple baseline probe design across subjects was used to explore the effects of repeated readings on four dependent variables: reading fluency (words read correctly per minute; wpm), number of errors per minute (epm), types of errors per minute, and answer to literal comprehension questions. Data were collected and analyzed during baseline, intervention, generalization probes, and maintenance probes. Throughout the baseline and intervention phases, participants read a passage aloud and received error correction feedback. During baseline, this was followed by fluency and literal comprehension question assessments. During intervention, this was followed by two oral repeated readings of the passage. Then the fluency and literal comprehension question assessments were administered. Generalization probes followed approximately 25% of all sessions and consisted of a single reading of a new passage at the same readability level. Maintenance sessions occurred 2-, 4-, and 6-weeks after the intervention ended. The results of this study indicated that repeated readings had a positive effect on the reading abilities of ELLs with SLD. Participants read more wpm, made fewer epm, and answered more literal comprehension questions correctly. Additionally, on average, generalization scores were higher in intervention than in baseline. Maintenance scores were varied when compared to the last day of intervention, however, with the exception of the number of hesitations committed per minute maintenance scores were higher than baseline means. This study demonstrated that repeated readings improved the reading abilities of ELLs with SLD and that gains were generalized to untaught passages. Maintenance probes 2-, 4-, and 6- weeks following intervention indicated that mean reading fluency, errors per minute, and correct answers to literal comprehensive questions remained above baseline levels. Future research should investigate the use of repeated readings in ELLs with SLD at various stages of reading acquisition. Further, future investigations may examine how repeated readings can be integrated into classroom instruction and assessments.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Acknowledgments The authors would like to thank Shell E&P Rijswijk, for supporting this research. The authors are grateful to Pat Shannon, Catherine Baudon and Dominique Frizon de Lamotte for many discussions on rift processes. We would like to thank Steven Bergman for thorough comments on an early version of the paper, and Chris Morley and an anonymous reviewer for sharing ideas and references for writing a better paper

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Secure Access For Everyone (SAFE), is an integrated system for managing trust

using a logic-based declarative language. Logical trust systems authorize each

request by constructing a proof from a context---a set of authenticated logic

statements representing credentials and policies issued by various principals

in a networked system. A key barrier to practical use of logical trust systems

is the problem of managing proof contexts: identifying, validating, and

assembling the credentials and policies that are relevant to each trust

decision.

SAFE addresses this challenge by (i) proposing a distributed authenticated data

repository for storing the credentials and policies; (ii) introducing a

programmable credential discovery and assembly layer that generates the

appropriate tailored context for a given request. The authenticated data

repository is built upon a scalable key-value store with its contents named by

secure identifiers and certified by the issuing principal. The SAFE language

provides scripting primitives to generate and organize logic sets representing

credentials and policies, materialize the logic sets as certificates, and link

them to reflect delegation patterns in the application. The authorizer fetches

the logic sets on demand, then validates and caches them locally for further

use. Upon each request, the authorizer constructs the tailored proof context

and provides it to the SAFE inference for certified validation.

Delegation-driven credential linking with certified data distribution provides

flexible and dynamic policy control enabling security and trust infrastructure

to be agile, while addressing the perennial problems related to today's

certificate infrastructure: automated credential discovery, scalable

revocation, and issuing credentials without relying on centralized authority.

We envision SAFE as a new foundation for building secure network systems. We

used SAFE to build secure services based on case studies drawn from practice:

(i) a secure name service resolver similar to DNS that resolves a name across

multi-domain federated systems; (ii) a secure proxy shim to delegate access

control decisions in a key-value store; (iii) an authorization module for a

networked infrastructure-as-a-service system with a federated trust structure

(NSF GENI initiative); and (iv) a secure cooperative data analytics service

that adheres to individual secrecy constraints while disclosing the data. We

present empirical evaluation based on these case studies and demonstrate that

SAFE supports a wide range of applications with low overhead.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The observation chart is for many health professionals (HPs) the primary source of objective information relating to the health of a patient. Information Systems (IS) research has demonstrated the positive impact of good interface design on decision making and it is logical that good observation chart design can positively impact healthcare decision making. Despite the potential for good observation chart design, there is a paucity of observation chart design literature, with the primary source of literature leveraging Human Computer Interaction (HCI) literature to design better charts. While this approach has been successful, this design approach introduces a gap between understanding of the tasks performed by HPs when using charts and the design features implemented in the chart. Good IS allow for the collection and manipulation of data so that it can be presented in a timely manner that support specific tasks. Good interface design should therefore consider the specific tasks being performed prior to designing the interface. This research adopts a Design Science Research (DSR) approach to formalise a framework of design principles that incorporates knowledge of the tasks performed by HPs when using observation charts and knowledge pertaining to visual representations of data and semiology of graphics. This research is presented in three phases, the initial two phases seek to discover and formalise design knowledge embedded in two situated observation charts: the paper-based NEWS chart developed by the Health Service Executive in Ireland and the electronically generated eNEWS chart developed by the Health Information Systems Research Centre in University College Cork. A comparative evaluation of each chart is also presented in the respective phases. Throughout each of these phases, tentative versions of a design framework for electronic vital sign observation charts are presented, with each subsequent iteration of the framework (versions Alpha, Beta, V0.1 and V1.0) representing a refinement of the design knowledge. The design framework will be named the framework for the Retrospective Evaluation of Vital Sign Information from Early Warning Systems (REVIEWS). Phase 3 of the research presents the deductive process for designing and implementing V0.1 of the framework, with evaluation of the instantiation allowing for the final iteration V1.0 of the framework. This study makes a number of contributions to academic research. First the research demonstrates that the cognitive tasks performed by nurses during clinical reasoning can be supported through good observation chart design. Secondly the research establishes the utility of electronic vital sign observation charts in terms of supporting the cognitive tasks performed by nurses during clinical reasoning. Third the framework for REVIEWS represents a comprehensive set of design principles which if applied to chart design will improve the usefulness of the chart in terms of supporting clinical reasoning. Fourth the electronic observation chart that emerges from this research is demonstrated to be significantly more useful than previously designed charts and represents a significant contribution to practice. Finally the research presents a research design that employs a combination of inductive and deductive design activities to iterate on the design of situated artefacts.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Taxonomies have gained a broad usage in a variety of fields due to their extensibility, as well as their use for classification and knowledge organization. Of particular interest is the digital document management domain in which their hierarchical structure can be effectively employed in order to organize documents into content-specific categories. Common or standard taxonomies (e.g., the ACM Computing Classification System) contain concepts that are too general for conceptualizing specific knowledge domains. In this paper we introduce a novel automated approach that combines sub-trees from general taxonomies with specialized seed taxonomies by using specific Natural Language Processing techniques. We provide an extensible and generalizable model for combining taxonomies in the practical context of two very large European research projects. Because the manual combination of taxonomies by domain experts is a highly time consuming task, our model measures the semantic relatedness between concept labels in CBOW or skip-gram Word2vec vector spaces. A preliminary quantitative evaluation of the resulting taxonomies is performed after applying a greedy algorithm with incremental thresholds used for matching and combining topic labels.