Hybrid Multiresolution Simulation & Model Checking: Network-On-Chip Systems

abstract: Designers employ a variety of modeling theories and methodologies to create functional models of discrete network systems. These dynamical models are evaluated using verification and validation techniques throughout incremental design stages. Models created for these systems should directly represent their growing complexity with respect to composition and heterogeneity. Similar to software engineering practices, incremental model design is required for complex system design. As a result, models at early increments are significantly simpler relative to real systems. While experimenting (verification or validation) on models at early increments are computationally less demanding, the results of these experiments are less trustworthy and less rewarding. At any increment of design, a set of tools and technique are required for controlling the complexity of models and experimentation. A complex system such as Network-on-Chip (NoC) may benefit from incremental design stages. Current design methods for NoC rely on multiple models developed using various modeling frameworks. It is useful to develop frameworks that can formalize the relationships among these models. Fine-grain models are derived using their coarse-grain counterparts. Moreover, validation and verification capability at various design stages enabled through disciplined model conversion is very beneficial. In this research, Multiresolution Modeling (MRM) is used for system level design of NoC. MRM aids in creating a family of models at different levels of scale and complexity with well-formed relationships. In addition, a variant of the Discrete Event System Specification (DEVS) formalism is proposed which supports model checking. Hierarchical models of Network-on-Chip components may be created at different resolutions while each model can be validated using discrete-event simulation and verified via state exploration. System property expressions are defined in the DEVS language and developed as Transducers which can be applied seamlessly for model checking and simulation purposes. Multiresolution Modeling with verification and validation capabilities of this framework complement one another. MRM manages the scale and complexity of models which in turn can reduces V&V time and effort and conversely the V&V helps ensure correctness of models at multiple resolutions. This framework is realized through extending the DEVS-Suite simulator and its applicability demonstrated for exemplar NoC models.Dissertation/ThesisDoctoral Dissertation Computer Science 201

Solución de estudio de caso bajo tecnología CISCO.

Solución de estudio de caso bajo tecnología CISCO.Se analiza dos escenarios de caso de estudio bajo las tecnologia Cisco, como se dividen las redes en grupos de host para administrar el flujo de paquete de datos dentro de una red. Tmbien se examina la forma enque se facilita la comunicacion entre redes a esta comunicacion se le denomina enrutamiento.The network layer protocols of the OSI model specify the addressingand processes that allow the transport layer data to be packaged and transported. The encapsulation of the network layer allows the data tobe transmitted to a destination whitin the network or of another network with a minimum overload. Inthis course, two important study scenarios were strengthened to apply the knowledge within the course of CCNA 1 and y CCNA 2. in the CISCO course, we can simulate the different ways of administering a network topology. in scenario 1 of the study proposed by the CCNA teacher Juan carlos Vesga, as a final work for this diploma, a recognition i

The use of computer-aided drug design in small molecule drug discovery

Drug discovery is one of the most challenging research fields that contributes to the birth of novel drugs for therapeutic use. Due to the complexity and intricate nature of the research, lengthy processes are involved in identifying potential hit molecules for a therapeutic target. To shorten the time required to reach the hit-to-lead stage, computer-aided drug design (CADD) has been used to expedite the process and reduce laboratory expenses. Common strategies used within CADD involve structure-based drug design (SBDD) and ligand-based drug design (LBDD). Both strategies were used extensively in two projects showing the complementarity of each strategy throughout the process. In this work, two separate drug discovery projects are detailed: Design, synthesis and molecular docking study of novel tetrahydrocurcumin analogues as potential sarcoplasmic-endoplasmic reticulum calcium ATPases (SERCA) inhibitors – details the identification, synthesis and testing of potential hit candidate(s) targeting SERCA by using SBDD Filamenting temperature-sensitive mutant Z (FtsZ) as therapeutic target in ligand-based drug design – details the identification, synthesis and testing of potential hit molecule(s) targeting FtsZ In the first project, homology modelling and virtual compound library screening were utilised as the SBDD methods to identify potential hit molecules for testing in P-type calcium ATPases such as SERCA. Preliminary results have found compound 20, an analogue of tetrahydrocurcumin, to show some SERCA inhibitory effect at 300µM based on a SERCA-specific calcium signalling assay performed via fluorometric imaging plate reader. Molecular docking study has also reflected this outcome with desirable ligand-protein binding energies found for 20 when compared with other tested ligands. Pharmacophore screening was used as the main LBDD method in the second project to identify probable hit candidates targeting FtsZ. Potential ligands were synthesised, and tested for antibacterial effect in Bacillus Subtilis strain 168 (Bs168) and Streptococcus pneumoniae strain R6 (SpnR6) cells. One of the tetrahydrocurcumin analogues, compound 4, was found to have minimum inhibitory concentration (MIC) ≤ 10 µM in Bs168 cells and ≤ 2 µM in spnR6 cells. The IC50 values for 4 were 9.1 ± 0.01 µM and 1 ± 0.01 µM in Bs168 and SpnR6 cells respectively. The MIC of 4 was found to be very similar to the MIC of compound 1, a known hit compound targeting against Bs168 cells. On the other hand, the MIC of 4 was lower than the MIC (> 64 µg/mL) of a well-known FtsZ inhibitor, PC190723, against S. pneumoniae. Subsequent molecular docking analyses were completed to evaluate the ligand-protein binding energies to correlate against the testing results. Both compounds 20 and 4 possess some structural similarities and differences that may confer their different effects in these protein targets, which render both with potentials to become the next lead molecules for future development

Report of the selectmen, overseers of the poor, and town treasurer of Wilton, N.H. for the year ending February 25, 1865.

This is an annual report containing vital statistics for a town/city in the state of New Hampshire

A study to determine similarities and variances among medical-surgical nursing instructors in rating selected science principles underlying the nursing care of a patient with an ileostomy

Thesis (M.S.)--Boston Universit

Burning the incestuous fox. A Tibetan fumigation ritual (wa bsang)

Cet article étudie des représentations textuelles précédemment négligées d'une tradition rituelle assez inhabituelle consistant à brûler un renard. Des textes mongols similaires ont déjà été discutés par un certain nombre de chercheurs et cet article souligne le fait que ces textes mongols sont, de manière évidente, des traductions d’originaux tibétains. Cet article traite d’un corpus de textes récemment publiés provenant de Dongtrom (lDong khrom) ou Datshang (mDa’ tshang) en Amdo, parmi lesquels se trouvent cinq versions tibétaines apparentées à des versions mongoles. Trois autres textes tibétains sont également discutés. La mention fréquente des êtres nyen (gnyan) et du prêtre mythique Nyen Bon Thangthang Drolba (gNyan bon Thang thang sgrol ba) désigne néanmoins la Collection nyen (gNyan 'bum) comme la source textuelle principale fournissant le contexte de la tradition.The paper examines the previously neglected textual representations of a rather unusual ritual tradition of burning foxes. Similar Mongolian texts have been already discussed by a number of scholars and it is pointed out in this paper that these Mongolian texts bear clear signs of being translated from the original Tibetan. The paper deals with recently published corpus of texts from Dongtrom (lDong khrom) or Datshang (mDa’ tshang) in Amdo, where some five Tibetan versions related to Mongolian works appear. Three other Tibetan texts are then discussed. The frequent mention of Nyen beings (gnyan) and the mythical priest Nyen Bon Thangthang Drolba (gNyan bon Thang thang sgrol ba) nevertheless points to the Nyen Collection (gNyan ’bum) as a principal textual source providing the context of the tradition

Development of a Methodology for Hybrid Metamodeling of Hierarchical Manufacturing Systems Within a Simulation Framework

Industrial Engineering and Managemen

El Mustang, April 9, 1954

Student newspaper of California Polytechnic State University, San Luis Obispo, CA.https://digitalcommons.calpoly.edu/studentnewspaper/1752/thumbnail.jp