检索结果-内蒙古大学图书馆

Boosting characteristic emissions of lanthanide in Cs_(2)Ag_(0.6)Na_(0.4)InCl_(6-x)Br_(x) double perovskites via mixing halide

引用

Journal of Rare Earths 2025年第1期43卷 39-46,I0002页

作者： Shujian Wang Dejian Chen Jie Hu Sisi Liang Kunyuan Xu Maochun Hong Haomiao Zhu University of Science and Technology of China Hefei230026China Ganjiang Innovation Academy Chinese Academy of SciencesGanzhou341000China CAS Key Laboratory of Design and Assembly of Functional Nanostructures and Fujian Key Laboratory of Nanomaterials Fujian Institute of Research on the Structure of MatterChinese Academy of SciencesFuzhou350002China Xiamen Key Laboratory of Rare Earth Photoelectric Functional Materials Xiamen Research Center of Rare Earth MaterialsHaixi InstitutesChinese Academy of SciencesXiamen361021China

Lanthanide ions(Ln^(3+))doping provides a potential strategy to control over the luminescent properties of lead-free halide double perovskite nanocrystals(DP NCs).However,due to the low energy transfer efficiency between self-trapped exciton(STE)and Ln^(3+)ions,the characteristic emissions of Ln^(3+)ions are not ***,the energy transfer mechanism between STE and Ln^(3+)ions is also elusive and requires in-depth *** chose trace Bi^(3+)-doped Cs_(2)Ag_(0.6)Na_(0.4)InCl_(6-x)Br_(x) as a representative DP matrix to demonstrate that by tuning the bromide concentration,the Ln^(3+)emission can be greatly *** enhanced STE and Ln^(3+)ions energy transfer originates from the high covalency of Ln-Br bond,which contributes to improve ment of the characteristic emission of Ln^(3+)*** re,optical spectroscopy reveals that the energy transfer mechanism from DP to Eu^(3+)ions is different from all the other doped Ln^(3+)*** energy transfer from DP to Eu^(3+)ions is mostly through Eu-Br charge transfer while the other Ln^(3+)ions are excited by energy transfer from *** distinct energy transfer mechanism has resulted from the energy separation between the excited energy level of Ln^(3+)ions and the bottom of conduction band of *** increasing the energy separation,the energy transfer from STE to Ln^(3+)ions is less efficient because of the generation of a larger number of phonons and finally becomes impossible for Eu^(3+)*** results provide new insight into tuning the energy transfer of Ln^(3+)-doped DP NCs.

关键词： Double perovskitenanocrystal Lead free Lanthanideions Energytransfer Rare earths

来源：评论

学校读者我要写书评

暂无评论

Identification Algorithm Framework and Structural model on Input Pattern of Metamorphic Relations 9

Identification Algorithm Framework and Structural model on I...

引用

9th International Conference on Dependable Systems and Their Applications, DSA 2022

作者： Yan, Shiyu Yang, Xiaohua Lu, Zhongjian Li, Meng Gong, Helin Liu, Jie Computer School University of South China Hunan Hengyang China Intelligent Equipment Software Evaluation Engineering Technology Research Center of Hunan Hengyang China Cnnc Key Laboratory on High Trusted Computing Hunan Hengyang China Nuclear Power Institute of China Science and Technology on Reactor System Design Technology Laboratory Chengdu China

ISBN: (数字)9781665488778

ISBN: (纸本)9781665488778

Metamorphic Relation (MR) plays a crucial role in Metamorphic Testing (MT), which can be regarded as the implication relation from the input pattern to the output pattern. Based on MR's properties, the identification of Metamorphic Relations (MRs) can be from its input pattern and output pattern, respectively. However, the finding of the effective input pattern is very first and important. Especially for complicated mathematical function includes more than two input variables, we systematically analyze the structural model of input pattern in MR, propose the concept of the class of basic input pattern, as well as prove that any one input pattern can be expressed as a combination of basic input patterns in scientific computing programs. Moreover, the structural model of input pattern in MR is established based on previous proof. Finally, we put forward an identification algorithm framework and analysis its complexity. The core contribution of our method is to decompose the input pattern identification problem in multi-dimensional space into a single one-dimensional. For this reason, the examples show that the complexity of the algorithm is reduced significantly. © 2022 IEEE.

关键词： Computational complexity

来源：评论

学校读者我要写书评

暂无评论

designing Uncorrelated Address Constrain for DNA Storage by DMVO Algorithm

引用

IEEE/ACM Transactions on Computational Biology and Bioinformatics 2022年第2期19卷 866-877页

作者： Cao, Ben Ii, Xue Zhang, Xiaokang Wang, Bin Zhang, Qiang Wei, Xiaopeng Key Laboratory of Advanced Design and Intelligent Computing Ministry of Education Ministry of Education School of Software Engineering Dalian University Dalian116622 China School of Computer Science and Technology Dalian University of Technology Dalian116024 China

At present, huge amounts of data are being produced every second, a situation that will gradually overwhelm current storage technology. DNA is a storage medium that features high storage density and long-term stability and is now considered to be a feasible storage solution. Errors are easily made during the sequencing and synthesis of DNA, however. In order to reduce the error rate, novel uncorrelated address constrain are reported, and a Damping Multi-Verse Optimizer (DMVO)algorithm is proposed to construct a set of DNA coding, which is used as the non-payload. The DMVO algorithm exchanges objects through black/white holes in order to achieve a stable state and adds damping factors as disturbances. Compared with previous work, the coding set obtained by the DMVO algorithm is larger in size and of higher quality. The results of this study reveal that the size of the DNA storage coding set obtained by the DMVO algorithm increased by 4-16 percent, and the variance of the melting temperature decreased by 3-18 percent. © 2004-2012 IEEE.

关键词： Damping

来源：评论

学校读者我要写书评

暂无评论

Using Linkography to Quantitatively Analyze the design Ideation of AI Agents 15

Using Linkography to Quantitatively Analyze the Design Ideat...

引用

15th International Conference on Intelligent Human-Machine Systems and Cybernetics, IHMSC 2023

作者： Huang, Jiangjie Zhang, Xiaoyu Tang, Yongchuan College of Computer Science and Technology Zhejiang University Hangzhou China Wuzhou University Wuzhou China Zhejiang University Future Design Laboratory Jiaxing China

ISBN: (纸本)9798350326178

Today's AI technology and tools are continuously applied to the field of design, promoting the improvement of designers' creative ability and design efficiency. The recent emergence of AI agents represented by Chat-GPT has excellent conversational and creative reasoning capabilities in many aspects, which will provide great opportunities for higher-level design collaboration between humans and machines. AI is gaining popularity in today's design creative field, yet we know very little about the creative mechanics and ideation process of AI agents. Faced with this problem, we draw on the theory of protocol analysis and propose a method to quantitatively analyze the creative ideation process of AI agents. Then, we tried Chat-GPT and GPT-4 ideation for specific design issues, and analyzed their creativity and cognitive behavior in the ideation process using linkography. Finally, we point out the advantages, difficulties, and next steps of AI agents in design ideation. © 2023 IEEE.

关键词： AI agents design cognition design ideation linkography

来源：评论

学校读者我要写书评

暂无评论

Bifurcation analysis of dual-sidestay landing gear locking performance considering joint clearance

引用

Chinese Journal of Aeronautics 2022年第7期35卷 209-226页

作者： Kui XU Yin YIN Yixin YANG Hong NIE Xiaohui WEI State Key Laboratory of Mechanics and Control of Mechanical Structures Nanjing University of Aeronautics and AstronauticsNanjing 210016China Key Laboratory of Fundamental Science for National Defense-Advanced Design Technology of Flight Vehicle Nanjing University of Aeronautics and AstronauticsNanjing 210016China

Sidestay lock mechanism is an important part of landing gear system,and the locking performance can be analyzed based on changes in its ***,during numerical continuation analysis of fully-rigid dual-sidestay landing gear without clearance,it has been found that the appearance of bifurcation points does not necessarily imply that both sidestay links can be locked *** problem reveals the limitations of fully-rigid model with ideally-articulated in solving dual-sidestay mechanisms with extremely high motion ***,this study proposes a bifurcation analysis method for synchronous locking of dual-sidestay landing gears,which takes into consideration the joint *** in-depth analysis of this problem,we initially build kinematic and mechanical models of a landing gear mechanism that consider joint ***,the models are solved based on *** fundamental causes of synchronous locking are discussed in detail,and the number of bifurcation points is found to be closely related to whether the landing gear is completely ***,the effects of structural parameters on the synchronous locking are analyzed,and the feasible region of parameters satisfying synchronous locking condition is given,which agrees well with the test results.

关键词： Bifurcation Clearance Dual-sidestay landing gear Numerical continuation Synchronous locking

来源：评论

学校读者我要写书评

暂无评论

Peridynamic Simulation for Thermal and Mechanical Behavior of Manufactured Structures with MIG Welding 1

引用

作者： Li, Hui Zhang, Liping Liu, Zhenyu Li, Lijuan Zhang, Yixiong Shao, Xuejiao Science and Technology On Reactor System Design Technology Laboratory Nuclear Power Institute of China No. 328 Changshun Avenue Chengdu Sichuan610200 China

ISBN: (数字)9783030683030

ISBN: (纸本)9783030683023;9783030683054

A new numerical simulation method is developed for the evaluation of thermal and mechanical analyses of manufactured structures with Metal Inert Gas (MIG) welding on the basis of the peridynamics. The peridynamic formulations of the weak coupled thermo-mechanical problems are derived based on a heat transfer model and a microplastic model. To simulate the MIG welding process, a birth–death material point method in the peridynamic framework is proposed to model the addition of weld metal to the workpiece. To simplify the calculation process and improve the computational efficiency due to no need of updating the neighbourhoods of material points, an additional scalar field is introduced in the equations to describe the birth and death states of the material points. In addition, the present method is applied to simulate a classical model of two plates being joined together by the MIG welding. The results indicate that the residual tensile deformations are formed in the welded area while the residual compressive deformations are formed far from the wild line after the release of the clamps on account of the plastic deformation. These results also demonstrate the validity of the present method for the simulation of the MIG welding by comparing with the reference solution. © 2021, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Computational efficiency

来源：评论

学校读者我要写书评

暂无评论

Motion Characteristics of a Novel Capsule Robot for Sampling Gastric Juice Based on Origami 24th

Motion Characteristics of a Novel Capsule Robot for Sampling...

引用

24th IFToMM China International Conference on Mechanism and Machine science and Engineering, IFToMM CCMMS 2024

作者： Huang, Long Tang, Lingling He, Changyan Yin, Lairong Chen, Gengbiao School of Automotive and Mechanical Engineering Changsha University of Science and Technology Changsha 410114 China Hunan Provincial Key Laboratory of Safety Design and Reliability Technology for Engineering Vehicle Changsha University of Science and Technology Changsha 410114 China The University of Newcastle Callaghan 2308 NSW Australia

ISBN: (纸本)9789819614639

For many medical applications, it is necessary to sample and test the internal environment nondestructively, such as sampling the gastric juice and evaluating the intestinal microbiome. In this paper, we propose a novel soft capsule robot for sampling gastric juice based on rigid origami, which can be opened through magnetic actuation. The application of the origami pattern in the capsule robot reduces deformation and stress at each compliant joint when the capsule robot undergoes configuration transformation. Then we conduct kinematic analysis of the capsule-shape origami pattern, and verified that the origami pattern is a rigid-foldable 1-DOF origami pattern. Finally, through the preliminary experiment on the robot prototype, we verified the ability of the proposed robot for the required sampling task. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Capsule robot Gastric juice Kinematics Rigid origami

来源：评论

学校读者我要写书评

暂无评论

Study on the dynamic modes of indoor environment based on the high-precise monitoring and occupant behavior of adaptively technological regulation 18

Study on the dynamic modes of indoor environment based on th...

引用

18th IBPSA Conference on Building Simulation, BS 2023

作者： Liang, Shuxian Lu, Yao Yang, Shangjie Xiao, Yiqiang State Key Laboratory of Subtropical Building and Urban Science South China University of Technology Guangzhou China Guangzhou City University of Technology Guangzhou China School of Architecture South China University of Technology Guangzhou China School of Design South China University of Technology Guangzhou China

The efficient use of indoor energy is determined by complex adaptive occupant behavior. Previous studies have found that almost all researchers focus on studying individual occupant behavior, while there is a significant lack of research on the combination of users' compound adjustment behaviors in indoor environments. This study utilizes advanced sensor technology, combined with wired and wireless technology, to design a high-precision system for real-time monitoring of indoor and outdoor environments and occupant behavior. We reviewed and summarized applicable Python toolkits and found that office users actively adjust both fans and air conditioning when the outdoor temperature is between 28-37°C in hot and humid areas in China. © 2023 *** rights reserved.

关键词： Python

来源：评论

学校读者我要写书评

暂无评论

A Selection Method of Effective Metamorphic Relations 13

A Selection Method of Effective Metamorphic Relations

引用

13th International Conference on Reliability, Maintainability, and Safety, ICRMS 2022

作者： Zhang, Jie Hong, Jie Huang, Dafei Li, Meng Yan, Shiyu Gong, Helin School of Computing University of South China Hunan Hengyang China Engineering and Technology Research Center of Software Evaluation and Testing for Intellectual Hunan Hengyang China CNNC Key Laboratory on High Trusted Computing Hunan Hengyang China Nuclear Power Institute of China Science and Technology on Reactor System Design Technology Laboratory Chengdu China

ISBN: (数字)9781665486903

ISBN: (纸本)9781665486903

Metamorphic testing can effectively alleviate the test oracle problem. However, the program under test needs to be executed one more time;it is particularly significant to select the metamorphic relation with the highly fault-detecting ability and improve the test cost-effectiveness. Due to the limitations of existing evaluation methods in engineering applications, a validity evaluation method for metamorphic relation is presented based on single factor and multi-factor mutation scores. It can guide their priority ranking and selection. Experiments show that this method can significantly reduce test costs. © 2022 IEEE.

关键词： Cost effectiveness

来源：评论

学校读者我要写书评

暂无评论

Formally Verified a Front-End of the Trusted Code Generator for Safety I&C Software of NPPs 5th

Formally Verified a Front-End of the Trusted Code Generator ...

引用

5th International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant, ISNPP 2020

作者： Lan, Lin Ma, Quan Hou, Rong-Bin Jiang, Wei Liu, Ming-Xing Yang, Fei Li, Yong Science and Technology on Reactor System Design Technology Laboratory Nuclear Power Institute of the China Chengdu Sichuan China Harbin Engineering University Harbin China

ISBN: (纸本)9789811634550

In nuclear power plant embedded software control area, graphical control algorithms are described by Lustre program and designed with graphical editors of engineering station. After they are translated into C programs through a code generator, then the C programs are downloaded to the embedded platform software of NASPIC. The correctness of the code generator will directly determine the credibility and safety of NASPIC. Therefore, it’s important to ensure the correctness of the code generator translation process. Formally verified the correctness of a code generator, which has been studied for many years and becomes a most effective approach to develop a trusted code generator. This article is based on the requirements of nuclear safety-level I&C (Instrumentation & Control) system and mainly presents the development of a formally verified code generator front-end. The front-end translates Lustre source program into S_Lustre (a sequential intermediate language). And it is programmed and proved in Coq (Auxiliary Theorem Prover). During the development of the front-end, two key technical challenges have been resolved. The first is to ensure every id which appeared in the Lustre program has been defined. The second is to implement the casualty analysis and determine the evaluation order of user-defined types and equations based on the dependencies. © 2021, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：