2010年10月19日，MmhWorks宣布推出对其Polyspace嵌入式代码验证产品的改进，此类产品可以证明源代码中不存在某些运行错误。Polyspace新特性包含了指标网络控制面板（metrics web dashboard）、自动计划验证工作、电子邮件通知以及增...2010年10月19日，MmhWorks宣布推出对其Polyspace嵌入式代码验证产品的改进，此类产品可以证明源代码中不存在某些运行错误。Polyspace新特性包含了指标网络控制面板（metrics web dashboard）、自动计划验证工作、电子邮件通知以及增强的代码指标支持，这些新特性使工程师能够选择并跟踪嵌入式软件质量的指标和阈值。这些改进帮助软件团队更好地定义质量目标，并更快地加以实现，以便在汽车、航空、国防以及工业自动化和机械行业中得到高完整性应用。展开更多
Unmanned Aerial Vehicles(UAVs)and Unmanned Ground Vehicles(UGVs)have been used in research and development community due to their strong potential in high-risk missions.One of the most important civilian implementatio...Unmanned Aerial Vehicles(UAVs)and Unmanned Ground Vehicles(UGVs)have been used in research and development community due to their strong potential in high-risk missions.One of the most important civilian implementations of UAV/UGV cooperative path planning is delivering medical or emergency supplies during disasters such as wildfires,the focus of this paper.However,wildfires themselves pose risk to the UAVs/UGVs and their paths should be planned to avert the risk as well as complete the mission.In this paper,wildfire growth is simulated using a coupled Partial Differential Equation(PDE)model,widely used in literature for modeling wildfires,in a grid environment with added process and measurement noise.Using principles of Proper Orthogonal Decomposition(POD),and with an appropriate choice of decomposition modes,a low-dimensional equivalent fire growth model is obtained for the deployment of the space-time Kalman Filtering(KF)paradigm for estimation of wildfires using simulated data.The KF paradigm is then used to estimate and predict the propagation of wildfire based on local data obtained from a camera mounted on the UAV.This information is then used to obtain a safe path for the UGV that needs to travel from an initial location to the final position while the UAV’s path is planned to gather information on wildfire.Path planning of both UAV and UGV is carried out using a PDE based method that allows incorporation of threats due to wildfire and other obstacles in the form of risk function.The results from numerical simulation are presented to validate the proposed estimation and path planning methods.展开更多
Purpose: To present a method for systematically mapping diversity of publication patterns at the author level in the social sciences and humanities in terms of publication type, publication language and co-authorship....Purpose: To present a method for systematically mapping diversity of publication patterns at the author level in the social sciences and humanities in terms of publication type, publication language and co-authorship.Design/methodology/approach: In a follow-up to the hard partitioning clustering by Verleysen and Weeren in 2016, we now propose the complementary use of fuzzy cluster analysis, making use of a membership coefficient to study gradual differences between publication styles among authors within a scholarly discipline. The analysis of the probability density function of the membership coefficient allows to assess the distribution of publication styles within and between disciplines.Findings: As an illustration we analyze 1,828 productive authors affiliated in Flanders, Belgium. Whereas a hard partitioning previously identified two broad publication styles, an international one vs. a domestic one, fuzzy analysis now shows gradual differences among authors. Internal diversity also varies across disciplines and can be explained by researchers’ specialization and dissemination strategies.Research limitations: The dataset used is limited to one country for the years 2000–2011; a cognitive classification of authors may yield a different result from the affiliation-based classification used here.Practical implications: Our method is applicable to other bibliometric and research evaluation contexts, especially for the social sciences and humanities in non-Anglophone countries.Originality/value: The method proposed is a novel application of cluster analysis to the field of bibliometrics. Applied to publication patterns at the author level in the social sciences and humanities, for the first time it systematically documents intra-disciplinary diversity.展开更多
An improved algorithm for computing multiphase flows is presented in which the multimaterial Moment-of-Fluid(MOF)algorithm for multiphase flows,initially described by Li et al.(2015),is enhanced addressing existing MO...An improved algorithm for computing multiphase flows is presented in which the multimaterial Moment-of-Fluid(MOF)algorithm for multiphase flows,initially described by Li et al.(2015),is enhanced addressing existing MOF difficulties in computing solutions to problems in which surface tension forces are crucial for understanding salient flow mechanisms.The Continuous MOF(CMOF)method is motivated in this article.The CMOF reconstruction method inherently removes the"checkerboard instability"that persists when using the MOF method on surface tension driven multiphase(multimaterial)flows.The CMOF reconstruction algorithm is accelerated by coupling the CMOF method to the level set method and coupling the CMOF method to a decision tree machine learning(ML)algorithm.Multiphase flow examples are shown in the two-dimensional(2D),three-dimensional(3D)axisymmetric"RZ",and 3D coordinate systems.Examples include two material and three material multiphase flows:bubble formation,the impingement of a liquid jet on a gas bubble in a cryogenic fuel tank,freezing,and liquid lens dynamics.展开更多
文摘2010年10月19日，MmhWorks宣布推出对其Polyspace嵌入式代码验证产品的改进，此类产品可以证明源代码中不存在某些运行错误。Polyspace新特性包含了指标网络控制面板（metrics web dashboard）、自动计划验证工作、电子邮件通知以及增强的代码指标支持，这些新特性使工程师能够选择并跟踪嵌入式软件质量的指标和阈值。这些改进帮助软件团队更好地定义质量目标，并更快地加以实现，以便在汽车、航空、国防以及工业自动化和机械行业中得到高完整性应用。
文摘Unmanned Aerial Vehicles(UAVs)and Unmanned Ground Vehicles(UGVs)have been used in research and development community due to their strong potential in high-risk missions.One of the most important civilian implementations of UAV/UGV cooperative path planning is delivering medical or emergency supplies during disasters such as wildfires,the focus of this paper.However,wildfires themselves pose risk to the UAVs/UGVs and their paths should be planned to avert the risk as well as complete the mission.In this paper,wildfire growth is simulated using a coupled Partial Differential Equation(PDE)model,widely used in literature for modeling wildfires,in a grid environment with added process and measurement noise.Using principles of Proper Orthogonal Decomposition(POD),and with an appropriate choice of decomposition modes,a low-dimensional equivalent fire growth model is obtained for the deployment of the space-time Kalman Filtering(KF)paradigm for estimation of wildfires using simulated data.The KF paradigm is then used to estimate and predict the propagation of wildfire based on local data obtained from a camera mounted on the UAV.This information is then used to obtain a safe path for the UGV that needs to travel from an initial location to the final position while the UAV’s path is planned to gather information on wildfire.Path planning of both UAV and UGV is carried out using a PDE based method that allows incorporation of threats due to wildfire and other obstacles in the form of risk function.The results from numerical simulation are presented to validate the proposed estimation and path planning methods.
文摘Purpose: To present a method for systematically mapping diversity of publication patterns at the author level in the social sciences and humanities in terms of publication type, publication language and co-authorship.Design/methodology/approach: In a follow-up to the hard partitioning clustering by Verleysen and Weeren in 2016, we now propose the complementary use of fuzzy cluster analysis, making use of a membership coefficient to study gradual differences between publication styles among authors within a scholarly discipline. The analysis of the probability density function of the membership coefficient allows to assess the distribution of publication styles within and between disciplines.Findings: As an illustration we analyze 1,828 productive authors affiliated in Flanders, Belgium. Whereas a hard partitioning previously identified two broad publication styles, an international one vs. a domestic one, fuzzy analysis now shows gradual differences among authors. Internal diversity also varies across disciplines and can be explained by researchers’ specialization and dissemination strategies.Research limitations: The dataset used is limited to one country for the years 2000–2011; a cognitive classification of authors may yield a different result from the affiliation-based classification used here.Practical implications: Our method is applicable to other bibliometric and research evaluation contexts, especially for the social sciences and humanities in non-Anglophone countries.Originality/value: The method proposed is a novel application of cluster analysis to the field of bibliometrics. Applied to publication patterns at the author level in the social sciences and humanities, for the first time it systematically documents intra-disciplinary diversity.
基金supported by the National Aeronautics and Space Administration under grant number 80NSSC20K0352.
文摘An improved algorithm for computing multiphase flows is presented in which the multimaterial Moment-of-Fluid(MOF)algorithm for multiphase flows,initially described by Li et al.(2015),is enhanced addressing existing MOF difficulties in computing solutions to problems in which surface tension forces are crucial for understanding salient flow mechanisms.The Continuous MOF(CMOF)method is motivated in this article.The CMOF reconstruction method inherently removes the"checkerboard instability"that persists when using the MOF method on surface tension driven multiphase(multimaterial)flows.The CMOF reconstruction algorithm is accelerated by coupling the CMOF method to the level set method and coupling the CMOF method to a decision tree machine learning(ML)algorithm.Multiphase flow examples are shown in the two-dimensional(2D),three-dimensional(3D)axisymmetric"RZ",and 3D coordinate systems.Examples include two material and three material multiphase flows:bubble formation,the impingement of a liquid jet on a gas bubble in a cryogenic fuel tank,freezing,and liquid lens dynamics.
