基于通用辐射传输模式CRTM改进的资料同化和遥感应用

20世纪90年代以来，数值天气预报（NWP）逐渐成为业务天气预报的重要基础，在气象业务和服务中发挥了重要的作用。卫星全球观测资料在数值天气预报模式中的数据使用率是衡量极轨气象卫星定量化应用的一个重要指标，技术含量极高。     

高等师范院校通用技术教师培养策略的探索

<正>高中通用技术课程已经被纳入高中课程体系,它的必修模块"技术与设计"已经成为会考科目.近年来,国家越来越重视通用技术课程,其发展非常迅速,这就需要大量高素质的通用技术教师,而培养满足通用技术课程教学需求的教育人才是高等师范学校不可推卸的责任.对通用技术教师培养策略进行了探索.     

思想意识之谜新探

正人人都有思想活动,但很少有人会去想思想究竟为何物。让我们哲学家一起探索大脑创造的永不停息的、奇异的、难以捉摸的思想意识活动。人类并不只是一种简单的存在。我们很难想象,如果没有思想的存在,生命会是什么样子。在我们清醒时的每时每刻,思想活动一刻也不会停止,无论是深刻的见解,还是平庸的想法,无论是有趣的主意,还是怪异的念头,无可否认的是,它们都很自然地出现在我们的大脑里。我们也许     

3种不同抑菌性的耳用制剂微生物限度检查方法验证及应用

目的探索3种不同抑菌性的耳用制剂微生物限度检查方法.方法依据2015版《中国药典》第四部通则1105、1106及1107中,需氧菌总数、霉菌与酵母菌总数及控制菌的检查法做验证.结果微生物计数法验证试验中,试验组的5种添加菌回收比值均在0.5～2限度内;控制菌均能被检出.结论通过对3种不同抑菌性的耳用制剂微生物限度检查方...     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

通用人工智能技术(AGI)的认识过程论探析

人工智能技术的发展被人们寄以从“专用”到“通用”的期盼,然而其实现的瓶颈在于循规蹈矩的程序恐难以真正理解符号背后的意义,由此表现为无法实现迁移学习的能力。马克思主义认为,人的认识是由感性上升至理性的过程。当前智能机器所做出的智能决策虽与人类由理性做出的决策结果相吻合,但因其缺少感性过渡与升华的阶段,故而与人类智能两异。从马克思主义对于人类认识发展过程的科学阐释来看,人工智能技术从专用转向通用,其间的感性要素是必要不充分条件。     

探月工程三期月地高速再入返回飞行器防热系统设计与验证

本文针对月地高速再入返回的高焓、二次大气层再入、高热流密度峰值与长加热时间耦合的气动加热环境特点,提出了飞行器防热系统设计方案,研制了七种新型碳硅复合烧蚀防热材料,建立了防热系统分析模型,并完成了地面试验验证.经对飞行试验数据的详细分析,结果表明防热系统的实际性能与设计预期一致.     

体育师范生专业承诺量表的再验证

通过对体育教育专业大学生专业承诺量表进行再验证,为高校扩招初始阶段与新时代体育强国建设背景下体育师范生专业承诺变化研究提供工具保障。采用SPSS 25.0对旧数据进行重新分析确保使用工具的有效性;使用SPSS 25.0和AMOS 25.0对新测的数据进行分析,对量表的信、效度重新检验。旧数据信、效度分析结果良好;新数据探索性因素分析、验证性因素分析、一致性信度分析结果良好。     

PMI中的证书路径处理机制的优化

在EPMI中,证书路径的处理包含属性证书路径处理及各属性证书相对应的公钥证书路径的处理。其中证书路径构造尤为复杂和耗时,路径验证算法也没有考虑顺序,缺乏相应性能分析,阻碍了PMI的应用推广。提出一种优化的路径处理方案．给出了实现的流程图和算法,并进行了性能分析。