The combination of quantitative evaluation(QE)and non-quantitative evaluation(NQE)is an important evaluation tool in the fields of academic level evaluation(e.g.,EasyChair,Academic paper review form)and internet commo...The combination of quantitative evaluation(QE)and non-quantitative evaluation(NQE)is an important evaluation tool in the fields of academic level evaluation(e.g.,EasyChair,Academic paper review form)and internet commodity evaluation(e.g.,Amazon’s review,Feedback).But the inconsistency between QE and NQE greatly reduces the correctness and usability of the evaluation.Therefore,it is a necessary task to judge whether QE is consistent with NQE.In this paper,the predicate formula satisfiability problem is firstly reduced in polynomial time to the consistency problem of QE and NQE,and the uncertainty of the consistency problem is proved.Then the approximate solution to the problem is investigated by using a natural language processing method,which performs sentiment analysis on NQE and finally invokes a database query statement to determine whether QE is consistent with NQE.The results shed light on the feasibility of using the natural language processing method to solve undecidable problems.展开更多
The present study employed a quantitative and network approach to detect alignment effects in second language(L2) continuation tasks designed on the xu-argument(Wang, 2016). The materials used in this study were 6 sub...The present study employed a quantitative and network approach to detect alignment effects in second language(L2) continuation tasks designed on the xu-argument(Wang, 2016). The materials used in this study were 6 sub-corpora consisting of two selected input stories and two groups of L2 written production based on two continuation tasks. During continuation, the participants were required to continue in English a story with its ending removed, with one group reading and continuing the Chinese version and the other group the English version, and then switching their roles in the two tasks. Results show that the alignment effect differs across the two versions of continuation. Specifically, compared with the Chinese-version continuation, L2 learners produced more use of unigrams and bigrams similar to the input story in terms of lexical items, frequency and ranking correlations in the English-version task;on the other hand, the English-version continuation can facilitate generating linguistic networks that are much closer to the native English networks. Moreover, this research corroborates that written production in L2 continuation tasks can be influenced by input content.展开更多
The application of computer in the quantitative analysis chemistry experiment is a chemistry experiment teaching applications software, developed by Visual Basic （6.0）, based on the content of quantitative analysis ...The application of computer in the quantitative analysis chemistry experiment is a chemistry experiment teaching applications software, developed by Visual Basic （6.0）, based on the content of quantitative analysis chemistry experiment of chemistry major in higher institute. This software has the function of the automatic processing the experimental data, the automatic generation of test report copies, and the automatic evaluation of students＇ experimental results, which solve the reliability, objectivity and accuracy problems of the students＇ experiment data processing and evaluation, and avoid interference with human factors. The software has the characteristic of the easy installation, the easy operation, the strong practicability, pertinence, the systematicness and the running stability, so it provides a platform in the quantitative analysis chemistry experiment for the students＇ assessment system of automatic processing, and it has a high popularization value. The project＇s technical route design is reasonable, the research method is correct, and the experimental data processing results are reliable, which has reached the leading domestic level in the quantitative analysis chemistry experiment teaching field of computer data processing. And this project has been through the achievements appraisal of Gansu Provincial Sci. ＆ Tech. Department.展开更多
A new algorithm for mining quantitative association rules with standard SQL is presented. The association rules are evaluated with the sufficiency gene LS of subjectivity Bayes reasoning. This algorithm is proved to b...A new algorithm for mining quantitative association rules with standard SQL is presented. The association rules are evaluated with the sufficiency gene LS of subjectivity Bayes reasoning. This algorithm is proved to be quick and effective with its application in Lujiang insects and pests database.展开更多
A formal-linguistic approach for solving an entertaining task is offered in this paper. The well-known task of the Hanoi towers is discussed in relation to some concepts of formal languages and grammars. A context-fre...A formal-linguistic approach for solving an entertaining task is offered in this paper. The well-known task of the Hanoi towers is discussed in relation to some concepts of formal languages and grammars. A context-free grammar which generates an algorithm for solving this task is described. A deterministic pushdown automation which in its work imitates the work of monks in solving the task of the Hanoi towers is built.展开更多
The article studies the interrelation of Languages of Colored Petri Nets and Traditional formal languages. The author constructed the graph of Colored Petri Net, which generates L* Context-free language. This language...The article studies the interrelation of Languages of Colored Petri Nets and Traditional formal languages. The author constructed the graph of Colored Petri Net, which generates L* Context-free language. This language may not be modeled using standard Petri Nets [1]. The Venn graph and diagram that the author modified [1], show the interrelation between languages of Colored Petri Nets and some Traditional languages. Thus the class of languages of Colored Petri Nets is supposed to include an entire class of Context-free languages.展开更多
A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamica...A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamically typed language. To improve efficiency, a practical type checking method is presented, which consists of both static and dynamic type checking. Although the inclusion relation of CF languages is not decidable, a special subset of the relation is decidable, i.e., the sentential form relation, which can be statically checked. Moreover, most of the expressions in actual LFC programs appear to satisfy this relation according to the statistic data of experiments. So, despite that the static type checking is not complete, it undertakes most of the type checking task. Consequently the run-time efficiency is effectively improved. Another feature of the type checking is that it converts the expressions with implicit structures to structured representation. Structure reconstruction technique is presented.展开更多
LFC is a functional language based on recursive functions defined in context-free languages. In this paper, a new pattern matching algorithm for LFC is presented, which can represent a sequence of patterns as an integ...LFC is a functional language based on recursive functions defined in context-free languages. In this paper, a new pattern matching algorithm for LFC is presented, which can represent a sequence of patterns as an integer by an encoding method. It is a rather simple method and produces efficient case-expressions for pattern matching definitions of LFC. The algorithm can also be used for other functional languages, but for nested patterns it may become complicated and further studies are needed.展开更多
本文考察了语言心理学旗舰刊物《记忆与语言杂志》(Journal of Memory and Language)的文献,旨在探索国际记忆与语言研究的发展动向。笔者收集该刊1985—2020年的文献,自建题目与摘要信息语料库,采用语料库工具和共现网络可视化工具进...本文考察了语言心理学旗舰刊物《记忆与语言杂志》(Journal of Memory and Language)的文献,旨在探索国际记忆与语言研究的发展动向。笔者收集该刊1985—2020年的文献,自建题目与摘要信息语料库,采用语料库工具和共现网络可视化工具进行分析,结果发现:近36年来,对词汇与句法维度的语言产出、理解与习得是该研究领域的核心范畴,相对长时记忆,工作记忆持续成为研究焦点;研究话题不断拓宽,更加关注儿童语言认知的发展与个体差异;认知神经学与脑科学的前沿技术手段不断融入记忆与语言研究,呈现出学科交叉与融合的趋势。展开更多
基金Shanghai Foundation for Development of Industrial Internet Innovation,China(No.2019-GYHLW-004)。
文摘The combination of quantitative evaluation(QE)and non-quantitative evaluation(NQE)is an important evaluation tool in the fields of academic level evaluation(e.g.,EasyChair,Academic paper review form)and internet commodity evaluation(e.g.,Amazon’s review,Feedback).But the inconsistency between QE and NQE greatly reduces the correctness and usability of the evaluation.Therefore,it is a necessary task to judge whether QE is consistent with NQE.In this paper,the predicate formula satisfiability problem is firstly reduced in polynomial time to the consistency problem of QE and NQE,and the uncertainty of the consistency problem is proved.Then the approximate solution to the problem is investigated by using a natural language processing method,which performs sentiment analysis on NQE and finally invokes a database query statement to determine whether QE is consistent with NQE.The results shed light on the feasibility of using the natural language processing method to solve undecidable problems.
文摘The present study employed a quantitative and network approach to detect alignment effects in second language(L2) continuation tasks designed on the xu-argument(Wang, 2016). The materials used in this study were 6 sub-corpora consisting of two selected input stories and two groups of L2 written production based on two continuation tasks. During continuation, the participants were required to continue in English a story with its ending removed, with one group reading and continuing the Chinese version and the other group the English version, and then switching their roles in the two tasks. Results show that the alignment effect differs across the two versions of continuation. Specifically, compared with the Chinese-version continuation, L2 learners produced more use of unigrams and bigrams similar to the input story in terms of lexical items, frequency and ranking correlations in the English-version task;on the other hand, the English-version continuation can facilitate generating linguistic networks that are much closer to the native English networks. Moreover, this research corroborates that written production in L2 continuation tasks can be influenced by input content.
文摘The application of computer in the quantitative analysis chemistry experiment is a chemistry experiment teaching applications software, developed by Visual Basic （6.0）, based on the content of quantitative analysis chemistry experiment of chemistry major in higher institute. This software has the function of the automatic processing the experimental data, the automatic generation of test report copies, and the automatic evaluation of students＇ experimental results, which solve the reliability, objectivity and accuracy problems of the students＇ experiment data processing and evaluation, and avoid interference with human factors. The software has the characteristic of the easy installation, the easy operation, the strong practicability, pertinence, the systematicness and the running stability, so it provides a platform in the quantitative analysis chemistry experiment for the students＇ assessment system of automatic processing, and it has a high popularization value. The project＇s technical route design is reasonable, the research method is correct, and the experimental data processing results are reliable, which has reached the leading domestic level in the quantitative analysis chemistry experiment teaching field of computer data processing. And this project has been through the achievements appraisal of Gansu Provincial Sci. ＆ Tech. Department.
文摘A new algorithm for mining quantitative association rules with standard SQL is presented. The association rules are evaluated with the sufficiency gene LS of subjectivity Bayes reasoning. This algorithm is proved to be quick and effective with its application in Lujiang insects and pests database.
文摘A formal-linguistic approach for solving an entertaining task is offered in this paper. The well-known task of the Hanoi towers is discussed in relation to some concepts of formal languages and grammars. A context-free grammar which generates an algorithm for solving this task is described. A deterministic pushdown automation which in its work imitates the work of monks in solving the task of the Hanoi towers is built.
文摘The article studies the interrelation of Languages of Colored Petri Nets and Traditional formal languages. The author constructed the graph of Colored Petri Net, which generates L* Context-free language. This language may not be modeled using standard Petri Nets [1]. The Venn graph and diagram that the author modified [1], show the interrelation between languages of Colored Petri Nets and some Traditional languages. Thus the class of languages of Colored Petri Nets is supposed to include an entire class of Context-free languages.
文摘A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamically typed language. To improve efficiency, a practical type checking method is presented, which consists of both static and dynamic type checking. Although the inclusion relation of CF languages is not decidable, a special subset of the relation is decidable, i.e., the sentential form relation, which can be statically checked. Moreover, most of the expressions in actual LFC programs appear to satisfy this relation according to the statistic data of experiments. So, despite that the static type checking is not complete, it undertakes most of the type checking task. Consequently the run-time efficiency is effectively improved. Another feature of the type checking is that it converts the expressions with implicit structures to structured representation. Structure reconstruction technique is presented.
基金the National Natural Science Foundation (No.69873042), the National'863' High-Tech Programme (No. 863- 306- 05-04- 1 ), and th
文摘LFC is a functional language based on recursive functions defined in context-free languages. In this paper, a new pattern matching algorithm for LFC is presented, which can represent a sequence of patterns as an integer by an encoding method. It is a rather simple method and produces efficient case-expressions for pattern matching definitions of LFC. The algorithm can also be used for other functional languages, but for nested patterns it may become complicated and further studies are needed.
文摘本文考察了语言心理学旗舰刊物《记忆与语言杂志》(Journal of Memory and Language)的文献,旨在探索国际记忆与语言研究的发展动向。笔者收集该刊1985—2020年的文献,自建题目与摘要信息语料库,采用语料库工具和共现网络可视化工具进行分析,结果发现:近36年来,对词汇与句法维度的语言产出、理解与习得是该研究领域的核心范畴,相对长时记忆,工作记忆持续成为研究焦点;研究话题不断拓宽,更加关注儿童语言认知的发展与个体差异;认知神经学与脑科学的前沿技术手段不断融入记忆与语言研究,呈现出学科交叉与融合的趋势。
