To meet the end-user's dynamically changed requirements for software and achieve the on-demand changes of operational process in time, based on the Goal model and the Process model, the user's personalized ope...To meet the end-user's dynamically changed requirements for software and achieve the on-demand changes of operational process in time, based on the Goal model and the Process model, the user's personalized operations of the related work were simplified and integrated, and rules for the cooperation between Goal and Process which fit for software engineers were proposed and formalized. The user's personalized operations of the related work were analyzed to conclude the pattern of Goal modification. By the direct drive of Goal modification, the corresponding changes of Process were induced and specified. Then rules for the cooperation between Goal and Process were concluded and the formalization was achieved in Semantic Web Rule Language (SWRL). In this paper, reasoning support was provided for the model modification based on ontology and the dynamic evolution of Process model.展开更多
Malformed packets and overlapping fragments are harmful to Intranet end hosts. A formalization engine was introduced to formalize transit packets and reassemble fragments to eliminate the fragment semantic ambiguity. ...Malformed packets and overlapping fragments are harmful to Intranet end hosts. A formalization engine was introduced to formalize transit packets and reassemble fragments to eliminate the fragment semantic ambiguity. In the formalization engine, malformed packets are formalized by a packet verification engine layer according to protocol standards. In order to eliminate the fragment semantic ambiguity, OS classes of end hosts were collected by an OS detector, each fragment was reassembled according to its OS class. According to the reassembly algorithm of different OS, the pre-forward fields of the cached data were counted with the application of the pre-forward policies and were transmitted to save system resource. Applying the BSD-Linux pre-forward policy, the BSD-right pre-forward policy and the First pre-forward policy, the packet loss rate is dropped and system performance improved. The experiments show that the identification precision can be maintained about 90% in heavy processing load.展开更多
Distributed Operating System Formalization Generating System(DOSFGS)consists of agrammar subsystem DOSFSG and a semantics subsystem DOSFSS.DOSFSG is a kind ofContext-free grammar.DOSFSS is a semantics system with an o...Distributed Operating System Formalization Generating System(DOSFGS)consists of agrammar subsystem DOSFSG and a semantics subsystem DOSFSS.DOSFSG is a kind ofContext-free grammar.DOSFSS is a semantics system with an operating set.DOSFGS gen-erates a distributed operating system automatically according to the process of abstraction,description,and refinement.This paper discusses data structures,operating set and defini-tion of DOSFSS.展开更多
The FIPA specification of MAS (multi agent system)is accepted by most of the applications of MAS in the world, and has been used in many projects. This paper draws an Abstract architecture from the FIPA based MAS, and...The FIPA specification of MAS (multi agent system)is accepted by most of the applications of MAS in the world, and has been used in many projects. This paper draws an Abstract architecture from the FIPA based MAS, and gives formalization about it.展开更多
Partial formalization, which involves the development of deductive connections among statements, can be used to examine assumptions, definitions and related methodologies that are used in science. This approach has be...Partial formalization, which involves the development of deductive connections among statements, can be used to examine assumptions, definitions and related methodologies that are used in science. This approach has been applied to the study of nucleic acids recovered from natural microbial assemblages (NMA) by the use of bulk extraction. Six pools of bulk-extractable nucleic acids (BENA) are suggested to be present in a NMA: (pool 1) inactive microbes (abiotic-limited);(pool 2) inactive microbes (abiotic permissive, biotic-limited);(pool 3) dormant microbes (abiotic permissive, biotic-limited, but can become biotic permissive);(pool 4) in situ active microbes (the microbial community);(pool 5) viruses (virocells/virions/cryptic viral genomes);and (pool 6) extracellular nucleic acids including extracellular DNA (eDNA). Definitions for cells, the microbial community (in situ active cells), the rare biosphere, dormant cells (the microbial seed bank), viruses (virocells/virions/cryptic viral genomic), and diversity are presented, together with methodology suggested to allow their study. The word diversity will require at least 4 definitions, each involving a different methodology. These suggested definitions and methodologies should make it possible to make further advances in bulk extraction-based molecular microbial ecology.展开更多
Despite the intention of minimum wage policy to maintain the living standards of low-income groups in the formal sector, this paper has found that the actual result of this policy produces the ＂big push＂ impact on C...Despite the intention of minimum wage policy to maintain the living standards of low-income groups in the formal sector, this paper has found that the actual result of this policy produces the ＂big push＂ impact on China＇s economy under certain conditions, i.e. it is conducive to achieving the equilibrium of high wage, high consumption and formalization. The result shows that the elasticity of income growth from raising the minimum wage standard is greater for formal sector employees than for informal sector employees and is characterized by a U-shaped pattern in terms of quantiles. Thus, minimum wage hikes have widened wage gaps between and within sectors. Rising minimum wage standards greatly stimulate consumption with each 10% increase expected to bring about an additional urban household consumption of about 1.167 billion yuan in the surveyed four provinces. With local minimum wage hikes, the formal sector of wholesale and retail, hotel and catering services expands and the informal sector contracts, while the real estate sector experiences a ＂reverse formalization＂ trend. Based on the ＂big push theory＂, this paper concludes that against the backdrop of extensive, frequent and substantial minimum wage hikes, demand and sector TFP growth are the major causes of sector heterogeneity.展开更多
The article defines knowledge about pelforated stomach ulcer that is formalized on the basis of an ontology model of medical diagnostics domain. The paper describes a base of observations for the disease and also know...The article defines knowledge about pelforated stomach ulcer that is formalized on the basis of an ontology model of medical diagnostics domain. The paper describes a base of observations for the disease and also knowledge base which determines a clinical presentation of the disease. The dependences on courses of the disease and process localization are taken into account during knowledge formalizing. The base of knowledge for the disease has the structure that is conventional for contemporary medicine. These knowledge will be used for building a medical intellectual system of for consulting and diagnostics.展开更多
There were mainly six types of formalization models found in the study for 95 city and county names in China’s Hunan province,namely,the environment in a place for the place,the wish of the nomenclator for the place,...There were mainly six types of formalization models found in the study for 95 city and county names in China’s Hunan province,namely,the environment in a place for the place,the wish of the nomenclator for the place,the relative position of a place for the place,the resident for the place,the legend for the place,and the function of a place for the place.In the six formalization models,environment in a place for the place was the most in number,forging 47 names.Besides,the wish of the nomenclator for the place and the relative position of a place for the place came the second,taking 20 names respectively.The cognitive operation participating in the formalization was primarily single metonymy with only a few complex metonymies.Metaphtonymy could be only noted in the model of the wish of the nomenclator for the place.It was notable that single metaphor was missing in the cognitive operations.展开更多
Performance of private enterprises in the social and economic activities are increasingly active, now they go into the heart from the economic, social fringes, and become the most dynamic and promising economic form o...Performance of private enterprises in the social and economic activities are increasingly active, now they go into the heart from the economic, social fringes, and become the most dynamic and promising economic form of China＇s economy. With the increased competition after accession to the WTO, economic globalization requires private enterprises pay more attention to the speed and efficiency of discovery the market, distribution methods, the new generation of products, liquidity. ＂Information＂ is the most effective means to achieve speed and efficiency. Currently, private enterprise information technology has become the focus content of our enterprise information.展开更多
In this paper we will study non-abelian Chern-Simons theory on a deformed superspace. We will deform the superspace in such a way that it includes the noncommutativity between bosonic and fermionic coordinates. We wil...In this paper we will study non-abelian Chern-Simons theory on a deformed superspace. We will deform the superspace in such a way that it includes the noncommutativity between bosonic and fermionic coordinates. We will first analyse the BRST and the anti-BRST symmetries of the Chern-imons theory on this deformed superspace. Then we will analyse the extended BRST and the extended anti-BRST symmetries of this theory in the Batalin-Vilkovisky （BV） formalism. Finally, we will express these extended BRST and extended anti-BRST symmetries in extended superspace formalism by introducing new Grassmann coordinates.展开更多
In this paper, it is emphasized that taking into consideration of imperfection of knowledge, of the team of the designers/developers, about the problem domains and environments is essential in order to develop robust ...In this paper, it is emphasized that taking into consideration of imperfection of knowledge, of the team of the designers/developers, about the problem domains and environments is essential in order to develop robust software metrics and systems. In this respect, first various possible types of imperfections in knowledge are discussed and then various available formal/mathematical models for representing and handling these imperfections are discussed. The discussion of knowledge classification & representation is from computational perspective and that also within the context of software development enterprise, and not necessarily from organizational management, from library & information science, or from psychological perspectives.展开更多
Data integration requires managing heterogeneous schema information. A federated database system integrates heterogeneous, autonomous database systems on the schema level, whereby both local applications and global ap...Data integration requires managing heterogeneous schema information. A federated database system integrates heterogeneous, autonomous database systems on the schema level, whereby both local applications and global applications accessing multiple component database systems are supported. Such a federated database system is a complex system of systems which requires a well-designed organization at the system and software architecture level. A specific challenge that federated database systems face is the organization of schemas into a schema architecture. This paper provides a detailed, formal investigation of variability in the family of schema architectures, which are central components in the architecture of federated database systems. It is shown how the variability of specific architectures can be compared to the reference architecture and to each other. To achieve this, we combine the semi-formal object-oriented modeling language UML with the formal object-oriented specification language Object-Z. Appropriate use of inheritance in the formal specification, as enabled by Object-Z, greatly supports specifying and analyzing the variability among the studied schema architectures. The investigation also serves to illustrate the employed specification techniques for analyzing and comparing software architecture specifications.展开更多
Objective expertise evaluation of individuals,as a prerequisite stage for team formation,has been a long-term desideratum in large software development companies.With the rapid advancements in machine learning methods...Objective expertise evaluation of individuals,as a prerequisite stage for team formation,has been a long-term desideratum in large software development companies.With the rapid advancements in machine learning methods,based on reliable existing data stored in project management tools’datasets,automating this evaluation process becomes a natural step forward.In this context,our approach focuses on quantifying software developer expertise by using metadata from the task-tracking systems.For this,we mathematically formalize two categories of expertise:technology-specific expertise,which denotes the skills required for a particular technology,and general expertise,which encapsulates overall knowledge in the software industry.Afterward,we automatically classify the zones of expertise associated with each task a developer has worked on using Bidirectional Encoder Representations from Transformers(BERT)-like transformers to handle the unique characteristics of project tool datasets effectively.Finally,our method evaluates the proficiency of each software specialist across already completed projects from both technology-specific and general perspectives.The method was experimentally validated,yielding promising results.展开更多
Since the 1980s,along with the transformation to the market economy,the most tangible feature in the legal development in China is toward the legalization:China has made more laws,tried more civil and criminal cases,h...Since the 1980s,along with the transformation to the market economy,the most tangible feature in the legal development in China is toward the legalization:China has made more laws,tried more civil and criminal cases,had more lawyers,judges and prosecutors,set up more legal educational institutes.Not only on the book but also in action,Chinese people more and more like to choose the legal way,the people’s courts.展开更多
The modifiedλ-differential Lie-Yamaguti algebras are considered,in which a modifiedλ-differential Lie-Yamaguti algebra consisting of a Lie-Yamaguti algebra and a modifiedλ-differential operator.First we introduce t...The modifiedλ-differential Lie-Yamaguti algebras are considered,in which a modifiedλ-differential Lie-Yamaguti algebra consisting of a Lie-Yamaguti algebra and a modifiedλ-differential operator.First we introduce the representation of modifiedλ-differential Lie-Yamaguti algebras.Furthermore,we establish the cohomology of a modifiedλ-differential Lie-Yamaguti algebra with coefficients in a representation.Finally,we investigate the one-parameter formal deformations and Abelian extensions of modifiedλ-differential Lie-Yamaguti algebras using the second cohomology group.展开更多
To enhance the expressive power and the declarative ability of a deductive database, various CWA (Closed World Assumption) formalizations including the naive CWA, the generalized CWA and the careful CWA are extended ...To enhance the expressive power and the declarative ability of a deductive database, various CWA (Closed World Assumption) formalizations including the naive CWA, the generalized CWA and the careful CWA are extended to multi-valued logics. The basic idea is to embed logic formulas into some polynomial ring. The extensions can be applied in a uniform manner to any finitely multi-valued logics. Therefore they are also of computational significance.展开更多
In this paper,we call a tuple consisting of 3-Lie algebra and a higher derivation on it a 3-LieHDer pair.We introduce a cohomology theory of 3-LieHDer pairs.Next,we interpret the second cohomology group as the space o...In this paper,we call a tuple consisting of 3-Lie algebra and a higher derivation on it a 3-LieHDer pair.We introduce a cohomology theory of 3-LieHDer pairs.Next,we interpret the second cohomology group as the space of all isomorphism classes of abelian extensions.Finally,we consider formal deformations of 3-LieHDer pairs that are governed by the cohomology with self-coefficient.展开更多
Smart learning environments have been considered as vital sources and essential needs in modern digital education systems.With the rapid proliferation of smart and assistive technologies,smart learning processes have ...Smart learning environments have been considered as vital sources and essential needs in modern digital education systems.With the rapid proliferation of smart and assistive technologies,smart learning processes have become quite convenient,comfortable,and financially affordable.This shift has led to the emergence of pervasive computing environments,where user’s intelligent behavior is supported by smart gadgets;however,it is becoming more challenging due to inconsistent behavior of Artificial intelligence(AI)assistive technologies in terms of networking issues,slow user responses to technologies and limited computational resources.This paper presents a context-aware predictive reasoning based formalism for smart learning environments that facilitates students in managing their academic as well as extra-curricular activities autonomously with limited human intervention.This system consists of a three-tier architecture including the acquisition of the contextualized information from the environment autonomously,modeling the system using Web Ontology Rule Language(OWL 2 RL)and Semantic Web Rule Language(SWRL),and perform reasoning to infer the desired goals whenever and wherever needed.For contextual reasoning,we develop a non-monotonic reasoning based formalism to reason with contextual information using rule-based reasoning.The focus is on distributed problem solving,where context-aware agents exchange information using rule-based reasoning and specify constraints to accomplish desired goals.To formally model-check and simulate the system behavior,we model the case study of a smart learning environment in the UPPAAL model checker and verify the desired properties in the model,such as safety,liveness and robust properties to reflect the overall correctness behavior of the system with achieving the minimum analysis time of 0.002 s and 34,712 KB memory utilization.展开更多
This study sought to analyze the occupational habits of immigrant workers in the formal Brazilian labor market from a sociological perspective.It was understood that a study on occupation should observe professional a...This study sought to analyze the occupational habits of immigrant workers in the formal Brazilian labor market from a sociological perspective.It was understood that a study on occupation should observe professional and employment history,which may include an analysis over time of workers in the same profession or in periods of professional mobility.In order to understand occupational trajectories and related aspects,this study used data that were collected through semi-structured interviews and surveys with immigrant workers who were employed in the Brazilian formal labor market.The interviews and surveys revealed a strong polarization among the immigrant workers present in Brazil-while a small part holds highly skilled occupations,the majority participate at the base of the productivity hierarchy.展开更多
On 20 April 1994,China made its first o!cial full-function connection to the World Wide Web through a 64-kilobyte international leased line,marking the country’s formal entry into the global digital age.The year 2024...On 20 April 1994,China made its first o!cial full-function connection to the World Wide Web through a 64-kilobyte international leased line,marking the country’s formal entry into the global digital age.The year 2024 marked the 30th anniversary of the country’s entry into the internet era.展开更多
基金National Key Basic Research Program of China (973 program) (No. 2007CB310801)Fundamental Research Fund for the Central Universities,China (No. 201121102020004)
文摘To meet the end-user's dynamically changed requirements for software and achieve the on-demand changes of operational process in time, based on the Goal model and the Process model, the user's personalized operations of the related work were simplified and integrated, and rules for the cooperation between Goal and Process which fit for software engineers were proposed and formalized. The user's personalized operations of the related work were analyzed to conclude the pattern of Goal modification. By the direct drive of Goal modification, the corresponding changes of Process were induced and specified. Then rules for the cooperation between Goal and Process were concluded and the formalization was achieved in Semantic Web Rule Language (SWRL). In this paper, reasoning support was provided for the model modification based on ontology and the dynamic evolution of Process model.
文摘Malformed packets and overlapping fragments are harmful to Intranet end hosts. A formalization engine was introduced to formalize transit packets and reassemble fragments to eliminate the fragment semantic ambiguity. In the formalization engine, malformed packets are formalized by a packet verification engine layer according to protocol standards. In order to eliminate the fragment semantic ambiguity, OS classes of end hosts were collected by an OS detector, each fragment was reassembled according to its OS class. According to the reassembly algorithm of different OS, the pre-forward fields of the cached data were counted with the application of the pre-forward policies and were transmitted to save system resource. Applying the BSD-Linux pre-forward policy, the BSD-right pre-forward policy and the First pre-forward policy, the packet loss rate is dropped and system performance improved. The experiments show that the identification precision can be maintained about 90% in heavy processing load.
基金Supported by the High Technology Research and Development Programme of China.
文摘Distributed Operating System Formalization Generating System(DOSFGS)consists of agrammar subsystem DOSFSG and a semantics subsystem DOSFSS.DOSFSG is a kind ofContext-free grammar.DOSFSS is a semantics system with an operating set.DOSFGS gen-erates a distributed operating system automatically according to the process of abstraction,description,and refinement.This paper discusses data structures,operating set and defini-tion of DOSFSS.
文摘The FIPA specification of MAS (multi agent system)is accepted by most of the applications of MAS in the world, and has been used in many projects. This paper draws an Abstract architecture from the FIPA based MAS, and gives formalization about it.
文摘Partial formalization, which involves the development of deductive connections among statements, can be used to examine assumptions, definitions and related methodologies that are used in science. This approach has been applied to the study of nucleic acids recovered from natural microbial assemblages (NMA) by the use of bulk extraction. Six pools of bulk-extractable nucleic acids (BENA) are suggested to be present in a NMA: (pool 1) inactive microbes (abiotic-limited);(pool 2) inactive microbes (abiotic permissive, biotic-limited);(pool 3) dormant microbes (abiotic permissive, biotic-limited, but can become biotic permissive);(pool 4) in situ active microbes (the microbial community);(pool 5) viruses (virocells/virions/cryptic viral genomes);and (pool 6) extracellular nucleic acids including extracellular DNA (eDNA). Definitions for cells, the microbial community (in situ active cells), the rare biosphere, dormant cells (the microbial seed bank), viruses (virocells/virions/cryptic viral genomic), and diversity are presented, together with methodology suggested to allow their study. The word diversity will require at least 4 definitions, each involving a different methodology. These suggested definitions and methodologies should make it possible to make further advances in bulk extraction-based molecular microbial ecology.
基金Major project of National Social Sciences Foundation"Characteristics and Policy Orientation Research on the New Normal of China's Economic Growth"(Grant No.15ZDA008)Major project of National Natural Sciences Foundation"Research on the Mechanism and Policy of Promoting Industrial Upgrade in Economic Developed Regions"(Grant No.71333002)
文摘Despite the intention of minimum wage policy to maintain the living standards of low-income groups in the formal sector, this paper has found that the actual result of this policy produces the ＂big push＂ impact on China＇s economy under certain conditions, i.e. it is conducive to achieving the equilibrium of high wage, high consumption and formalization. The result shows that the elasticity of income growth from raising the minimum wage standard is greater for formal sector employees than for informal sector employees and is characterized by a U-shaped pattern in terms of quantiles. Thus, minimum wage hikes have widened wage gaps between and within sectors. Rising minimum wage standards greatly stimulate consumption with each 10% increase expected to bring about an additional urban household consumption of about 1.167 billion yuan in the surveyed four provinces. With local minimum wage hikes, the formal sector of wholesale and retail, hotel and catering services expands and the informal sector contracts, while the real estate sector experiences a ＂reverse formalization＂ trend. Based on the ＂big push theory＂, this paper concludes that against the backdrop of extensive, frequent and substantial minimum wage hikes, demand and sector TFP growth are the major causes of sector heterogeneity.
文摘The article defines knowledge about pelforated stomach ulcer that is formalized on the basis of an ontology model of medical diagnostics domain. The paper describes a base of observations for the disease and also knowledge base which determines a clinical presentation of the disease. The dependences on courses of the disease and process localization are taken into account during knowledge formalizing. The base of knowledge for the disease has the structure that is conventional for contemporary medicine. These knowledge will be used for building a medical intellectual system of for consulting and diagnostics.
文摘There were mainly six types of formalization models found in the study for 95 city and county names in China’s Hunan province,namely,the environment in a place for the place,the wish of the nomenclator for the place,the relative position of a place for the place,the resident for the place,the legend for the place,and the function of a place for the place.In the six formalization models,environment in a place for the place was the most in number,forging 47 names.Besides,the wish of the nomenclator for the place and the relative position of a place for the place came the second,taking 20 names respectively.The cognitive operation participating in the formalization was primarily single metonymy with only a few complex metonymies.Metaphtonymy could be only noted in the model of the wish of the nomenclator for the place.It was notable that single metaphor was missing in the cognitive operations.
文摘Performance of private enterprises in the social and economic activities are increasingly active, now they go into the heart from the economic, social fringes, and become the most dynamic and promising economic form of China＇s economy. With the increased competition after accession to the WTO, economic globalization requires private enterprises pay more attention to the speed and efficiency of discovery the market, distribution methods, the new generation of products, liquidity. ＂Information＂ is the most effective means to achieve speed and efficiency. Currently, private enterprise information technology has become the focus content of our enterprise information.
文摘In this paper we will study non-abelian Chern-Simons theory on a deformed superspace. We will deform the superspace in such a way that it includes the noncommutativity between bosonic and fermionic coordinates. We will first analyse the BRST and the anti-BRST symmetries of the Chern-imons theory on this deformed superspace. Then we will analyse the extended BRST and the extended anti-BRST symmetries of this theory in the Batalin-Vilkovisky （BV） formalism. Finally, we will express these extended BRST and extended anti-BRST symmetries in extended superspace formalism by introducing new Grassmann coordinates.
文摘In this paper, it is emphasized that taking into consideration of imperfection of knowledge, of the team of the designers/developers, about the problem domains and environments is essential in order to develop robust software metrics and systems. In this respect, first various possible types of imperfections in knowledge are discussed and then various available formal/mathematical models for representing and handling these imperfections are discussed. The discussion of knowledge classification & representation is from computational perspective and that also within the context of software development enterprise, and not necessarily from organizational management, from library & information science, or from psychological perspectives.
文摘Data integration requires managing heterogeneous schema information. A federated database system integrates heterogeneous, autonomous database systems on the schema level, whereby both local applications and global applications accessing multiple component database systems are supported. Such a federated database system is a complex system of systems which requires a well-designed organization at the system and software architecture level. A specific challenge that federated database systems face is the organization of schemas into a schema architecture. This paper provides a detailed, formal investigation of variability in the family of schema architectures, which are central components in the architecture of federated database systems. It is shown how the variability of specific architectures can be compared to the reference architecture and to each other. To achieve this, we combine the semi-formal object-oriented modeling language UML with the formal object-oriented specification language Object-Z. Appropriate use of inheritance in the formal specification, as enabled by Object-Z, greatly supports specifying and analyzing the variability among the studied schema architectures. The investigation also serves to illustrate the employed specification techniques for analyzing and comparing software architecture specifications.
基金supported by the project“Romanian Hub for Artificial Intelligence-HRIA”,Smart Growth,Digitization and Financial Instruments Program,2021–2027,MySMIS No.334906.
文摘Objective expertise evaluation of individuals,as a prerequisite stage for team formation,has been a long-term desideratum in large software development companies.With the rapid advancements in machine learning methods,based on reliable existing data stored in project management tools’datasets,automating this evaluation process becomes a natural step forward.In this context,our approach focuses on quantifying software developer expertise by using metadata from the task-tracking systems.For this,we mathematically formalize two categories of expertise:technology-specific expertise,which denotes the skills required for a particular technology,and general expertise,which encapsulates overall knowledge in the software industry.Afterward,we automatically classify the zones of expertise associated with each task a developer has worked on using Bidirectional Encoder Representations from Transformers(BERT)-like transformers to handle the unique characteristics of project tool datasets effectively.Finally,our method evaluates the proficiency of each software specialist across already completed projects from both technology-specific and general perspectives.The method was experimentally validated,yielding promising results.
文摘Since the 1980s,along with the transformation to the market economy,the most tangible feature in the legal development in China is toward the legalization:China has made more laws,tried more civil and criminal cases,had more lawyers,judges and prosecutors,set up more legal educational institutes.Not only on the book but also in action,Chinese people more and more like to choose the legal way,the people’s courts.
基金National Natural Science Foundation of China(12161013)Research Projects of Guizhou University of Commerce in 2024。
文摘The modifiedλ-differential Lie-Yamaguti algebras are considered,in which a modifiedλ-differential Lie-Yamaguti algebra consisting of a Lie-Yamaguti algebra and a modifiedλ-differential operator.First we introduce the representation of modifiedλ-differential Lie-Yamaguti algebras.Furthermore,we establish the cohomology of a modifiedλ-differential Lie-Yamaguti algebra with coefficients in a representation.Finally,we investigate the one-parameter formal deformations and Abelian extensions of modifiedλ-differential Lie-Yamaguti algebras using the second cohomology group.
文摘To enhance the expressive power and the declarative ability of a deductive database, various CWA (Closed World Assumption) formalizations including the naive CWA, the generalized CWA and the careful CWA are extended to multi-valued logics. The basic idea is to embed logic formulas into some polynomial ring. The extensions can be applied in a uniform manner to any finitely multi-valued logics. Therefore they are also of computational significance.
基金Supported by the National Natural Science Foundation of China(Grant No.12161013)the Basic Research Program(Natural Science)of Guizhou Province(Grant No.ZK[2023]025).
文摘In this paper,we call a tuple consisting of 3-Lie algebra and a higher derivation on it a 3-LieHDer pair.We introduce a cohomology theory of 3-LieHDer pairs.Next,we interpret the second cohomology group as the space of all isomorphism classes of abelian extensions.Finally,we consider formal deformations of 3-LieHDer pairs that are governed by the cohomology with self-coefficient.
基金supported by the National Research Foundation(NRF),Republic of Korea,under project BK21 FOUR(4299990213939).
文摘Smart learning environments have been considered as vital sources and essential needs in modern digital education systems.With the rapid proliferation of smart and assistive technologies,smart learning processes have become quite convenient,comfortable,and financially affordable.This shift has led to the emergence of pervasive computing environments,where user’s intelligent behavior is supported by smart gadgets;however,it is becoming more challenging due to inconsistent behavior of Artificial intelligence(AI)assistive technologies in terms of networking issues,slow user responses to technologies and limited computational resources.This paper presents a context-aware predictive reasoning based formalism for smart learning environments that facilitates students in managing their academic as well as extra-curricular activities autonomously with limited human intervention.This system consists of a three-tier architecture including the acquisition of the contextualized information from the environment autonomously,modeling the system using Web Ontology Rule Language(OWL 2 RL)and Semantic Web Rule Language(SWRL),and perform reasoning to infer the desired goals whenever and wherever needed.For contextual reasoning,we develop a non-monotonic reasoning based formalism to reason with contextual information using rule-based reasoning.The focus is on distributed problem solving,where context-aware agents exchange information using rule-based reasoning and specify constraints to accomplish desired goals.To formally model-check and simulate the system behavior,we model the case study of a smart learning environment in the UPPAAL model checker and verify the desired properties in the model,such as safety,liveness and robust properties to reflect the overall correctness behavior of the system with achieving the minimum analysis time of 0.002 s and 34,712 KB memory utilization.
文摘This study sought to analyze the occupational habits of immigrant workers in the formal Brazilian labor market from a sociological perspective.It was understood that a study on occupation should observe professional and employment history,which may include an analysis over time of workers in the same profession or in periods of professional mobility.In order to understand occupational trajectories and related aspects,this study used data that were collected through semi-structured interviews and surveys with immigrant workers who were employed in the Brazilian formal labor market.The interviews and surveys revealed a strong polarization among the immigrant workers present in Brazil-while a small part holds highly skilled occupations,the majority participate at the base of the productivity hierarchy.
文摘On 20 April 1994,China made its first o!cial full-function connection to the World Wide Web through a 64-kilobyte international leased line,marking the country’s formal entry into the global digital age.The year 2024 marked the 30th anniversary of the country’s entry into the internet era.
