云南高校图书馆联盟文献共享服务平台- SAT

SAT: 作品数：1115被引量：1455H指数：16; 导出分析报告; 相关领域：文化科学医药卫生更多>>; 相关作者：赵振宇范伟兴殷明浩马建中刘永林更多>>; 相关机构：吉林大学华中科技大学东北师范大学华东师范大学更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划中央高校基本科研业务费专项资金国家教育部博士点基金更多>>

Optimizing AES S-Box Implementation:A SAT-Based Approach with Tower Field Representations: 《Computers, Materials & Continua》2025年第4期1515-1531,共17页Jingya Feng Ying Zhao Tao Ye Wei Feng; supported in part by the National Natural Science Foundation of China(No.62162016);in part by the Innovation Project of Guangxi Graduate Education(Nos.YCBZ2023132 and YCSW2023304).; The efficient implementation of the Advanced Encryption Standard(AES)is crucial for network data security.This paper presents novel hardware implementations of the AES S-box,a core component,using tower field represen...; 关键词：AES S-box SAT optimization tower field hardware implementation area efficiency energy consumption

SAT技术检测解脲脲原体和沙眼衣原体核酸在泌尿生殖道感染中的应用价值分析: 《中国实用医药》2025年第6期94-97,共4页黄瑞清邹迪叶沛仪; 目的探讨实时荧光核酸恒温扩增检测技术(SAT技术)检测解脲脲原体(UU)和沙眼衣原体(CT)核酸在泌尿生殖道感染患者中的应用价值,从而为疾病诊治提供可靠依据。方法选择123例泌尿生殖道感染患者阴道分泌物拭子,通过SAT技术检测UU和CT。...; 关键词：实时荧光核酸恒温扩增检测技术解脲脲原体沙眼衣原体核糖核酸泌尿生殖道

Full-round impossible diferential attack on shadow block cipher: 《Cybersecurity》2025年第1期247-261,共15页Yuting Liu Yongqiang Li Huiqin Chen Mingsheng Wang; supported by the National Natural Science Foundation of China(No.12371525).; Lightweight block ciphers are the essential encryption algorithm for devices with limited resources.Its goal is to ensure the security of data transmission through resource-constrained devices.Impossible diferential c...; 关键词：Lightweight block cipher SHADOW Impossible diferential cryptanalysis SAT

The OPS-SAT case:A data-centric competition for onboard satellite image classification: 《Astrodynamics》2024年第4期507-528,共22页Gabriele Meoni Marcus Martens Dawa Derksen Kenneth See Toby Lightheart Anthony Secher Arnaud Martin David Rijlaarsdam Vincenzo Fanizza Dario Izzo; While novel artificial intelligence and machine learning techniques are evolving and disrupting established terrestrial technologies at an unprecedented speed,their adaptation onboard satellites is seemingly lagging.A...; 关键词：OPS-SAT data-centric competition artificial intelligence(AI) onboard machine learning onboard classification

CP-SAT模型驱动的研发台架任务调度优化策略: 《智能制造》2024年第6期123-128,共6页孙淑军李德明王长通尹世昌朱雪莲赵文耿; 本研究针对研发台架环境的特殊性和灵活性,提出了一种基于CP-SAT模型的任务调度优化策略。研究集中于解决无严格顺序约束的研发任务调度问题,充分考虑了资源限制、任务周期及任务与台架的特定绑定关系。通过精心设计的CP-SAT模型,我们...; 关键词：CP-SAT模型研发台架任务调度资源约束任务周期优化策略研发效率

基于SAT问题实例特性的端到端SAT求解模型: 《计算机应用研究》2024年第11期3376-3381,共6页龙峥嵘李金龙梁永濠; 当前基于神经网络的端到端SAT求解模型在各类SAT问题求解上展现了巨大潜力。然而SAT问题难以容忍误差存在,神经网络模型无法保证不产生预测误差。为利用SAT问题实例特性来减少模型预测误差,提出了错误偏好变量嵌入架构(architecture of ...; 关键词：布尔可满足性问题消息传递网络机器学习

中国最早用AI自学的人现在怎么样了?: 《课外阅读》2024年第11期22-25,共4页毛毛; 中学生能用AI做什么?19岁的威廉也许是国内第一批尝试利用AI自学课程的学生之一。从上海某国际学校休学后,他在AI的帮助下,用不到两个月的时间学完了大学约一年的课程,通过了SAT和英国高中课程A-Level考试。在备考SAT的过程中,他用AI辅...; 关键词：备考背单词 AI SAT 自学课程英国高中课程中学生

一种基于CRDSA的VDE-SAT随机接入方法: 《计算机技术与发展》2024年第11期87-94,共8页王志文杨树树唐寅谢飞宇陈春婷; 中国工程院战略研究与咨询项目(2022-XY-111)。; 甚高频数据交换-卫星部分(VHF Data Exchange-Satellite,VDE-SAT)是下一代海事通讯系统甚高频数据交换系统(VHF Data Exchange System,VDES)的关键组成部分,用于实现航海船站与海事卫星以及航海船站间的相互通信和数据传输,其链路层接...; 关键词：VDE-SAT 多副本技术干扰消除直接序列扩频功率分集

布鲁氏菌病就诊人员的血清学检测结果分析: 《中文科技期刊数据库（引文版）医药卫生》2024年第10期0174-0177,共4页任慧娟; 通过布鲁氏菌病就诊人员的实验室检验结果,对虎红平板凝集试验和试管凝集试验进行比较,为布病的确诊提供依据。方法收集内蒙古地方病研究中心门诊部2010年3月1号~2010年5月12号就诊人员的RBPT和SAT检验结果,比较两种方法在布病诊断中...; 关键词：布鲁氏菌病血清学检测 RBPT SAT

Impact of Spatial Inhomogeneity in Atmospheric CO_(2) Concentration on Surface Air Temperature Variations: 《Journal of Meteorological Research》2024年第5期969-982,共14页Chengjun XIE Tongwen WU Jie ZHANG Weihua JIE Mengzhe ZHENG He ZHAO; Supported by the National Natural Science Foundation of China(42230608).; Atmospheric CO_(2) concentration is characterized by spatial inhomogeneity and seasonal variability.The response of surface air temperature(SAT)to the inhomogeneity in CO_(2) concentration globally and regionally rema...; 关键词：atmospheric CO_(2)concentration spatial inhomogeneity surface air temperature(SAT) IMPACT

SAT