force model
Recently Published Documents

Network emerging e-commerce refers to the development of wireless broadband technology, smart terminal technology, near-field network, etc. as the driving force. It is the emerging e-commerce represented by the continuous development of modern e-commerce and the integration of commerce. This paper proposes to use Michael Porter’s cluster theory method, income increasing algorithm, and spatial Gini coefficient method to sort out and analyze the research results of industrial agglomeration problems, further study the relationship of e-commerce industry agglomeration mechanism, and build agglomeration simulation model , the construction of the centripetal force model of the industrial agglomeration area, through the analysis of the production factors of the e-commerce industry, and then study the influence of each factor on the development of the e-commerce industry. Finally, this paper selects and uses 16 standard mechanical data sets to investigate and analyze the agglomeration mechanism of the e-commerce industry, which verifies the accuracy and overall applicability of the method.

Brute-force model-checking consists in exhaustive exploration of the state-space of a Petri net, and meets the dreaded state-space explosion problem. In contrast, this paper shows how to solve model-checking problems using a combination of techniques that stay in complexity proportional to the size of the net structure rather than to the state-space size. We combine an SMT based over-approximation to prove that some behaviors are unfeasible, an under-approximation using memory-less sampling of runs to find witness traces or counter-examples, and a set of structural reduction rules that can simplify both the system and the property. This approach was able to win by a clear margin the model-checking contest 2020 for reachability queries as well as deadlock detection, thus demonstrating the practical effectiveness and general applicability of the system of rules presented in this paper.