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.
MEMS solder self-assembly technique can assemble the quasi-three-dimensional microstructures to the final three-dimensional devices using the surface tension of the molten solder. A model based on the minimum surface energy principle has been developed. Experimental studies are conducted to verify the model. It is shown that the final rotating angle matches well with the predicted angle, and the error...
Research used non-invasive type of finite element analysis techniques to observe unicompartmental knee arthroplasty in different contact surfaces of tibial components in implanted counterpoint with of state generated of stress situation, surgical treatment for provide a reference. Research was used two different contact surfaces of polyethylene tibial component analysis; impact factors selected include...
This paper investigates non-overlapping variable-width channel allocation for cooperative access points (APs) in multiple collision domains with the goal of maximizing the total capacity of wireless local network (WLAN). Due to the complexity of finding an optimal allocation, this paper considers it from a game-theoretic perspective. First, the problem of variable-width channel allocation is formulated...
Soundness is a vital property of Interorganizational Logical Workflow Nets (ILWN) which can efficiently model cooperative systems. But even though each logical workflow net (LWN) is sound, soundness of arbitrary ILWN is hard to decide. This study analyzes the causes of leading to deadlocks of interface transitions and unboundedness of interface data places: the incorrect order of transitions related...
With technology scaled to deep submicron era, temperature and temperature gradient have emerged as important design criteria. We propose two post-placement techniques to reduce peak temperature by intelligently allocating whitespace in the hotspots. Both methods are fully compliant with commercial technologies, and can be easily integrated with state-of-the-art thermal-aware design flow. Experiments...
IIM CAS is now working on simulation platform for driverless vehicle to test some functions of driverless vehicle. The overall architecture of this system is presented and the key components are illustrated briefly. In virtual scene, its intelligent behavior is emphasized and the intelligent virtual traffic environment framework is given out. In the light of the difference of creditability analysis...
Service-oriented computing (SOC) is the computing paradigm that utilizes services as fundamental elements for developing applications. The modeling and analysis of services-oriented software requirements is one of important study contents in SOC. Owing to frequent changes of individual or collective requirements, continuous evolution of system function and structure, the study object of services-oriented...
The liveness of Petri net models of parallel programs is a very important property. The existing analysis techniques take Petri net models as a whole to study properties, which is subject to the state explosion problem. In this study, we decompose a parallel program's Petri net model into multiple process subnets to study liveness preservation instead of taking it as a whole, which thus mitigates...
Service-oriented computing (SOC) is a kind of computing paradigm that utilizes services as fundamental elements for developing applications. In study domain of SOC, modeling and analysis of services-oriented software requirements is an important research direction. Because of frequent changes of individual or collective requirements and continuous evolution of system function & structure, the...
The evolutionary model of ERP cluster system is studied to show the idea of evolutionary analysis of large-scale ERP cluster system for big corporation. After the analysis of ERP cluster system, the state model is built; the evaluation problem of ERP system is studied; then, an evolutionary model of ERP cluster is built by a process model and an evolutionary algorithm framework. Finally, by simulation...
According to Maslow's theory on human needs, this paper has analyzed the different kinds of psychological needs which game-players expect to be met when they playing online-games, then built a needs model of online-game from the perspective of players, so as to provide guidance on game-design for the developers and help bring experience for the players.
As more and more grid applications are put into use, the performance information plays a more important role in evaluating the running status of the grid system. However, most existing monitoring tools only provide system-level performance data, which are often massive in storage and meanwhile contain either duplicate or missing, even erroneous raw data. In order to make the collected data more easily...
The UML activity diagrams (ADs), are lack of formal semantics in UML official specifications and therefore they cannot be performed formal system behavior analysis. This paper firstly employs the Hoare's CSP (communicating sequential processes) to formalize the behaviors of UML ADs and hence it can provide an approach to model checking UML ADs during software analysis or design stage since CSP is...
The paper takes an empirical study of the cooperation of small logistics companies, its consequence, motivation and interrelationship, using structural model with the analysis of primary elements. Result shows that any input in or devotion to the cooperation among small logistics companies will influence each other in strategic value, economic benefits and intangible assets and equity, subsequently...
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.