期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
流通式-时间分辨分析技术在地质领域的应用进展
1
作者 许心宁 王朔 +2 位作者 徐娟 刘鹏飞 杨守业 《岩矿测试》 CAS 北大核心 2025年第1期1-18,共18页
流通式-时间分辨分析系统(简称FT-TRA)是二十一世纪初新发展起来的一种快速反应(溶解)-在线分析系统,由淋洗液混合单元、反应单元与分析单元组成,核心功能是通过特定流动相淋洗样品池中的微量样品,分离或去除样品中的特定组分,并监测样... 流通式-时间分辨分析系统(简称FT-TRA)是二十一世纪初新发展起来的一种快速反应(溶解)-在线分析系统,由淋洗液混合单元、反应单元与分析单元组成,核心功能是通过特定流动相淋洗样品池中的微量样品,分离或去除样品中的特定组分,并监测样品不同元素和矿物组分的出溶特征,实现高分辨的在线过程分析。本文综述了FT-TRA系统的技术原理与软硬件组成、实验方法与操作要点及地质应用发展过程,重点对该系统在地质应用过程中出现的争议点进行阐释与分析,并基于其发展现状展望其未来发展方向与潜力。FT-TRA系统目前主要的地质应用包括古海洋学与古环境学研究代用指标的验证(如有孔虫、介形虫淋洗)、矿物溶解过程与反应动力学研究、环境样品的元素相态分析等。FT-TRA系统以溶解并提取有孔虫/介形虫壳体的元素组成信号作为还原古海洋指标的重要手段,与传统批处理法相比,该方法被认为具有实时监测清洁程度、降低损失率并实现差异溶解的优势,能够获取更精细的壳体化学组成信息;测试矿物溶解态与溶解参数也是FT-TRA系统的重要功能之一,该系统的实验室模拟能够与模型结合探究不同类型矿物在稳态下的溶解动力学,为研究矿物在自然状态下的溶解过程提供启示;近些年来该系统还逐渐被用于矿物反应性测试,其中将气相CO_(2)作为淋滤液与矿物反应的研究可能在全球变暖及CO_(2)的人工捕捉课题上具有潜在应用价值。FT-TRA系统运行中涉及的不同组分的溶解机制是其应用过程中亟待解决的重要问题,进一步完善其溶解动力学原理必然将为该系统的未来发展提供更多如多类型地质样品溶解、矿物的模拟合成等新思路。 展开更多
关键词 流通-时间分辨分析系统(FT-TRA) 在线地球化学分析 地质应用 环境研究
在线阅读 下载PDF
嵌入式主从并行处理系统命令分析器的设计与实现
2
作者 张文君 缪栋 +1 位作者 付光远 杨小冈 《计算机工程与应用》 CSCD 北大核心 2003年第2期133-135,共3页
论文分析了嵌入式主从并行处理系统应用软件特点,引入了完备自动机定义命令分析器的抽象数学模型,用该模型给出了命令分析器的形式化描述并编程实现,结果证明该方法是行之有效的。
关键词 设计 嵌入主从并行处理系统命令分析 自动机理论 软件开发
在线阅读 下载PDF
基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究 被引量:6
3
作者 黄传林 黄志球 +2 位作者 胡军 徐丙凤 曲长亮 《小型微型计算机系统》 CSCD 北大核心 2015年第3期408-417,共10页
能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型... 能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型转换的系统设计安全性特征的形式化分析与验证方法的研究;包括:构建了Sys ML活动图与MARTE中非功能性质建模语义相结合的元模型,以及验证工具UPPAAL的时间自动机元模型,并且给出了二者之间的语义映射规则;建立了从时间自动机模型描述到UPPAAL工具输入格式之间的语法转换方法;设计了一个基于AMMA平台的面向扩展Sys ML活动图的模型转换与验证框架;最后,给出了一个高铁控制系统设计模型的安全性验证的实例分析. 展开更多
关键词 嵌入系统安全性分析 SysML活动图 MARTE 模型转换 化方法
在线阅读 下载PDF
如何削弱产品来源国效应——产品信息呈现方式的影响研究 被引量:18
4
作者 汪涛 张琴 +2 位作者 张辉 周玲 刘洪深 《心理学报》 CSSCI CSCD 北大核心 2012年第6期841-852,共12页
以元认知和双系统模式的心理学理论为背景,研究了分析式系统对来源国效应的削弱,检验了产品信息呈现方式对来源国效应的调节作用。三个研究说明,分析式系统的启动可以有效削弱来源国效应;特定的产品信息呈现方式所引起的消费者信息处理... 以元认知和双系统模式的心理学理论为背景,研究了分析式系统对来源国效应的削弱,检验了产品信息呈现方式对来源国效应的调节作用。三个研究说明,分析式系统的启动可以有效削弱来源国效应;特定的产品信息呈现方式所引起的消费者信息处理不流畅性感知会激发消费者的元认知困难,从而使他们在产品评价过程中主要依赖分析式系统,达到削弱来源国效应的目的;并不是所有能引起信息处理不流畅性的产品信息呈现方式都能削弱来源国效应,过于复杂的呈现方式由于给消费者带来过多认知负荷,反而不能成功启动分析系统,从而无法削弱产品来源国形象对消费者产品评价的影响。 展开更多
关键词 产品来源国形象 分析式系统 产品信息呈现方 元认知 认知负荷
在线阅读 下载PDF
基于模型转换的IMA系统可调度性验证方法 被引量:2
5
作者 胡军 程桢 +2 位作者 马金晶 刘雪 石姣洁 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2015年第3期403-411,共9页
综合模块化航空电子系统(Integrated modular avionics,IMA)中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(... 综合模块化航空电子系统(Integrated modular avionics,IMA)中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(Model driven engineering,MDE)框架下,基于实时嵌入式系统建模与分析(Modeling and analysis of real-time and embedded system,MARTE)模型的ARINC653分区调度系统建模转换与可调度性验证的方法。借助MAST工具及其自定义调度策略功能,分析分区系统调度特性并利用MARTE对其进行建模,并利用该工具对MARTE模型进行仿真以验证其可调度性,最后给出了一个实例分析。 展开更多
关键词 综合模块化航电系统 可调度性验证 ARINC653 实时嵌入系统分析 模型驱动工程
在线阅读 下载PDF
Dynamic simulation and efficiency analysis of beam pumping system 被引量:3
6
作者 邢明明 董世民 +2 位作者 童志雄 田然凤 陈慧玲 《Journal of Central South University》 SCIE EI CAS CSCD 2015年第9期3367-3379,共13页
An improved whole model of beam pumping system was built. In the detail, for surface transmission system(STS), a new mathematical model was established considering the influence of some factors on the STS's torsio... An improved whole model of beam pumping system was built. In the detail, for surface transmission system(STS), a new mathematical model was established considering the influence of some factors on the STS's torsional vibration, such as the time variation characteristic of equivalent stiffness of belt and equivalent rotational inertia of crank. For the sucker rod string(SRS), an improved mathematical model was built considering the influence of some parameters on the SRS's longitudinal vibration, such as the nonlinear friction of plunger, hydraulic loss of pump and clearance leakage. The dynamic response and system efficiency of whole system were analyzed. The results show that there is a jumping phenomenon in the amplitude frequency curve, and the system efficiency is sensitive to motor power, pump diameter, stroke number, ratio of gas and oil, and submergence depth. The simulation results have important significance for improving the efficiency of beam pumping system. 展开更多
关键词 beam pumping system surface transmission system(STS) sucker rod string(SRS) system efficiency dynamic simulation
在线阅读 下载PDF
Error code analysis and selection principle of M-ary modulation in network-based control systems
7
作者 赵顺利 尹逊和 +1 位作者 魏学业 H. K. LAM 《Journal of Central South University》 SCIE EI CAS CSCD 2016年第6期1372-1382,共11页
Error codes induced by M-ary modulation and modulation selection in network-based control systems are studied.It is the first time the issue of error codes induced by M-ary modulation is addressed in control field.In ... Error codes induced by M-ary modulation and modulation selection in network-based control systems are studied.It is the first time the issue of error codes induced by M-ary modulation is addressed in control field.In network-based control systems,error codes induced by noisy channel can significantly decrease the quality of control.To solve this problem,the network-based control system with delay and noisy channel is firstly modeled as an asynchronous dynamic system(ADS).Secondly,conditions of packet with error codes(PEC)loss rate by using M-ary modulation are obtained based on dynamic output feedback scheme.Thirdly,more importantly,the selection principle of M-ary modulation is proposed according to the measured signal-to-noise ratio(SNR)and conditions of PEC loss rate.Finally,system stability is analyzed and controller is designed through Lyapunov function and linear matrix inequality(LMI)scheme,and numerical simulations are made to demonstrate the effectiveness of the proposed scheme. 展开更多
关键词 network-based control system asynchronous dynamic system (ADS) M-ary modulation delay error code linear matrix inequality (LMI)
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部