By using an existence theorems of maximal elements for a family of set-valued mappings in G-convex spaces due to the author, some new nonempty intersection theorems for a family of set-valued mappings were established...By using an existence theorems of maximal elements for a family of set-valued mappings in G-convex spaces due to the author, some new nonempty intersection theorems for a family of set-valued mappings were established in noncompact product G-convex spaces. As applications, some equilibrium existence theorems for a system of generalized vector equilibrium problems were proved in noncompact product G-convex spaces. These theorems unify, improve and generalize some important known results in literature.展开更多
For the polarimetric synthetic aperture radar interferometry (PoIInSAR) processing, it is necessary to coregister all the images, including the coregistration of polarimetric SAR images and the coregistration of inter...For the polarimetric synthetic aperture radar interferometry (PoIInSAR) processing, it is necessary to coregister all the images, including the coregistration of polarimetric SAR images and the coregistration of interferometric SAR images. Otherwise, the performance of the estimated optimal interferograms will be deteriorated. A generalized scattering vector (GSV) model is proposed to execute the PoIInSAR optimal interferograms estimation. The generalized scattering vector is constructed by the Pauli scattering vectors of the processing pixel and the surrounding pixels. Even though there are coregistration errors, all the polarimetric information of the current processing pixel is entirely included in the generalized scattering vector. Therefore, the GSV-based method can automatically recover the optimal scattering mechanisms of the processing pixel with coregistration errors either in interferoemetric channels or polarimetric channels. Theoretical analysis and processing results of simulated PoISARPro data and real PALSAR data validate the effectiveness and correctness of the proposed method.展开更多
为提高应用文编写效率,提出一种融合大语言模型(large language model,LLM)与向量知识库(vector knowledge base)的应用文自动生成框架.根据目标应用场景,以人工编写的标准应用文为范本,构建结构化辅助生成文件,并建立相应类型应用文的...为提高应用文编写效率,提出一种融合大语言模型(large language model,LLM)与向量知识库(vector knowledge base)的应用文自动生成框架.根据目标应用场景,以人工编写的标准应用文为范本,构建结构化辅助生成文件,并建立相应类型应用文的向量知识库.利用目标类型应用文的章节标题和用户输入的关键信息在知识库中进行检索,匹配相关文段;设置提示词引导LLM,以召回的参考文段及用户输入的提示信息为参考,使用末级标题作为分割标志,分章节生成应用文文本;最终按规定格式整合全文并输出完整的目标应用文.以应急预案为例,在同一评价标准下使用ChatGPT-4Turbo进行评测,自动生成的应急预案高度趋近于人工编写的质量,二者的文档质量相似度达95.87%.所提方法能够在算力资源有限的情况下突破字数限制,生成符合基本标准的长篇幅应用文,可供人工参考或直接使用,极大提高了编写人员的工作效率.展开更多
文摘By using an existence theorems of maximal elements for a family of set-valued mappings in G-convex spaces due to the author, some new nonempty intersection theorems for a family of set-valued mappings were established in noncompact product G-convex spaces. As applications, some equilibrium existence theorems for a system of generalized vector equilibrium problems were proved in noncompact product G-convex spaces. These theorems unify, improve and generalize some important known results in literature.
基金Supported by the National Creative Research Groups Science Foundation of P.R. China (NCRGSFC: 60421002) and National High Technology Research and Development Program of China (863 Program) (2006AA04 Z182)
基金supported by the National Natural Science Foundation of China(6147127661671355)the Areospace T.T.&.C.Innovation Program
文摘For the polarimetric synthetic aperture radar interferometry (PoIInSAR) processing, it is necessary to coregister all the images, including the coregistration of polarimetric SAR images and the coregistration of interferometric SAR images. Otherwise, the performance of the estimated optimal interferograms will be deteriorated. A generalized scattering vector (GSV) model is proposed to execute the PoIInSAR optimal interferograms estimation. The generalized scattering vector is constructed by the Pauli scattering vectors of the processing pixel and the surrounding pixels. Even though there are coregistration errors, all the polarimetric information of the current processing pixel is entirely included in the generalized scattering vector. Therefore, the GSV-based method can automatically recover the optimal scattering mechanisms of the processing pixel with coregistration errors either in interferoemetric channels or polarimetric channels. Theoretical analysis and processing results of simulated PoISARPro data and real PALSAR data validate the effectiveness and correctness of the proposed method.
文摘为提高应用文编写效率,提出一种融合大语言模型(large language model,LLM)与向量知识库(vector knowledge base)的应用文自动生成框架.根据目标应用场景,以人工编写的标准应用文为范本,构建结构化辅助生成文件,并建立相应类型应用文的向量知识库.利用目标类型应用文的章节标题和用户输入的关键信息在知识库中进行检索,匹配相关文段;设置提示词引导LLM,以召回的参考文段及用户输入的提示信息为参考,使用末级标题作为分割标志,分章节生成应用文文本;最终按规定格式整合全文并输出完整的目标应用文.以应急预案为例,在同一评价标准下使用ChatGPT-4Turbo进行评测,自动生成的应急预案高度趋近于人工编写的质量,二者的文档质量相似度达95.87%.所提方法能够在算力资源有限的情况下突破字数限制,生成符合基本标准的长篇幅应用文,可供人工参考或直接使用,极大提高了编写人员的工作效率.