This article examines the complex interplay between abstraction and representation in the ontology of images.Images inhabit an in-between space as tangible artifacts that also convey intangible ideas and meanings.The ...This article examines the complex interplay between abstraction and representation in the ontology of images.Images inhabit an in-between space as tangible artifacts that also convey intangible ideas and meanings.The analysis synthesizes perspectives from across the history of philosophy to elucidate how images bridge abstraction and representation through their form and function.It engages with ongoing epistemological and aesthetic debates concerning the dual nature of images.Plato’s theory of ideal forms is outlined as an early attempt to define abstraction.Modern semiotic theories are discussed for their insights into how images create meaning through codes and signs.Phenomenology offers an alternative approach by prioritizing the sensorial,affective impact of images.Poststructuralism problematizes representation in the context of mechanical reproduction and simulacra.While diverse,these philosophical frameworks all grapple with the issues images pose between abstract essence and concrete appearance,conceptual ideas and sensory manifestations.The article reveals the richness of images as liminal constructs that collapse dualisms in their creative interfacing of material forms and immaterial meanings.It concludes that this ontological ambiguity empowers images as mediators between imagination and perception,subjectivity and reality.展开更多
VPN service providers (VSP) and IP-VPN customers have traditionally maintained service demarcation boundaries between their routing and signaling entities. This has resulted in the VPNs viewing the VSP network as an o...VPN service providers (VSP) and IP-VPN customers have traditionally maintained service demarcation boundaries between their routing and signaling entities. This has resulted in the VPNs viewing the VSP network as an opaque entity and therefore limiting any meaningful interaction between the VSP and the VPNs. A key challenge is to expose each VPN to information about available network resources through an abstraction (TA) [1] which is both accurate and fair. In [2] we proposed three decentralized schemes assuming that all the border nodes performing the abstraction have access to the entire core network topology. This assumption likely leads to over- or under-subscription. In this paper we develop centralized schemes to partition the core network capacities, and assign each partition to a specific VPN for applying the decentralized abstraction schemes presented in [2]. First, we present two schemes based on the maximum concurrent flow and the maximum multicommodity flow (MMCF) formulations. We then propose approaches to address the fairness concerns that arise when MMCF formulation is used. We present results based on extensive simulations on several topologies, and provide a comparative evaluation of the different schemes in terms of abstraction efficiency, fairness to VPNs and call performance characteristics achieved.展开更多
Structures using constructors are of ordinary use in functional programming to represent data structures of unbound size. Lack of associativity of constructors, however, hinders program analyses or efficient execution...Structures using constructors are of ordinary use in functional programming to represent data structures of unbound size. Lack of associativity of constructors, however, hinders program analyses or efficient executions. This paper describes ideas of abstraction toward constructors, and similarly abstraction from constructing functions, which we call functional constructors. We demonstrate our ideas making program analyses easier and enable transformation to efficient execution.展开更多
ion reaction of H atom with (CH3)3GeH has been studied using ab initio molecular orbital theory. The kinetics calculation has been deduced using the canonical variational transition state theory (CVT) with the small-c...ion reaction of H atom with (CH3)3GeH has been studied using ab initio molecular orbital theory. The kinetics calculation has been deduced using the canonical variational transition state theory (CVT) with the small-curvature tunneling correction method (SCT) over the temperature range of 200-3000 K. The CVT/SCT rate constants exhibit typical non-Arrhenius behavior, and a three-parameter rate-temperature formula has been fitted as follows: k=6.66×10-18T2.33 exp(-60.3/T) (in units of cm3 molecule-1 s-1).展开更多
ion technique of interference fringes used in phase modulation and phase scanning modulation interferometer is presented. For the measurement of amplitudes of interference fringes, fringes are fitted and their central...ion technique of interference fringes used in phase modulation and phase scanning modulation interferometer is presented. For the measurement of amplitudes of interference fringes, fringes are fitted and their central points are determined automatically according to their distribution rules. However, for the measurement of their phases, fringes should be recognized and processed with different calculating algorithms and least square optimization methods depending on the scanning modulation mode. When this technique is used for measurement of surface roughness, the measurement uncertainty is better than 5nm and the repeatability is less than 5%.展开更多
The two channels of the CH3OH+Cl hydrogen abstraction reaction, leading to the final products CH2OH+HCl (i) and CH3O+HCl (ii), have been studied by performing ab initio MP2 calculations with the triplet split-valence ...The two channels of the CH3OH+Cl hydrogen abstraction reaction, leading to the final products CH2OH+HCl (i) and CH3O+HCl (ii), have been studied by performing ab initio MP2 calculations with the triplet split-valence polarization basis sets. For each of the two channels the following simple reaction path is predicted: reactants → transition state → intermediate → products. The previously reported complicated paths2 calculated without using the IRC technique are criticized. Our calculations indicate that channel (i) is exothermic and has a negligible energy barrier while channel (ii) is endothermic and has a substantial energy barrier. These results imply that channel (i) is favorable, which is in line with experiment.展开更多
Aspects of human behavior in cyber security allow more natural security to the user. This research focuses the appearance of anticipating cyber threats and their abstraction hierarchy levels on the mental picture leve...Aspects of human behavior in cyber security allow more natural security to the user. This research focuses the appearance of anticipating cyber threats and their abstraction hierarchy levels on the mental picture levels of human. The study concerns the modeling of the behaviors of mental states of an individual under cyber attacks. The mental state of agents being not observable, we propose a non-stationary hidden Markov chain approach to model the agent mental behaviors. A renewal process based on a nonparametric estimation is also considered to investigate the spending time in a given mental state. In these approaches, the effects of the complexity of the cyber attacks are taken into account in the models.展开更多
The addition and abstraction reactions of OH radical with benzoate anion are investigated by density functional theory calculations that include solvent effects using UB3LYP, UCAM-B3LYP, UmPW1PW91 and UM06-2X function...The addition and abstraction reactions of OH radical with benzoate anion are investigated by density functional theory calculations that include solvent effects using UB3LYP, UCAM-B3LYP, UmPW1PW91 and UM06-2X functionals with the 6-311++G(2d,2p) basis set. Geometry optimizations of the reactants, products and transition state species are performed for the possible reaction paths. For the addition reactions, those targeting the ipso-, ortho-, meta- and para-carbons are predicted to be exoergic. The H-atom abstraction reactions from ortho, meta and para positions are also predicted to be exoergic. On the basis of the rate constants calculated by means of the transition state theory, the H-atom abstraction reaction from the ortho position is determined to be the favored path followed by the ortho OH addition reaction.展开更多
A non-photorealistic rendering technique is a method to show various effects different from those of realistic image generation.Of the various techniques,flow-based image abstraction displays the shape and color featu...A non-photorealistic rendering technique is a method to show various effects different from those of realistic image generation.Of the various techniques,flow-based image abstraction displays the shape and color features well and performs a stylistic visual abstraction.But real-time rendering is impossible when CPU is used because it applies various filtering and iteration methods.In this paper,we present real-time processing methods of video abstraction using open open computing language(OpenCL),technique of general-purpose computing on graphics processing units(GPGPU).Through the acceleration of general-purpose computing(GPU),16 frame-per-second(FPS)or greater is shown to process video abstraction.展开更多
Simulators are generally used during the design of computer architectures. Typically, different simulators with different levels of complexity, speed and accuracy are used. However, for early design space exploration,...Simulators are generally used during the design of computer architectures. Typically, different simulators with different levels of complexity, speed and accuracy are used. However, for early design space exploration, simulators with less complexity, high simulation speed and reasonable accuracy are desired. It is also required that these simulators have a short development time and that changes in the design require less effort in the implementation in order to perform experiments and see the effects of changes in the design. These simulators are termed high-level simulators in the context of computer architecture. In this paper, we present multiple levels of abstractions in a high-level simulation of a general-purpose many-core system, where the objective of every level is to improve the accuracy in simulation without significantly affecting the complexity and simulation speed.展开更多
The operational function of the trunk limbs (thoracic appendages), of Daphnia, P3 and P4, is a long-term disputed definition between “solid walls”, sieving filters. Sieving is unlikely process for routine particle c...The operational function of the trunk limbs (thoracic appendages), of Daphnia, P3 and P4, is a long-term disputed definition between “solid walls”, sieving filters. Sieving is unlikely process for routine particle collection, particle capture is not a simple mechanical process and not by sieving alone. Analysis promotion supported by direct observational examination of the in-vivo cinematographic slow-motion film and magnified solid photos of tethered Daphnia by high-speed camera (250 frames per second) resulted in a definite interpretation presented in this paper. The Daphnia’s feeding mechanism achieves particles abstraction not by sieving. The existence of two internal alternate water flow routs was indicated: Lateral and Median. These micro flow structures are suggested as vulnerability reduction.展开更多
Massive sequence view (MSV) is a classic timeline-based dynamic network visualization approach. However, it is vulnerable to visual clutter caused by overlapping edges, thereby leading to unexpected misunderstanding o...Massive sequence view (MSV) is a classic timeline-based dynamic network visualization approach. However, it is vulnerable to visual clutter caused by overlapping edges, thereby leading to unexpected misunderstanding of time-varying trends of network communications. This study presents a new edge sampling algorithm called edge-based multi-class blue noise (E-MCBN) to reduce visual clutter in MSV. Our main idea is inspired by the multi-class blue noise (MCBN) sampling algorithm, commonly used in multi-class scatterplot decluttering. First, we take a node pair as an edge class, which can be regarded as an analogy to classes in multi-class scatterplots. Second, we propose two indicators, namely, class overlap and inter-class conflict degrees, to measure the overlapping degree and mutual exclusion, respectively, between edge classes. These indicators help construct the foundation of migrating the MCBN sampling from multi-class scatterplots to dynamic network samplings. Finally, we propose three strategies to accelerate MCBN sampling and a partitioning strategy to preserve local high-density edges in the MSV. The result shows that our approach can effectively reduce visual clutters and improve the readability of MSV. Moreover, our approach can also overcome the disadvantages of the MCBN sampling (i.e., long-running and failure to preserve local high-density communication areas in MSV). This study is the first that introduces MCBN sampling into a dynamic network sampling.展开更多
Nowadays,application migration becomes more and more attractive.For example,it can make computation closer to data sources or make service closer to end-users,which may significantly decrease latency in edge computing...Nowadays,application migration becomes more and more attractive.For example,it can make computation closer to data sources or make service closer to end-users,which may significantly decrease latency in edge computing.Yet,migrating applications among servers that are controlled by different platform owners raises security issues.We leverage hardware-secured trusted execution environment(TEE,aka.,enclave)technologies,such as Intel SGX,AMD SEV,and ARM TrustZone,for protecting critical computations on untrusted servers.However,these hardware TEEs propose non-uniform programming abstractions and are based on heterogeneous architectures,which not only forces programmers to develop secure applications targeting some specific abstraction but also hinders the migration of protected applications.Therefore,we propose UniTEE which gives a unified enclave programming abstraction across the above three hardware TEEs by using a microkernel-based design and enables the secure enclave migration by integrating heterogeneous migration techniques.We have implemented the prototype on real machines.The evaluation results show the migration support incurs nearly-zero runtime overhead and the migration procedure is also efficient.展开更多
The insertion and abstraction reaction mechanisms of singlet and triplet CCl2 with CH3MH (M=O, S) have been studied by using the DFT, NBO and AIM methods. The geometries of reactions, the transition state and products...The insertion and abstraction reaction mechanisms of singlet and triplet CCl2 with CH3MH (M=O, S) have been studied by using the DFT, NBO and AIM methods. The geometries of reactions, the transition state and products were completely optimized by B3LYP/6-311G(d, p). All the energy of the species was obtained at the CCSD(T)/6-311G(d, p) level. The calculated results indicated that the major pathways of the reaction were obtained on the singlet potential energy surface. The singlet CCl2 can not only trigger the insertion reaction with C-H and M-H in four pathways, by which the products P1 [CH3OCHCl2, reactionⅠ(1)], P3[Cl2HCCH2OH, reactionⅠ(2)], P5[CH3SCHCl2, reactionⅡ(1)] and P7[Cl2HCCH2SH, reac-tion Ⅱ(2)] are produced respectively, but also abstract M-H, resulting P4 [CH2O+CH2Cl2, reactionⅠ(3)] and P8[CH2S+CH2Cl2, reactionⅡ(3)]. In addition, the important geometries in domain pathways have been studied by AIM and NBO theories.展开更多
Line drawing is a style of image abstraction where the perceptual content of the image is conveyed using distinct straight or curved lines. However,extracting semantically salient lines is not trivial and mastered onl...Line drawing is a style of image abstraction where the perceptual content of the image is conveyed using distinct straight or curved lines. However,extracting semantically salient lines is not trivial and mastered only by skilled artists. While many parametric filters have successfully extracted accurate and coherent lines, their results are sensitive to parameter choice and easily lead to either an excessive or insufficient number of lines. In this work, we present an interactive system to generate concise line abstractions of arbitrary images via a few user specified strokes. Specifically, the user simply has to provide a few intuitive strokes on the input images, including tracing roughly along edges and scribbling on the region of interest, through a sketching interface. The system then automatically extracts lines that are long,coherent and share similar textural structures to form a corresponding highly detailed line drawing. We have tested our system with a wide variety of images. Our experimental results show that our system outperforms state-of-the-art techniques in terms of quality and efficiency.展开更多
We propose a novel method for the automated generation of virtual geographic environments that allows using geographic information system data to build what we call informed virtual geographic environment(IVGE).The de...We propose a novel method for the automated generation of virtual geographic environments that allows using geographic information system data to build what we call informed virtual geographic environment(IVGE).The description of an IVGE integrates semantic information expressed using conceptual graphs,a standard knowledge representation technique.In addition,we propose an abstraction process that uses geometric,topologic,and semantic characteristics of geographic features to build a hierarchical graph-based structure describing this IVGE.Our IVGE model enables the support of large-scale and complex geographic environment modeling for multiagent geo-simulations in which the agents are situated and with which they interact.展开更多
In this paper,we address two challenging issues underlying spatial simulation using software agents immersed in virtual geographic environments(VGE).First,the way to describe virtual VGE models using accurate spatial ...In this paper,we address two challenging issues underlying spatial simulation using software agents immersed in virtual geographic environments(VGE).First,the way to describe virtual VGE models using accurate spatial decomposition approaches structured using graph theory techniques.Second,the use of graph abstraction techniques to support realistic and advanced navigation and path planning capabilities for software agents considering the VGE’s characteristics.In order to illustrate our contributions to the growing field of spatial simulations,we present and discuss a case study involving an urban VGE model populated with agents who autonomously and differently interact with multiple abstractions of the same physical environment.展开更多
The rhetorical structure of abstracts has been a widely discussed topic, as it can greatly enhance the abstract writing skills of second-language writers. This study aims to provide guidance on the syntactic features ...The rhetorical structure of abstracts has been a widely discussed topic, as it can greatly enhance the abstract writing skills of second-language writers. This study aims to provide guidance on the syntactic features that L2 learners can employ, as well as suggest which features they should focus on in English academic writing. To achieve this, all samples were analyzed for rhetorical moves using Hyland’s five-rhetorical move model. Additionally, all sentences were evaluated for syntactic complexity, considering measures such as global, clausal and phrasal complexity. The findings reveal that expert writers exhibit a more balanced use of syntactic complexity across moves, effectively fulfilling the rhetorical objectives of abstracts. On the other hand, MA students tend to rely excessively on embedded structures and dependent clauses in an attempt to increase complexity. The implications of these findings for academic writing research, pedagogy, and assessment are thoroughly discussed.展开更多
The action of signs in human lives and in the evolution of cultures is to be understood in the light of semiosis, the process by which a meaning is given to all things in the world. Writing systems, as a sort of semio...The action of signs in human lives and in the evolution of cultures is to be understood in the light of semiosis, the process by which a meaning is given to all things in the world. Writing systems, as a sort of semiotic creation, evolve according to the laws of semiosis and the rhythm of human stepping ahead. This paper is an attempt to afford evidence of three relevant facts: a) A close contact, or at least a remarkable coincidence, of writing cultures in ancient times. b) An apparent and undeniable process of divergence of writing systems over centuries. c) A tendency to a new convergence of writing systems, as an ongoing process inferable from the new symbols of an increasingly globalised world. We propose that one of the elements that push these processes forward is abstraction, and we suggest that abstraction might be the leading factor in the evolution of writing and semiotic systems.展开更多
文摘This article examines the complex interplay between abstraction and representation in the ontology of images.Images inhabit an in-between space as tangible artifacts that also convey intangible ideas and meanings.The analysis synthesizes perspectives from across the history of philosophy to elucidate how images bridge abstraction and representation through their form and function.It engages with ongoing epistemological and aesthetic debates concerning the dual nature of images.Plato’s theory of ideal forms is outlined as an early attempt to define abstraction.Modern semiotic theories are discussed for their insights into how images create meaning through codes and signs.Phenomenology offers an alternative approach by prioritizing the sensorial,affective impact of images.Poststructuralism problematizes representation in the context of mechanical reproduction and simulacra.While diverse,these philosophical frameworks all grapple with the issues images pose between abstract essence and concrete appearance,conceptual ideas and sensory manifestations.The article reveals the richness of images as liminal constructs that collapse dualisms in their creative interfacing of material forms and immaterial meanings.It concludes that this ontological ambiguity empowers images as mediators between imagination and perception,subjectivity and reality.
文摘VPN service providers (VSP) and IP-VPN customers have traditionally maintained service demarcation boundaries between their routing and signaling entities. This has resulted in the VPNs viewing the VSP network as an opaque entity and therefore limiting any meaningful interaction between the VSP and the VPNs. A key challenge is to expose each VPN to information about available network resources through an abstraction (TA) [1] which is both accurate and fair. In [2] we proposed three decentralized schemes assuming that all the border nodes performing the abstraction have access to the entire core network topology. This assumption likely leads to over- or under-subscription. In this paper we develop centralized schemes to partition the core network capacities, and assign each partition to a specific VPN for applying the decentralized abstraction schemes presented in [2]. First, we present two schemes based on the maximum concurrent flow and the maximum multicommodity flow (MMCF) formulations. We then propose approaches to address the fairness concerns that arise when MMCF formulation is used. We present results based on extensive simulations on several topologies, and provide a comparative evaluation of the different schemes in terms of abstraction efficiency, fairness to VPNs and call performance characteristics achieved.
基金Supported by Research Fellowships of Japan Society for the Promotion of Science for Young Scientists(11-0 6 2 82 )
文摘Structures using constructors are of ordinary use in functional programming to represent data structures of unbound size. Lack of associativity of constructors, however, hinders program analyses or efficient executions. This paper describes ideas of abstraction toward constructors, and similarly abstraction from constructing functions, which we call functional constructors. We demonstrate our ideas making program analyses easier and enable transformation to efficient execution.
文摘ion reaction of H atom with (CH3)3GeH has been studied using ab initio molecular orbital theory. The kinetics calculation has been deduced using the canonical variational transition state theory (CVT) with the small-curvature tunneling correction method (SCT) over the temperature range of 200-3000 K. The CVT/SCT rate constants exhibit typical non-Arrhenius behavior, and a three-parameter rate-temperature formula has been fitted as follows: k=6.66×10-18T2.33 exp(-60.3/T) (in units of cm3 molecule-1 s-1).
文摘ion technique of interference fringes used in phase modulation and phase scanning modulation interferometer is presented. For the measurement of amplitudes of interference fringes, fringes are fitted and their central points are determined automatically according to their distribution rules. However, for the measurement of their phases, fringes should be recognized and processed with different calculating algorithms and least square optimization methods depending on the scanning modulation mode. When this technique is used for measurement of surface roughness, the measurement uncertainty is better than 5nm and the repeatability is less than 5%.
文摘The two channels of the CH3OH+Cl hydrogen abstraction reaction, leading to the final products CH2OH+HCl (i) and CH3O+HCl (ii), have been studied by performing ab initio MP2 calculations with the triplet split-valence polarization basis sets. For each of the two channels the following simple reaction path is predicted: reactants → transition state → intermediate → products. The previously reported complicated paths2 calculated without using the IRC technique are criticized. Our calculations indicate that channel (i) is exothermic and has a negligible energy barrier while channel (ii) is endothermic and has a substantial energy barrier. These results imply that channel (i) is favorable, which is in line with experiment.
文摘Aspects of human behavior in cyber security allow more natural security to the user. This research focuses the appearance of anticipating cyber threats and their abstraction hierarchy levels on the mental picture levels of human. The study concerns the modeling of the behaviors of mental states of an individual under cyber attacks. The mental state of agents being not observable, we propose a non-stationary hidden Markov chain approach to model the agent mental behaviors. A renewal process based on a nonparametric estimation is also considered to investigate the spending time in a given mental state. In these approaches, the effects of the complexity of the cyber attacks are taken into account in the models.
文摘The addition and abstraction reactions of OH radical with benzoate anion are investigated by density functional theory calculations that include solvent effects using UB3LYP, UCAM-B3LYP, UmPW1PW91 and UM06-2X functionals with the 6-311++G(2d,2p) basis set. Geometry optimizations of the reactants, products and transition state species are performed for the possible reaction paths. For the addition reactions, those targeting the ipso-, ortho-, meta- and para-carbons are predicted to be exoergic. The H-atom abstraction reactions from ortho, meta and para positions are also predicted to be exoergic. On the basis of the rate constants calculated by means of the transition state theory, the H-atom abstraction reaction from the ortho position is determined to be the favored path followed by the ortho OH addition reaction.
文摘A non-photorealistic rendering technique is a method to show various effects different from those of realistic image generation.Of the various techniques,flow-based image abstraction displays the shape and color features well and performs a stylistic visual abstraction.But real-time rendering is impossible when CPU is used because it applies various filtering and iteration methods.In this paper,we present real-time processing methods of video abstraction using open open computing language(OpenCL),technique of general-purpose computing on graphics processing units(GPGPU).Through the acceleration of general-purpose computing(GPU),16 frame-per-second(FPS)or greater is shown to process video abstraction.
文摘Simulators are generally used during the design of computer architectures. Typically, different simulators with different levels of complexity, speed and accuracy are used. However, for early design space exploration, simulators with less complexity, high simulation speed and reasonable accuracy are desired. It is also required that these simulators have a short development time and that changes in the design require less effort in the implementation in order to perform experiments and see the effects of changes in the design. These simulators are termed high-level simulators in the context of computer architecture. In this paper, we present multiple levels of abstractions in a high-level simulation of a general-purpose many-core system, where the objective of every level is to improve the accuracy in simulation without significantly affecting the complexity and simulation speed.
文摘The operational function of the trunk limbs (thoracic appendages), of Daphnia, P3 and P4, is a long-term disputed definition between “solid walls”, sieving filters. Sieving is unlikely process for routine particle collection, particle capture is not a simple mechanical process and not by sieving alone. Analysis promotion supported by direct observational examination of the in-vivo cinematographic slow-motion film and magnified solid photos of tethered Daphnia by high-speed camera (250 frames per second) resulted in a definite interpretation presented in this paper. The Daphnia’s feeding mechanism achieves particles abstraction not by sieving. The existence of two internal alternate water flow routs was indicated: Lateral and Median. These micro flow structures are suggested as vulnerability reduction.
基金supported in part by the National Key Research and Development Program of China(2018YFB1700403)the Special Funds for the Construction of an Innovative Province of Hunan(2020GK2028)+1 种基金the National Natural Science Foundation of China(Grant Nos.61872388,62072470)the Natural Science Foundation of Hunan Province(2020JJ4758).
文摘Massive sequence view (MSV) is a classic timeline-based dynamic network visualization approach. However, it is vulnerable to visual clutter caused by overlapping edges, thereby leading to unexpected misunderstanding of time-varying trends of network communications. This study presents a new edge sampling algorithm called edge-based multi-class blue noise (E-MCBN) to reduce visual clutter in MSV. Our main idea is inspired by the multi-class blue noise (MCBN) sampling algorithm, commonly used in multi-class scatterplot decluttering. First, we take a node pair as an edge class, which can be regarded as an analogy to classes in multi-class scatterplots. Second, we propose two indicators, namely, class overlap and inter-class conflict degrees, to measure the overlapping degree and mutual exclusion, respectively, between edge classes. These indicators help construct the foundation of migrating the MCBN sampling from multi-class scatterplots to dynamic network samplings. Finally, we propose three strategies to accelerate MCBN sampling and a partitioning strategy to preserve local high-density edges in the MSV. The result shows that our approach can effectively reduce visual clutters and improve the readability of MSV. Moreover, our approach can also overcome the disadvantages of the MCBN sampling (i.e., long-running and failure to preserve local high-density communication areas in MSV). This study is the first that introduces MCBN sampling into a dynamic network sampling.
基金supported in part by the National Key Research and Development Program of China under Grant No.2020AAA-0108502the National Natural Science Foundation of China under Grant Nos.61972244,U19A2060,and 61925206the HighTech Support Program from Shanghai Committee of Science and Technology under Grant No.19511121100.
文摘Nowadays,application migration becomes more and more attractive.For example,it can make computation closer to data sources or make service closer to end-users,which may significantly decrease latency in edge computing.Yet,migrating applications among servers that are controlled by different platform owners raises security issues.We leverage hardware-secured trusted execution environment(TEE,aka.,enclave)technologies,such as Intel SGX,AMD SEV,and ARM TrustZone,for protecting critical computations on untrusted servers.However,these hardware TEEs propose non-uniform programming abstractions and are based on heterogeneous architectures,which not only forces programmers to develop secure applications targeting some specific abstraction but also hinders the migration of protected applications.Therefore,we propose UniTEE which gives a unified enclave programming abstraction across the above three hardware TEEs by using a microkernel-based design and enables the secure enclave migration by integrating heterogeneous migration techniques.We have implemented the prototype on real machines.The evaluation results show the migration support incurs nearly-zero runtime overhead and the migration procedure is also efficient.
基金Supported by the National Natural Science Foundation of China (Grant No. 20335030)Foundation of Education Committee of Gansu Province (Grant No. 0708-11)
文摘The insertion and abstraction reaction mechanisms of singlet and triplet CCl2 with CH3MH (M=O, S) have been studied by using the DFT, NBO and AIM methods. The geometries of reactions, the transition state and products were completely optimized by B3LYP/6-311G(d, p). All the energy of the species was obtained at the CCSD(T)/6-311G(d, p) level. The calculated results indicated that the major pathways of the reaction were obtained on the singlet potential energy surface. The singlet CCl2 can not only trigger the insertion reaction with C-H and M-H in four pathways, by which the products P1 [CH3OCHCl2, reactionⅠ(1)], P3[Cl2HCCH2OH, reactionⅠ(2)], P5[CH3SCHCl2, reactionⅡ(1)] and P7[Cl2HCCH2SH, reac-tion Ⅱ(2)] are produced respectively, but also abstract M-H, resulting P4 [CH2O+CH2Cl2, reactionⅠ(3)] and P8[CH2S+CH2Cl2, reactionⅡ(3)]. In addition, the important geometries in domain pathways have been studied by AIM and NBO theories.
基金supported in part by the "Ministry of Science and Technology of Taiwan" (Nos. 103-2221-E-007-065-MY3 and 105-2221-E-007-104-MY2)
文摘Line drawing is a style of image abstraction where the perceptual content of the image is conveyed using distinct straight or curved lines. However,extracting semantically salient lines is not trivial and mastered only by skilled artists. While many parametric filters have successfully extracted accurate and coherent lines, their results are sensitive to parameter choice and easily lead to either an excessive or insufficient number of lines. In this work, we present an interactive system to generate concise line abstractions of arbitrary images via a few user specified strokes. Specifically, the user simply has to provide a few intuitive strokes on the input images, including tracing roughly along edges and scribbling on the region of interest, through a sketching interface. The system then automatically extracts lines that are long,coherent and share similar textural structures to form a corresponding highly detailed line drawing. We have tested our system with a wide variety of images. Our experimental results show that our system outperforms state-of-the-art techniques in terms of quality and efficiency.
基金The author thanks Dr Bernard Moulin,Laval University,Dr Phil Graniero,University of Windsor,and Dr Normand Bergeron,Institute for their advice during this research.Supported by the Canadian Network of Centers of Excellence in Geomatics(GEOIDE)the Natural Sciences and Engineering Research Council(NSERC)of Canadaand the Fonds Québécois de la Recherche sur la Nature et les Technologies(FQRNT).
文摘We propose a novel method for the automated generation of virtual geographic environments that allows using geographic information system data to build what we call informed virtual geographic environment(IVGE).The description of an IVGE integrates semantic information expressed using conceptual graphs,a standard knowledge representation technique.In addition,we propose an abstraction process that uses geometric,topologic,and semantic characteristics of geographic features to build a hierarchical graph-based structure describing this IVGE.Our IVGE model enables the support of large-scale and complex geographic environment modeling for multiagent geo-simulations in which the agents are situated and with which they interact.
文摘In this paper,we address two challenging issues underlying spatial simulation using software agents immersed in virtual geographic environments(VGE).First,the way to describe virtual VGE models using accurate spatial decomposition approaches structured using graph theory techniques.Second,the use of graph abstraction techniques to support realistic and advanced navigation and path planning capabilities for software agents considering the VGE’s characteristics.In order to illustrate our contributions to the growing field of spatial simulations,we present and discuss a case study involving an urban VGE model populated with agents who autonomously and differently interact with multiple abstractions of the same physical environment.
文摘The rhetorical structure of abstracts has been a widely discussed topic, as it can greatly enhance the abstract writing skills of second-language writers. This study aims to provide guidance on the syntactic features that L2 learners can employ, as well as suggest which features they should focus on in English academic writing. To achieve this, all samples were analyzed for rhetorical moves using Hyland’s five-rhetorical move model. Additionally, all sentences were evaluated for syntactic complexity, considering measures such as global, clausal and phrasal complexity. The findings reveal that expert writers exhibit a more balanced use of syntactic complexity across moves, effectively fulfilling the rhetorical objectives of abstracts. On the other hand, MA students tend to rely excessively on embedded structures and dependent clauses in an attempt to increase complexity. The implications of these findings for academic writing research, pedagogy, and assessment are thoroughly discussed.
文摘The action of signs in human lives and in the evolution of cultures is to be understood in the light of semiosis, the process by which a meaning is given to all things in the world. Writing systems, as a sort of semiotic creation, evolve according to the laws of semiosis and the rhythm of human stepping ahead. This paper is an attempt to afford evidence of three relevant facts: a) A close contact, or at least a remarkable coincidence, of writing cultures in ancient times. b) An apparent and undeniable process of divergence of writing systems over centuries. c) A tendency to a new convergence of writing systems, as an ongoing process inferable from the new symbols of an increasingly globalised world. We propose that one of the elements that push these processes forward is abstraction, and we suggest that abstraction might be the leading factor in the evolution of writing and semiotic systems.