Model-Based Systems Engineering Approach to Design a Human Settlement to Better Serve Displaced People

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.

Formal management-specifying approach for model-based safety assessment

In the field of model-based system assessment,mathematical models are used to interpret the system behaviors.However,the industrial systems in this intelligent era will be more manageable.Various management operations will be dynamically set,and the system will be no longer static as it is initially designed.Thus,the static model generated by the traditional model-based safety assessment(MBSA)approach cannot be used to accurately assess the dependability.There mainly exists three problems.Complex:huge and complex behaviors make the modeling to be trivial manual;Dynamic:though there are thousands of states and transitions,the previous model must be resubmitted to assess whenever new management arrives;Unreusable:as for different systems,the model must be resubmitted by reconsidering both the management and the system itself at the same time though the management is the same.Motivated by solving the above problems,this research studies a formal management specifying approach with the advantages of agility modeling,dynamic modeling,and specification design that can be re-suable.Finally,three typical managements are specified in a series-parallel system as a demonstration to show the potential.

Adaptability analysis and optimization of log suite for uncased wellbores of shale gas reservoirs:A case study of Sichuan Basin,China

Significant progress has been made in the exploration and development of unconventional gas resources in China since the beginning of the 21st century.With a rapid increase in yield,the exploration and development of shale gas have been upgraded to a level of national strategy.Logging is one of the core technologies in gas exploration and development.However,logging technologies face the challenges of complex geological conditions and well casing environment,high temperature,high pressure,and strong heterogeneity.Despite the rich experience accumulated,unified understanding and implementation specifications are yet to be established for shale gas well logging.Given the analysis and comparison of the effectiveness and adaptability of logging technologies at different stages of shale gas exploration and development for the Sichuan Basin,this study optimizes the log suite to meet the demand for highefficiency exploration and development of shale gas.According to the adaptability analysis of shale gas log suite,the mandatory logging items of exploratory wells should include caliper log(CAL),natural gamma ray spectrometry(NGS)log,spontaneous potential(SP)log,directional survey,borehole compensated sonic log,litho-density log(LDL),compensated neutron log(CNL),dual laterologmicrospherically focused log/dual induction-laterolog log/array induction log,temperature log,elemental capture spectroscopy(ECS)log,formation microimager(FMI)log,and array sonic log.The log suite of appraisal wells is almost the same as that for exploratory wells,excluding the ECS log and microresistivity scanning imaging.Meanwhile,for the logging of horizontal/highly-deviated holes,the log suite of vertical wells should be referred to according to specific well conditions.

Guideline of Test Suite Construction for GUI Software Centered on Grey-Box Approach

In this paper, the test suite construction for GUI (Graphical User Interface) software may be executed centered on grey-box approach with the prior test design of window access controls for unit testing, including front-end method of white box and follow-up black box method for integration testing. Moreover, two key opinions are proposed for the test suite construction for GUI software, the first one is that the “Triple-step method” should be used for unit testing with the prior disposing of data boundary value testing of input controls, and another one is that the “Grey-box approach” should be applied in integration testing for GUI software with necessary testing preparation in the precondition. At the same time, the testing of baseline version and the incremental testing should be considered for the test case construction to coordinate with the whole evolution of software product today. Additionally, all our opinion and thought are verified and tested with a typical case of GUI software—PQMS (Product Quality Monitoring Software/System), and results indicate that these methods and specific disposing are practical and effective.

高校图书馆嵌入式知识服务新平台——Touchdown Suite

Touchdown Suite是美国约翰·霍普金斯大学Welch医学图书馆推出的一项服务,旨在在用户工作的空间中寻求新的用户,并向他们提供便捷的资源和服务。本文研究其如何从用户使用的角度嵌入用户个人信息环境,提供物理空间的嵌入并提供知识服务,以期为我国高校图书馆开展嵌入式知识服务提供借鉴和参考。

Vector NTI Suite在分子生物学领域的应用

有许多软件可以帮助分子生物学工作者解决一些他们日常实验室工作中遇到的问题。Vector NTI Su ite是一种高度集成、功能齐全的分子生物学应用软件,它可以对核酸、蛋白质等分子进行大量的操作和分析,以及建立和管理生物数据库。重点对Vector NTI Su ite软件的概况、应用现状及其在分子生物学领域的应用进行综述与探讨。

EPIsuite对皮革行业化学品持久性有机污染评价的应用研究

参考《关于持久性有机污染物的斯德哥尔摩公约》中对持久性污染物(POPs)的确定标准,结合皮革化学品的实际情况,建立了合适的POPs评价标准。利用计算机软件EPISuite,建立了适用于皮革行业化学品持久性有机污染的评价方法。该评价方法同样适用于对皮革化学品的预警性筛选,可以从源头上对污染物质进行控制,有利于皮革行业的绿色发展。

基于GT-suite的柴油机共轨管结构研究

为了改善柴油机的燃油喷射性能,降低共轨压力波动,提高其动力性,本文分析了柴油机共轨管容积与压力建立时间及压力波动量的关系,研究了共轨管容积及其影响因素,基于GT-suite建立了四缸柴油机燃油共轨系统模型并进行了仿真,根据共轨管容积与压力建立时间及压力波动量的关系的仿真结果,确定了共轨管容积为21mL时最优,根据共轨管长径比和压力波动量的关系的仿真结果建立了轨压适应度函数,并根据轨压适应度与共轨管长径比的关系确定了共轨管内径为11mm,管长为220mm时最优,为共轨管的结构设计提供了理论依据.

Ispring Suite在多媒体课件制作中的应用

iSpring Suite是一款基于Power Point的E-learning交互式多媒体课件开发工具,不需要掌握任何的编程技术,即可基于原来的PPT课件制作出交互性很强的多媒体课件,大大缩减了多媒体课件的制作的周期。

三角函数的SCADE Suite实现方法

利用SCADE Suite实现三角函数的泰勒级数展开法,进行了建模、仿真、比较。对于嵌入式编程,很多时候由于系统的限制,需重新实现三角函数而不是使用编译器自带的三角函数。实现三角函数,多数会应用迭代算法,而对于手工编程下的迭代等算法,编程人员都比较熟悉,但是对于使用模型方式来实现循环、迭代还是一种比较新的技术,多数软件开发人员并不熟悉,通过本文可以了解这一技术,并解决建模方式下实现三角函数及反三角函数等类似较复杂算法的难点。

基于GT-Suite的4缸柴油机共轨管结构参数的优化研究

为了改善柴油机的燃油喷射性能,降低共轨压力波动,提高其动力性,本文分析了柴油机共轨管容积与压力建立时间及压力波动量的关系,研究了共轨管容积及其影响因素,基于GT-suite建立了四缸柴油机燃油共轨系统模型并进行了仿真,根据共轨管容积与压力建立时间及压力波动量的关系的仿真结果,确定了共轨管的最优容积,根据共轨管长径比和压力波动量的关系的仿真结果建立了轨压适应度函数,并根据轨压适应度与共轨管长径比的关系确定了最优共轨管内径,为共轨管的设计提供理论依据。

品质 从服务做起——iCan Provider Suite打造新服务

今天,将任务关键型服务及应用进行外包的呼声已经越来越高。当iCan SP推出的ican Provider Suite今年6月在国外发布、9月在国内全面发布以来,业界对此服务管理解决方案并没有太多的认识。在同CA公司亚洲区资深副总裁段践冰的交谈中,终于能从中一窥iCan Provider Suite方案的端倪。这套服务管理解决方案提出了一个全新的理念,它致力于提升服务商和IT部门的竞争力,而且也把无形的服务透明化、具体化了。

基于Test Suite TW软件研发的1000kN电子拉伸试验机低周疲劳测试方法

采用一台常规MTS 1 000kN电子拉伸试验机配置全自动引伸计、套筒式8 000psi液压夹具,配合MTS公司的Test Suite TW软件,设计研发出了一套可应力、应变控制的低周疲劳测试方法。该方法可对测试速率进行设置,实时显示、采集、复验波形,可在配备Test Suite控制软件的MTS电子拉伸试验机系统上推广,提供一套低成本的低周疲劳检测方案,特别适用于材料大应变、短时低周疲劳的日常检测。

CA推出数据建模专利技术的Allfusion Modeling Suite新版本

本刊讯5月22日，CA宣布推出新版本的AllFusion Modeling Suite建模工具，在功能强大的AllFusion Erwin Data Modeler内嵌具有专利的通用的数据建模引擎。通过简化复杂数据库应用的设计、实施和分析，AllFusion Modeling Suite r7将帮助IT部门加快应用交付、提升员工生产力及控制数据库的拥有成本。同时，它还可提供全面的数据库及数据仓库变化的审计记录，促进公司遵从法规并迅速发现问题。

Model-Based Degree Estimation of Unbalance and Misalignment in Flexible Coupling-rotor System

The condition of rotor system must be assessed in order to develop condition-based maintenance for rotating machinery. It is determined by multiple variables such as unbalance degree, misalignment degree, the amount of bending deformation of the shaft, occurrence of shaft crack of rotor system and so on. The estimation of the degrees of unbalance and misalignment in flexible coupling-rotor system is discussed. The model-based approach is employed to solve this problem. The models of the equivalent external loads for unbalance and misalignment are derived and analyzed. Then, the degrees of unbalance and misalignment are estimated by analyzing the components of the equivalent external loads of which the frequencies are equal to the 1 and 2 times running frequency respectively. The equivalent external loads are calculated according to the dynamic equation of the original rotor system and the differences between the dynamical responses in normal case and the vibrations when the degree of unbalance or misalignment or both changes. The denoise method based on bandpass filter is used to decrease the effect of noise on the estimation accuracy. The numerical examples are given to show that the proposed approach can estimate the degrees of unbalance and misalignment of the flexible coupling-rotor system accurately.

Use of models in large-area forest surveys： comparing model-assisted, model-based and hybrid estimation

This paper focuses on the use of models for increasing the precision of estimators in large-area forest surveys. It is motivated by the increasing availability of remotely sensed data, which facilitates the development of models predicting the variables of interest in forest surveys. We present, review and compare three different estimation frameworks where models play a core role： model-assisted, model-based, and hybrid estimation. The first two are well known, whereas the third has only recently been introduced in forest surveys. Hybrid inference mixes design- based and model-based inference, since it relies on a probability sample of auxiliary data and a model predicting the target variable from the auxiliary data.We review studies on large-area forest surveys based on model-assisted, model- based, and hybrid estimation, and discuss advantages and disadvantages of the approaches. We conclude that no general recommendations can be made about whether model-assisted, model-based, or hybrid estimation should be preferred. The choice depends on the objective of the survey and the possibilities to acquire appropriate field and remotely sensed data. We also conclude that modelling approaches can only be successfully applied for estimating target variables such as growing stock volume or biomass, which are adequately related to commonly available remotely sensed data, and thus purely field based surveys remain important for several important forest parameters.

基于GT-Suite的重型载货车冷却系统仿真及匹配设计

基于GT-Suite软件建立了某重型载货车发动机冷却系统的一维-准三维混合仿真模型,通过对发动机极限工况下出水温度、出水流量等计算结果与试验值对比分析,验证了仿真模型的准确性。最后在此模型基础上对发动机冷却系统进行风扇选型匹配,实现了满足整车冷却性能要求的前提下,减小了其消耗功率,从而提高了整车经济性。

Experts' Knowledge Fusion in Model-Based Diagnosis Based on Bayes Networks

In previous researches on a model-based diagnostic system, the components are assumed mutually independent. Howerver , the assumption is not always the case because the information about whether a component is faulty or not usually influences our knowledge about other components. Some experts may draw such a conclusion that 'if component m 1 is faulty, then component m 2 may be faulty too'. How can we use this experts' knowledge to aid the diagnosis? Based on Kohlas's probabilistic assumption-based reasoning method, we use Bayes networks to solve this problem. We calculate the posterior fault probability of the components in the observation state. The result is reasonable and reflects the effectiveness of the experts' knowledge.

Feedback Scheduling of Model-based Networked Control Systems with Flexible Workload

In this paper,a novel control structure called feedback scheduling of model-based networked control systems is proposed to cope with a flexible network load and resource constraints.The state update time is adjusted according to the real-time network congestion situation.State observer is used under the situation where the state of the controlled plant could not be acquired.The stability criterion of the proposed structure is proved with time-varying state update time.On the basis of the stability of the novel system structure,the compromise between the control performance and the network utilization is realized by using feedback scheduler. Examples are provided to show the advantage of the proposed control structure.

IPv6仿真环境OMNeT++ IPv6Suite剖析

从理论上对IPv6Suite模块组中实现网络层功能的模块NetworkLayer6的构成及实现方式进行剖析,最后通过分析应用实例Ping的实现及应用对IPv6Suite中应用的实现及使用进行介绍。