2010年10月19日，MmhWorks宣布推出对其Polyspace嵌入式代码验证产品的改进，此类产品可以证明源代码中不存在某些运行错误。Polyspace新特性包含了指标网络控制面板（metrics web dashboard）、自动计划验证工作、电子邮件通知以及增...2010年10月19日，MmhWorks宣布推出对其Polyspace嵌入式代码验证产品的改进，此类产品可以证明源代码中不存在某些运行错误。Polyspace新特性包含了指标网络控制面板（metrics web dashboard）、自动计划验证工作、电子邮件通知以及增强的代码指标支持，这些新特性使工程师能够选择并跟踪嵌入式软件质量的指标和阈值。这些改进帮助软件团队更好地定义质量目标，并更快地加以实现，以便在汽车、航空、国防以及工业自动化和机械行业中得到高完整性应用。展开更多
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.展开更多
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.展开更多
文摘2010年10月19日，MmhWorks宣布推出对其Polyspace嵌入式代码验证产品的改进，此类产品可以证明源代码中不存在某些运行错误。Polyspace新特性包含了指标网络控制面板（metrics web dashboard）、自动计划验证工作、电子邮件通知以及增强的代码指标支持，这些新特性使工程师能够选择并跟踪嵌入式软件质量的指标和阈值。这些改进帮助软件团队更好地定义质量目标，并更快地加以实现，以便在汽车、航空、国防以及工业自动化和机械行业中得到高完整性应用。
基金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.
文摘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.
