The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The present paper considers a problem of assessment of cybersecurity architecture of modern digital control system using a formal hierarchical model of the cybersecurity policy. As a basis for formal security model the extended discretionary take-grant security model is presented. The formal technique used to provoke thoughts about the way how the rights and information may be passed along the systems...
The paper considers the constructing issue of ontology for the GMDH-based inductive modeling domain. It examines the main components of the GMDH algorithms in terms of their synthesis for designing the domain ontology. Such ontology significantly expands opportunities for construction of inductive modeling tools for model building and forecast of complex processes of different nature.
In order to know the operation condition before working, and reduce the risk of serious accidents of coal production industry. In this paper, by analyzing the characteristics of the environment of underground mine, using virtual reality technology, combined with the 3d Max modeling techniques and VC++ calling the OpenGL graphics interface techniques, the models are well optimized based on progressive...
An investigation on the reasons for failure of the own needs supply in one of the blocks of a big electrical power plant in Bulgaria has been presented. The investigation presented is based on a computer model, which adequacy is experimentally verified. The computational investigations with the model show that the reliability of the own needs supply depends on the excitation regime of the generators.
Analog computational circuits have been demonstrated to provide substantial improvements in power and speed relative to digital circuits, especially for applications requiring extreme parallelism but only modest precision. Deep machine learning is one such area and stands to benefit greatly from analog and mixed-signal implementations. However, even at modest precisions, offsets and non-linearity...
Asynchronous circuits are interesting alternatives for implementing ultra-low power systems but they are more challenging to design. This work provides methods for designers to specify, verify, and implement self-timed pipelines. The connection of standard primitives allows specifying a control circuit. A method to derive a Petri net based model of this circuit is presented. The modeled transactions...
This paper details the current status and future requirements of modelling and simulation tools in supporting chip, package, and board level co-design for advanced packaging (3D-IC's with TSV's, WLP, SiP, etc.) of heterogeneous integrated systems. These tools will drive innovations across the die-package-system domains by optimizing electrical, thermal, mechanical and reliability performance for a...
This paper reviews the issues involved in simulation and simulation-acceleration of power electronic converters and describes how Model Order Reduction (MOR) strategies could be used to address them.
Due to the larger scale of power systems and larger number of converters involved, the simulation of power systems becomes slower, with lower accuracy. FPGA is the new generation computation hardware, which is an integrated circuit designed for a special function. However, FPGA simulation still requires the parallel technology to extend the simulation scale. Network tearing interfaces can be used...
Physically-based Li-ion electrochemical cell models have been shown capable of predicting cell performance and degradation, but are computationally expensive for optimization-oriented design applications. Faster empirical models have been developed from experimental data, but are not generalizable to operating conditions outside of the range established by the calibration data. In this paper, a reduced-order...
This paper describes the objective of the model to produce electricity from solar cell applications MATLAB / SIMULINK Compared with the data of electricity from photovoltaic power systems in Cambodia. Using models 1D5P (equivalent circuit analysis of one of the diodes, solar cells based on 5 parameters are the main factors in the equation that represents the equivalent circuit). 2 parameters are used...
This paper proposed the novel concept model for forecasting the PV power output. The model was used two meteorology to input model which are solar irradiance and module temperature. This model was improve the accuracy of model from simplified model is 1D5P by using the weight function. The proposed model was verified by comparison with measured data. The results showed that the model has high accuracy...
A range of photovoltaic (PV) models of different accuracy and complexity are available in the literature. The proper PV model for a particular study is selected based on the desired accuracy and computational time. Although the accuracy of the single diode models is well studied, there is still no available quantification for the computational time needed to simulate a certain PV model. This paper...
Emergence of big data is directly proportional to the data shared in social media. Audio, video, text or the combination of all the above are the data shared in social media. Social networking is achieved by Social Networking Sites (SNS). In real world business, analysts use software tools to analyze product sales, promotion of brand and also tend to identify influential factors that impact their...
With the continuous drive towards integrated circuits scaling, efficient performance modeling is becoming more crucial yet, more challenging. In this paper, we propose a novel method of hierarchical performance modeling based on Bayesian co-learning. We exploit the hierarchical structure of a circuit to establish a Bayesian framework where unlabeled data samples are generated to improve modeling accuracy...
The development of large and complex simulated models often requires teams to collaborate. One approach is to break a large model into independently developed partial models that, when combined, capture the overall behavior. However, maintaining consistent world state across independently developed simulations is a challenge. In this paper, we introduce the Collaborative Aspect-Oriented Distributed...
Dynamic critical path analysis in modern processors is needed to reduce margins typically determined by the static timing analysis. Dynamic path analysis, however, is cost-prohibitive. In this paper, we propose WILD, a supervised learning model to predict dynamic delay of functional units (FUs) based on the input workload during execution. We measure the dynamic delay using switching activity generated...
A cloud service QuaSim designed for simulation and verification of digital systems based on transactions between the addressable memory components to implement any functionality is proposed. A new approach to the synthesis and analysis of digital systems using vector form (quantum) for defining combinational and sequential structures to implement them in the memory elements is described; it is substantially...
Power electronic systems do not always operate under ideal condition because of the conflict between computational efficiency and simulation precision. In addition, there is significant computation burden in real-time simulation of voltage source converter closed-loop control. Hence, the power electronic real-time co-simulation design based on FPGA+DSP+PC architecture is put forward. The design adopts...
In this paper we have shown the modeling of Lateral Double-Diffused MOS (LDMOS) transistor. A LDMOS structure can be divided into two parts, intrinsic channel and extended drift region. The intinsic channel region is modeled by industry standard BSIM6 model and extended drift region has been modeled by the modified CMC standard model of R3. The R3 model of non-linear resistor, which includes physical...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.