检索结果-南通市图书馆

基于PROMELA的卫星自主控制逻辑安全性分析方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

电脑编程技巧与维护 2024年第3期 174-176页

作者：赵景晖西安邮电大学西安710000

随着微处理技术的发展,卫星自主控制逻辑日趋复杂。传统的使用流程图、程序走查、单元测试、系统测试的方法,存在过于依赖相关人员主观能力和无法遍历全部程序执行路径的问题。基于线性时态逻辑的SPIN验证工具可以对使用PROMELA建模的... 详细信息

随着微处理技术的发展,卫星自主控制逻辑日趋复杂。传统的使用流程图、程序走查、单元测试、系统测试的方法,存在过于依赖相关人员主观能力和无法遍历全部程序执行路径的问题。基于线性时态逻辑的SPIN验证工具可以对使用PROMELA建模的分布式有限状态系统执行路径进行遍历,并可判定使用线性时态逻辑(LTL)公式表达的安全性目标是否能够被满足。研究给出了一种使用PROMELA对卫星自主控制逻辑进行建模的方法,并以卫星自主分离过程判定过程为例,对实际分析和改进过程进行演示。

关键词：逻辑验证 PROMELA语言卫星设计

团队反思与团队资源开发、利用及团队结果的关系:一项元分析

在线全文

学校读者我要写书评

暂无评论

心理科学进展 2024年第2期32卷 228-245页

作者：尹奎迟志康董念念李培凯赵景北京科技大学经济管理学院北京100083 Department of Marketing Innovation and OrganizationGhent UniversityGhentBelgium 中国人民大学劳动人事学院北京100872

基于95篇文献的96个独立研究(总样本量N=9052),对团队反思与团队资源开发、团队资源利用及团队结果(团队任务绩效、团队创造力、团队创新绩效)的关系进行了元分析,检验了国家文化(权力距离、集体主义、阳刚主义、长期取向)的调节作用,... 详细信息

基于95篇文献的96个独立研究(总样本量N=9052),对团队反思与团队资源开发、团队资源利用及团队结果(团队任务绩效、团队创造力、团队创新绩效)的关系进行了元分析,检验了国家文化(权力距离、集体主义、阳刚主义、长期取向)的调节作用,探究了团队资源开发、团队资源利用在团队反思与团队结果间的中介效应。结果表明:(1)团队反思与团队资源开发、团队资源利用、团队任务绩效、团队创造力、团队创新绩效存在中等程度以上的正相关关系。(2)权力距离正向调节团队反思与团队资源利用、团队任务绩效的关系,集体主义正向调节团队反思与团队资源利用、团队任务绩效、团队创新绩效的关系,阳刚主义正向调节团队反思与团队资源利用的关系,长期取向正向调节团队反思与团队任务绩效的关系。(3)团队资源开发和团队资源利用中介了团队反思与团队结果的关系。相较团队资源开发,团队资源利用在团队反思与团队任务绩效间的中介作用更强;相较团队资源利用,团队资源开发在团队反思与团队创造力之间的中介作用更强;团队资源开发、团队资源利用在团队反思与团队创新绩效之间的中介作用不存在显著差异。研究结果有助于理解团队反思与团队资源开发、利用和团队结果的关系及跨文化差异,并为实践中的团队反思提供参考。

关键词：团队反思元分析团队资源开发团队资源利用团队结果 AMO理论

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

中小银行风险管理数字化转型探析

科技经济市场 2024年第4期 91-93页

作者：赵景蒋彩娜武汉工商学院湖北武汉430070

随着金融业数字化转型的深化,大数据、云计算等新技术的应用给中小银行带来发展机遇的同时,也带来了新的风险管理挑战。银行风控能力边界亟待拓展。中小银行风险管理的数字化转型将促进新一代信息技术深度应用于解决风险信息不对称等问... 详细信息

随着金融业数字化转型的深化,大数据、云计算等新技术的应用给中小银行带来发展机遇的同时,也带来了新的风险管理挑战。银行风控能力边界亟待拓展。中小银行风险管理的数字化转型将促进新一代信息技术深度应用于解决风险信息不对称等问题,推进风险管理模式升级转型,扩大与提升风险管理半径及效能。但在实际运用过程中,仍存在一些问题。基于此,分析了中小银行风险管理数字化转型中面临的问题,并针对这些问题提出解决方案,以协助中小银行加强风控能力建设,强化风险管理技防建设,提升风险管理精细化、数字化、智能化水平。

关键词：金融科技中小银行风险管理数字化转型

塔吉克斯坦某难处理金精矿低温二段焙烧预处理试验研究

在线全文

学校读者我要写书评

暂无评论

中国有色冶金 2024年第3期53卷 30-36页

作者：宫嘉辰赵景富姜超刘妍中南大学资源加工与生物工程学院湖南长沙410083 沈阳有色金属研究院有限公司辽宁沈阳110141

高砷高硫金精矿中的金矿物被毒砂(As_(2)O_(3))和黄铁矿(FeS_(2))包裹,直接氰化浸出浸出率较低,其预处理工艺一直是研究关注的热点。本文以塔吉克斯坦高砷高硫金精矿为研究对象,在热重分析和热力学分析的基础上采用二段焙烧法进行预处理... 详细信息

高砷高硫金精矿中的金矿物被毒砂(As_(2)O_(3))和黄铁矿(FeS_(2))包裹,直接氰化浸出浸出率较低,其预处理工艺一直是研究关注的热点。本文以塔吉克斯坦高砷高硫金精矿为研究对象,在热重分析和热力学分析的基础上采用二段焙烧法进行预处理,脱除大部分砷、硫、有机碳等有害杂质,并对工艺参数进行优化。试验考察了添加剂及焙烧温度、时间对金精矿中碳、硫、砷脱除率的影响,并在最终焙烧产物物相分析基础上进行了焙烧-氰化浸出验证试验,得到以下主要结论。一段焙烧采用弱氧焙烧气氛焙烧脱砷,不需使用添加剂,较优工艺参数为焙烧温度500~550℃、焙烧时间2 h;二段焙烧采用富氧气氛焙烧脱硫,较优工艺参数为焙烧温度650~700℃、时间2 h;在上述较优工艺参数下的焙烧-氰化浸出的碳脱除率、硫脱除率和砷脱除率分别为91.16%、96.93%和92.52%,金浸出率达到95.30%。该结果相对于直接氰化浸出,金浸出率提高了20%,一定程度上实现了资源的高值化利用,为难处理金精矿高效提金提供了技术依据。

关键词：塔吉克斯坦难处理金精矿高砷高硫金精矿预处理工艺低温焙烧热分解

"导·学·讲·练·悟"模式下的物理科学方法教学——以“力的合成”为例

在线全文

学校读者我要写书评

暂无评论

中学物理教学参考 2024年第23期53卷 24-27页

作者：赵景喜山东省枣庄市第三中学山东枣庄277000

以"力的合成"为例,探讨了"导·学·讲·练·悟"模式下的中学物理科学方法教学实践的研究范式,进一步探索了该模式的教学环节,为物理科学方法教育提供实践支撑.

关键词： "导·学·讲·练·悟"教学模式科学方法教育力的合成

计及薄弱节点可观测的有源配电网PMU优化配置

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

电气工程学报 2024年

作者：王书征韩彬彬吴志郑舒赵景涛南京工程学院电力工程学院东南大学电气工程学院国电南瑞科技股份有限公司

伴随大量分布式电源接入配电网，极大地增加了配电网出现双向潮流和电压越限的风险，配电网实时状态感知难度提高，考虑配电网节点数多而同步相量测量单元(PMU)配置成本较为昂贵，提出一种考虑薄弱节点可观测的PMU优化配置方法。首先，... 详细信息

伴随大量分布式电源接入配电网，极大地增加了配电网出现双向潮流和电压越限的风险，配电网实时状态感知难度提高，考虑配电网节点数多而同步相量测量单元(PMU)配置成本较为昂贵，提出一种考虑薄弱节点可观测的PMU优化配置方法。首先，针对大量分布式电源接入引起的电压扰动特性，提出衡量节点电压薄弱程度的综合灵敏度指标；其次，基于经济性的原则，在保证配电网全局状态估计精度最优的同时尽量将其配置在电压薄弱节点处，建立了考虑节点电压综合灵敏度、状态估计误差和配置成本的PMU多目标优化配置模型；采用改进多目标灰狼算法对配置模型进行求解得到PMU最优配置的Parato非劣解集。最后，通过IEEE33节点和69节点算例进行仿真分析，验证了所提模型的有效性和优越性。

关键词：薄弱节点可观测有源配电网同步相量测量状态估计优化配置改进多目标灰狼算法

用于高效稳定吸附CO的胺基功能化MOF-808开发及机理研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

洁净煤技术 2024年

作者：沈遥鲁恒霞潘幸迪叶杰旭赵景开张士汉浙江工业大学能源与碳中和科教融合学院浙江工业大学环境学院

胺基功能化金属有机骨架具有孔隙率高、CO2吸附容量大、抗水性好的优点，被认为是适用于燃煤烟气CO2捕集的吸附材料，但其表界面胺基分子在高温脱附过程易发生团聚，导致吸附速率和吸附容量下降。本研究采用物理浸渍将四乙烯五胺分子（T... 详细信息

胺基功能化金属有机骨架具有孔隙率高、CO2吸附容量大、抗水性好的优点，被认为是适用于燃煤烟气CO2捕集的吸附材料，但其表界面胺基分子在高温脱附过程易发生团聚，导致吸附速率和吸附容量下降。本研究采用物理浸渍将四乙烯五胺分子（TEPA）封装入MOF-808的孔道内，开发了一种胺基分子高度分散的胺基功能化吸附材料TEPA@MOF-808。TEPA@MOF-808的吸附容量相比MOF-808提高了2.15倍，吸附速率常数、吸附选择性分别提高了13%和498%，十次吸脱附循环后吸附容量仅下降10.9%，说明基于TEPA的胺基功能化策略可显著提高CO2吸附性能和稳定性。热力学结果显示TEPA@MOF-808的等量吸附热仅为40 kJ/mol，小于普遍认为的化学吸附门槛，13C固体核磁和原位红外表征结果进一步揭示了其以物理吸附为主的吸附机理。本研究为未来开发高效稳定的CO2吸附材料提供了数据支撑与理论基础。

关键词：碳捕集 CO 吸附胺基功能化金属有机骨架机理研究

新型应力发光材料Ca_(5)Ga_(6)O_(14):Sm^(3+)制备及其性能

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

发光学报 2024年第6期45卷 959-969页

作者：王强刘伟杜玉松李欢张志军饶光辉程帅赵景泰桂林电子科技大学材料科学与工程学院广西桂林541004 桂林电子科技大学广西信息材料重点实验室广西桂林541004 桂林电子科技大学机电工程学院广西桂林541004

采用高温固相法成功制备出新型Ca_(5-x)Ga_(6)O_(14):xSm^(3+)应力发光材料。通过X射线衍射、扫描电镜、漫发射光谱、光致激发和发射光谱、荧光衰减曲线、应力发光光谱和热释光光谱等测试详细研究了Ca_(5-x)Ga_(6)O_(14):xSm^(3+)的晶... 详细信息

采用高温固相法成功制备出新型Ca_(5-x)Ga_(6)O_(14):xSm^(3+)应力发光材料。通过X射线衍射、扫描电镜、漫发射光谱、光致激发和发射光谱、荧光衰减曲线、应力发光光谱和热释光光谱等测试详细研究了Ca_(5-x)Ga_(6)O_(14):xSm^(3+)的晶体结构、表面形貌、光致发光和应力发光性能及其发光机理。在404 nm激发下,Ca_(5-x)Ga_(6)O_(14):xSm^(3+)呈现出4个发射峰,分别位于562,599,642,715 nm,对应Sm^(3+)的^(4)G_(5/2)→6Hj(j=5/2,7/2,9/2,11/2)的特征发射。随着Sm^(3+)离子掺杂浓度的增加,发光强度先增强后减弱,在x=0.07时获得最强发射,且衰减时间从1.92 ms缩短至1.30 ms。在滑动摩擦激发下可获得Ca_(5-x)Ga_(6)O_(14):xSm^(3+)的应力发光发射带,且应力发光强度与施加应力满足线性增长,表明该材料在应力传感领域具有潜在应用价值。

关键词：应力发光 Ca_(5)Ga_(6)O_(14) Sm^(3+)

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

掺氢天然气管网数值仿真轻量化算法

天然气工业 2024年第2期44卷 156-165页

作者：石国赟宇波北京石油化工学院机械工程学院北京市安全生产工程技术研究院北京航空航天大学航空发动机研究院

目前针对管网数值仿真算法的优化主要集中在代数方程组的求解上。针对管网流动数值仿真算法提升计算效率方案中缺少针对封闭关系与状态方程的优化,分析了目前优化方案各模块的耗时情况,发现了仿真程序中耗时模块为封闭关系与状态方程求... 详细信息

目前针对管网数值仿真算法的优化主要集中在代数方程组的求解上。针对管网流动数值仿真算法提升计算效率方案中缺少针对封闭关系与状态方程的优化,分析了目前优化方案各模块的耗时情况,发现了仿真程序中耗时模块为封闭关系与状态方程求解。最后,结合计算机库函数的缺点以及现代CPU中SIMD (Single Instruction Multiple Data)模型的特点,提出了针对封闭关系与状态方程的轻量化算法,并验证了算法的高效性。研究结果表明:(1)封闭关系与状态方程模型中的耗时原因为直接调用库函数的次幂运算、指数运算、对数运算以及除法运算;(2)由于次幂运算效率远低于其他运算,通过变换消除了模型中几乎所有的次幂运算;(3)利用SIMD指令来计算指数运算与对数运算,实现了在单核CPU上同时计算多个数据的指数与对数,最后通过数学变换将所有除法转换为乘法;(4)轻量化算法加速效果显著,其整体加速比为18,而在状态方程求解模块的加速比更是高达70以上。结论认为,该轻量化算法在不影响计算精度的条件下提高了计算速度,对于提高掺氢天然气管网在线仿真与智能管网的建设具有重要的理论价值和技术支撑。

关键词：天然气管网数值仿真计算效率状态方程加速比掺氢