Dear Editor,This letter introduces the counterfactual-guided implicit correspondence prompting(CICP)framework,designed for visible-infrared person re-identification(VI-ReID)within Industry 5.0 intelligent control syst...Dear Editor,This letter introduces the counterfactual-guided implicit correspondence prompting(CICP)framework,designed for visible-infrared person re-identification(VI-ReID)within Industry 5.0 intelligent control systems.CICP advances recognition accuracy in complex industrial environments through its innovative approach to handling modality-specific features and their implicit relationships.展开更多
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.展开更多
使真者理论的主要倡导者阿姆斯特朗特地选择“事态”(state of affairs)作为真的本体论基础,用以坚持事实主义而非事物主义,同时坚持符合真理论而非等同真理论。然而,事实主义和事物主义之争离开具体语境是纠缠不清的,结合语境之后二者...使真者理论的主要倡导者阿姆斯特朗特地选择“事态”(state of affairs)作为真的本体论基础,用以坚持事实主义而非事物主义,同时坚持符合真理论而非等同真理论。然而,事实主义和事物主义之争离开具体语境是纠缠不清的,结合语境之后二者的分歧并不重要。重要的是符合真理论和等同真理论之争,维特根斯坦、罗素以致弗雷格等大师都在二者之间有所徘徊和动摇。通过对有关理论的分析和评价,得出一种把等同真理论包含在内的符合真理论,即“双重同构符合论”。在此基础上,通过区分归纳使真者和演绎持真者,提出一种新的使真者理论,即归纳-符合使真者理论。展开更多
Based on the coded and non-coded targets, the targets are extracted from the images according to their size, shape and intensity etc., and thus an improved method to identify the unique identity（D） of every coded ta...Based on the coded and non-coded targets, the targets are extracted from the images according to their size, shape and intensity etc., and thus an improved method to identify the unique identity（D） of every coded target is put forward and the non-coded and coded targets are classified. Moreover, the gray scale centroid algorithm is applied to obtain the subpixel location of both uncoded and coded targets. The initial matching of the uncoded target correspondences between an image pair is established according to similarity and compatibility, which are based on the ID correspondences of the coded targets. The outliers in the initial matching of the uncoded target are eliminated according to three rules to finally obtain the uncoded target correspondences. Practical examples show that the algorithm is rapid, robust and is of high precision and matching ratio.展开更多
Because of poor vocabulary, improper use of lexis, and interference of first language, it is difficult for students in voca-tional school to learn Business English Correspondence well. Business English has close relat...Because of poor vocabulary, improper use of lexis, and interference of first language, it is difficult for students in voca-tional school to learn Business English Correspondence well. Business English has close relations with lexical chunks, whichmakes it necessary to apply lexical approach to teaching of Business English Correspondence. This paper intends to explore its the-oretical foundations and emphasize how to apply lexical approach to teaching of Business English Correspondence in vocationalschool.展开更多
Stereo matching is a pivotal task in computer vision,enabling precise depth estimation from stereo image pairs,yet it encounters challenges in regions with reflections,repetitive textures,or fine structures.In this pa...Stereo matching is a pivotal task in computer vision,enabling precise depth estimation from stereo image pairs,yet it encounters challenges in regions with reflections,repetitive textures,or fine structures.In this paper,we propose a Semantic-Guided Parallax Attention Stereo Matching Network(SGPASMnet)that can be trained in unsupervised manner,building upon the Parallax Attention Stereo Matching Network(PASMnet).Our approach leverages unsupervised learning to address the scarcity of ground truth disparity in stereo matching datasets,facilitating robust training across diverse scene-specific datasets and enhancing generalization.SGPASMnet incorporates two novel components:a Cross-Scale Feature Interaction(CSFI)block and semantic feature augmentation using a pre-trained semantic segmentation model,SegFormer,seamlessly embedded into the parallax attention mechanism.The CSFI block enables effective fusion ofmulti-scale features,integrating coarse and fine details to enhance disparity estimation accuracy.Semantic features,extracted by SegFormer,enrich the parallax attention mechanism by providing high-level scene context,significantly improving performance in ambiguous regions.Our model unifies these enhancements within a cohesive architecture,comprising semantic feature extraction,an hourglass network,a semantic-guided cascaded parallax attentionmodule,outputmodule,and a disparity refinement network.Evaluations on the KITTI2015 dataset demonstrate that our unsupervised method achieves a lower error rate compared to the original PASMnet,highlighting the effectiveness of our enhancements in handling complex scenes.By harnessing unsupervised learning without ground truth disparity needed,SGPASMnet offers a scalable and robust solution for accurate stereo matching,with superior generalization across varied real-world applications.展开更多
Title Page The title page(page 1,do not number)should contain these elements:(a)full title;(b)Each authors'names,academic degrees,and affiliations(if Chinese,give standard English version);(c)the designated corres...Title Page The title page(page 1,do not number)should contain these elements:(a)full title;(b)Each authors'names,academic degrees,and affiliations(if Chinese,give standard English version);(c)the designated corresponding author's name,mailing address,telephone and fax numbers,and e-mail address;(d)source(s)of financial support of the study;(e)the total word count of the manuscript,including the title page,abstract,text,references,tables,and figures legends.展开更多
数学教学通讯Correspondence of the Teaching of Mathematics《数学教学通讯》创立于1979年11月,是西南大学主管,西南大学、重庆数学学会主办的学术期刊(国际标准连续出版物号:ISSN 1001-8875,国内统一连续出版物号:CN50-1064/G4),是...数学教学通讯Correspondence of the Teaching of Mathematics《数学教学通讯》创立于1979年11月,是西南大学主管,西南大学、重庆数学学会主办的学术期刊(国际标准连续出版物号:ISSN 1001-8875,国内统一连续出版物号:CN50-1064/G4),是中国基础教育知识仓库来源期刊。40多年来,在广大数学工作者和中小学数学教师的鼎力支持下,办刊质量不断提升,为我国的数学研究和中小学数学教学作出了重要贡献,较好地推动了中小学数学教学改革,在中小学数学学术与教育教学探讨方面具备一定的影响力。展开更多
Pragmatic vagueness is frequently used in business correspondences and it offers benefits to the addressers by making business letter more flexible,appropriate and polite.This paper focuses on the employment of vague ...Pragmatic vagueness is frequently used in business correspondences and it offers benefits to the addressers by making business letter more flexible,appropriate and polite.This paper focuses on the employment of vague language in international business correspondences based on the Politeness Principle.In this study,the pragmatic effect of vague language in business correspondence is illustrated and summarized as a motivated factor to better show politeness and respect.The use of vague language motivated by politeness consequently leads to a more smooth,successful and desired communication in business world.展开更多
基金supported in part by the National Natural Science Foundation of China(62406177)the Shandong Excellent Young Scientists Fund(Oversea)(2024HWYQ-027)+1 种基金the Natural Science Foundation of Shandong Province(ZR2023QF124)the Young Scholars Program of Shandong University。
文摘Dear Editor,This letter introduces the counterfactual-guided implicit correspondence prompting(CICP)framework,designed for visible-infrared person re-identification(VI-ReID)within Industry 5.0 intelligent control systems.CICP advances recognition accuracy in complex industrial environments through its innovative approach to handling modality-specific features and their implicit relationships.
基金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.
文摘使真者理论的主要倡导者阿姆斯特朗特地选择“事态”(state of affairs)作为真的本体论基础,用以坚持事实主义而非事物主义,同时坚持符合真理论而非等同真理论。然而,事实主义和事物主义之争离开具体语境是纠缠不清的,结合语境之后二者的分歧并不重要。重要的是符合真理论和等同真理论之争,维特根斯坦、罗素以致弗雷格等大师都在二者之间有所徘徊和动摇。通过对有关理论的分析和评价,得出一种把等同真理论包含在内的符合真理论,即“双重同构符合论”。在此基础上,通过区分归纳使真者和演绎持真者,提出一种新的使真者理论,即归纳-符合使真者理论。
基金The National Natural Science Foundation of China(No50475041)
文摘Based on the coded and non-coded targets, the targets are extracted from the images according to their size, shape and intensity etc., and thus an improved method to identify the unique identity（D） of every coded target is put forward and the non-coded and coded targets are classified. Moreover, the gray scale centroid algorithm is applied to obtain the subpixel location of both uncoded and coded targets. The initial matching of the uncoded target correspondences between an image pair is established according to similarity and compatibility, which are based on the ID correspondences of the coded targets. The outliers in the initial matching of the uncoded target are eliminated according to three rules to finally obtain the uncoded target correspondences. Practical examples show that the algorithm is rapid, robust and is of high precision and matching ratio.
文摘Because of poor vocabulary, improper use of lexis, and interference of first language, it is difficult for students in voca-tional school to learn Business English Correspondence well. Business English has close relations with lexical chunks, whichmakes it necessary to apply lexical approach to teaching of Business English Correspondence. This paper intends to explore its the-oretical foundations and emphasize how to apply lexical approach to teaching of Business English Correspondence in vocationalschool.
基金supported by the National Natural Science Foundation of China,No.62301497the Science and Technology Research Program of Henan,No.252102211024the Key Research and Development Program of Henan,No.231111212000.
文摘Stereo matching is a pivotal task in computer vision,enabling precise depth estimation from stereo image pairs,yet it encounters challenges in regions with reflections,repetitive textures,or fine structures.In this paper,we propose a Semantic-Guided Parallax Attention Stereo Matching Network(SGPASMnet)that can be trained in unsupervised manner,building upon the Parallax Attention Stereo Matching Network(PASMnet).Our approach leverages unsupervised learning to address the scarcity of ground truth disparity in stereo matching datasets,facilitating robust training across diverse scene-specific datasets and enhancing generalization.SGPASMnet incorporates two novel components:a Cross-Scale Feature Interaction(CSFI)block and semantic feature augmentation using a pre-trained semantic segmentation model,SegFormer,seamlessly embedded into the parallax attention mechanism.The CSFI block enables effective fusion ofmulti-scale features,integrating coarse and fine details to enhance disparity estimation accuracy.Semantic features,extracted by SegFormer,enrich the parallax attention mechanism by providing high-level scene context,significantly improving performance in ambiguous regions.Our model unifies these enhancements within a cohesive architecture,comprising semantic feature extraction,an hourglass network,a semantic-guided cascaded parallax attentionmodule,outputmodule,and a disparity refinement network.Evaluations on the KITTI2015 dataset demonstrate that our unsupervised method achieves a lower error rate compared to the original PASMnet,highlighting the effectiveness of our enhancements in handling complex scenes.By harnessing unsupervised learning without ground truth disparity needed,SGPASMnet offers a scalable and robust solution for accurate stereo matching,with superior generalization across varied real-world applications.
文摘Title Page The title page(page 1,do not number)should contain these elements:(a)full title;(b)Each authors'names,academic degrees,and affiliations(if Chinese,give standard English version);(c)the designated corresponding author's name,mailing address,telephone and fax numbers,and e-mail address;(d)source(s)of financial support of the study;(e)the total word count of the manuscript,including the title page,abstract,text,references,tables,and figures legends.
文摘数学教学通讯Correspondence of the Teaching of Mathematics《数学教学通讯》创立于1979年11月,是西南大学主管,西南大学、重庆数学学会主办的学术期刊(国际标准连续出版物号:ISSN 1001-8875,国内统一连续出版物号:CN50-1064/G4),是中国基础教育知识仓库来源期刊。40多年来,在广大数学工作者和中小学数学教师的鼎力支持下,办刊质量不断提升,为我国的数学研究和中小学数学教学作出了重要贡献,较好地推动了中小学数学教学改革,在中小学数学学术与教育教学探讨方面具备一定的影响力。
文摘Pragmatic vagueness is frequently used in business correspondences and it offers benefits to the addressers by making business letter more flexible,appropriate and polite.This paper focuses on the employment of vague language in international business correspondences based on the Politeness Principle.In this study,the pragmatic effect of vague language in business correspondence is illustrated and summarized as a motivated factor to better show politeness and respect.The use of vague language motivated by politeness consequently leads to a more smooth,successful and desired communication in business world.
