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.
To protect against modeling limitations in considering design and electrical complexities, as well as variability, early and late signal propagation times in static timing analysis are often made pessimistic by addition of extra guard bands. However, these forced early-late splits introduce excessive and undesired pessimism. To this end, common path pessimism removal (CPPR) eliminates guaranteed redundant...
Climate simulation and weather forecasting codes are among the most complex examples of scientific software. Moreover, many of them are written in Fortran, making them some of the largest and most complex Fortran codes ever developed. For companies and researchers creating Fortran development tools -- IDEs, static analyzers, refactoring tools, etc. -- it is helpful to study these codes to understand...
Language models are one of the key components in modern systems of automatic language processing. In this study we present a new approach for the realization of a statistical model of Arabic language for non-vocalized texts. This approach allows to overcome the morphological complexity of the Arabic language and to address the limitations of existing morphological analyzers. Indeed the classic approach...
In the watermarking schemes, Just Noticeable Distortion (JND) model provides an efficient method to keep the balance between watermark's imperceptibility and robustness. Traditional JND models are not as perfect as they should be. Edge detection, which extracts content features well, improves the performance of JND models. In this paper we explore the reasons and simulate JND models based on edge...
Traditional deterministic methods usually applied to the most severe and low probability events in power system risk assessment, computation results are therefore much conservative accordingly. Considering both probability and their impact of the effects, risk assessment methods can provide comprehensive effect on the whole power system. The status quo related to risk assessment is reviewed. The meaning...
Enterprise architecture involves the use of models for facilitating the communication between stakeholders, which is required for the maintenance of the business/IT alignment. In that sense, the models should provide the necessary information for articulated decision-making, which, in complex scenarios, can result in the overwhelming complexity of the architecture descriptions. The complexity of the...
A critical activity in Enterprise Architecture (EA) projects is building models for communicating a consolidated enterprise structure. This is achieved by modeling elements belonging in a plurality of domains (e.g., business, processes, technology, information) and making explicit the relationships existing between them. After models are completed, they are used to support the analysis of the enterprise...
A key pre-distribution scheme (KPS) based on multiple codewords of block codes is presented for wireless sensor networks. The connectivity and security of the proposed KPS, quantified in terms of probabilities of sharing common keys for communications of pairs of nodes and their resilience against colluding nodes, are analytically assessed. The analysis is applicable to both linear and nonlinear codes...
Cellular networks are becoming heterogeneous due to the deployment of various low-powered base stations (BSs) within the macro cells. This introduces different classes of BSs and increases the BS density which creates complexity in interference analysis. Recent heterogeneous cellular network models consider Poisson Point Process (PPP) distribution for all BSs within the network for performance analysis...
Real-time communication networks are often required to operate reliably in harsh environments which expose the system to random errors. Although probabilistic schedulability analysis can employ rich stochastic error models to capture these random behaviors, this is most often at the expense of increased analysis complexity. In this paper, some recent results on probabilistic real-time schedulability...
We consider simple i∗-style goal models with influence (contribution) links and AND/OR refinement (decomposition), and formalize them by translation into three standard logics that are actively studied in AI Knowledge Representation and Reasoning (KR&R): propositional logic, FOL and description logics (the first formalization is well known). In each case, this provides a semantics for the notation,...
Email plays a very important role in our daily life. Much work have been put into practice on email network. Those studies mostly require real email network datasets and reliable models to analyze user information and understand the mechanisms of network evolution. However, much research work is constrained by the absence of real large-scale email datasets. Although email communication is ubiquitous,...
In systems engineering, the increasing complexity of systems is handled by decomposing systems into subsystems. As part of the decomposition typically more abstract system requirements are refined to more detailed subsystem requirements. Refining system requirements to subsystem requirements includes the two steps interface refinement on the system boundaries, and a decomposition of system requirements...
The modern aircraft development work has so more significant characteristics, such as the more complex product structure, the longer development cycle, the higher risks and poor reproducibility, that the cost estimating of development project is difficult. Based on the Parametric Cost Estimating method, analyzing the influencing factors of aircraft development project costs, using the correlation...
According to the fact that the decision-making of surface vessels is more and more complicated, based on the military process of decision-making of surface vessels, using soft engineering, from the view of system science, this article expounds the complexity of the command architecture and decision-making of surface vessels, then analyzes the process of consultation decision, at last, it establishes...
In this article a new task model, called DGMF, is proposed to improve scheduling analysis of dependent tasks in radio stations that embed a TDMA communication protocol. TDMA is a channel access protocol that allows several stations to communicate in a same network, by dividing time into several time slots. This protocol has an impact on task release times, execution times, and deadlines, which needs...
To improve performance, multiprocessor systems implement weak memory consistency models -- and a number of models have been developed over the past years. Weak memory models, however, lead to unforeseen program behavior, and there is a current need for memory model-aware program analysis techniques. The problem is that every memory model calls for new verification algorithms. We study a prominent...
Predicting IT infrastructure performance under varying conditions, e.g., the addition of a new server or increased transaction loads, has become a typical IT management exercise. However, within a service delivery context, enterprise clients are demanding predictive analytics that outline future “costs” associated with changing conditions. The service delivery staffing costs incurred in addressing...
This paper presents a comprehensive comparative analysis study for various kinds of single diode models based photovoltaic power source. The effect of increasing the embedded degree of complexity of the single diode model is explored by comparing the dynamic performance of particular PV modules with the experimental validated data under varying the atmospheric conditions. The main motivation for this...
In many scientific fields, simulations and analyses require compositions of computational entities such as web-services, programs, and applications. In such fields, users may want various trade-offs between different qualities. Examples include: (i) performing a quick approximation vs. an accurate, but slower, experiment, (ii) using local slower execution environments vs. remote, but advanced, computing...
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.