نتایج جستجو برای: الگوریتم sos
تعداد نتایج: 26865 فیلتر نتایج به سال:
The SANY IP consortium (http://www.sany-ip.eu) has recently developed several interesting service prototypes that extend the usability of the Open Geospatial Consortium "Sensor Web Enablement" (OGC SWE) architecture. One such service prototype, developed by the Austrian Research Centers, is the "cascading SOS" (SOS-X). SOS-X is a client to the underlying OGC Sensor Observation service(s) (SOS)....
Model Based Systems Engineering (MBSE) follows a model centric approach in contrast to the traditional document centric approach. The complexity of SoS development lends itself nicely to a model centric approach, especially a model that can represent the independence of the systems that comprise the SoS. An agent-based model provides a framework where the SoS and each system are independent ent...
In this exploratory work, an integrated systems engineering methodology for analyzing architectures of systems of systems (SoS) involves linking an SoS architecture development process to the DoDAF products, using the systems modeling language (SySML 1.0) to represent DoDAF products, and hence to model the SoS architecture, and linking the SysML diagrams with the SoS architecture development pr...
Sos proteins are ubiquitously expressed activators of Ras. Lymphoid cells also express RasGRP1, another Ras activator. Sos and RasGRP1 are thought to cooperatively control full Ras activation upon T-cell receptor triggering. Using RNA interference, we evaluated whether this mechanism operates in primary human T cells. We found that T-cell antigen receptor (TCR)-mediated Erk activation requires ...
Systems of Systems (SoS) have received a lot of attention recently. In this thesis we will focus on SoS that are built atop the techniques of Service-Oriented Architectures and thus combine the benefits and challenges of both paradigms. For this thesis we will understand SoS as ensembles of single autonomous systems that are integrated to a larger system, the SoS. The interesting fact about the...
Ensuring resilience – the ability to remain dependable in dynamic environment – constitutes a major challenge for engineering systems-of-systems (SoS). In this paper, we take a mission-centric view on the behaviour of SoS and demonstrate how to formally reason about their dependability. We use Event-B as our modelling framework and demonstrate how to formally specify and verify generic system-w...
Modular SOS is a recently-developed variant of Plotkin’s Structural Operational Semantics (SOS) framework. It has several pragmatic advantages over the original framework—the most significant being that rules specifying the semantics of individual language constructs can be given definitively, once and for all. Modular SOS is being used for teaching operational semantics at the undergraduate le...
This chapter defines the overall tool-supported “AMADEOS architectural framework”, with its main building blocks and interfaces. It particularly focuses on Structure, Dependability, Security, Emergence, and Multi-criticality viewpoints of an SoS. Finally, for SoS modeling, a “supporting facility tool” based on Blockly is demonstrated. Blockly is a visual DSL and has been adopted to ease the des...
This study aimed to evaluate changes in tibial bone speed of sound (SOS) over time, in preterm and term infants during infancy, in addition to identifying factors influencing the development of tibial SOS during infancy. Preterm (n = 155) and term (n = 65) infants were enrolled in this study. Tibial bone SOS was measured using quantitative ultrasonography (QUS) on the left tibia of newborn infa...
Growth factor receptors activate Ras by recruiting the nucleotide exchange factor son of sevenless (SOS) to the cell membrane, thereby triggering the production of GTP-loaded Ras. Crystallographic analyses of Ras bound to the catalytic module of SOS have led to the unexpected discovery of a highly conserved Ras binding site on SOS that is located distal to the active site and is specific for Ra...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید