Functional verification of an embedded network component by co-simulation with a real network

2002 ◽  
Author(s):  
R. Pasko ◽  
R. Cmar ◽  
P. Schaumont ◽  
S. Vernalde
Keyword(s):  
Functional Verification ◽  
Real Network ◽  
Embedded Network ◽  
Network Component

scholarly journals Defining the Rules and Basic Set of Funtional Elements for Effective Modeling of Communication Networks

2021 ◽  
Vol 4 ◽  
pp. 101-107
Author(s):  
Dmytro Cherkasov
Keyword(s):  
Communication Networks ◽  
Packet Filtering ◽  
Real Network ◽  
Complex Information ◽  
Current State ◽  
Basic Set ◽  
Network Operation ◽  
Functional Components ◽  
Different Levels ◽  
Network Component

Communication networks are complex information systems influenced by a vast amount of factors. It is critically important to forecast the paths that data take to verify the network, check its security and plan its updates. Model allows exploring processes that take place in the network without affecting performance and availability of a real network itself. With modelling it becomes possible to investigate the results of infrastructural changes introduced to the network before actually implementing them. It is important to be able to formally convert real network description into the model definition which preserves all data that is significant for network operation and skip data which is not. Outlining the rules for such conversion and using a limited set of basic functional components provide the ground for automatic model creation for the network of different levels of complexity.Proposed approach to modelling of communication networks is based on decomposition of the overall function of every particular real network component into a set of functions that belong to some predefined basic set. Functions of the basic set include L3 routing, L2 switching, packet filtering, NAT, etc. Model of a real network component is defined as a group of functional nodes each of which implements some function from the basic set.Configuration and current state of network components that influence its operation are also decomposed into elements each of which relates to some particular functional node. Configuration of network components is modelled as a set of configuration storage elements and current state is modelled as a set of current state storage elements.Links that connect real network components and links that connect functional nodes in the model are presented as singledirection channels that implement propagation of L2 frames thus simplifying the model due to excluding physical layer (L1) from the scope.Using the proposed approach to modelling may allow to formalize conversion of a real network descrip- tion to a model thus making automated modelling possible. By using a sufficient basic set of functional nodes it is possible to model the network containing components of any complexity level.

Cluster Generation and Network Component Insertion for Topology Synthesis of Application-Specific Network-on-Chips

2012 ◽  
Vol E95-C (4) ◽  
pp. 534-545 ◽  
Author(s):  
Wei ZHONG ◽  
Takeshi YOSHIMURA ◽  
Bei YU ◽  
Song CHEN ◽  
Sheqin DONG ◽  
...  
Keyword(s):  
Cluster Generation ◽  
Application Specific ◽  
Network Component

The SNPs within 3'UTR of miRNA Target Genes Related to Multiple Sclerosis: A Computational Prediction

2020 ◽  
Vol 17 (2) ◽  
pp. 133-147
Author(s):  
Mina Zafarpiran ◽  
Roya Sharifi ◽  
Zeinab Shirvani-Farsani
Keyword(s):  
Multiple Sclerosis ◽  
Gene Regulation ◽  
Binding Sites ◽  
Target Genes ◽  
Demyelinating Disease ◽  
Target Prediction ◽  
Computational Prediction ◽  
Functional Verification ◽  
Candidate Snps ◽  
Inflammatory Genes

Background: Multiple Sclerosis (MS) is an inflammatory and demyelinating disease of the central nervous system, and genetic factors play an important role in its susceptibility. The expressions of many inflammatory genes implicated in MS are regulated by microRNA (miRNAs), whose function is to suppress the translation by pairing with miRNA Recognition Elements (MREs) present in the 3' untranslated region (3'UTR) of target mRNA. Recently, it has been shown that the Single Nucleotide Polymorphism (SNPs) present within the 3'UTR of mRNAs can affect the miRNA-mediated gene regulation and susceptibility to a variety of human diseases. Objective: The aim of this study was to analyze the SNPs within the 3'UTR of miRNA inflammatory target genes related to multiple sclerosis. Methods: By DisGeNET, dbGaP, Ovid, DAVID, Web of knowledge, and SNPs databases, 3'UTR genetic variants were identified in all inflammatory genes associated with MS. Also, miRNA's target prediction databases were used for predicting the miRNA binding sites. Results: We identified 125 SNPs with MAF>0.05 located in the binding site of the miRNA of 35 genes among 59 inflammatory genes related to MS. Bioinformatics analysis predicted 62 MRE-modulating SNPs and 59 MRE-creating SNPs in the 3'UTR of MSimplicated inflammatory genes. These candidate SNPs within miRNA binding sites of inflammatory genes can alter the miRNAs binding, and consequently lead to the mRNA gene regulation. Conclusion: Therefore, these miRNA and MRE-SNPs may play important roles in personalized medicine of MS, and hence, they would be valuable for further functional verification investigations.

scholarly journals Design and Performance Study for Electrothermally Deep-Sea Drive Microunits Using a Paraffin Phase Change Material

Micromachines ◽  
2021 ◽  
Vol 12 (4) ◽  
pp. 415
Author(s):  
Dayong Ning ◽  
Zihao Li ◽  
Gangda Liang ◽  
Qibo Wang ◽  
Weifeng Zou ◽  
...  
Keyword(s):  
Phase Change ◽  
Phase Change Material ◽  
Deep Sea ◽  
Hydraulic System ◽  
Functional Verification ◽  
Performance Study ◽  
Micro Electro Mechanical Systems ◽  
Pressure Compensation ◽  
And Performance ◽  
Change Material

Considering the further exploration of the ocean, the requirements for deep-sea operation equipment have increased. Many problems existing in the widely used deep-sea hydraulic system have become increasingly prominent. Compared with the traditional deep-sea hydraulic system, actuators using a paraffin phase change material (PCM) have incomparable advantages, including lightweight structure, low energy consumption, high adaptability to the deep sea, and good biocompatibility. Thus, a deep-sea drive microunit (DDM) based on paraffin PCM is proposed in this paper. The device adopts a flexible shell, adapting to the high-pressure environment of the deep-sea based on the principle of pressure compensation. The device realizes the output of displacement and force through the electrothermal drive, which can be used as actuator or power source of other underwater operation equipment. The microunit successfully completes the functional verification experiments in air, shallow water, and hydrostatic pressure of 110 MPa. In accordance with experimental results, a reasonable control curve is fitted, highlighting its potential application in deep-sea micro electro mechanical systems, especially in underwater soft robot.

scholarly journals Experimental CanSat Platform for Functional Verification of Burn Wire Triggering-Based Holding and Release Mechanisms

Aerospace ◽  
2021 ◽  
Vol 8 (7) ◽  
pp. 192
Author(s):  
Shankar Bhattarai ◽  
Ji-Seong Go ◽  
Hyun-Ung Oh
Keyword(s):  
Functional Performance ◽  
Flight Test ◽  
Easy Access ◽  
Functional Verification ◽  
Release Mechanism ◽  
Space Technology ◽  
Solar Panels ◽  
Distinctive Features ◽  
Release Mechanisms ◽  
Design Effectiveness

In this study, we present the Diverse Holding and Release Mechanism Can Satellite (DHRM CanSat) platform developed by the Space Technology Synthesis Laboratory (STSL) at Chosun University, South Korea. This platform focuses on several types of holding and release mechanisms (HRMs) for application in deployable appendages of nanosatellites. The objectives of the DHRM CanSat mission are to demonstrate the design effectiveness and functionality of the three newly proposed HRMs based on the burn wire triggering method, i.e., the pogo pin-type HRM, separation nut-type HRM, and Velcro tape-type HRM, which were implemented on deployable dummy solar panels of the CanSat. The proposed mechanisms have many advantages, including a high holding capability, simultaneous constraints in multi-plane directions, and simplicity of handling. Additionally, each mechanism has distinctive features, such as spring-loaded pins to initiate deployment, a plate with a thread as a nut for a high holding capability, and a hook and loop fastener for easy access to subsystems of the satellite without releasing the holding constraint. The design effectiveness and functional performance of the proposed mechanisms were demonstrated through an actual flight test of the DHRM CanSat launched by a model rocket.

scholarly journals Transformation and functional verification of Cry5Aa in cotton

2021 ◽  
Vol 11 (1) ◽  
Author(s):  
Shihao Zhao ◽  
Feng Wang ◽  
Qiuping Zhang ◽  
Jiayi Zou ◽  
Zhangshu Xie ◽  
...  
Keyword(s):  
Resistance Gene ◽  
Insect Resistance ◽  
Expression Patterns ◽  
Instar Larva ◽  
Cotton Bollworm ◽  
Pcr Analysis ◽  
Functional Verification ◽  
Study Results ◽  
Significant Difference ◽  
Transgenic Strains

AbstractMost of the cotton bollworm-resistant genes applied in cotton are more than 20 years and they all belong to Cry1Ab/c family, but the insect-resistant effects of Cry5Aa on cotton were rarely reported. The possible risk of resistance is increasing. The study synthesized a novel bollworm-resistant gene Cry5Aa artificially based on preferences of cotton codon. The new gene was transferred to cotton through the method of pollen tube pathway. The transgenic strains were identified by kanamycin test in field and laboratory PCR analysis. Meanwhile, an insect resistance test was conducted by artificial bollworm feeding with transgenic leaves and GK19 was used as a control in this study. Results showed that rate of positive transgenic strains with kanamycin resistance in the first generation (T1), the second generation (T2) and the third generation (T3) respectively were 7.76%, 73.1% and 95.5%. However, PCR analysis showed that the positive strain rate in T1, T2 and T3 were 2.35%, 55.8% and 94.5%, respectively. The resistant assay of cotton bollworm showed that the mortality rate of the second, third and fourth instar larva feed by the transgenic cotton leaves, were 85.42%, 73.35% and 62.79%, respectively. There was a significant difference between transgenic plant of Cry5Aa and GK19 in insect resistance. Finally, we also conducted the further analysis of gene expression patterns, gene flow and the effect on non-target pest in the study. The results showed that Cry5Aa gene had less environmental impact, and Cry5Aa has been transferred successfully and expressed stably in cotton. Therefore, the novel bollworm resistance gene can partially replace the current insect-resistance gene of Lepidoptera insects.

scholarly journals Transcriptome Analysis of Responses to Dengue Virus 2 Infection in Aedes albopictus (Skuse) C6/36 Cells

Viruses ◽  
2021 ◽  
Vol 13 (2) ◽  
pp. 343
Author(s):  
Manjin Li ◽  
Dan Xing ◽  
Duo Su ◽  
Di Wang ◽  
Heting Gao ◽  
...  
Keyword(s):  
Dengue Virus ◽  
Aedes Albopictus ◽  
Bioinformatics Analysis ◽  
Interaction Mechanism ◽  
Transcriptional Analysis ◽  
Functional Verification ◽  
Mosquito Vector ◽  
Rna Seq ◽  
Sequencing Data ◽  
Qrt Pcr

Dengue virus (DENV), a member of the Flavivirus genus of the Flaviviridae family, can cause dengue fever (DF) and more serious diseases and thus imposes a heavy burden worldwide. As the main vector of DENV, mosquitoes are a serious hazard. After infection, they induce a complex host–pathogen interaction mechanism. Our goal is to further study the interaction mechanism of viruses in homologous, sensitive, and repeatable C6/36 cell vectors. Transcriptome sequencing (RNA-Seq) technology was applied to the host transcript profiles of C6/36 cells infected with DENV2. Then, bioinformatics analysis was used to identify significant differentially expressed genes and the associated biological processes. Quantitative reverse transcription-polymerase chain reaction (qRT-PCR) was performed to verify the sequencing data. A total of 1239 DEGs were found by transcriptional analysis of Aedes albopictus C6/36 cells that were infected and uninfected with dengue virus, among which 1133 were upregulated and 106 were downregulated. Further bioinformatics analysis showed that the upregulated DEGs were significantly enriched in signaling pathways such as the MAPK, Hippo, FoxO, Wnt, mTOR, and Notch; metabolic pathways and cellular physiological processes such as autophagy, endocytosis, and apoptosis. Downregulated DEGs were mainly enriched in DNA replication, pyrimidine metabolism, and repair pathways, including BER, NER, and MMR. The qRT-PCR results showed that the concordance between the RNA-Seq and RT-qPCR data was very high (92.3%). The results of this study provide more information about DENV2 infection of C6/36 cells at the transcriptome level, laying a foundation for further research on mosquito vector–virus interactions. These data provide candidate antiviral genes that can be used for further functional verification in the future.

Sign in / Sign up

Export Citation Format

Share Document