Ongoing climate change is driving high-altitude bird species to occupy even higher elevations,yet physiological and regulatory responses enabling these transitions remain poorly understood.This study investigated acut...Ongoing climate change is driving high-altitude bird species to occupy even higher elevations,yet physiological and regulatory responses enabling these transitions remain poorly understood.This study investigated acute hypoxic responses in saker falcons(Falco cherrug)inhabiting the Qinghai-Xizang Plateau by exposing individuals to simulated altitudes of 5000-6000 m above sea level(a.s.l.),exceeding their typical elevation range(approximately 4300 m a.s.l.).GPS tracking data indicated that juvenile falcons maintained comparable activity levels across 4000-5000 m and 5000-6000 m a.s.l.ranges.However,pre-fledging individuals subjected to 6000 m hypoxia for three days exhibited marked increases in hemoglobin concentration and blood glucose.Transcriptomic profiling revealed significant suppression of glycolytic activity,notably characterized by reduced expression of hexokinase 1(HK1),a key enzymatic gene involved in the glycolytic pathway.ATAC-seq further identified enhanced chromatin accessibility within the HK1 locus under hypoxia,revealing two conserved cis-regulatory elements recognized by the transcription factor NR3C1 in the hypoxia-treated group.NR3C1 expression was negatively correlated with HK1.Notably,both elements were unique and evolutionarily conserved in avian taxa,suggesting a potential role in hypoxia resilience among highland birds.These findings provide mechanistic insights into the molecular and physiological strategies employed by sakers to tolerate acute hypoxic stress and inform conservation efforts for high-altitude bird species on the Qinghai-Xizang Plateau and other alpine ecosystems facing accelerating climate change.展开更多
Falcon作为一种后量子数字签名算法,被选为美国国家标准与技术研究院(National Institute of Standards and Technology, NIST)首批标准化方案之一. Falcon的核心算法在实际实现中很容易出错,引发可能的密码学误用问题.对Falcon核心函...Falcon作为一种后量子数字签名算法,被选为美国国家标准与技术研究院(National Institute of Standards and Technology, NIST)首批标准化方案之一. Falcon的核心算法在实际实现中很容易出错,引发可能的密码学误用问题.对Falcon核心函数进行形式化验证,以确保其正确性是非常重要的.在过去10年中,计算机辅助密码学领域将形式化方法引入了密码学工程.这使得高性能密码实现具有了强有力的函数正确性和特定实现安全性属性的形式化保证.贡献包括:(1)构建了完整的证明框架,通过形式化验证方法,成功弥合了Falcon的实际代码实现与数学描述之间的差距;(2)在EasyCrypt证明体系中验证了Falcon中的Montgomery模乘、NTT算法、FFT算法的正确性,并对整数高斯采样算法的正确性证明方法进行了探索;(3)给出及优化了基于Jasmin混合编程的Falcon签名与验证实现.展开更多
1 If astronauts want to stay on the Moon for more than a few days,they must find local resources,and water is one of the most crucial ones.Scientists believe there's water on the Moon,but they're unsure of whe...1 If astronauts want to stay on the Moon for more than a few days,they must find local resources,and water is one of the most crucial ones.Scientists believe there's water on the Moon,but they're unsure of where it lies.2 Two probes are on their way to the Moon to solve this mystery.They will be launched on the same SpaceX Falcon 9 rocket from Cape Canaveral.If everything goes as planned,the first probe to reach the Moon will be Athena.Timothy Crain,the chief technology officer of Intuitive Machines,says it will take about 3 to 4 days,depending on the launch time.They'll orbit the Moon for 2 to 3 days to wait for the Sun to reach the landing site,because the lander's solar panels need sunlight to generate power.It only takes about 15 minutes to land softly after the engine is started.展开更多
基金supported by the National Nature Science Foundation of China(32222012,32125005,32270455,32361133559)。
文摘Ongoing climate change is driving high-altitude bird species to occupy even higher elevations,yet physiological and regulatory responses enabling these transitions remain poorly understood.This study investigated acute hypoxic responses in saker falcons(Falco cherrug)inhabiting the Qinghai-Xizang Plateau by exposing individuals to simulated altitudes of 5000-6000 m above sea level(a.s.l.),exceeding their typical elevation range(approximately 4300 m a.s.l.).GPS tracking data indicated that juvenile falcons maintained comparable activity levels across 4000-5000 m and 5000-6000 m a.s.l.ranges.However,pre-fledging individuals subjected to 6000 m hypoxia for three days exhibited marked increases in hemoglobin concentration and blood glucose.Transcriptomic profiling revealed significant suppression of glycolytic activity,notably characterized by reduced expression of hexokinase 1(HK1),a key enzymatic gene involved in the glycolytic pathway.ATAC-seq further identified enhanced chromatin accessibility within the HK1 locus under hypoxia,revealing two conserved cis-regulatory elements recognized by the transcription factor NR3C1 in the hypoxia-treated group.NR3C1 expression was negatively correlated with HK1.Notably,both elements were unique and evolutionarily conserved in avian taxa,suggesting a potential role in hypoxia resilience among highland birds.These findings provide mechanistic insights into the molecular and physiological strategies employed by sakers to tolerate acute hypoxic stress and inform conservation efforts for high-altitude bird species on the Qinghai-Xizang Plateau and other alpine ecosystems facing accelerating climate change.
文摘Falcon作为一种后量子数字签名算法,被选为美国国家标准与技术研究院(National Institute of Standards and Technology, NIST)首批标准化方案之一. Falcon的核心算法在实际实现中很容易出错,引发可能的密码学误用问题.对Falcon核心函数进行形式化验证,以确保其正确性是非常重要的.在过去10年中,计算机辅助密码学领域将形式化方法引入了密码学工程.这使得高性能密码实现具有了强有力的函数正确性和特定实现安全性属性的形式化保证.贡献包括:(1)构建了完整的证明框架,通过形式化验证方法,成功弥合了Falcon的实际代码实现与数学描述之间的差距;(2)在EasyCrypt证明体系中验证了Falcon中的Montgomery模乘、NTT算法、FFT算法的正确性,并对整数高斯采样算法的正确性证明方法进行了探索;(3)给出及优化了基于Jasmin混合编程的Falcon签名与验证实现.
文摘1 If astronauts want to stay on the Moon for more than a few days,they must find local resources,and water is one of the most crucial ones.Scientists believe there's water on the Moon,but they're unsure of where it lies.2 Two probes are on their way to the Moon to solve this mystery.They will be launched on the same SpaceX Falcon 9 rocket from Cape Canaveral.If everything goes as planned,the first probe to reach the Moon will be Athena.Timothy Crain,the chief technology officer of Intuitive Machines,says it will take about 3 to 4 days,depending on the launch time.They'll orbit the Moon for 2 to 3 days to wait for the Sun to reach the landing site,because the lander's solar panels need sunlight to generate power.It only takes about 15 minutes to land softly after the engine is started.
