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.
Modeling and simulation have shown essential for forecasting load and resource availability in large-scale complex scenarios. The growth of urban environments, as well as the use of ICT in enabling applications and services, has encouraged several works on the modeling of transportation. High mobility of vehicles in such a context consists of a significant challenge in modeling traffic. Several microscopic...
Applying Flexsim system simulation software to build the simulation model of logistics sorting system. Before the introduction of automatic sorting equipment and technology in the sorting system, through the establishment of the Flexsim simulation model to simulate, analyze and evaluate the design scheme.
One of the critical technologies is the combination of superconductivity and semiconductor technologies on the one substrate. The use of the JJ in self-pumping mode regime as one of the heterodyne detection method can design a new modern self-pumped THz receiver with tunable frequency at all THz band. Theoretical analysis and simulation for the terahertz tunable self-pumped receiver based on RSJ model...
The kinematic modelling has been applied to many controllers of under-actuated manipulators. Most of these studies assume that the control process is conducted within the workspace. However, as such a kinematic model cannot describe the situations when the stable grasping is violated in the real environment, these controllers may fail unexpectedly. In this paper, we propose a combination of kinematics...
Data staging and in-situ/in-transit data processing are emerging as attractive approaches for supporting extreme scale scientific workflows. These approaches improve end-to-end performance by enabling runtime data sharing between coupled simulations and data analytics components of the workflow. However, the complex and dynamic data exchange patterns exhibited by the workflows coupled with the varied...
Understanding performance scalability in MapReduce applications presents a challenging problem. The difficulty lies in the distributed locations of input data and the distributed compute resources that utilize varied network substrates. User-defined Map and Reduce stages, with numerous application parameters, further complicate the problem. Using small datasets and limited test runs to understand...
This paper presents the first computer aided software analysis tool based on HOOMT (High Order Object-oriented Modeling Technique), which provides facilities for structured object-oriented analysis by integrating structured analysis and object-oriented analysis. It contains a graphical user interface for HOOMT-based modeling, supports modeling information management, and provides functionalities for...
In this paper, we focus on the problem that analysis and verification tools' inconvenience to extract textual AADL architecture model, and put forward AADL model parser which converts AADL architecture model to AADL architecture model object. Based on AADL meta-model, we use EMF to generate the classes of AADL elements, while using ANTLR to implement the lexer and parser of AADL. And then we implement...
With the onset of extreme-scale computing, I/O constraints make it increasingly difficult for scientists to save a sufficient amount of raw simulation data to persistent storage. One potential solution is to change the data analysis pipeline from a post-process centric to a concurrent approach based on either in-situ or in-transit processing. In this context computations are considered in-situ if...
This paper focuses on safety model of embedded system architecture using AADL (Architecture Analysis and Design Language). For further integration of safety analysis and system modeling, we propose a new approach to evaluate and assess the safety property of embedded systems quantitatively. We establish the safety model of embedded systems by extending AADL with fault model, identify causal relationships...
AADL (Architecture Analysis Design Language) is a standardized and hierarchical modeling language which contributes to designing and analyzing architectures of both software and hardware of Embedded Real-Time Systems. However, the problems of AADL models are unenforceability and the absence of formal semantics, which limit formal analysis of attributes in AADL models. This paper proposes an approach...
The lexical language model is recently the hotspot in grammar research, which is promoted by incorporating the phrase head with statistics. This paper summarizes about four improving language models which belong to this kind of model: they have utilized heads that is extracted by CFG and calculated the probability between the heads or inside CFG. Different from N-gram and SCFG, the probability calculation...
Sickbed arrangement is an important part of daily management in the hospital. Since the service time for different type of patients varies, the queuing system here, with multi-random input flow, can not be solved accurately by using classical queuing theory. Based on the analysis of patient information, we apply the simulation method into the sickbed arrangement system, and take the average waiting...
Software reliability models are used to estimation and prediction of software reliability. Existing models either use black-box approach that based on test data during software test phase or white-box approach that based on software architecture and individual component reliability, which is more suited to assess the reliability of modern software system. However, most of the reliability models based...
Component-based software reliability analysis typically takes the reliability of component as an invariable property of component itself, disregards the fact that it changes when the component context it interacts changes due to a different operational profile of the system. This paper introduces a subdomain-based analysis approach to characterize the component into path-based architectural reliability...
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.