The document presents a model for the planning process for data dissemination tasks. A distinctive feature of the model is that it takes into account the heterogeneity of entities by including additional blocks for th...
详细信息
ISBN:
(纸本)9798350333053
The document presents a model for the planning process for data dissemination tasks. A distinctive feature of the model is that it takes into account the heterogeneity of entities by including additional blocks for their analysis and adaptation to the existing capabilities of processor and other resources. In the course of modeling, a classification was given to the concept of “entities”, a block diagram of the flow of entities for planning systems was developed and investigated. A generalized model for scheduling tasks and entities with dependencies has also been developed. The simulation was carried out using the GERT-network technology. As a result, GERT-networks of the process of scheduling distribution tasks for a separate n-th set of data type are obtained. The simulation result is presented in the form of an analytical expression for calculating the scheduling time for data dissemination tasks, taking into account the heterogeneity of entities.
With the rapid development of digital technology, the advantages of the multiple interactive teaching model of college English have become increasingly prominent. The multiple interactive teaching model of college Eng...
详细信息
The innovative advantages of advanced packaging bring unprecedented opportunities to an increasingly competitive market. In particular, the changes in appearance size and electrical advantages provide customers with h...
详细信息
ISBN:
(数字)9798331532246
ISBN:
(纸本)9798331532253
The innovative advantages of advanced packaging bring unprecedented opportunities to an increasingly competitive market. In particular, the changes in appearance size and electrical advantages provide customers with high-quality solutions and support customers in realizing more efficient interconnection of everything. As 5G becomes mainstream, speed and efficiency greatly improve the quality of human life, so there is an increasing demand for complex applications that rely on ultra-low latency. Such as FO-PoP packaging structure is the most advanced vertically integrated integration technology. It also brings thermal performance request and have challenge when two packages stacking or memory start to dissipate heat. Following paper statement will simulation some circumstance to validate package performance before real product implementation. According to design on advanced silicon node wafer with package stacking on package and high power application which aims to high thermal package solution. This paper is to present thermal dissipation analysis of FO-PoP packaging. By using thermal simulationmodeling to figure out factors for different die thickness circumstances. Through DOE to compare and explore different combinations with relative die thickness and high thermal DAF (die attach film) and compound is conducted to get optimum package architecture to measure theta Jc temperature, to conclude the best thermal performance.
To study the influence of turn signal and honk in the mixed traffic flow including motor vehicle, electric bike and bike, a four-lane cellular automata model is established. The motor vehicle turns on the turn signal ...
详细信息
ISBN:
(纸本)9781665468138
To study the influence of turn signal and honk in the mixed traffic flow including motor vehicle, electric bike and bike, a four-lane cellular automata model is established. The motor vehicle turns on the turn signal before changing lane, which can decelerate the latter vehicle on the adjacent lane. The motor vehicle can honk to make the preceding electric bike change lane, which is called 'the first-honk‘. Besides, the electric bike can honk to make the preceding bike change lane, which is called 'the second-honk‘. The simulation results show that the turn signal effect and honk can significantly reduce obstruction in space-time diagram. The turn signal effect decreases the motor vehicle flow, but two honk effects can increase it. The turn signal effect and the second-honk improve the non-motor vehicle flow, but the first-honk reduces it. The density section in which these effects occur frequently is very different.
Wideband oscillations seriously threaten the stable operation of power systems. The wind farm modeling is the basis of wideband oscillation analysis, but the accurate model of wind farm is of high order and is not ava...
详细信息
ISBN:
(纸本)9781665464765
Wideband oscillations seriously threaten the stable operation of power systems. The wind farm modeling is the basis of wideband oscillation analysis, but the accurate model of wind farm is of high order and is not available, impeding the analysis of wideband oscillations. Hence, this paper proposes an equivalent modeling method based on the wind speed-frequency two-variable admittance model. Firstly, the relationships between the steady-state variables of permanent magnetic synchronous generator wind turbine (PMSG-WT) and wind speed are deduced. Then, the wind speed-frequency two-variable admittance model can be obtained. Finally, the equivalent model in d-q frame based on two-variable admittance model is established. With the proposed equivalent modeling method, the dynamic equivalent modeling of wind farms under various operating conditions can be realized. This work significantly accelerates the simulation and is adaptable to wideband oscillation analysis. simulation results have verified the feasibility and validity of the proposed method.
The Arctic has a unique resource potential. Many countries around the world are ready to explore this territory for mineral exploration. This circumpolar region has been covered with many summer ice for a long time. R...
详细信息
ISBN:
(纸本)9781665440677
The Arctic has a unique resource potential. Many countries around the world are ready to explore this territory for mineral exploration. This circumpolar region has been covered with many summer ice for a long time. Recently, due to global warming, the amount of ice in the Arctic has decreased significantly, but still, it is pretty enough to make it difficult for navigation. Delivery of extracted minerals in this region is possible only by sea transport. For navigation in the Arctic, icebreakers or ice-class vessels are required. In the manufacture of such ships, welds are most often used. For the seams not to oxidize during welding, it is necessary to carry out this process by blowing the seam with inert gas, for example, carbon dioxide. The method of selecting the parameters of a gas jet is very complex. Our work's theme is the impact of a submerged jet with a shield during metal welding for Arctic use. We have created a mathematical model that simulates various operation modes and chooses the optimal one.
Teachers may use advanced analytics to rapidly and correctly understand undergraduate behavior trends, especially when it comes to identifying undergraduate groupings that need to be focused on at a later time. This s...
详细信息
Bangladesh has long relied on hydrogen as an intermediate chemical feedstock in the manufacturing of ammonia in fertilizer plants, and very recently for the production of hydrogen peroxide. Hydrogen is also a potentia...
详细信息
TCP protocol is the most widely used protocol, which was designed with more focus on the efficiency of the protocol and neglected the security design of the protocol. Therefore, it is not uncommon to see cases of atta...
详细信息
TCP protocol is the most widely used protocol, which was designed with more focus on the efficiency of the protocol and neglected the security design of the protocol. Therefore, it is not uncommon to see cases of attacks using TCP protocol throughout computer crimes. In this paper, based on the analysis of existing TCP attack prevention means and methods, an identification method for detecting TCP attacks from the hardware level is proposed and implemented on a high-performance network security chip. The method is verified on an SV / UVM simulation and verification platform with a top-down modular design, and the IP cores pass functional tests. The results show that the TCP protocol attack identification method proposed in this paper can be deployed on a high-performance network security chip and improves the security reliability of the chip.
The proceedings contain 17 papers. The special focus in this conference is on Rigorous State-Based Methods. The topics include: The CamilleX Framework for the Rodin Platform;extensible Record Structures in Event-B;For...
ISBN:
(纸本)9783030775421
The proceedings contain 17 papers. The special focus in this conference is on Rigorous State-Based Methods. The topics include: The CamilleX Framework for the Rodin Platform;extensible Record Structures in Event-B;Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B;Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application;Formal Meta Engineering Event-B: Extension and Reasoning The EB4 EB Framework;a modeling and Verification Framework for Security Protocols;formalizing the Institution for Event-B in the Coq Proof Assistant;Towards ASM-Based Automated Formal Verification of Security Protocols;verifying System-Level Security of a Smart Ballot Box;proving the Safety of a Sliding Window Protocol with Event-B;event-B Formalization of Event-B Contexts;validation of Formal Models by Timed Probabilistic simulation;sterling: A Web-Based Visualizer for Relational modeling Languages;Extending ASMETA with Time Features;About the Concolic Execution and Symbolic ASM Function Promotion in CASM.
暂无评论