A model of a hypertorus communication grid has been constructed in the form of an infinite Petri net. A grid cell represents either a packet switching device or a bioplast cell. A parametric expression is obtained to ...A model of a hypertorus communication grid has been constructed in the form of an infinite Petri net. A grid cell represents either a packet switching device or a bioplast cell. A parametric expression is obtained to allow a finite specification of an infinite Petri net. To prove properties of an ideal communication protocol, we derive an infinite Diophantine system of equations from it, which is subsequently solved. Then we present the programs htgen and ht-mcrl2-gen, developed in the C language, which generate Petri net and process algebra models of a hypertorus with a given number of dimensions and grid size. These are the inputs for the respective modeling tools Tina and mCRL2, which provide model visualization, step simulation, state space generation and reduction, and structural analysis techniques. Benchmarks to compare the two approaches are obtained. An ad-hoc induction-like technique on invariants,obtained for a series of generated models, allows the calculation of a solution of the Diophantine system in a parametric form.It is proven that the basic solutions of the infinite system have been found and that the infinite Petri net is bounded and conservative. Some remarks regarding liveness and liveness enforcing techniques are also presented.展开更多
Outward Foreign Direct Investment （OFDI） from the People＇s Republic of China （＂China＂） has been expandingworldwide, much as Inward Foreign Direct Investment （IFDI） from the world into China has burgeoned, at ...Outward Foreign Direct Investment （OFDI） from the People＇s Republic of China （＂China＂） has been expandingworldwide, much as Inward Foreign Direct Investment （IFDI） from the world into China has burgeoned, at leastuntil very recently. Global FDI declined worldwide in 2014, with China＇s IFDI declining less than many placeselsewhere, resulting in China overtaking the United States as the world＇s most attractive location for FDI for thefirst time since 2003, before India overtook China in 2015 （Iyengar, 2015）. In 2014, meanwhile, for the first time,China＇s OFDI exceeded its IFDI, rendering it a net exporter of FDI, signaling the end of the approach to the end ofChina as a developing nation （Yao ＆ Wang, 2014）. What does this mean？ More than anything else, one mustconsider two factors in assessing China＇s 21st century foreign ambitions： Is its One Belt, One Road （OBOR） ageopolitical tetrahedron as some allege, if so, economically or militarily？ Is its maritime policy across the WesternPacific Rim of Asia aimed at constructing a fleet of surface cruisers and submarines to wage a guerre de course（war of the chase）, much as German vice admiral Wolfgang Wegener urged Imperial Germany to do in world War Ithen Nazi Germany to do in World War II, in an effort to dominate merchant sea routes thereby disrupting supplieswithout recourse to a ＂balanced fleet＂ such as Britain possessed in World Wars I and II and the United Statesoperates currently？ Both China＇s ＂New Silk Road＂ and the ＂New Maritime Silk Route＂ are at the root of ageopolitical tetrahedron. Chinese domination of the South China Sea and to a lesser extent of the East China Searegions signals its potential guerre de course strategy. Is there an antidote to conflict in Asia, if so, what is it？展开更多
文摘A model of a hypertorus communication grid has been constructed in the form of an infinite Petri net. A grid cell represents either a packet switching device or a bioplast cell. A parametric expression is obtained to allow a finite specification of an infinite Petri net. To prove properties of an ideal communication protocol, we derive an infinite Diophantine system of equations from it, which is subsequently solved. Then we present the programs htgen and ht-mcrl2-gen, developed in the C language, which generate Petri net and process algebra models of a hypertorus with a given number of dimensions and grid size. These are the inputs for the respective modeling tools Tina and mCRL2, which provide model visualization, step simulation, state space generation and reduction, and structural analysis techniques. Benchmarks to compare the two approaches are obtained. An ad-hoc induction-like technique on invariants,obtained for a series of generated models, allows the calculation of a solution of the Diophantine system in a parametric form.It is proven that the basic solutions of the infinite system have been found and that the infinite Petri net is bounded and conservative. Some remarks regarding liveness and liveness enforcing techniques are also presented.
文摘Outward Foreign Direct Investment （OFDI） from the People＇s Republic of China （＂China＂） has been expandingworldwide, much as Inward Foreign Direct Investment （IFDI） from the world into China has burgeoned, at leastuntil very recently. Global FDI declined worldwide in 2014, with China＇s IFDI declining less than many placeselsewhere, resulting in China overtaking the United States as the world＇s most attractive location for FDI for thefirst time since 2003, before India overtook China in 2015 （Iyengar, 2015）. In 2014, meanwhile, for the first time,China＇s OFDI exceeded its IFDI, rendering it a net exporter of FDI, signaling the end of the approach to the end ofChina as a developing nation （Yao ＆ Wang, 2014）. What does this mean？ More than anything else, one mustconsider two factors in assessing China＇s 21st century foreign ambitions： Is its One Belt, One Road （OBOR） ageopolitical tetrahedron as some allege, if so, economically or militarily？ Is its maritime policy across the WesternPacific Rim of Asia aimed at constructing a fleet of surface cruisers and submarines to wage a guerre de course（war of the chase）, much as German vice admiral Wolfgang Wegener urged Imperial Germany to do in world War Ithen Nazi Germany to do in World War II, in an effort to dominate merchant sea routes thereby disrupting supplieswithout recourse to a ＂balanced fleet＂ such as Britain possessed in World Wars I and II and the United Statesoperates currently？ Both China＇s ＂New Silk Road＂ and the ＂New Maritime Silk Route＂ are at the root of ageopolitical tetrahedron. Chinese domination of the South China Sea and to a lesser extent of the East China Searegions signals its potential guerre de course strategy. Is there an antidote to conflict in Asia, if so, what is it？
