Graduate students universally struggle with vague topics,insufficient innovation,and logical gaps in research proposals,highlighting the need for structured scientific training.This study presents an innovative pedago...Graduate students universally struggle with vague topics,insufficient innovation,and logical gaps in research proposals,highlighting the need for structured scientific training.This study presents an innovative pedagogical model embedding scholarly literature’s logical architecture into LBL-RBL hybrid teaching,implemented in Kunming Medical University’s Neuropathophysiology course.Targeting the complexity of neurological disease mechanisms,the course integrates lecture-based learning(LBL)and research-based learning(RBL)through a small-cohort framework featuring personalized literature-logic embedding→targeted lecture reinforcement→multi-round proposal iteration.Faculty deconstructed domain literature to establish a three-phase training system(“Logic Demonstration-Methodology Mapping-Proposal Embedding”),systematically merging academic logic with research methodology over 9 weeks.Results demonstrate that this problem-driven approach creates authentic scientific inquiry scenarios,activating student knowledge co-construction and collaborative exploration.It successfully enables dynamic competency progression through“cognitive deconstruction→methodological practice→proposal refinement,”significantly enhancing proposal rigor and innovation.This study offers a scalable dual-track solution for cultivating advanced scientific capabilities in medical graduate education.展开更多
In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided i...In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.展开更多
As a fundamental course in science and engineering education at universities,advanced mathematics plays an irreplaceable role in cultivating students’logical thinking,scientific spirit,and comprehensive qualities.Int...As a fundamental course in science and engineering education at universities,advanced mathematics plays an irreplaceable role in cultivating students’logical thinking,scientific spirit,and comprehensive qualities.Integrating ideological and political education into advanced mathematics teaching is not only an inevitable requirement for achieving the goal of“three-dimensional and holistic education”but also a crucial path for promoting students’comprehensive development.This article delves into the necessary logic,practical possibilities,and real-world challenges of ideological and political education in advanced mathematics courses,systematically analyzing the implementation pathways and illustrating practical approaches through specific cases.Meanwhile,to address issues such as insufficient teacher capability,lagging resource development,disconnected instructional design,and inadequate evaluation mechanisms encountered during implementation,this article proposes practical improvement strategies.It aims to provide theoretical insights and practical guidance for the further advancement of ideological and political education in advanced mathematics courses.展开更多
This study investigated the relationship between parental cognitive ability and child logical reasoning ability,and the role of academic expectation and family environment in that relationship.Based on the 2020 China ...This study investigated the relationship between parental cognitive ability and child logical reasoning ability,and the role of academic expectation and family environment in that relationship.Based on the 2020 China Family Panel Studies(CFPS)data,1491 children(girls ratio=53.78%;average grade=6.023 years,school grade standard deviation=1.825 years).Results following multiple regression model(OLS)show that the higher the parental cognitive ability,the higher the children’s logical reasoning ability.Secondly,parental academic expectation serves as a mediator between their cognitive ability and children’s logical reasoning ability for higher logical reasoning by children.Third,a possible family environment acts as a mediator in the relationship between parents’cognitive ability and children’s logical reasoning ability to be higher.We conclude from thesefindings that parents with high cognitive abilities can enhance their children’s logical reasoning skills not only by setting higher academic expectations,but also by cultivating a supportive family environment.Thesefindings imply a need for intervention to improve family quality of life to enhance children’s thinking abilities to optimize their academic learning.展开更多
In industrial control systems,such as power transmission facilities and water treatment plants,Programmable Logic Controllers(PLCs)can work consistently and stably over long periods if there are no faults.Black-box id...In industrial control systems,such as power transmission facilities and water treatment plants,Programmable Logic Controllers(PLCs)can work consistently and stably over long periods if there are no faults.Black-box identification aims to automatically construct Petri net models with the help of I/O signals from PLC devices only.The main challenge is how to convert the infinitely long PLC signals into an event sequence,which is the foundation for subsequent modeling.The current algorithms are confronted with a number of challenges,including an exponential increase in the number of transitions,high time complexity,and susceptibility to noisy signals.To solve these problems,this paper proposes a new method for converting PLC signals into a transition sequence.The method is based on the principles of Boolean absorption law,which filters out noise information in the I/O signals.Then firing functions representing input–output causality are constructed from the filtered signals.Finally,the original signal sequence is traversed to generate a transition sequence.The experimental results show that these methods can rapidly identify a transition sequence.Compared to traditional methods,the proposed algorithms have polynomial time complexity.展开更多
Herein,a ternary supramolecular assembly(BPP-BQ?CB[8]-SCD)is successfully constructed by a bromophenylpyridine-tethered-bromoisoquinoline(BPP-BQ),cucurbit[8]uril(CB[8])and sulfonatedβ-cyclodextrin(SCD)via successive ...Herein,a ternary supramolecular assembly(BPP-BQ?CB[8]-SCD)is successfully constructed by a bromophenylpyridine-tethered-bromoisoquinoline(BPP-BQ),cucurbit[8]uril(CB[8])and sulfonatedβ-cyclodextrin(SCD)via successive assembling way,exhibiting progressively enhanced green roomtemperature phosphorescence(RTP).The self-aggregates of BPP-BQ?CB[8]-SCD accommodate an energy acceptor rhodamine B(Rh B)to form a light-harvesting system(BPP-BQ?CB[8]-SCD@Rh B)with further enhanced yellow long-lifetime luminescence with large Stokes shift based on triplet-singlet F?rster resonance energy transfer(TS-FRET).Crucially,the introduction of a photoactive diarylethene achieves the long-lived photoluminescence of BPP-BQ?CB[8]-SCD@Rh B to be switched with the efficiency of up to98%through logically ordered lowering/enhancing RTP performance of the energy donor and intercepting/restoring TS-FRET pathway,when stimulated by host-vip competition and light illumination in sequence.Moreover,BPP-BQ?CB[8]-SCD@Rh B is evenly doped into polyvinyl alcohol or polyacrylamide to obtain high-performance luminescent films with long afterglow.The abovementioned logically ordered stimulus-switched long-lived emission enables the light-harvesting system in both solution and solid state to be applied in high-security-level information encryption and transformation,and anticounterfeiting.展开更多
We investigate the impact of coupling on the reliability of the logic system as well as the logical stochastic resonance （LSR） phenomenon in the coupled logic gates system. It is found that compared with single logi...We investigate the impact of coupling on the reliability of the logic system as well as the logical stochastic resonance （LSR） phenomenon in the coupled logic gates system. It is found that compared with single logic gate, the coupled system could yield reliable logic outputs in a much wider noise region, which means coupling can obviously improve the reliability of the logic system and thus enhance the LSR effect. Moreover, we find that the enhancement is larger for larger system size, whereas for large enough size the enhancement seems to be saturated. Finally, we also examine the effect of coupling strength, it can be observed that the noise region where reliable logic outputs can be obtained evolves non-monotonically as the coupling strength increases, displaying a resonance-like effect.展开更多
In this paper, the author analyzed some cryptographic properties of a class of logical functions, f(x,y)=(q(x),...,q(x))·y+h(x),over Galois rings and residue rings, presented the relationship between the characte...In this paper, the author analyzed some cryptographic properties of a class of logical functions, f(x,y)=(q(x),...,q(x))·y+h(x),over Galois rings and residue rings, presented the relationship between the character spectrum of f(x,y) and the character speetrum of q(x),h(x) and the relationship between the cryptographic properties of f(x,y) and the cryptographic properties of h(x).展开更多
Based on the definition of a logic structure feature to relate logically functional requirements to geometric representation independent upon detailed geometric representation, this paper presents an idea of logical s...Based on the definition of a logic structure feature to relate logically functional requirements to geometric representation independent upon detailed geometric representation, this paper presents an idea of logical structure modeling for computer aided conceptual design and makes attempt to establish a representation formalism of logic structure modeling. The definition and representation of logical structure feature are given and an assembly module definition for supporting top down conceptual design is also proposed. The proposed scheme contributes to several aspects of conceptual design research, especially to provide elementarily a formal methodology for computer aided conceptual design system development and operation.展开更多
This paper aims to critique Robert Bley-Vroman's views on accessibility to UG. In paper "what is the logical problem of foreign language learning?" Robert Bley-Vroman puts forward the famous fundamental ...This paper aims to critique Robert Bley-Vroman's views on accessibility to UG. In paper "what is the logical problem of foreign language learning?" Robert Bley-Vroman puts forward the famous fundamental difference hypothesis. Robert Bley-Vroman thinks that child first language learning is quite different from adult foreign language learning. In this paper author's view is different from Robert Bley-Vroman's. Author thinks the innate system that guides child acquisition also operates in adult foreign language learning.展开更多
[Objective] This study was to analyze LaCl3 sprayed onto Scindapsus au- reus on Chlorophyll content and plasmamembrane permeability of leaves of Scindap- sus aureus, in order to determinate a suitable dosage of LaCl3....[Objective] This study was to analyze LaCl3 sprayed onto Scindapsus au- reus on Chlorophyll content and plasmamembrane permeability of leaves of Scindap- sus aureus, in order to determinate a suitable dosage of LaCl3. [Method] With Scindapsus aureus as the test subject, 110 households of 20 communities in the New District of Nantong were selected to investigate formaldehyde concentration in indoor air; and effect of LaCl3 on absorptive capacity to formaldehyde of Scindapsus aureus was studied through fumigating in laboratory. Simultaneously, its physiological and biochemical mechanism of formaldehyde resistance was studied. [Result] The re- sults showed that formaldehyde pollution of indoor air was serious in the New District of Nantong, and the degree of pollution was related to the time after decoration. The suitable concentration of LaCl3 for Scindapsus aureus was 20 mg/L. The ability to ab- sorb formaldehyde of Scindapsus aureus, which was calculated by per unit leaf area, was enhanced after spraying the suitable concentration of LaCl3 by 19.75%. When Scindapsus aureus was stressed by formaldehyde, chlorophyll content decreased by 39.87%, membrane permeability and cumulative MDA amount increased by 8.17% and 56.92%, respectively, and POD activity increased by 11.32%. However, by com- paring the group pre-sprayed with LaCl3 and the group not sprayed with LaCl3 under formaldehyde stress, chlorophyll content of Scindapsus aureus reduced lessly, mem- brane permeability and MDA both increased lessly, while POD activity increased more. [Conclusion] This study provides a new thinking direction for broadening of rare earth application and control measures of indoor air pollution.展开更多
A novel control strategy for a continuous stirred tank reactor(CSTR)system,which has the typical characteristic of strongly pronounced nonlinearity,multiple operating points,and a wide operating range,is initiated fro...A novel control strategy for a continuous stirred tank reactor(CSTR)system,which has the typical characteristic of strongly pronounced nonlinearity,multiple operating points,and a wide operating range,is initiated from the point of hybrid systems.The proposed scheme makes full use of the modeling power of mixed logical dy- namical(MLD)systems to describe the highly nonlinear dynamics and multiple operating points in a unified framework as a hybrid system,and takes advantage of the good control quality of model predictive control(MPC) to design a controller.Thus,this approach avoids oscillation during switching between sub-systems,helps to relieve shaking in transition,and augments the stability robustness of the whole system,and finally achieves optimal(i.e. fast and smooth)transition between operating points.The simulation results demonstrate that the presented ap- proach has a satisfactory performance.展开更多
A major issue in radar quantitative precipitation estimation is the contamination of radar echoes by non-meteorological targets such as ground clutter,chaff,clear air echoes etc.In this study,a fuzzy logic algorithm f...A major issue in radar quantitative precipitation estimation is the contamination of radar echoes by non-meteorological targets such as ground clutter,chaff,clear air echoes etc.In this study,a fuzzy logic algorithm for the identification of non-meteorological echoes is developed using optimized membership functions and weights for the dual-polarization radar located at Mount Sobaek.For selected precipitation and non-meteorological events,the characteristics of the precipitation and non-meteorological echo are derived by the probability density functions of five fuzzy parameters as functions of reflectivity values.The membership functions and weights are then determined by these density functions.Finally,the nonmeteorological echoes are identified by combining the membership functions and weights.The performance is qualitatively evaluated by long-term rain accumulation.The detection accuracy of the fuzzy logic algorithm is calculated using the probability of detection（POD）,false alarm rate（FAR）,and clutter–signal ratio（CSR）.In addition,the issues in using filtered dual-polarization data are alleviated.展开更多
Ecological demonstration area (EDA) is an authorized nomination, which should be assessed from several aspects, including ecological, social, environmental, economic ones and so on. It is difficult to advance an exact...Ecological demonstration area (EDA) is an authorized nomination, which should be assessed from several aspects, including ecological, social, environmental, economic ones and so on. It is difficult to advance an exact developing level index of EDA due to its indicator system’s complexity and disequilibrium. In this paper, a framework of indicators was set to evaluate, monitor and examine the comprehensive level of ecological demonstration area (EDA). Fuzzy logic method was used to develop the fuzzy comprehensive evaluation model (FCEM), which could quantitatively reveal the developing degree of EDA. Huiji District of Zhengzhou, Henan Province, one of the 9th group of national EDAs, was taken as a study case. The framework of FCEM for the integrated system included six subsystems, which were social, economic, ecological, rural, urban and accessorial description ones. The research would be valuable in the comprehensive quantitative evaluation of EDA and would work as a guide in the construction practices of Huiji ecological demonstration area.展开更多
Objective To correct the nonlinear error of sensor output,a new approach to sensor inverse modeling based on Back-Propagation Fuzzy Logical System(BP FS) is presented.Methods The BP FS is a computationally efficient n...Objective To correct the nonlinear error of sensor output,a new approach to sensor inverse modeling based on Back-Propagation Fuzzy Logical System(BP FS) is presented.Methods The BP FS is a computationally efficient nonlinear universal approximator,which is capable of implementing complex nonlinear mapping from its input pattern space to the output with fast convergence speed.Results The neuro-fuzzy hybrid system,i.e.BP FS,is then applied to construct nonlinear inverse model of pressure sensor.The experimental results show that the proposed inverse modeling method automatically compensates the associated nonlinear error in pressure estimation,and thus the performance of pressure sensor is significantly improved.Conclusion The proposed method can be widely used in nonlinearity correction of various kinds of sensors to compensate the effects of nonlinearity and temperature on sensor output.展开更多
Cluster tools have advantages of shorter cycle times,faster process development,and better yield for less contamination.The sequence of dual-arm cluster tools is a complex logistics process during the semiconductor pr...Cluster tools have advantages of shorter cycle times,faster process development,and better yield for less contamination.The sequence of dual-arm cluster tools is a complex logistics process during the semiconductor production.Efficient use of cluster tools is naturally very significant to competitive fab operations.Generating an optimized sequence in a computationally efficient manner and assessing the quality of the requirements to improve the fab production are the key factors for semiconductor manufacturing productivity.The Petri net modeling is introduced to minimize the makespan of the process for the three different logical modes and select a better mode after comparing the makespan among the three logical modes.The tool sequence optimization problem is formulated as optimization firing transition sequences based on the Petri net and then the formulation is converted to be linearly solved by the branch-and-cut method in the standard commercial solver CPLEX.Special methods for the linear conversion are highlighted.Due to the limited calculation time requirement for the real production and the large scale of the problem,special methods for the efficiency tuning are applied according to the characteristics of the problem.Numerical testing is supported by one of the most advanced semiconductor enterprises and the computational results show significant improvement compared with the traditional manual sequence results.展开更多
How to design a multicast key management system with high performance is a hot issue now. This paper will apply the idea of hierarchical data processing to construct a common analytic model based on directed logical k...How to design a multicast key management system with high performance is a hot issue now. This paper will apply the idea of hierarchical data processing to construct a common analytic model based on directed logical key tree and supply two important metrics to this problem： re-keying cost and key storage cost. The paper gives the basic theory to the hierarchical data processing and the analyzing model to multieast key management based on logical key tree. It has been proved that the 4-ray tree has the best performance in using these metrics. The key management problem is also investigated based on user probability model, and gives two evaluating parameters to re-keying and key storage cost.展开更多
A soitable data model and data structure make underground survey objects maintained and operated easier. This paper gives a formal definition for underground survey objects. By making use of the quotient topological s...A soitable data model and data structure make underground survey objects maintained and operated easier. This paper gives a formal definition for underground survey objects. By making use of the quotient topological space, the author studies the logical relations among underground survey objects, a partiallyordered space uuder some conditions. An example is given to show the data model’s possible applications.展开更多
基金The Educational Research Project of Kunming Medical University(2023-JY-Y-024 and 2022-JY-Y-011)Special Research Project for Introduced Talent of Kunming Medical University(J13395001)。
文摘Graduate students universally struggle with vague topics,insufficient innovation,and logical gaps in research proposals,highlighting the need for structured scientific training.This study presents an innovative pedagogical model embedding scholarly literature’s logical architecture into LBL-RBL hybrid teaching,implemented in Kunming Medical University’s Neuropathophysiology course.Targeting the complexity of neurological disease mechanisms,the course integrates lecture-based learning(LBL)and research-based learning(RBL)through a small-cohort framework featuring personalized literature-logic embedding→targeted lecture reinforcement→multi-round proposal iteration.Faculty deconstructed domain literature to establish a three-phase training system(“Logic Demonstration-Methodology Mapping-Proposal Embedding”),systematically merging academic logic with research methodology over 9 weeks.Results demonstrate that this problem-driven approach creates authentic scientific inquiry scenarios,activating student knowledge co-construction and collaborative exploration.It successfully enables dynamic competency progression through“cognitive deconstruction→methodological practice→proposal refinement,”significantly enhancing proposal rigor and innovation.This study offers a scalable dual-track solution for cultivating advanced scientific capabilities in medical graduate education.
基金supported by the Chinese Ministry of Education of Humanities and Social Science Project(23YJC72040003)the Key Project of Chinese Ministry of Education(22JJD720021)supported by the Natural Science Foundation of Shandong Province,China(project number:ZR2023QF021)。
文摘In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.
文摘As a fundamental course in science and engineering education at universities,advanced mathematics plays an irreplaceable role in cultivating students’logical thinking,scientific spirit,and comprehensive qualities.Integrating ideological and political education into advanced mathematics teaching is not only an inevitable requirement for achieving the goal of“three-dimensional and holistic education”but also a crucial path for promoting students’comprehensive development.This article delves into the necessary logic,practical possibilities,and real-world challenges of ideological and political education in advanced mathematics courses,systematically analyzing the implementation pathways and illustrating practical approaches through specific cases.Meanwhile,to address issues such as insufficient teacher capability,lagging resource development,disconnected instructional design,and inadequate evaluation mechanisms encountered during implementation,this article proposes practical improvement strategies.It aims to provide theoretical insights and practical guidance for the further advancement of ideological and political education in advanced mathematics courses.
基金supported by scientific research fund of Jiangxi Provincial Social Sciences“14th Five-Year Plan”(No.23SH05).
文摘This study investigated the relationship between parental cognitive ability and child logical reasoning ability,and the role of academic expectation and family environment in that relationship.Based on the 2020 China Family Panel Studies(CFPS)data,1491 children(girls ratio=53.78%;average grade=6.023 years,school grade standard deviation=1.825 years).Results following multiple regression model(OLS)show that the higher the parental cognitive ability,the higher the children’s logical reasoning ability.Secondly,parental academic expectation serves as a mediator between their cognitive ability and children’s logical reasoning ability for higher logical reasoning by children.Third,a possible family environment acts as a mediator in the relationship between parents’cognitive ability and children’s logical reasoning ability to be higher.We conclude from thesefindings that parents with high cognitive abilities can enhance their children’s logical reasoning skills not only by setting higher academic expectations,but also by cultivating a supportive family environment.Thesefindings imply a need for intervention to improve family quality of life to enhance children’s thinking abilities to optimize their academic learning.
基金supported by the Science and Technology Planning Project of Fujian Province,China,under Grant No.2024H0014(2024H01010100).
文摘In industrial control systems,such as power transmission facilities and water treatment plants,Programmable Logic Controllers(PLCs)can work consistently and stably over long periods if there are no faults.Black-box identification aims to automatically construct Petri net models with the help of I/O signals from PLC devices only.The main challenge is how to convert the infinitely long PLC signals into an event sequence,which is the foundation for subsequent modeling.The current algorithms are confronted with a number of challenges,including an exponential increase in the number of transitions,high time complexity,and susceptibility to noisy signals.To solve these problems,this paper proposes a new method for converting PLC signals into a transition sequence.The method is based on the principles of Boolean absorption law,which filters out noise information in the I/O signals.Then firing functions representing input–output causality are constructed from the filtered signals.Finally,the original signal sequence is traversed to generate a transition sequence.The experimental results show that these methods can rapidly identify a transition sequence.Compared to traditional methods,the proposed algorithms have polynomial time complexity.
基金the National Natural Science Foundation of China(Nos.21801063,22305070 and U20041101)the Top-Notch Talents Program of Henan Agricultural University(Nos.30501049 and 30501032)for financial support。
文摘Herein,a ternary supramolecular assembly(BPP-BQ?CB[8]-SCD)is successfully constructed by a bromophenylpyridine-tethered-bromoisoquinoline(BPP-BQ),cucurbit[8]uril(CB[8])and sulfonatedβ-cyclodextrin(SCD)via successive assembling way,exhibiting progressively enhanced green roomtemperature phosphorescence(RTP).The self-aggregates of BPP-BQ?CB[8]-SCD accommodate an energy acceptor rhodamine B(Rh B)to form a light-harvesting system(BPP-BQ?CB[8]-SCD@Rh B)with further enhanced yellow long-lifetime luminescence with large Stokes shift based on triplet-singlet F?rster resonance energy transfer(TS-FRET).Crucially,the introduction of a photoactive diarylethene achieves the long-lived photoluminescence of BPP-BQ?CB[8]-SCD@Rh B to be switched with the efficiency of up to98%through logically ordered lowering/enhancing RTP performance of the energy donor and intercepting/restoring TS-FRET pathway,when stimulated by host-vip competition and light illumination in sequence.Moreover,BPP-BQ?CB[8]-SCD@Rh B is evenly doped into polyvinyl alcohol or polyacrylamide to obtain high-performance luminescent films with long afterglow.The abovementioned logically ordered stimulus-switched long-lived emission enables the light-harvesting system in both solution and solid state to be applied in high-security-level information encryption and transformation,and anticounterfeiting.
文摘We investigate the impact of coupling on the reliability of the logic system as well as the logical stochastic resonance （LSR） phenomenon in the coupled logic gates system. It is found that compared with single logic gate, the coupled system could yield reliable logic outputs in a much wider noise region, which means coupling can obviously improve the reliability of the logic system and thus enhance the LSR effect. Moreover, we find that the enhancement is larger for larger system size, whereas for large enough size the enhancement seems to be saturated. Finally, we also examine the effect of coupling strength, it can be observed that the noise region where reliable logic outputs can be obtained evolves non-monotonically as the coupling strength increases, displaying a resonance-like effect.
文摘In this paper, the author analyzed some cryptographic properties of a class of logical functions, f(x,y)=(q(x),...,q(x))·y+h(x),over Galois rings and residue rings, presented the relationship between the character spectrum of f(x,y) and the character speetrum of q(x),h(x) and the relationship between the cryptographic properties of f(x,y) and the cryptographic properties of h(x).
文摘Based on the definition of a logic structure feature to relate logically functional requirements to geometric representation independent upon detailed geometric representation, this paper presents an idea of logical structure modeling for computer aided conceptual design and makes attempt to establish a representation formalism of logic structure modeling. The definition and representation of logical structure feature are given and an assembly module definition for supporting top down conceptual design is also proposed. The proposed scheme contributes to several aspects of conceptual design research, especially to provide elementarily a formal methodology for computer aided conceptual design system development and operation.
文摘This paper aims to critique Robert Bley-Vroman's views on accessibility to UG. In paper "what is the logical problem of foreign language learning?" Robert Bley-Vroman puts forward the famous fundamental difference hypothesis. Robert Bley-Vroman thinks that child first language learning is quite different from adult foreign language learning. In this paper author's view is different from Robert Bley-Vroman's. Author thinks the innate system that guides child acquisition also operates in adult foreign language learning.
基金Supported by Qing Lan Project for Outstanding Young Teachers in Higher Education Institutions of Jiangsu Province(SJS[2010]27)College Students’Innovative Entrepreneurial Training Program of Jiangsu Province in 2014(SJBG[2010]8)+2 种基金Funding Project for Rural Environment Pollution Control Engineering and Technological Research Center of Jiangsu Province(SJK[2011]13)Funding Project of Science and Technology Plan in Nantong City(HS2014025)First Petty Funding Project for Ecological Construction of Nantong City(TH[2014]33)~~
文摘[Objective] This study was to analyze LaCl3 sprayed onto Scindapsus au- reus on Chlorophyll content and plasmamembrane permeability of leaves of Scindap- sus aureus, in order to determinate a suitable dosage of LaCl3. [Method] With Scindapsus aureus as the test subject, 110 households of 20 communities in the New District of Nantong were selected to investigate formaldehyde concentration in indoor air; and effect of LaCl3 on absorptive capacity to formaldehyde of Scindapsus aureus was studied through fumigating in laboratory. Simultaneously, its physiological and biochemical mechanism of formaldehyde resistance was studied. [Result] The re- sults showed that formaldehyde pollution of indoor air was serious in the New District of Nantong, and the degree of pollution was related to the time after decoration. The suitable concentration of LaCl3 for Scindapsus aureus was 20 mg/L. The ability to ab- sorb formaldehyde of Scindapsus aureus, which was calculated by per unit leaf area, was enhanced after spraying the suitable concentration of LaCl3 by 19.75%. When Scindapsus aureus was stressed by formaldehyde, chlorophyll content decreased by 39.87%, membrane permeability and cumulative MDA amount increased by 8.17% and 56.92%, respectively, and POD activity increased by 11.32%. However, by com- paring the group pre-sprayed with LaCl3 and the group not sprayed with LaCl3 under formaldehyde stress, chlorophyll content of Scindapsus aureus reduced lessly, mem- brane permeability and MDA both increased lessly, while POD activity increased more. [Conclusion] This study provides a new thinking direction for broadening of rare earth application and control measures of indoor air pollution.
基金Supported by the National Natural Science Foundation of China （No.60404018） and the State Key Development Program for Basic Research of China （No.2002CB312200）.
文摘A novel control strategy for a continuous stirred tank reactor(CSTR)system,which has the typical characteristic of strongly pronounced nonlinearity,multiple operating points,and a wide operating range,is initiated from the point of hybrid systems.The proposed scheme makes full use of the modeling power of mixed logical dy- namical(MLD)systems to describe the highly nonlinear dynamics and multiple operating points in a unified framework as a hybrid system,and takes advantage of the good control quality of model predictive control(MPC) to design a controller.Thus,this approach avoids oscillation during switching between sub-systems,helps to relieve shaking in transition,and augments the stability robustness of the whole system,and finally achieves optimal(i.e. fast and smooth)transition between operating points.The simulation results demonstrate that the presented ap- proach has a satisfactory performance.
基金supported by a grant(14AWMP-B079364-01) from Water Management Research Program funded by Ministry of Land,Infrastructure and Transport of Korean government
文摘A major issue in radar quantitative precipitation estimation is the contamination of radar echoes by non-meteorological targets such as ground clutter,chaff,clear air echoes etc.In this study,a fuzzy logic algorithm for the identification of non-meteorological echoes is developed using optimized membership functions and weights for the dual-polarization radar located at Mount Sobaek.For selected precipitation and non-meteorological events,the characteristics of the precipitation and non-meteorological echo are derived by the probability density functions of five fuzzy parameters as functions of reflectivity values.The membership functions and weights are then determined by these density functions.Finally,the nonmeteorological echoes are identified by combining the membership functions and weights.The performance is qualitatively evaluated by long-term rain accumulation.The detection accuracy of the fuzzy logic algorithm is calculated using the probability of detection（POD）,false alarm rate（FAR）,and clutter–signal ratio（CSR）.In addition,the issues in using filtered dual-polarization data are alleviated.
基金U nder the auspices of the M ajor State B asic R esearch D evelopm ent Program of C hina (973 Program ) (N o.2005C B 724205)
文摘Ecological demonstration area (EDA) is an authorized nomination, which should be assessed from several aspects, including ecological, social, environmental, economic ones and so on. It is difficult to advance an exact developing level index of EDA due to its indicator system’s complexity and disequilibrium. In this paper, a framework of indicators was set to evaluate, monitor and examine the comprehensive level of ecological demonstration area (EDA). Fuzzy logic method was used to develop the fuzzy comprehensive evaluation model (FCEM), which could quantitatively reveal the developing degree of EDA. Huiji District of Zhengzhou, Henan Province, one of the 9th group of national EDAs, was taken as a study case. The framework of FCEM for the integrated system included six subsystems, which were social, economic, ecological, rural, urban and accessorial description ones. The research would be valuable in the comprehensive quantitative evaluation of EDA and would work as a guide in the construction practices of Huiji ecological demonstration area.
基金This work was supported by National Natural Science Foundation of China(No.60276037).
文摘Objective To correct the nonlinear error of sensor output,a new approach to sensor inverse modeling based on Back-Propagation Fuzzy Logical System(BP FS) is presented.Methods The BP FS is a computationally efficient nonlinear universal approximator,which is capable of implementing complex nonlinear mapping from its input pattern space to the output with fast convergence speed.Results The neuro-fuzzy hybrid system,i.e.BP FS,is then applied to construct nonlinear inverse model of pressure sensor.The experimental results show that the proposed inverse modeling method automatically compensates the associated nonlinear error in pressure estimation,and thus the performance of pressure sensor is significantly improved.Conclusion The proposed method can be widely used in nonlinearity correction of various kinds of sensors to compensate the effects of nonlinearity and temperature on sensor output.
基金the National Natural Science Foundation of China(No.60534010)the 111 Project (No.B08015)the Project of Ministry of Education (No.NCET-05-0294)
文摘Cluster tools have advantages of shorter cycle times,faster process development,and better yield for less contamination.The sequence of dual-arm cluster tools is a complex logistics process during the semiconductor production.Efficient use of cluster tools is naturally very significant to competitive fab operations.Generating an optimized sequence in a computationally efficient manner and assessing the quality of the requirements to improve the fab production are the key factors for semiconductor manufacturing productivity.The Petri net modeling is introduced to minimize the makespan of the process for the three different logical modes and select a better mode after comparing the makespan among the three logical modes.The tool sequence optimization problem is formulated as optimization firing transition sequences based on the Petri net and then the formulation is converted to be linearly solved by the branch-and-cut method in the standard commercial solver CPLEX.Special methods for the linear conversion are highlighted.Due to the limited calculation time requirement for the real production and the large scale of the problem,special methods for the efficiency tuning are applied according to the characteristics of the problem.Numerical testing is supported by one of the most advanced semiconductor enterprises and the computational results show significant improvement compared with the traditional manual sequence results.
基金Supported by the National High-Technology Re-search and Development Programof China(2001AA115300) the Na-tional Natural Science Foundation of China (69874038) ,the Nat-ural Science Foundation of Liaoning Province(20031018)
文摘How to design a multicast key management system with high performance is a hot issue now. This paper will apply the idea of hierarchical data processing to construct a common analytic model based on directed logical key tree and supply two important metrics to this problem： re-keying cost and key storage cost. The paper gives the basic theory to the hierarchical data processing and the analyzing model to multieast key management based on logical key tree. It has been proved that the 4-ray tree has the best performance in using these metrics. The key management problem is also investigated based on user probability model, and gives two evaluating parameters to re-keying and key storage cost.
文摘A soitable data model and data structure make underground survey objects maintained and operated easier. This paper gives a formal definition for underground survey objects. By making use of the quotient topological space, the author studies the logical relations among underground survey objects, a partiallyordered space uuder some conditions. An example is given to show the data model’s possible applications.
