Aiming at the practical problem of the difficulty in identifying associated users when abnormal line loss occurs in the station area, a method for judging and accurately locating the line loss ...abnormality in the station area based on the correlation measurement algorithm is proposed. Firstly, the optimal clustering number of the data set is determined by the gap statistics-contour coefficient fusion algorithm, and on this basis, the dichotomous K-means++ is used to construct the station area line loss standard library. Secondly, the station area line loss anomaly identification is completed based on the standard library and then the abnormal time is determined. The Spearman correlation coefficient (SCC) and Euclidean-discrete Frand#233;chet distance (E-DFD) of each user's power and line loss during the abnormal time is calculated. And based on SCC and E-DFD, a comprehensive evaluation index to analyze user relevance is estabilished. Finally, the technique for order preference by similarity to an ideal solutio
In this project, we are designing a standard library cell with 90nm technology using GNU/Electric with MOCMOS technology. The library cell consists of 24 cells with each cell having the following ...views: Icon, Schematic and Layout. The standard library cell includes Basic Gates, Adder circuits, Flip-flops, Latches and Multiplexers. The parameters: Rise Time, Fall Time and Area for all these cells are calculated and listed in a table. Area of each cell in this library is compared with 180nm (CMOS Cells) and 300nm (MUDD Library) technologies. Simulation of each cell is done using LT-SPICE software. GDS file is generated for these cells and 3D view of the layouts is also shown.
As a particular case study of the formal verification of state-of-the-art, real software, we discuss the specification and verification of a corrected version of the implementation of a linked list ...as provided by the Java Collection Framework.
Real number models, which are computationally efficient analog functional models, are now indispensable in verifying complex mixed-signal systems on chip (SoCs); yet, creating and validating these ...models remain difficult. To remove this problem, we created a framework for building analog functional model templates. Each template covers a class of circuits (e.g., oscillators or amplifiers) and can generate functional models for any implementation of this circuit class, regardless of pin configurations, circuit topologies, and process technologies/corners. This ability to cover many implementations with one template allows one to create a "standard model template" library that covers all the basic analog building blocks used in mixed-signal SoCs. Like a digital standard cell library, this template library only contains the low-level building blocks. Models for more complex systems, such as a phase-locked loop, are constructed using a number of these models. Our template library also contains validation routines for each of the models, measuring the key performance parameters of the modeled function. These routines can also be used to drive the circuit-level implementation of this function, making it easy to update the parameters of the functional models to match their circuit implementations. We demonstrate the utility of our template library on several mixed-signal IPs integrated into an SoC. Using the proposed framework, designers can easily generate a working model of an analog functional block in a second and thus construct a complete mixed-signal IP model for the design exploration in less than a couple of hours, while it typically needs a few days when the models are manually written. The regeneration of the models to reflect the behaviors of real implementations can be seamlessly done in less half a day from the same template library. In addition to the vast improvement in model creation speed, the generated model from the template library is less error-prone by archiving designer's experience from previous mistakes to the template library.
Andrew Gerrand, who works on the Go programming language at Google, speaks with Jeff Meyerson in this excerpt from Software Engineering Radio. His conversation with Jeff begins with a history of the ...language, including the details behind how Go was conceived and how the open source community contributes to it. Andrew explains how Go intends to simplify problems which have been motifs as Google has scaled. The Web extra at http://www.se-radio.net/2014/03/episode-202-andrew-gerrand/ is an audio recording of Jeff Meyerson speaking with Andrew Gerrand about the Go programming language.
This presents a fully-synthesizable cyclic Vernier time-to-digital converter (TDC) which cancels the offsets by a quad-edge offset cancellation (QOC) scheme. The system delays its internal clocks and ...uses the clock offsets to compensate for many types of offsets altogether, which includes the wiring mismatches, the duty cycle skews, and the long-term jitters of the clocks. During calibration, the QOC-TDC measures the offsets of the clock paths. The measured offsets are then canceled in the normal mode. An additional scheme of coarse-fine boundary synchronization further enhances the output monotonicity. Consisting of only standard library cells offering fully-automated implementation, the QOC-TDC achieves a 19-bit range, a 4.5-ps resolution, and the throughput of 22MS/s, while drawing 3.4mW from a 1. 0V supply, as shown by the post-layout simulations in 28nm CMOS.
We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-Löf’s intuitionistic type theory but extends it with ...numerous programming language features. It supports a wide range of inductive data types, including inductive families and inductive-recursive types, with associated flexible pattern-matching. Unlike other proof assistants, Agda is not tactic-based. Instead it has an Emacs-based interface which allows programming by gradual refinement of incomplete type-correct terms.
The C standard libraries are basic function libraries standardized by the C language. Programmers usually refer to their API documentation provided by third-party websites. Unfortunately, these ...documents are not necessarily complete or accurate, especially for constraint sentences of API usage, which are called Security Specifications (SSs). SS issues can prevent programmers from following obligatory constraints, which results in API misuse vulnerabilities. Previous work studying SS issues could only find certain types of inaccurate SSs through checking the compliance between API usage and existing SSs. Therefore, we propose a novel approach SSeeker for quickly discovering missing and inaccurate SSs through the inconsistency of semantically similar SSs. More specifically, SSeeker first completes broken sentences and discovers SSs from them by judging their constraint sentiment. Then SSeeker puts semantically similar SSs from different sources into a group, which can be used to discover missing or inaccurate SSs. With the help of SSeeker, we investigated 4 popular online third-party C standard library documents, studied their conformity with the C99 standard, analyzed their APIs and SSs, and discovered 92 prototype issues, 15 web page issues, and 96 SS issues.
The article defines the basic concepts, goals, principles, key directions of standardization. Some aspects of the activity of standardization authorities are covered: the central executive authority ...that is responsible for ensuring the formation of state policy in the sphere of standardization; the central executive authority called to implement the state policy in the sphere of standardization; the national standardization authority; technical committees for standardization; enterprises, institutions, organizations that carry out standardization. The normative provision of standardization in independent Ukraine are considered, in particular, the Law of Ukraine «On Standardization» (2014), other normative documents - DSTU, orders of the central executive authority in the sphere of standardization, «Regulations on TC», «Regulations on the SC». It is determined that one of the main results of standardization is the development, implementation, dissemination of international and national standards, in particular in the library field. New international standards having the status of national ones are characterized: DSTU ISO 2789: 2016 (ISO 2789: 2013, IDT) Information and documentation - International library statistics, DSTU ISO 11620: 2016 (ISO 11620: 2014, IDT) Information and documentation - Library performance indicators, DSTU ISO 16439: 2016 (ISO 16439: 2014, IDT) Information and documentation - Methods and procedures for assessing the impact of libraries.