In this paper,we establish common fixed point theorems for expansive map?pings on b-metric-like space and coincidence point for f-weakly isotone increasing mappings in partially ordered b-metric-like space.The main re...In this paper,we establish common fixed point theorems for expansive map?pings on b-metric-like space and coincidence point for f-weakly isotone increasing mappings in partially ordered b-metric-like space.The main results generalize and extend several well-known comparable results from the existing literature.Moreover,some examples are provided to illustrate the main results.展开更多
In view of the deficiencies in aspects such as failure rate requirements and analysis assumptions of advisory circular,this paper investigates the sources of high safety requirements,and the top-down design method for...In view of the deficiencies in aspects such as failure rate requirements and analysis assumptions of advisory circular,this paper investigates the sources of high safety requirements,and the top-down design method for the flight control system life cycle.Correspondingly,measures are proposed,including enhancing the safety target value to 10^(−10)per flight hour and implementing development assurance.In view of the shortcomings of mainstream aircraft flight control systems,such as weak backup capability and complex fault reconfiguration logic,improvements have been made to the system’s operating modes,control channel allocation,and common mode failure mitigation schemes based on the existing flight control architecture.The flight control design trends and philosophies have been analyzed.A flight control system architecture scheme is proposed,which includes three operating modes and multi-level voters/monitors,three main control channels,and a backup system independent of the main control system,which has been confirmed through functional modeling simulations.The proposed method plays an important role in the architecture design of safety-critical flight control system.展开更多
In this paper,we study the orthogonal time frequency space signal transmission over multi-path channel in the presence of phase noise(PHN)at both sides of millimeter wave(mmWave)communication links.The statistics char...In this paper,we study the orthogonal time frequency space signal transmission over multi-path channel in the presence of phase noise(PHN)at both sides of millimeter wave(mmWave)communication links.The statistics characteristics of the PHN-induced common phase error and inter-Doppler interference are investigated.Then,a column-shaped pilot structure is designed,and training pilots are used to realize linear-complexity PHN tracking and compensation.Numerical results demonstrate that the proposed scheme enables the signal to noise ratio loss to be restrained within 1 dB in contrast to the no PHN case.展开更多
学习资源的质量和数量直接影响着数字化学习的效果,而学习资源标准的发展又引领着资源建设和共享的实践活动的发展,是学习资源研究和应用的"制高点"。本文详细的介绍了IMS Common Cartridge和SCORM 2.0两个最新的学习资源规...学习资源的质量和数量直接影响着数字化学习的效果,而学习资源标准的发展又引领着资源建设和共享的实践活动的发展,是学习资源研究和应用的"制高点"。本文详细的介绍了IMS Common Cartridge和SCORM 2.0两个最新的学习资源规范的研究进展,并结合泛在学习的需求,分析和评述了它们各自的特色和不足。在此基础上,本文进一步对未来学习资源形态的可进化性、分布式、社会性、情境性、开放性、复合性等发展趋势做了简要的展望。展开更多
分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混...分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为εL混合循环术语集的LCS和MSC推理提供了理论基础.展开更多
Both Booker T.Washington and W.E.B.Du Bois are the prominent thinkers who provide inspirations for African Americans on their way to strive for political,economic and social emancipations.Their ideas arise from the sp...Both Booker T.Washington and W.E.B.Du Bois are the prominent thinkers who provide inspirations for African Americans on their way to strive for political,economic and social emancipations.Their ideas arise from the specific determinants of the historical period where they respectively live.People are often more aware of and interested in the differences and even conflicts of their propositions.In essence,thinking of the latter is a logic continuity of that of the former.Their ideas share a logic commonality,which is that they are conservative in the base,and reformist in the implementing steps.展开更多
为了实现叶绿素a浓度数据的三维动态可视化效果,针对海洋环境数据多维、多时间及多格式等特点,在全面分析NetCDF(network Common Data Form)数据模型的格式、存储的基础上,结合GPU(Graphics Processing Unit)与osgEarth三维地球虚拟场景...为了实现叶绿素a浓度数据的三维动态可视化效果,针对海洋环境数据多维、多时间及多格式等特点,在全面分析NetCDF(network Common Data Form)数据模型的格式、存储的基础上,结合GPU(Graphics Processing Unit)与osgEarth三维地球虚拟场景,提出一套海洋环境中叶绿素a浓度的动态可视化方法。实验表明,该方法具有一定的可行性和高效性,为海洋环境数据的动态可视化与分析提供了强有力的可视化平台。展开更多
基金Supported by the National Natural Science Foundation of China(12001249)the Natural Science Foundation of Jiangxi Province(20232BAB211004)the Educational Commission Science Programm of Jiangxi Province(GJJ2200523)。
文摘In this paper,we establish common fixed point theorems for expansive map?pings on b-metric-like space and coincidence point for f-weakly isotone increasing mappings in partially ordered b-metric-like space.The main results generalize and extend several well-known comparable results from the existing literature.Moreover,some examples are provided to illustrate the main results.
文摘In view of the deficiencies in aspects such as failure rate requirements and analysis assumptions of advisory circular,this paper investigates the sources of high safety requirements,and the top-down design method for the flight control system life cycle.Correspondingly,measures are proposed,including enhancing the safety target value to 10^(−10)per flight hour and implementing development assurance.In view of the shortcomings of mainstream aircraft flight control systems,such as weak backup capability and complex fault reconfiguration logic,improvements have been made to the system’s operating modes,control channel allocation,and common mode failure mitigation schemes based on the existing flight control architecture.The flight control design trends and philosophies have been analyzed.A flight control system architecture scheme is proposed,which includes three operating modes and multi-level voters/monitors,three main control channels,and a backup system independent of the main control system,which has been confirmed through functional modeling simulations.The proposed method plays an important role in the architecture design of safety-critical flight control system.
基金supported by the National Natural Science Foundation of China(62071097)the Sichuan Science and Technology Program(2023NSFSC0458).
文摘In this paper,we study the orthogonal time frequency space signal transmission over multi-path channel in the presence of phase noise(PHN)at both sides of millimeter wave(mmWave)communication links.The statistics characteristics of the PHN-induced common phase error and inter-Doppler interference are investigated.Then,a column-shaped pilot structure is designed,and training pilots are used to realize linear-complexity PHN tracking and compensation.Numerical results demonstrate that the proposed scheme enables the signal to noise ratio loss to be restrained within 1 dB in contrast to the no PHN case.
文摘学习资源的质量和数量直接影响着数字化学习的效果,而学习资源标准的发展又引领着资源建设和共享的实践活动的发展,是学习资源研究和应用的"制高点"。本文详细的介绍了IMS Common Cartridge和SCORM 2.0两个最新的学习资源规范的研究进展,并结合泛在学习的需求,分析和评述了它们各自的特色和不足。在此基础上,本文进一步对未来学习资源形态的可进化性、分布式、社会性、情境性、开放性、复合性等发展趋势做了简要的展望。
文摘分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为εL混合循环术语集的LCS和MSC推理提供了理论基础.
文摘Both Booker T.Washington and W.E.B.Du Bois are the prominent thinkers who provide inspirations for African Americans on their way to strive for political,economic and social emancipations.Their ideas arise from the specific determinants of the historical period where they respectively live.People are often more aware of and interested in the differences and even conflicts of their propositions.In essence,thinking of the latter is a logic continuity of that of the former.Their ideas share a logic commonality,which is that they are conservative in the base,and reformist in the implementing steps.
文摘为了实现叶绿素a浓度数据的三维动态可视化效果,针对海洋环境数据多维、多时间及多格式等特点,在全面分析NetCDF(network Common Data Form)数据模型的格式、存储的基础上,结合GPU(Graphics Processing Unit)与osgEarth三维地球虚拟场景,提出一套海洋环境中叶绿素a浓度的动态可视化方法。实验表明,该方法具有一定的可行性和高效性,为海洋环境数据的动态可视化与分析提供了强有力的可视化平台。
