期刊文献+
共找到354,170篇文章
< 1 2 250 >
每页显示 20 50 100
基于MARTE和STAMP的安全关键软件测试建模方法
1
作者 薛雯耀 王轶辰 任庆玮 《计算机科学》 北大核心 2025年第S1期843-852,共10页
基于模型的软件工程(MBSE)方法在安全关键软件(Safety-critical Software)开发和测试中的应用是当前研究的热点。然而,在建立模型时,如何完整且准确地刻画软件的安全属性仍然是一个亟待解决的问题。文中提出了一种创新性的方法,将软件... 基于模型的软件工程(MBSE)方法在安全关键软件(Safety-critical Software)开发和测试中的应用是当前研究的热点。然而,在建立模型时,如何完整且准确地刻画软件的安全属性仍然是一个亟待解决的问题。文中提出了一种创新性的方法,将软件安全性分析深度集成到软件模型构建过程中。该方法结合MARTE(实时和嵌入式系统建模与分析)建模语言和STAMP(系统理论事故模型与过程)理论,通过扩展MARTE构造型或增加标签的方式对非功能属性进行描述,并在MARTE视图层次融入STAMP控制结构模型。最终,通过STPA(系统理论过程分析)技术进行迭代建模,形成一个多视图的混合模型。STPA方法中的控制结构构建、不安全控制行为识别及致因场景分析等步骤展现出更高的分析深度和自动化潜力。案例研究表明,所提方法能够有效且清晰地展示软件系统的功能和非功能性能需求,更好地实现基于模型的软件安全特性刻画,并为测试用例的自动化生成和建模提供坚实的技术基础。 展开更多
关键词 marte模型 STAMP理论 STPA方法 安全关键软件 基于模型的软件工程
在线阅读 下载PDF
Solubility and Thermodynamic Modeling of 3⁃Nitro⁃1,2,4⁃triazole⁃5⁃one(NTO)in Different Binary Solvents 被引量:1
2
作者 GUO Hao-qi YANG Yu-lin 《含能材料》 北大核心 2025年第3期295-303,共9页
Using a dynamic laser monitoring technique,the solubility of 3-nitro-1,2,4-triazole-5-one(NTO)was investigated in two different binary systems,namely hydroxylamine nitrate(HAN)-water and boric acid(HB)-water ranging f... Using a dynamic laser monitoring technique,the solubility of 3-nitro-1,2,4-triazole-5-one(NTO)was investigated in two different binary systems,namely hydroxylamine nitrate(HAN)-water and boric acid(HB)-water ranging from 278.15 K to 318.15 K.The solubility in each system was found to be positively correlated with temperature.Furthermore,solubility data were analyzed using four equations:the modified Apelblat equation,Van’t Hoff equation,λh equation and CNIBS/R-K equations,and they provided satisfactory results for both two systems.The average root-mean-square deviation(105RMSD)values for these models were less than 13.93.Calculations utilizing the Van’t Hoff equation and Gibbs equations facilitated the derivation of apparent thermodynamic properties of NTO dissolution in the two systems,including values for Gibbs free energy,enthalpy and entropy.The%ζ_(H)is larger than%ζ_(TS),and all the%ζ_(H)data are≥58.63%,indicating that the enthalpy make a greater contribution than entropy to theΔG_(soln)^(Θ). 展开更多
关键词 3-nitro-l 2 4-triazole-5-one(NTO) SOLUBILITY thermodynamic models apparent thermodynamic analysis
在线阅读 下载PDF
Modeling and sliding mode control based on inverse compensation of piezo-positioning system
3
作者 LI Zhi-bin XIN Yuan-ze +1 位作者 ZHANG Jian-qiang SUN Chong-shang 《中国光学(中英文)》 北大核心 2025年第1期170-185,共16页
In order to enhance the control performance of piezo-positioning system,the influence of hysteresis characteristics and its compensation method are studied.Hammerstein model is used to represent the dynamic hysteresis... In order to enhance the control performance of piezo-positioning system,the influence of hysteresis characteristics and its compensation method are studied.Hammerstein model is used to represent the dynamic hysteresis nonlinear characteristics of piezo-positioning actuator.The static nonlinear part and dynamic linear part of the Hammerstein model are represented by models obtained through the Prandtl-Ishlinskii(PI)model and Hankel matrix system identification method,respectively.This model demonstrates good generalization capability for typical input frequencies below 200 Hz.A sliding mode inverse compensation tracking control strategy based on P-I inverse model and integral augmentation is proposed.Experimental results show that compared with PID inverse compensation control and sliding mode control without inverse compensation,the sliding mode inverse compensation control has a more ideal step response and no overshoot,moreover,the settling time is only 6.2 ms.In the frequency domain,the system closed-loop tracking bandwidth reaches 119.9 Hz,and the disturbance rejection bandwidth reaches 86.2 Hz.The proposed control strategy can effectively compensate the hysteresis nonlinearity,and improve the tracking accuracy and antidisturbance capability of piezo-positioning system. 展开更多
关键词 piezo-positioning system hysteresis nonlinearity Hammerstein model Prandtl-Ishlinskii(P-I)model system identification sliding mode control
在线阅读 下载PDF
Millimeter-wave modeling based on transformer model for InP high electron mobility transistor
4
作者 ZHANG Ya-Xue ZHANG Ao GAO Jian-Jun 《红外与毫米波学报》 北大核心 2025年第4期534-539,共6页
In this paper,the small-signal modeling of the Indium Phosphide High Electron Mobility Transistor(InP HEMT)based on the Transformer neural network model is investigated.The AC S-parameters of the HEMT device are train... In this paper,the small-signal modeling of the Indium Phosphide High Electron Mobility Transistor(InP HEMT)based on the Transformer neural network model is investigated.The AC S-parameters of the HEMT device are trained and validated using the Transformer model.In the proposed model,the eight-layer transformer encoders are connected in series and the encoder layer of each Transformer consists of the multi-head attention layer and the feed-forward neural network layer.The experimental results show that the measured and modeled S-parameters of the HEMT device match well in the frequency range of 0.5-40 GHz,with the errors versus frequency less than 1%.Compared with other models,good accuracy can be achieved to verify the effectiveness of the proposed model. 展开更多
关键词 transformer model neural network high electron mobility transistor(HEMT) small signal model
在线阅读 下载PDF
Undrained mechanical behavior of unsaturated completely weathered granite:Experimental investigation and constitutive modeling 被引量:1
5
作者 DU Shao-hua MA Jin-yin +2 位作者 RUAN Bo WU Gen-shui ZHANG Rui-chao 《Journal of Central South University》 2025年第6期2307-2327,共21页
The undrained mechanical behavior of unsaturated completely weathered granite(CWG)is highly susceptible to alterations in the hydraulic environment,particularly under uniaxial loading conditions,due to the unique natu... The undrained mechanical behavior of unsaturated completely weathered granite(CWG)is highly susceptible to alterations in the hydraulic environment,particularly under uniaxial loading conditions,due to the unique nature of this soil type.In this study,a series of unconfined compression tests were carried out on unsaturated CWG soil in an underground engineering site,and the effects of varying the environmental variables on the main undrained mechanical properties were analyzed.Based on the experimental results,a novel constitutive model was then established using the damage mechanics theory and the undetermined coefficient method.The results demonstrate that the curves of remolded CWG specimens with different moisture contents and dry densities exhibited diverse characteristics,including brittleness,significant softening,and ductility.As a typical indicator,the unconfined compression strength of soil specimens initially increased with an increase in moisture content and then decreased.Meanwhile,an optimal moisture content of approximately 10.5%could be observed,while a critical moisture content value of 13.0%was identified,beyond which the strength of the specimen decreases sharply.Moreover,the deformation and fracture of CWG specimens were predominantly caused by shear failure,and the ultimate failure modes were primarily influenced by moisture content rather than dry density.Furthermore,by comparing several similar models and the experimental data,the proposed model could accurately replicate the undrained mechanical characteristics of unsaturated CWG soil,and quantitatively describe the key mechanical indexes.These findings offer a valuable reference point for understanding the underlying mechanisms,anticipating potential risks,and implementing effective control measures in similar underground engineering projects. 展开更多
关键词 completely weathered granite undrained mechanical behavior environmental variable unconfined compression test constitutive model
在线阅读 下载PDF
Intelligent modeling method for OV models in DoDAF2.0 based on knowledge graph
6
作者 ZHANG Yue JIANG Jiang +3 位作者 YANG Kewei WANG Xingliang XU Chi LI Minghao 《Journal of Systems Engineering and Electronics》 2025年第1期139-154,共16页
Architecture framework has become an effective method recently to describe the system of systems(SoS)architecture,such as the United States(US)Department of Defense Architecture Framework Version 2.0(DoDAF2.0).As a vi... Architecture framework has become an effective method recently to describe the system of systems(SoS)architecture,such as the United States(US)Department of Defense Architecture Framework Version 2.0(DoDAF2.0).As a viewpoint in DoDAF2.0,the operational viewpoint(OV)describes operational activities,nodes,and resource flows.The OV models are important for SoS architecture development.However,as the SoS complexity increases,constructing OV models with traditional methods exposes shortcomings,such as inefficient data collection and low modeling standards.Therefore,we propose an intelligent modeling method for five OV models,including operational resource flow OV-2,organizational relationships OV-4,operational activity hierarchy OV-5a,operational activities model OV-5b,and operational activity sequences OV-6c.The main idea of the method is to extract OV architecture data from text and generate interoperable OV models.First,we construct the OV meta model based on the DoDAF2.0 meta model(DM2).Second,OV architecture named entities is recognized from text based on the bidirectional long short-term memory and conditional random field(BiLSTM-CRF)model.And OV architecture relationships are collected with relationship extraction rules.Finally,we define the generation rules for OV models and develop an OV modeling tool.We use unmanned surface vehicles(USV)swarm target defense SoS architecture as a case to verify the feasibility and effectiveness of the intelligent modeling method. 展开更多
关键词 system of systems(SoS)architecture operational viewpoint(OV)model meta model bidirectional long short-term memory and conditional random field(BiLSTM-CRF) model generation systems modeling language
在线阅读 下载PDF
A method for modeling and evaluating the interoperability of multi-agent systems based on hierarchical weighted networks
7
作者 DONG Jingwei TANG Wei YU Minggang 《Journal of Systems Engineering and Electronics》 2025年第3期754-767,共14页
Multi-agent systems often require good interoperability in the process of completing their assigned tasks.This paper first models the static structure and dynamic behavior of multiagent systems based on layered weight... Multi-agent systems often require good interoperability in the process of completing their assigned tasks.This paper first models the static structure and dynamic behavior of multiagent systems based on layered weighted scale-free community network and susceptible-infected-recovered(SIR)model.To solve the problem of difficulty in describing the changes in the structure and collaboration mode of the system under external factors,a two-dimensional Monte Carlo method and an improved dynamic Bayesian network are used to simulate the impact of external environmental factors on multi-agent systems.A collaborative information flow path optimization algorithm for agents under environmental factors is designed based on the Dijkstra algorithm.A method for evaluating system interoperability is designed based on simulation experiments,providing reference for the construction planning and optimization of organizational application of the system.Finally,the feasibility of the method is verified through case studies. 展开更多
关键词 complex network agent INTEROPERABILITY susceptible-infected-recovered model dynamic Bayesian network
在线阅读 下载PDF
Modeling the electronic band-structure of strained long-wavelength Type-Ⅱsuperlattices using the scattering matrix method
8
作者 Abbas Haddadi Gail Brown Manijeh Razeghi 《红外与毫米波学报》 北大核心 2025年第3期346-351,共6页
This study introduces a comprehensive theoretical framework for accurately calculating the electronic band-structure of strained long-wavelength InAs/GaSb type-Ⅱsuperlattices.Utilizing an eight-band k·p Hamilto⁃... This study introduces a comprehensive theoretical framework for accurately calculating the electronic band-structure of strained long-wavelength InAs/GaSb type-Ⅱsuperlattices.Utilizing an eight-band k·p Hamilto⁃nian in conjunction with a scattering matrix method,the model effectively incorporates quantum confinement,strain effects,and interface states.This robust and numerically stable approach achieves exceptional agreement with experimental data,offering a reliable tool for analyzing and engineering the band structure of complex multi⁃layer systems. 展开更多
关键词 type-Ⅱsuperlattices long-wavelength infrared(LWIR) scattering matrix method electronic band-structure modeling InAs/GaSb heterostructures infrared photodetectors bandgap engineering
在线阅读 下载PDF
Modeling and analysis of maneuver laws based on higher order multi-resolution dynamic mode decomposition for hypersonic glide vehicles
9
作者 Zichu Liu Yudong Hu +2 位作者 Changsheng Gao Wuxing Jing Xudong Ji 《Defence Technology(防务技术)》 2025年第6期34-47,共14页
The precise characterization of hypersonic glide vehicle(HGV) maneuver laws in complex flight scenarios still faces challenges. Non-stationary changes in flight state due to abrupt changes in maneuver modes place high... The precise characterization of hypersonic glide vehicle(HGV) maneuver laws in complex flight scenarios still faces challenges. Non-stationary changes in flight state due to abrupt changes in maneuver modes place high demands on the accuracy of modeling methods. To address this issue, a novel maneuver laws modeling and analysis method based on higher order multi-resolution dynamic mode decomposition(HMDMD) is proposed in this work. A joint time-space-frequency decomposition of the vehicle's state sequence in the complex flight scenario is achieved with the higher order Koopman assumption and standard multi-resolution dynamic mode decomposition, and an approximate dynamic model is established. The maneuver laws can be reconstructed and analyzed with extracted multi-scale spatiotemporal modes with clear physical meaning. Based on the dynamic model of HGV, two flight scenarios are established with constant angle of attack and complex maneuver laws, respectively. Simulation results demonstrate that the maneuver laws obtained using the HMDMD method are highly consistent with those derived from the real dynamic model, the modeling accuracy is better than other common modeling methods, and the method has strong interpretability. 展开更多
关键词 Hypersonic glide vehicle Dynamic mode decomposition Higher order koopman assumption Manoeuvre law modeling INTERPRETABILITY
在线阅读 下载PDF
Feature selection for determining input parameters in antenna modeling
10
作者 LIU Zhixian SHAO Wei +2 位作者 CHENG Xi OU Haiyan DING Xiao 《Journal of Systems Engineering and Electronics》 2025年第1期15-23,共9页
In this paper,a feature selection method for determining input parameters in antenna modeling is proposed.In antenna modeling,the input feature of artificial neural network(ANN)is geometric parameters.The selection cr... In this paper,a feature selection method for determining input parameters in antenna modeling is proposed.In antenna modeling,the input feature of artificial neural network(ANN)is geometric parameters.The selection criteria contain correlation and sensitivity between the geometric parameter and the electromagnetic(EM)response.Maximal information coefficient(MIC),an exploratory data mining tool,is introduced to evaluate both linear and nonlinear correlations.The EM response range is utilized to evaluate the sensitivity.The wide response range corresponding to varying values of a parameter implies the parameter is highly sensitive and the narrow response range suggests the parameter is insensitive.Only the parameter which is highly correlative and sensitive is selected as the input of ANN,and the sampling space of the model is highly reduced.The modeling of a wideband and circularly polarized antenna is studied as an example to verify the effectiveness of the proposed method.The number of input parameters decreases from8 to 4.The testing errors of|S_(11)|and axis ratio are reduced by8.74%and 8.95%,respectively,compared with the ANN with no feature selection. 展开更多
关键词 antenna modeling artificial neural network(ANN) feature selection maximal information coefficient(MIC)
在线阅读 下载PDF
Investigation of modeling on single grit grinding for martensitic stainless steel 被引量:6
11
作者 NIE Zhen-guo WANG Gang +2 位作者 JIANG Feng LIN Yong-liang RONG Yi-ming 《Journal of Central South University》 SCIE EI CAS CSCD 2018年第8期1862-1869,共8页
Single grit grinding is the simplified model to abstract the macro scale grinding.Finite element analysis is a strong tool to study the physical fields during a single grit grinding process,compared to experimental re... Single grit grinding is the simplified model to abstract the macro scale grinding.Finite element analysis is a strong tool to study the physical fields during a single grit grinding process,compared to experimental research.Based on the dynamic mechanical behavior of 2Cr12Ni4Mo3VNbN steel and the mathematical statistics of abrasive grit,modeling of the single grit grinding process was conducted by using commercial software AdvantEdge.The validation experiment was designed to validate the correctness of the FEA model by contrast with grinding force.The validation result shows that the FEA model can well describe the single grit grinding process.Then the grinding force and multi-physics fields were studied by experimental and simulation results.It was found that both the normal and tangential grinding forces were linearly related to the cutting speed and cutting depth.The maximum temperature is located in the subsurface of the workpiece in front of the grit,while the maximum stress and strain are located under the grit tip.The strain rate can reach as high as about 106 s–1 during the single grit grinding,which is larger than other traditional machining operations. 展开更多
关键词 modeling single grit grinding grinding force MULTI-PHYSICS martensitic stainless steel
在线阅读 下载PDF
Modeling and Integration Method of Sys ML Model for Complex Business Scenarios 被引量:1
12
作者 Yu Bing An Baoran Zhao Shicao 《系统仿真学报》 CAS CSCD 北大核心 2024年第12期2797-2812,共16页
The development process of complex equipment involves multi-stage business processes,multi-level product architecture,and multi-disciplinary physical processes.The relationship between its system model and various dis... The development process of complex equipment involves multi-stage business processes,multi-level product architecture,and multi-disciplinary physical processes.The relationship between its system model and various disciplinary models is extremely complicated.In the modeling and integration process,extensive customized development is needed to realize model integration and interoperability in different business scenarios.Meanwhile,the differences in modeling and interaction between different modeling tools make it difficult to support the consistent representation of models in complex scenarios.To improve the efficiency of system modeling and integration in complex business scenarios,a system modeling and integration method was proposed.This method took the Sys ML language kernel as the core and system model function integration as the main line.Through the technical means of model view separation,abstract operation interface,and model view configuration,the model modeling and integration of multi-user,multi-model,multi-view,and different business logic in complex business scenarios were realized. 展开更多
关键词 SYSML model-based system engineering(MBSE) SERVICE graphical modeling V-business
在线阅读 下载PDF
A function-based behavioral modeling method for air combat simulation 被引量:2
13
作者 WANG Tao ZHU Zhi +2 位作者 ZHOU Xin JING Tian CHEN Wei 《Journal of Systems Engineering and Electronics》 SCIE CSCD 2024年第4期945-954,共10页
Today’s air combat has reached a high level of uncertainty where continuous or discrete variables with crisp values cannot be properly represented using fuzzy sets. With a set of membership functions, fuzzy logic is ... Today’s air combat has reached a high level of uncertainty where continuous or discrete variables with crisp values cannot be properly represented using fuzzy sets. With a set of membership functions, fuzzy logic is well-suited to tackle such complex states and actions. However, it is not necessary to fuzzify the variables that have definite discrete semantics.Hence, the aim of this study is to improve the level of model abstraction by proposing multiple levels of cascaded hierarchical structures from the perspective of function, namely, the functional decision tree. This method is developed to represent behavioral modeling of air combat systems, and its metamodel,execution mechanism, and code generation can provide a sound basis for function-based behavioral modeling. As a proof of concept, an air combat simulation is developed to validate this method and the results show that the fighter Alpha built using the proposed framework provides better performance than that using default scripts. 展开更多
关键词 air combat behavioral modeling intelligent agent
在线阅读 下载PDF
基于DFT-MARTE模型的时序分析算法 被引量:1
14
作者 徐嘉 周晴 +1 位作者 杜家昊 王一华 《计算机工程与设计》 北大核心 2024年第1期120-129,共10页
针对航天嵌入式软件(aerospace embedded software,AES)时序需求复杂带来的时序需求定义不准确问题,提出一种基于MARTE(modeling and analysis of real-time and embedded systems)模型的数据流时序(data flow timing based on MARTE,DF... 针对航天嵌入式软件(aerospace embedded software,AES)时序需求复杂带来的时序需求定义不准确问题,提出一种基于MARTE(modeling and analysis of real-time and embedded systems)模型的数据流时序(data flow timing based on MARTE,DFT-MARTE)模型,设计基于该模型的处理点缓存计算算法、时序偏离概率检测算法和时序序列分析算法。处理点缓存计算算法动态更新缓存空间,使后续时序检测正常执行;时序偏离概率检测算法利用多线程并发模拟时序特性,检测需求中时序偏离问题;时序序列分析算法是基于梯度下降算法,拟合时序序列,指导用户优化需求。该模型相比传统数据流模型更适用航天嵌入式软件,利于后续开发和维护,具有极高的应用价值。 展开更多
关键词 数据流时序模型 数据流图 嵌入式软件 时序偏离检测 多线程 时序分析 梯度下降算法
在线阅读 下载PDF
Complex adaptive system theory,agent-based modeling,and simulation in dominant technology formation 被引量:1
15
作者 ZHANG Ruihan SUN Bing 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2024年第1期130-153,共24页
Dominant technology formation is the key for the hightech industry to“cross the chasm”and gain an established foothold in the market(and hence disrupt the regime).Therefore,a stimulus-response model is proposed to i... Dominant technology formation is the key for the hightech industry to“cross the chasm”and gain an established foothold in the market(and hence disrupt the regime).Therefore,a stimulus-response model is proposed to investigate the dominant technology by exploring its formation process and mechanism.Specifically,based on complex adaptive system theory and the basic stimulus-response model,we use a combination of agent-based modeling and system dynamics modeling to capture the interactions between dominant technology and the socio-technical landscape.The results indicate the following:(i)The dynamic interaction is“stimulus-reaction-selection”,which promotes the dominant technology’s formation.(ii)The dominant technology’s formation can be described as a dynamic process in which the adaptation intensity of technology standards increases continuously until it becomes the leading technology under the dual action of internal and external mechanisms.(iii)The dominant technology’s formation in the high-tech industry is influenced by learning ability,the number of adopting users and adaptability.Therein,a“critical scale”of learning ability exists to promote the formation of leading technology:a large number of adopting users can promote the dominant technology’s formation by influencing the adaptive response of technology standards to the socio-technical landscape and the choice of technology standards by the socio-technical landscape.There is a minimum threshold and a maximum threshold for the role of adaptability in the dominant technology’s formation.(iv)The socio-technical landscape can promote the leading technology’s shaping in the high-tech industry,and different elements have different effects.This study promotes research on the formation mechanism of dominant technology in the high-tech industry,presents new perspectives and methods for researchers,and provides essential enlightenment for managers to formulate technology strategies. 展开更多
关键词 complex adaptive system theory agent-based modeling and simulation dominant technology socio-technical landscape adaptation-choice
在线阅读 下载PDF
BIM技术赋能在役桥梁安全与高效运维 被引量:2
16
作者 张丽萍 王广 +2 位作者 王力 陈云峰 李子奇 《中国安全生产科学技术》 北大核心 2025年第1期101-108,共8页
为了保证运维阶段桥梁结构安全,提升桥梁运维工作的效率,开展公路混凝土梁式桥运维阶段建筑信息模型(building information modeling,BIM)技术应用研究。在对公路桥梁现行编码体系进行扩展的基础上,提出1种参数化快速建模方法,以快速完... 为了保证运维阶段桥梁结构安全,提升桥梁运维工作的效率,开展公路混凝土梁式桥运维阶段建筑信息模型(building information modeling,BIM)技术应用研究。在对公路桥梁现行编码体系进行扩展的基础上,提出1种参数化快速建模方法,以快速完成桥梁构件族的创建与整体模型的集成。借助Autodesk Revit软件应用程序编程接口(application programming interface,API),采用C#语言,开发公路混凝土梁式桥智慧运维状态评估系统,以实际工程应用进行验证分析。研究结果表明:全面统一的桥梁信息编码体系,能够提高桥梁信息统计与检索效率;提出的快速建模方法能够显著减少建模工作量,建模时间较传统建模方法可减少60%,并保证模型的准确性与规范性;运维状态评估系统能够实现养护数据的充分利用与桥梁评定工作的自动化,通过对桥梁运维信息的有效组织,实现服役性能的长期追踪,从而确保运营期桥梁结构状态安全稳定。研究结果可为公路混凝土梁式桥运维管理提供技术支撑,提升桥梁运维的数字化水平。 展开更多
关键词 桥梁工程 运维状态评估系统 Building Information modeling 公路混凝土梁式桥
在线阅读 下载PDF
AI智能诊断系统在高中生物学教学中的应用实践与反思 被引量:3
17
作者 王丽 《生物学教学》 北大核心 2025年第2期41-44,共4页
以细胞器一节的教学实践为例,探讨了AI智能诊断技术在高中生物学教学中的应用。阐述AI智能诊断系统如何为教师提供个性化反馈,帮助教师调整教学策略。研究结果表明,AI智能诊断系统在一定程度上,为教师提供了辅助的教学反思,帮助教师优... 以细胞器一节的教学实践为例,探讨了AI智能诊断技术在高中生物学教学中的应用。阐述AI智能诊断系统如何为教师提供个性化反馈,帮助教师调整教学策略。研究结果表明,AI智能诊断系统在一定程度上,为教师提供了辅助的教学反思,帮助教师优化教学方法和提高教学质量。 展开更多
关键词 AI智能诊断 数智教学 生物学教学
在线阅读 下载PDF
Resistance of full-scale beams against close-in explosions.Numerical modeling and field tests
18
作者 A.Prado A.Alañón +5 位作者 R.Castedo A.P.Santos L.M.López M.Chiquito M.Bermejo C.Oggeri 《Defence Technology(防务技术)》 SCIE EI CAS CSCD 2024年第10期35-47,共13页
This paper explores the performances of a finite element simulation including four concrete models applied to a full-scale reinforced concrete beam subjected to blast loading. Field test data has been used to compare ... This paper explores the performances of a finite element simulation including four concrete models applied to a full-scale reinforced concrete beam subjected to blast loading. Field test data has been used to compare model results for each case. The numerical modelling has been, carried out using the suitable code LS-DYNA. This code integrates blast load routine(CONWEP) for the explosive description and four different material models for the concrete including: Karagozian & Case Concrete, Winfrith, Continuous Surface Cap Model and Riedel-Hiermaier-Thoma models, with concrete meshing based on 10, 15, and 20 mm. Six full-scale beams were tested: four of them used for the initial calibration of the numerical model and two more tests at lower scaled distances. For calibration, field data obtained employing pressure and accelerometers transducers were compared with the results derived from the numerical simulation. Damage surfaces and the shape of rupture in the beams have been used as references for comparison. Influence of the meshing on accelerations has been put in evidence and for some models the shape and size of the damage in the beams produced maximum differences around 15%. In all cases, the variations between material and mesh models are shown and discussed. 展开更多
关键词 Blast test Numerical simulation LS-DYNA Concrete model Mesh effect Full-scale beams
在线阅读 下载PDF
Battlefield target intelligence system architecture modeling and system optimization
19
作者 LI Wei WANG Yue +2 位作者 JIA Lijuan PENG Senran HE Ruixi 《Journal of Systems Engineering and Electronics》 SCIE CSCD 2024年第5期1190-1210,共21页
To address the current problems of poor generality,low real-time,and imperfect information transmission of the battlefield target intelligence system,this paper studies the battlefield target intelligence system from ... To address the current problems of poor generality,low real-time,and imperfect information transmission of the battlefield target intelligence system,this paper studies the battlefield target intelligence system from the top-level perspective of multi-service joint warfare.First,an overall planning and analysis method of architecture modeling is proposed with the idea of a bionic analogy for battlefield target intelligence system architecture modeling,which reduces the difficulty of the planning and design process.The method introduces the Department of Defense architecture framework(DoDAF)modeling method,the multi-living agent(MLA)theory modeling method,and other combinations for planning and modeling.A set of rapid planning methods that can be applied to model the architecture of various types of complex systems is formed.Further,the liveness analysis of the battlefield target intelligence system is carried out,and the problems of the existing system are presented from several aspects.And the technical prediction of the development and construction is given,which provides directional ideas for the subsequent research and development of the battlefield target intelligence system.In the end,the proposed architecture model of the battlefield target intelligence system is simulated and verified by applying the colored Petri nets(CPN)simulation software.The analysis demonstrates the reasonable integrity of its logic. 展开更多
关键词 battlefield target intelligence system architecture modeling bionic design system optimization simulation verification
在线阅读 下载PDF
Harmonic Impedance Modeling and Oscillation Analysis of Modular Multilevel Converter
20
作者 Wang Yuhong Chen Wensheng +2 位作者 Gao Shilin Liao Jianquan Cheng Yangfan 《系统仿真学报》 CAS CSCD 北大核心 2024年第12期2755-2770,共16页
To facilitate rapid analysis of the oscillation stability mechanism in modular multilevel converter-based high voltage direct current(MMC-HVDC)systems and streamline the simulation process for determining MMC impedanc... To facilitate rapid analysis of the oscillation stability mechanism in modular multilevel converter-based high voltage direct current(MMC-HVDC)systems and streamline the simulation process for determining MMC impedance characteristics,a simplified mathematical simulation model for MMC closed-loop impedance is developed using the harmonic state space method.This model considers various control strategies and includes both AC-side and DC-side impedance models.By applying a Nyquist criterion-based impedance analysis method,the stability mechanisms on the AC and DC sides of the MMC are examined.In addition,a data-driven oscillation stability analysis method is also proposed,leveraging a global sensitivity algorithm based on fast model results to identify key parameters influencing MMC oscillation stability.Based on sensitivity analysis results,a parameter adjustment strategy for oscillation suppression is proposed.The simulation results from the MATLAB/Simulinkbased MMC model validate the effectiveness of the proposed method. 展开更多
关键词 modular multilevel converter impedance modeling harmonic state space global sensitivity impedance analysis
在线阅读 下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部