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.
Different from the traditional web services, the big data services' execution duration vary from the input data volume, so the traditional Quality of Service (QoS) analysis model for traditional web services cannot be directly applied to big data services. Additionally, since many big data or web services provide overlapping or identical functionality, albeit with the description of different QoS,...
As environmental models have become more complicated, we need new tools to analyze and validate these models and to facilitate collaboration among field scientists, observation dataset providers, environmental system modelers, and computer scientists. Modular design and function test of environmental models have gained attention recently within the Biological and Environmental Research Program of...
An analytical model is proposed in this paper to calculate the switching loss of low voltage enhancement mode Gallium Nitride high electron mobility transistors (eGaN HEMTs). The switching process is illustrated in detail. The switching loss is obtained by solving the equivalent circuits during the switching transition. A good agreement is shown between the analytical model and Spice simulation results...
Since the global financial tsunami, Exchange Traded Funds have attracted much attention, as investors are increasingly concerned with the underlying risk exposure and transparency in their investments. However, much is yet to be learned about its behavioral characteristics, in addition to the traditional risk and return factors. In this paper, we take a behavioral finance perspective to investigate...
A nonlinear self-excited vibration model of main drive system in cold rolling is established. The mechanism of torsional vibration in main drive system stability is discussed within multiple scale method as well as Hopf bifurcation theorem. Then, the periodic solutions and condition of Hopf bifurcation are derived and the influence by subcritical/supercritical bifurcation is analyzed. Based on the...
In this paper, we investigate the challenges of applying statistical static timing analysis in hierarchical design flow, where modules supplied by IP vendors are used to hide design details for IP protection and to reduce the complexity of design and verification. For the three basic circuit types, combinational, flip-flop-based, and latch-controlled, we propose methods for extracting timing models...
Smart home service system is a new service application in the service computing and cloud computing environment. This paper discusses the issues of business process analysis, modeling and design for smart home service system. A new smart home idea is introduced, and the system architecture is proposed which is constructed on three networks: home IoT network, home service network and family social...
System-level power analysis is commonly used in modern SoC design processes to evaluate power consumption at early design phases. With the increasing variations in manufacturing, the statistical characteristics of parameters are also incorporated in the state-of-the-art methods. However, the spatial correlation between modules still remains as a challenge for system-level statistical power analysis...
This article focuses on the current scale of the growing mobile music industry of China. By analyzing the roles of content providers (CP), service provider (SP) and mobile operator (OP) in the entire music industry chain, we can sum up the profit model. In addition, we try to discovery the prospects for the music industry and sustainable development.
The time series model is decomposed into the trend items, cycle items and random items, respectively extracted by the establishment of the various forecasting model, the model is applied to the Chahayang farm in 1956 to 2008 on-year growth period crops fitting rainfall forecast, the results show that the model can reveal the crop growth period variation of monthly rainfall, for the rational development...
Many researches have focused on aspect-oriented web service composition domain. However, formal specification and analysis for the composition is not well exploited, especially for analyzing conflicts of aspects at shared join points. In this paper, we propose a Petri net-based algebra for modeling aspect composition at shared join point, which is based on the aspect-oriented web service composition...
The mobile e-commerce protocols often have more complex structures than authentication protocols. Strand space model (SSM) is an intutive, highly efficient formal analysis method. In this paper, the strand space model is described and expanded, and the confidentiality, authentication and fairness of KSL protocol are analyzed by strand space formal methods. The analysis shows KSL is unfair and an improvement...
In this study, through researching and analyzing the technology of Topical Crawler, we improve the critical algorithm, and present the Topic-Relevance judgment algorithm based on Multi-Level Vector Space Model and the Topical Search Strategy based on the content evaluation, which combine with the simple link structure analysis and link tags data analysis. Through the analysis of the experimental data,...
An optimized streamline online score system is the key to score efficiently and effectively. In this paper, an approach of modeling and optimizing the online score process was proposed using the Hierarchical Colored Petri Nets (HCP-nets). Founded on the HCP-net based online score process model, CPN Tools, a Colored Petri Nets simulation tool, was adopted to evaluate the outer and inner performances...
Workflow management promises a new solution to an ancient problem: monitoring, controlling and supporting business processes. What is new about workflow management is the explicit representation of the business process logic. Traditional workflow management models have obvious shortcomings in describing complex workflows. Such complexity is due not only to the complicated dependencies among tasks,...
Authentication protocols are the basis of security in networks. Therefore, it is essential to ensure that these protocols correctly. However, it is difficult to design authentication protocols that are immune to malicious attack, since good analysis techniques are lacking. In this paper, combining some analysis methods currently for analysis of security protocols based on Petri Nets methods together,...
A novel module structure of power module for switching power supplies is presented in this paper. The power module employs the three-dimension terrace structure to produce less parasitic parameter and higher power density. Based on this structure, the performance of the power module, such as parasitical parameters and thermal management performance, is evaluated through simulation analysis and experimental...
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.