针对空间有效载荷系统高复杂性和高可靠性需求的特性,设计了一种基于SysML (System Modeling Language)的故障诊断方法.该方法融入MBSE (Model Based System Engineering)思想,提出了基于SysML的空间有效载荷系统故障分析流程.基于SysM...针对空间有效载荷系统高复杂性和高可靠性需求的特性,设计了一种基于SysML (System Modeling Language)的故障诊断方法.该方法融入MBSE (Model Based System Engineering)思想,提出了基于SysML的空间有效载荷系统故障分析流程.基于SysML对空间有效载荷系统建立了故障分析相关的模型,其中,为满足故障分析建模的需求,对SysML元模型进行扩展定义,从而实现对组件间关系和故障表征与直接关联组件间关系的描述;基于所建模型构建故障诊断的整体框架,并提供从SysML数字模型到FTA (Fault Tree Analysis)的转换逻辑,从而实现对所有故障可能性的获取.通过案例分析,对提出方法在实际应用中的具体流程进行分析,并验证了该方法的有效性和实用性.展开更多
Refugee settlements face several challenges in transitioning from a temporary planning approach to more sustainable settlements. This is mainly due to an increase in the number of forcibly displaced people over the la...Refugee settlements face several challenges in transitioning from a temporary planning approach to more sustainable settlements. This is mainly due to an increase in the number of forcibly displaced people over the last few decades, and the difficulties of sustainably providing social services that meet the required standards. The development of refugee settlements assumed that forcibly displaced people would return to their places or countries of origin. Unfortunately, displacement situations are prolonged indefinitely, forcing these people to spend most of their lives in conditions that are often deplorable and substandard, and therefore unsustainable. In most cases, the establishment of refugee settlements is triggered by an emergency caused by an influx of forcibly displaced people, who need to be accommodated urgently and provided with some form of international assistance and protection. This leaves little or no time for proper planning for long-term development as required. In addition, the current approach to temporary settlement harms the environment and can strain limited resources with ad hoc development models that have exacerbated difficulties. As a result, living conditions in refugee settlements have deteriorated over the last few decades and continue to pose challenges as to how best to design, plan, and sustain settlements over time. To contribute to addressing these challenges, this study proposes a new methodology supported by Model-Based Systems Engineering (MBSE) and a Systems Modeling Language (SysML) to develop a typical sustainable human settlement system model, which has functionally and operationally executed using a Systems Engineering (SE) approach. To assess the sustainability capacity of the proposed system, this work applies a matrix of crossed impact multiplication through a case study by conducting a system capacity interdependence analysis (SCIA) using the MICMAC methodology (Cross-impact matrix multiplication applied to classification) to assess the interdependency that exist between the sub-systems categories to deliver services at the system level. The sustainability analysis results based on capacity variables influence and dependency models shows that development activities in the settlement are unstable and, therefore, unsustainable since there is no apparent difference between the influential and dependent data used for the assessment. These results illustrate that an integrated system could improve human settlements’ sustainability and that capacity building in service delivery is beneficial and necessary.展开更多
The challenge of transitioning from temporary humanitarian settlements to more sustainable human settlements is due to a significant increase in the number of forcibly displaced people over recent decades, difficultie...The challenge of transitioning from temporary humanitarian settlements to more sustainable human settlements is due to a significant increase in the number of forcibly displaced people over recent decades, difficulties in providing social services that meet the required standards, and the prolongation of emergencies. Despite this challenging context, short-term considerations continue to guide their planning and management rather than more integrated, longer-term perspectives, thus preventing viable, sustainable development. Over the years, the design of humanitarian settlements has not been adapted to local contexts and perspectives, nor to the dynamics of urbanization and population growth and data. In addition, the current approach to temporary settlement harms the environment and can strain limited resources. Inefficient land use and ad hoc development models have compounded difficulties and generated new challenges. As a result, living conditions in settlements have deteriorated over the last few decades and continue to pose new challenges. The stakes are such that major shortcomings have emerged along the way, leading to disruption, budget overruns in a context marked by a steady decline in funding. However, some attempts have been made to shift towards more sustainable approaches, but these have mainly focused on vague, sector-oriented themes, failing to consider systematic and integration views. This study is a contribution in addressing these shortcomings by designing a model-driving solution, emphasizing an integrated system conceptualized as a system of systems. This paper proposes a new methodology for designing an integrated and sustainable human settlement model, based on Model-Based Systems Engineering and a Systems Modeling Language to provide valuable insights toward sustainable solutions for displaced populations aligning with the United Nations 2030 agenda for sustainable development.展开更多
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.展开更多
The choice of methods or design languages is a crucial phase in the development of systems and software, also for real time and embedded systems. An open question that remains in the design of these types of systems i...The choice of methods or design languages is a crucial phase in the development of systems and software, also for real time and embedded systems. An open question that remains in the design of these types of systems is to build a method, or to choose one among those existing, capable to cover the life cycle of a project, and particularly the development phases. This article contributes to answer the question, by proposing an approach based on a multi-criteria comparative study, of few languages and methods dedicated to the design of real time and embedded systems. The underlying objective of this work is to present to designers a wide range of approaches, and elements that can guide their choices. In order to reach this goal, we propose different comparison criteria. Each criterion is divided into sub-criteria, so that the designers can refine their choices according to the qualities they prefer and wish to have in the method or language. We also define a rating scale which is used to assess the retained languages and methods. The scores obtained from this assessment are presented in tables, one table per criterion, followed by a summary table giving the overall scores. Graphics built from these tables are provided and intend to facilitate the judgement and thus the choice of the designers.展开更多
Large Language Models (LLMs) have revolutionized Generative Artificial Intelligence (GenAI) tasks, becoming an integral part of various applications in society, including text generation, translation, summarization, a...Large Language Models (LLMs) have revolutionized Generative Artificial Intelligence (GenAI) tasks, becoming an integral part of various applications in society, including text generation, translation, summarization, and more. However, their widespread usage emphasizes the critical need to enhance their security posture to ensure the integrity and reliability of their outputs and minimize harmful effects. Prompt injections and training data poisoning attacks are two of the most prominent vulnerabilities in LLMs, which could potentially lead to unpredictable and undesirable behaviors, such as biased outputs, misinformation propagation, and even malicious content generation. The Common Vulnerability Scoring System (CVSS) framework provides a standardized approach to capturing the principal characteristics of vulnerabilities, facilitating a deeper understanding of their severity within the security and AI communities. By extending the current CVSS framework, we generate scores for these vulnerabilities such that organizations can prioritize mitigation efforts, allocate resources effectively, and implement targeted security measures to defend against potential risks.展开更多
介绍了基于模型的系统工程,引入了支持基于模型的系统工程的系统建模语言(system model language,SysML),并分析了其他研究机构对于SysML及其建模工具的能力和局限性的评估。在此基础上,利用SysML及其建模工具(MagicDraw)对战术卫...介绍了基于模型的系统工程,引入了支持基于模型的系统工程的系统建模语言(system model language,SysML),并分析了其他研究机构对于SysML及其建模工具的能力和局限性的评估。在此基础上,利用SysML及其建模工具(MagicDraw)对战术卫星-3(TacSat-3)进行了建模与仿真,仿真系统充分展示出了TacSat-3在整个空间飞行过程中进行图像捕获和下传时的实际工作情况。展开更多
文摘针对空间有效载荷系统高复杂性和高可靠性需求的特性,设计了一种基于SysML (System Modeling Language)的故障诊断方法.该方法融入MBSE (Model Based System Engineering)思想,提出了基于SysML的空间有效载荷系统故障分析流程.基于SysML对空间有效载荷系统建立了故障分析相关的模型,其中,为满足故障分析建模的需求,对SysML元模型进行扩展定义,从而实现对组件间关系和故障表征与直接关联组件间关系的描述;基于所建模型构建故障诊断的整体框架,并提供从SysML数字模型到FTA (Fault Tree Analysis)的转换逻辑,从而实现对所有故障可能性的获取.通过案例分析,对提出方法在实际应用中的具体流程进行分析,并验证了该方法的有效性和实用性.
文摘Refugee settlements face several challenges in transitioning from a temporary planning approach to more sustainable settlements. This is mainly due to an increase in the number of forcibly displaced people over the last few decades, and the difficulties of sustainably providing social services that meet the required standards. The development of refugee settlements assumed that forcibly displaced people would return to their places or countries of origin. Unfortunately, displacement situations are prolonged indefinitely, forcing these people to spend most of their lives in conditions that are often deplorable and substandard, and therefore unsustainable. In most cases, the establishment of refugee settlements is triggered by an emergency caused by an influx of forcibly displaced people, who need to be accommodated urgently and provided with some form of international assistance and protection. This leaves little or no time for proper planning for long-term development as required. In addition, the current approach to temporary settlement harms the environment and can strain limited resources with ad hoc development models that have exacerbated difficulties. As a result, living conditions in refugee settlements have deteriorated over the last few decades and continue to pose challenges as to how best to design, plan, and sustain settlements over time. To contribute to addressing these challenges, this study proposes a new methodology supported by Model-Based Systems Engineering (MBSE) and a Systems Modeling Language (SysML) to develop a typical sustainable human settlement system model, which has functionally and operationally executed using a Systems Engineering (SE) approach. To assess the sustainability capacity of the proposed system, this work applies a matrix of crossed impact multiplication through a case study by conducting a system capacity interdependence analysis (SCIA) using the MICMAC methodology (Cross-impact matrix multiplication applied to classification) to assess the interdependency that exist between the sub-systems categories to deliver services at the system level. The sustainability analysis results based on capacity variables influence and dependency models shows that development activities in the settlement are unstable and, therefore, unsustainable since there is no apparent difference between the influential and dependent data used for the assessment. These results illustrate that an integrated system could improve human settlements’ sustainability and that capacity building in service delivery is beneficial and necessary.
文摘The challenge of transitioning from temporary humanitarian settlements to more sustainable human settlements is due to a significant increase in the number of forcibly displaced people over recent decades, difficulties in providing social services that meet the required standards, and the prolongation of emergencies. Despite this challenging context, short-term considerations continue to guide their planning and management rather than more integrated, longer-term perspectives, thus preventing viable, sustainable development. Over the years, the design of humanitarian settlements has not been adapted to local contexts and perspectives, nor to the dynamics of urbanization and population growth and data. In addition, the current approach to temporary settlement harms the environment and can strain limited resources. Inefficient land use and ad hoc development models have compounded difficulties and generated new challenges. As a result, living conditions in settlements have deteriorated over the last few decades and continue to pose new challenges. The stakes are such that major shortcomings have emerged along the way, leading to disruption, budget overruns in a context marked by a steady decline in funding. However, some attempts have been made to shift towards more sustainable approaches, but these have mainly focused on vague, sector-oriented themes, failing to consider systematic and integration views. This study is a contribution in addressing these shortcomings by designing a model-driving solution, emphasizing an integrated system conceptualized as a system of systems. This paper proposes a new methodology for designing an integrated and sustainable human settlement model, based on Model-Based Systems Engineering and a Systems Modeling Language to provide valuable insights toward sustainable solutions for displaced populations aligning with the United Nations 2030 agenda for sustainable development.
文摘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.
文摘The choice of methods or design languages is a crucial phase in the development of systems and software, also for real time and embedded systems. An open question that remains in the design of these types of systems is to build a method, or to choose one among those existing, capable to cover the life cycle of a project, and particularly the development phases. This article contributes to answer the question, by proposing an approach based on a multi-criteria comparative study, of few languages and methods dedicated to the design of real time and embedded systems. The underlying objective of this work is to present to designers a wide range of approaches, and elements that can guide their choices. In order to reach this goal, we propose different comparison criteria. Each criterion is divided into sub-criteria, so that the designers can refine their choices according to the qualities they prefer and wish to have in the method or language. We also define a rating scale which is used to assess the retained languages and methods. The scores obtained from this assessment are presented in tables, one table per criterion, followed by a summary table giving the overall scores. Graphics built from these tables are provided and intend to facilitate the judgement and thus the choice of the designers.
文摘Large Language Models (LLMs) have revolutionized Generative Artificial Intelligence (GenAI) tasks, becoming an integral part of various applications in society, including text generation, translation, summarization, and more. However, their widespread usage emphasizes the critical need to enhance their security posture to ensure the integrity and reliability of their outputs and minimize harmful effects. Prompt injections and training data poisoning attacks are two of the most prominent vulnerabilities in LLMs, which could potentially lead to unpredictable and undesirable behaviors, such as biased outputs, misinformation propagation, and even malicious content generation. The Common Vulnerability Scoring System (CVSS) framework provides a standardized approach to capturing the principal characteristics of vulnerabilities, facilitating a deeper understanding of their severity within the security and AI communities. By extending the current CVSS framework, we generate scores for these vulnerabilities such that organizations can prioritize mitigation efforts, allocate resources effectively, and implement targeted security measures to defend against potential risks.
文摘介绍了基于模型的系统工程,引入了支持基于模型的系统工程的系统建模语言(system model language,SysML),并分析了其他研究机构对于SysML及其建模工具的能力和局限性的评估。在此基础上,利用SysML及其建模工具(MagicDraw)对战术卫星-3(TacSat-3)进行了建模与仿真,仿真系统充分展示出了TacSat-3在整个空间飞行过程中进行图像捕获和下传时的实际工作情况。