Search results for "SPECIFICATION"

Review of IEEE 802.22 and IEC 61850 for real-time communication in Smart Grid

2015

Real time data communication in Smart Grid is a big challenge due to its vastness and complexities. Wireless Regional Area Network (WRAN) - IEEE 802.22 permits opportunistic use of television white space (TVWS) by secondary user, if it is not being utilized by primary user. This standard has the potential to transfer big data of smart grid in real time to control center. The IEC 61850 is the standard for electrical substation automation that uses TCP/IP for data transfer among different ‘intelligent electronic devices’ (IEDs). IEC 61850 consists of different message types which belong to different performance classes that are mapped to different communication protocols. The different perfor…

Adding Partial Functions to Constraint Logic Programming with Sets

2015

AbstractPartial functions are common abstractions in formal specification notations such as Z, B and Alloy. Conversely, executable programming languages usually provide little or no support for them. In this paper we propose to add partial functions as a primitive feature to a Constraint Logic Programming (CLP) language, namely {log}. Although partial functions could be programmed on top of {log}, providing them as first-class citizens adds valuable flexibility and generality to the form of set-theoretic formulas that the language can safely deal with. In particular, the paper shows how the {log} constraint solver is naturally extended in order to accommodate for the new primitive constrain…

A syntax controlled generator of formal language processors

1963

Model-based specification and validation of the dual-mode adaptive MAC protocol

2018

Wireless sensor and actuator networks (WSANs) rely on MAC protocols to coordinate access to the wireless medium access and for managing the radio unit on each device. The dual-mode adaptive MAC (DMAMAC) protocol is a recently proposed protocol designed to reduce the energy consumption of the radio communication in WSANs. The DMAMAC protocol targets the industrial WSANs used for real-time process control. At its core, DMAMAC exploits the distinction between transient and steady of the controlled plant process to dynamically adapt the MAC superframe structure and thereby conserve energy. The switch between steady and transient mode of operation is a safety-critical part of the protocol. The c…

The Increase in Maternal Expression ofaxin1andaxin2Contribute to the Zebrafish MutantIchabodVentralized Phenotype

2015

β-catenin is a central effector of the Wnt pathway and one of the players in Ca+-dependent cell-cell adhesion. While many wnts are present and expressed in vertebrates, only one β-catenin exists in the majority of the organisms. One intriguing exception is zebrafish that carries two genes for β-catenin. The maternal recessive mutation ichabod presents very low levels of β-catenin2 that in turn affects dorsal axis formation, suggesting that β-catenin1 is incapable to compensate for β-catenin2 loss and raising the question of whether these two β-catenins may have differential roles during early axis specification. Here we identify a specific antibody that can discriminate selectively for β-ca…

Aligning Two Specifications for Controlling Information Security

2014

Assuring information security is a necessity in modern organizations. Many recommendations for information security management exist, which can be used to define a baseline of information security requirements. ISO/ IEC 27001 prescribes a process for an information security management system, and guidance to implement security controls is provided in ISO/IEC 27002. Finnish National Security Auditing Criteria (KATAKRI) has been developed by the national authorities in Finland as a tool to verify maturity of information security practices. KATAKRI defines both security control objectives and security controls to meet an objective. Here the authors compare and align these two specifications in…

Computing Platform for Virtual Economic Activities Index

2018

The authors enter three economic activity indices, which are calculated from the data in the virtual space on basis of Mobile Operator Call Description Records, Internet Log Files and News Portal audience textual comments and remarks analysis. The article provides the computing facility and the software specification for the Big Data computational platform. Indicates the need to comply this platform with strategy of data privacy requirements solutions and the visualization of results with data geographical mapping.

Advanced RDB-to-RDF/OWL Mapping Facilities in RDB2OWL

2011

We present advanced features of RDB2OWL mapping specification language that allows expressing RDB-to-RDF/OWL mappings in a concise and human comprehensible way. The RDB2OWL mappings can be regarded as documentation of the database-to-ontology relation. The RDB2OWL language uses the OWL ontology structure as a backbone for mapping specification by placing the database link information into the annotations for ontology classes and properties. Its features include reuse of database table key information, user defined scalar and aggregate functions, table-based functions and multiclass conceptualization that is essential to keep mappings compact in case when large tables are mapped onto several…

On the roles of Notch, Delta, kuzbanian, and inscuteable during the development of Drosophila embryonic neuroblast lineages

2009

AbstractThe generation of cellular diversity in the nervous system involves the mechanism of asymmetric cell division. Besides an array of molecules, including the Par protein cassette, a heterotrimeric G protein signalling complex, Inscuteable plays a major role in controlling asymmetric cell division, which ultimately leads to differential activation of the Notch signalling pathway and correct specification of the two daughter cells. In this context, Notch is required to be active in one sibling and inactive in the other. Here, we investigated the requirement of genes previously known to play key roles in sibling cell fate specification such as members of the Notch signalling pathway, e.g…

Lysosomal Signaling Licenses Embryonic Stem Cell Differentiation via Inactivation of Tfe3

2019

International audience; Self-renewal and differentiation of pluripotent murine embryonic stem cells (ESCs) is regulated by extrinsic signaling pathways. It is less clear whether cellular metabolism instructs developmental progression. In an unbiased genome-wide CRISPR/Cas9 screen, we identified components of a conserved amino-acid-sensing pathway as critical drivers of ESC differentiation. Functional analysis revealed that lysosome activity, the Ragulator protein complex, and the tumor-suppressor protein Folliculin enable the Rag GTPases C and D to bind and seclude the bHLH transcription factor Tfe3 in the cytoplasm. In contrast, ectopic nuclear Tfe3 represses specific developmental and met…