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.展开更多
Researchers around the world strive to communicate new knowledge,primarily via publication,with the abstract being crucial in conveying core insights.Previous research has generally analyzed the discourse features of ...Researchers around the world strive to communicate new knowledge,primarily via publication,with the abstract being crucial in conveying core insights.Previous research has generally analyzed the discourse features of abstracts from a macro perspective and often employed either outdated texts,such as those over a decade old,or papers written by authors with lower English academic writing proficiency as research material.In this study,we analyzed forty abstracts from leading journals in applied linguistics,evenly split between Chinese and international journals.It revealed that the use of nominalization in abstracts by Chinese and international scholars showed similarities due to the universal academic requirement for conciseness.However,due to cultural and educational differences,each group differed in their respective language choices and nominalization usage.By analyzing the application of nominalization in different cultural contexts,the results of our study offered practical suggestions for crafting abstracts that effectively convey information,thereby,contributing to the broader academic community.展开更多
This paper aims to formalize a general definition of intelligence beyond human intelligence. We accomplish this by re-imagining the concept of equality as a fundamental abstraction for relation. We discover that the c...This paper aims to formalize a general definition of intelligence beyond human intelligence. We accomplish this by re-imagining the concept of equality as a fundamental abstraction for relation. We discover that the concept of equality = limits the sensitivity of our mathematics to abstract relationships. We propose a new relation principle that does not rely on the concept of equality but is consistent with existing mathematical abstractions. In essence, this paper proposes a conceptual framework for general interaction and argues that this framework is also an abstraction that satisfies the definition of Intelligence. Hence, we define intelligence as a formalization of generality, represented by the abstraction ∆∞Ο, where each symbol represents the concepts infinitesimal, infinite, and finite respectively. In essence, this paper proposes a General Language Model (GLM), where the abstraction ∆∞Ο represents the foundational relationship of the model. This relation is colloquially termed “The theory of everything”.展开更多
Embodied cognition theories propose that language comprehension triggers a sensorimotor system in the brain.However,most previous research has paid much attention to concrete and factual sentences,and little emphasis ...Embodied cognition theories propose that language comprehension triggers a sensorimotor system in the brain.However,most previous research has paid much attention to concrete and factual sentences,and little emphasis has been put on the research of abstract and counterfactual sentences.The primary challenges for embodied theories lie in elucidating the meanings of abstract and counterfactual sentences.The most prevalent explanation is that abstract and counterfactual sentences are grounded in the activation of a sensorimotor system,in exactly the same way as concrete and factual ones.The present research employed a dual-task experimental paradigm to investigate whether the embodied meaning is activated in comprehending action-related abstract Chinese counterfactual sentences through the presence or absence of action-sentence compatibility effect(ACE).Participants were instructed to read and listen to the action-related abstract Chinese factual or counterfactual sentences describing an abstract transfer word towards or away from them,and then move their fingers towards or away from them to press the buttons in the same direction as the motion cue of the transfer verb.The action-sentence compatibility effect was observed in both abstract factual and counterfactual sentences,in line with the embodied cognition theories,which indicated that the embodied meanings were activated in both action-related abstract factuals and counterfactuals.展开更多
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 reactions of anionic zirconium oxide clusters ZrxOy- with C2H6 and C4H10 are investi-gated by a time of flight mass spectrometer coupled with a laser vaporization cluster source.Hydrogen containing products Zr2O5H...The reactions of anionic zirconium oxide clusters ZrxOy- with C2H6 and C4H10 are investi-gated by a time of flight mass spectrometer coupled with a laser vaporization cluster source.Hydrogen containing products Zr2O5H- and Zr3O7H- are observed after the reaction. Den-sity functional theory calculations indicate that the hydrogen abstraction is favorable in the reaction of Zr2O5- with C2H6, which supports that the observed Zr2O5H- and Zr3O7H- are due to hydrogen atom abstraction from the alkane molecules. This work shows a newpossible pathway in the reaction of zirconium oxide cluster anions with alkane molecules.展开更多
The topic on the subspaces for the polynomially or exponentially bounded weak mild solutions of the following abstract Cauchy problem d^2/(dr^2)u(t,x)=Au(t,x);u(0,x)=x,d/(dt)u(0,x)=0,x∈X is studied, wher...The topic on the subspaces for the polynomially or exponentially bounded weak mild solutions of the following abstract Cauchy problem d^2/(dr^2)u(t,x)=Au(t,x);u(0,x)=x,d/(dt)u(0,x)=0,x∈X is studied, where A is a closed operator on Banach space X. The case that the problem is ill-posed is treated, and two subspaces Y(A, k) and H(A, ω) are introduced. Y(A, k) is the set of all x in X for which the second order abstract differential equation has a weak mild solution v( t, x) such that ess sup{(1+t)^-k|d/(dt)〈v(t,x),x^*〉|:t≥0,x^*∈X^*,|x^*‖≤1}〈+∞. H(A, ω) is the set of all x in X for which the second order abstract differential equation has a weak mild solution v(t,x)such that ess sup{e^-ωl|d/(dt)〈v(t,x),x^*)|:t≥0,x^*∈X^*,‖x^*‖≤1}〈+∞. The following conclusions are proved that Y(A, k) and H(A, ω) are Banach spaces, and both are continuously embedded in X; the restriction operator A | Y(A,k) generates a once-integrated cosine operator family { C(t) }t≥0 such that limh→0+^-1/h‖C(t+h)-C(t)‖Y(A,k)≤M(1+t)^k,arbitary t≥0; the restriction operator A |H(A,ω) generates a once- integrated cosine operator family {C(t)}t≥0 such that limh→0+^-1/h‖C(t+h)-C(t)‖H(A,ω)≤≤Me^ωt,arbitary t≥0.展开更多
The mechanisms and kinetics of the gas phase reactions that the hydrogen atom in formyl fluoride (FCHO) abstracted by OH in the presence of water, formic acid (FA), or sulfuric acid (SA) are theoretically invest...The mechanisms and kinetics of the gas phase reactions that the hydrogen atom in formyl fluoride (FCHO) abstracted by OH in the presence of water, formic acid (FA), or sulfuric acid (SA) are theoretically investigated at the CCSD(T)/6-311++G(3df, 3pd)//MO6-2X/6- 311++G(3df, 3pd) level of theory. The calculated results show that the barriers of the transition states involving catalysts are lowered to -2.89, -6.25, and -7.76 kcal/mol from 3.64 kcal/mol with respect to the separate reactants, respectively, which reflects that those catalysts play an important role in reducing the barrier of the hydrogen abstraction reaction of FCHO with OH. Additionally, using conventional transition state theory with Eckart tun- neling correction, the kinetic data demonstrate that the entrance channel X…FCHO+OH (X=H2O, FA, or SA) is significantly more favorable than the pathway X…OH+FCHO. More- over, the rate constants of the reactions of FCHO with OH radical with H2O, FA, or SA introduced are computed to be smaller than that of the naked OH+FCHO reaction because the concentration of the formed X…FCHO or X…OH complex is quite low in the atmosphere.展开更多
The excited-state intramolecular hydrogen abstraction reactions of butanal have been investigated using the CAS-MP2/6-311+G^*//CASSCF/6-31G^* methods. Calculated results show that the hydrogen transfer induced fluo...The excited-state intramolecular hydrogen abstraction reactions of butanal have been investigated using the CAS-MP2/6-311+G^*//CASSCF/6-31G^* methods. Calculated results show that the hydrogen transfer induced fluorescence quenching of the n,π^*-excited state of covalent butanal with three paths: (1) The first path corresponds to direct S0-react reconstitution, which involves the first S1 decay by partial hydrogen atom transfer. (2) The second stepwise mechanism can be viewed as a full hydrogen atom transfer followed by a partial hydrogen atom back transfer, electron transfer (near S1/S0 or S0-TS) and finally a proton transfer to S0-react. (3) On the triplet surface, the surface crossing to the singlet state would be clearly much efficient at the T1/S0 region due to the large SOC value of 8.3 cm^-1. The S0-react decay route from T1/S0 was studied with an intrinsic reaction coordinate (IRC) calculation at the CASSCF level, resulting in the S0-React minimum.展开更多
In this paper we prove a zero-free region for L-functions LG(z,Х). As an application, an abstract prime number theorem with sharp error-term for formations is established.
Railway transportation system is a critical sector where design methods and techniques are defined by international standards in order to reduce possible risks to an acceptable minimum level. CENELEC 50128 strongly re...Railway transportation system is a critical sector where design methods and techniques are defined by international standards in order to reduce possible risks to an acceptable minimum level. CENELEC 50128 strongly recommends the utilization of finite state machines during system modelling stage and formal proof methods during the verifi- cation and testing stages of control algorithms. Due to the high importance of interlocking table at the design state of a sig- nalization system, the modelling and verification of inter- locking tables are examined in this work. For this purpose, abstract state machines are used as a modelling tool. The developed models have been performed in a generalized structure such that the model control can be done automatically for the interlocking systems. In this study, NuSMV is used at the verification state. Also, the consistency of the developed models has been supervised through fault injection. The developed models and software components are applied on a real railway station operated by Metro Istanbul Co.展开更多
This paper is a generic study of schematic structures and the use of modal verbs of 50 English Research Article (RA) abstracts. With Bhatia's (1990) model as the framework, three other move patterns were obtained...This paper is a generic study of schematic structures and the use of modal verbs of 50 English Research Article (RA) abstracts. With Bhatia's (1990) model as the framework, three other move patterns were obtained besides the normal move order. The density of modal verbs varies greatly from move to move with significant differences in the frequency of occurrence in different moves. The use of modal verbs is much more move-determined than discipline-determined.展开更多
In this research paper, we research on the automatic pattern abstraction and recognition method for large-scale database system based on natural language processing. In distributed database, through the network connec...In this research paper, we research on the automatic pattern abstraction and recognition method for large-scale database system based on natural language processing. In distributed database, through the network connection between nodes, data across different nodes and even regional distribution are well recognized. In order to reduce data redundancy and model design of the database will usually contain a lot of forms we combine the NLP theory to optimize the traditional method. The experimental analysis and simulation proves the correctness of our method.展开更多
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.展开更多
The two channels of the CH(3)OH+Cl hydrogen abstraction reaction, leading to the final products CH(2)OH+HCl (i) and CH(3)O+HCl (ii), have been studied by performing ab initio MP2 calculations with the triplet split-va...The two channels of the CH(3)OH+Cl hydrogen abstraction reaction, leading to the final products CH(2)OH+HCl (i) and CH(3)O+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 paths(2) 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.展开更多
Hydrogen abstraction reaction, H+C2H4 --H2+C2H2 was studied by using A initio SCF method. Ge-ometries were fully optimized at SCF level and energies were computed at STO-3G basis set for reactants and transition state...Hydrogen abstraction reaction, H+C2H4 --H2+C2H2 was studied by using A initio SCF method. Ge-ometries were fully optimized at SCF level and energies were computed at STO-3G basis set for reactants and transition state. Vibrational analysis was performed thereupon. Finally, the rate constant calculations were carried out at different temperatures for all range of reaction temperature according to Eyring's sbwlute reaction rate theory. The calculated activation energy is 12. 68 kcal/mol, lower than observed value (H. S kcal/mol) by 1. 82 kcal/mol only. The agreement of the calculated rate constants with the experiments is satisfactory.展开更多
In this paper, a better admissible class B+ is introduced and a new fixed point theorem for better admissible multimap is proved on abstract convex spaces. As a consequence, we deduce a new fixed point theorem on abs...In this paper, a better admissible class B+ is introduced and a new fixed point theorem for better admissible multimap is proved on abstract convex spaces. As a consequence, we deduce a new fixed point theorem on abstract convex Ф-spaces. Our main results generalize some recent work due to Lassonde, Kakutani, Browder, and Park展开更多
In this paper,a new GLKKM theorem in L-convex spaces is established.As applications,a new fixed point theorem and a maximal element theorem are obtained in Lconvex spaces.Finally,equilibrium existence theorems for eco...In this paper,a new GLKKM theorem in L-convex spaces is established.As applications,a new fixed point theorem and a maximal element theorem are obtained in Lconvex spaces.Finally,equilibrium existence theorems for economies and qualitative games in L-convex spaces are yielded.展开更多
Different from traditional symmetric cryptography, public key cryptography allows each user to own a pair of public/private key pair. Given the public key of one user and the data to be encrypted, a ciphertext can be ...Different from traditional symmetric cryptography, public key cryptography allows each user to own a pair of public/private key pair. Given the public key of one user and the data to be encrypted, a ciphertext can be generated such that only the intended user is able to recover the data using his/her private key associated with public key involved in the encryption process. To really understand the philosophy behind the public key cryptography is not an easy task and sometimes it seems somewhat difficult, if not impossible, for the beginners without the knowledge of the abstract algebra and number theory. In this paper, we introduce briefly the basic definition of public key cryptography as well as the corresponding mathematical hard problems. Besides, we explain why the mathematical backgrounds, especially abstract algebra and number theory, matter in the study of public key cryptography.展开更多
文摘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.
文摘Researchers around the world strive to communicate new knowledge,primarily via publication,with the abstract being crucial in conveying core insights.Previous research has generally analyzed the discourse features of abstracts from a macro perspective and often employed either outdated texts,such as those over a decade old,or papers written by authors with lower English academic writing proficiency as research material.In this study,we analyzed forty abstracts from leading journals in applied linguistics,evenly split between Chinese and international journals.It revealed that the use of nominalization in abstracts by Chinese and international scholars showed similarities due to the universal academic requirement for conciseness.However,due to cultural and educational differences,each group differed in their respective language choices and nominalization usage.By analyzing the application of nominalization in different cultural contexts,the results of our study offered practical suggestions for crafting abstracts that effectively convey information,thereby,contributing to the broader academic community.
文摘This paper aims to formalize a general definition of intelligence beyond human intelligence. We accomplish this by re-imagining the concept of equality as a fundamental abstraction for relation. We discover that the concept of equality = limits the sensitivity of our mathematics to abstract relationships. We propose a new relation principle that does not rely on the concept of equality but is consistent with existing mathematical abstractions. In essence, this paper proposes a conceptual framework for general interaction and argues that this framework is also an abstraction that satisfies the definition of Intelligence. Hence, we define intelligence as a formalization of generality, represented by the abstraction ∆∞Ο, where each symbol represents the concepts infinitesimal, infinite, and finite respectively. In essence, this paper proposes a General Language Model (GLM), where the abstraction ∆∞Ο represents the foundational relationship of the model. This relation is colloquially termed “The theory of everything”.
文摘Embodied cognition theories propose that language comprehension triggers a sensorimotor system in the brain.However,most previous research has paid much attention to concrete and factual sentences,and little emphasis has been put on the research of abstract and counterfactual sentences.The primary challenges for embodied theories lie in elucidating the meanings of abstract and counterfactual sentences.The most prevalent explanation is that abstract and counterfactual sentences are grounded in the activation of a sensorimotor system,in exactly the same way as concrete and factual ones.The present research employed a dual-task experimental paradigm to investigate whether the embodied meaning is activated in comprehending action-related abstract Chinese counterfactual sentences through the presence or absence of action-sentence compatibility effect(ACE).Participants were instructed to read and listen to the action-related abstract Chinese factual or counterfactual sentences describing an abstract transfer word towards or away from them,and then move their fingers towards or away from them to press the buttons in the same direction as the motion cue of the transfer verb.The action-sentence compatibility effect was observed in both abstract factual and counterfactual sentences,in line with the embodied cognition theories,which indicated that the embodied meanings were activated in both action-related abstract factuals and counterfactuals.
文摘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.
基金This work was supported by the Chinese Academy of Sciences (Hundred Talents Fund), the National Natural Science Foundation of China (No.20703048 and No.20803083), and the Center of Molecular Science Foundation of Institute of Chemistry, Chinese Academy of Sciences (No.CMS-LX200902).
文摘The reactions of anionic zirconium oxide clusters ZrxOy- with C2H6 and C4H10 are investi-gated by a time of flight mass spectrometer coupled with a laser vaporization cluster source.Hydrogen containing products Zr2O5H- and Zr3O7H- are observed after the reaction. Den-sity functional theory calculations indicate that the hydrogen abstraction is favorable in the reaction of Zr2O5- with C2H6, which supports that the observed Zr2O5H- and Zr3O7H- are due to hydrogen atom abstraction from the alkane molecules. This work shows a newpossible pathway in the reaction of zirconium oxide cluster anions with alkane molecules.
基金The Natural Science Foundation of Department ofEducation of Jiangsu Province (No06KJD110087)
文摘The topic on the subspaces for the polynomially or exponentially bounded weak mild solutions of the following abstract Cauchy problem d^2/(dr^2)u(t,x)=Au(t,x);u(0,x)=x,d/(dt)u(0,x)=0,x∈X is studied, where A is a closed operator on Banach space X. The case that the problem is ill-posed is treated, and two subspaces Y(A, k) and H(A, ω) are introduced. Y(A, k) is the set of all x in X for which the second order abstract differential equation has a weak mild solution v( t, x) such that ess sup{(1+t)^-k|d/(dt)〈v(t,x),x^*〉|:t≥0,x^*∈X^*,|x^*‖≤1}〈+∞. H(A, ω) is the set of all x in X for which the second order abstract differential equation has a weak mild solution v(t,x)such that ess sup{e^-ωl|d/(dt)〈v(t,x),x^*)|:t≥0,x^*∈X^*,‖x^*‖≤1}〈+∞. The following conclusions are proved that Y(A, k) and H(A, ω) are Banach spaces, and both are continuously embedded in X; the restriction operator A | Y(A,k) generates a once-integrated cosine operator family { C(t) }t≥0 such that limh→0+^-1/h‖C(t+h)-C(t)‖Y(A,k)≤M(1+t)^k,arbitary t≥0; the restriction operator A |H(A,ω) generates a once- integrated cosine operator family {C(t)}t≥0 such that limh→0+^-1/h‖C(t+h)-C(t)‖H(A,ω)≤≤Me^ωt,arbitary t≥0.
文摘The mechanisms and kinetics of the gas phase reactions that the hydrogen atom in formyl fluoride (FCHO) abstracted by OH in the presence of water, formic acid (FA), or sulfuric acid (SA) are theoretically investigated at the CCSD(T)/6-311++G(3df, 3pd)//MO6-2X/6- 311++G(3df, 3pd) level of theory. The calculated results show that the barriers of the transition states involving catalysts are lowered to -2.89, -6.25, and -7.76 kcal/mol from 3.64 kcal/mol with respect to the separate reactants, respectively, which reflects that those catalysts play an important role in reducing the barrier of the hydrogen abstraction reaction of FCHO with OH. Additionally, using conventional transition state theory with Eckart tun- neling correction, the kinetic data demonstrate that the entrance channel X…FCHO+OH (X=H2O, FA, or SA) is significantly more favorable than the pathway X…OH+FCHO. More- over, the rate constants of the reactions of FCHO with OH radical with H2O, FA, or SA introduced are computed to be smaller than that of the naked OH+FCHO reaction because the concentration of the formed X…FCHO or X…OH complex is quite low in the atmosphere.
基金supported by ‘Qinglan’ Talent Engineering Funds and Key Subject of Inorganic Chemistry by Tianshui Normal University
文摘The excited-state intramolecular hydrogen abstraction reactions of butanal have been investigated using the CAS-MP2/6-311+G^*//CASSCF/6-31G^* methods. Calculated results show that the hydrogen transfer induced fluorescence quenching of the n,π^*-excited state of covalent butanal with three paths: (1) The first path corresponds to direct S0-react reconstitution, which involves the first S1 decay by partial hydrogen atom transfer. (2) The second stepwise mechanism can be viewed as a full hydrogen atom transfer followed by a partial hydrogen atom back transfer, electron transfer (near S1/S0 or S0-TS) and finally a proton transfer to S0-react. (3) On the triplet surface, the surface crossing to the singlet state would be clearly much efficient at the T1/S0 region due to the large SOC value of 8.3 cm^-1. The S0-react decay route from T1/S0 was studied with an intrinsic reaction coordinate (IRC) calculation at the CASSCF level, resulting in the S0-React minimum.
文摘In this paper we prove a zero-free region for L-functions LG(z,Х). As an application, an abstract prime number theorem with sharp error-term for formations is established.
文摘Railway transportation system is a critical sector where design methods and techniques are defined by international standards in order to reduce possible risks to an acceptable minimum level. CENELEC 50128 strongly recommends the utilization of finite state machines during system modelling stage and formal proof methods during the verifi- cation and testing stages of control algorithms. Due to the high importance of interlocking table at the design state of a sig- nalization system, the modelling and verification of inter- locking tables are examined in this work. For this purpose, abstract state machines are used as a modelling tool. The developed models have been performed in a generalized structure such that the model control can be done automatically for the interlocking systems. In this study, NuSMV is used at the verification state. Also, the consistency of the developed models has been supervised through fault injection. The developed models and software components are applied on a real railway station operated by Metro Istanbul Co.
文摘This paper is a generic study of schematic structures and the use of modal verbs of 50 English Research Article (RA) abstracts. With Bhatia's (1990) model as the framework, three other move patterns were obtained besides the normal move order. The density of modal verbs varies greatly from move to move with significant differences in the frequency of occurrence in different moves. The use of modal verbs is much more move-determined than discipline-determined.
文摘In this research paper, we research on the automatic pattern abstraction and recognition method for large-scale database system based on natural language processing. In distributed database, through the network connection between nodes, data across different nodes and even regional distribution are well recognized. In order to reduce data redundancy and model design of the database will usually contain a lot of forms we combine the NLP theory to optimize the traditional method. The experimental analysis and simulation proves the correctness of our method.
基金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.
文摘The two channels of the CH(3)OH+Cl hydrogen abstraction reaction, leading to the final products CH(2)OH+HCl (i) and CH(3)O+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 paths(2) 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.
文摘Hydrogen abstraction reaction, H+C2H4 --H2+C2H2 was studied by using A initio SCF method. Ge-ometries were fully optimized at SCF level and energies were computed at STO-3G basis set for reactants and transition state. Vibrational analysis was performed thereupon. Finally, the rate constant calculations were carried out at different temperatures for all range of reaction temperature according to Eyring's sbwlute reaction rate theory. The calculated activation energy is 12. 68 kcal/mol, lower than observed value (H. S kcal/mol) by 1. 82 kcal/mol only. The agreement of the calculated rate constants with the experiments is satisfactory.
基金Supported by the National Science Foundation of China(Grant 10626025)Research Grant of Chongqing Key Laboratory of Operations Research and System Engineering
文摘In this paper, a better admissible class B+ is introduced and a new fixed point theorem for better admissible multimap is proved on abstract convex spaces. As a consequence, we deduce a new fixed point theorem on abstract convex Ф-spaces. Our main results generalize some recent work due to Lassonde, Kakutani, Browder, and Park
基金Supported by the Natural Science Foundation of Guizhou Province([2011]2093)Supported by the Natural Scientific Research Foundation of Guizhou Provincial Education Department of China(2008072)
文摘In this paper,a new GLKKM theorem in L-convex spaces is established.As applications,a new fixed point theorem and a maximal element theorem are obtained in Lconvex spaces.Finally,equilibrium existence theorems for economies and qualitative games in L-convex spaces are yielded.
文摘Different from traditional symmetric cryptography, public key cryptography allows each user to own a pair of public/private key pair. Given the public key of one user and the data to be encrypted, a ciphertext can be generated such that only the intended user is able to recover the data using his/her private key associated with public key involved in the encryption process. To really understand the philosophy behind the public key cryptography is not an easy task and sometimes it seems somewhat difficult, if not impossible, for the beginners without the knowledge of the abstract algebra and number theory. In this paper, we introduce briefly the basic definition of public key cryptography as well as the corresponding mathematical hard problems. Besides, we explain why the mathematical backgrounds, especially abstract algebra and number theory, matter in the study of public key cryptography.