Viability of intertwined supply networks: extending the supply chain resilience angles towards survivability. A position paper motivated by COVID-19 outbreak

An intertwined supply network (ISN) is an entirety of interconnected supply chains (SC) which, in their integrity secure the provision of society and markets with goods and services. The ISNs are open systems with structural dynamics since the firms may exhibit multiple behaviours by changing the buyer-supplier roles in interconnected or even competing SCs. From the positions of resilience, the ISNs as a whole provide services to society (e.g. food service, mobility service or communication service) which are required to ensure a long-term survival. The analysis of survivability at the level of ISN requires a consideration at a large scale as resilience of individual SCs. The recent example of coronavirus COVID-19 outbreak clearly shows the necessity of this new perspective. Our study introduces a new angle in SC resilience research when a resistance to extraordinary disruptions needs to be considered at the scale of viability. We elaborate on the integrity of the ISN and viability. The contribution of our position study lies in a conceptualisation of a novel decision-making environment of ISN viability. We illustrate the viability formation through a dynamic game-theoretic modelling of a biological system that resembles the ISN. We discuss some future research areas.     

基于RFID标签阵列的睡眠期间呼吸量连续监测系统

睡眠期间连续且准确的呼吸量监测有助于推断用户的睡眠阶段以及提供一些慢性疾病的线索。现有工作主要针对呼吸频率进行感知和监测,缺乏对呼吸量进行连续监测的手段。针对上述问题提出了一种基于商用无线射频识别(RFID)标签的无线感知用户睡眠期间呼吸量的系统——RF-SLEEP。RF-SLEEP通过阅读器连续收集附着在胸部表面的标签阵列返回的相位值及时间戳数据,计算出呼吸引起的胸部不同点的位移量,基于广义回归神经网络(GRNN)构建胸部不同点的位移量与呼吸量之间的关系模型,从而实现对用户睡眠期间呼吸量的评估。RF-SLEEP通过在用户肩膀处附着双参考标签,消除用户睡眠期间翻转身体对胸部位移计算造成的误差。实验结果表明,RFSLEEP对不同用户睡眠期间的呼吸量连续监测的平均精确度为92.49%。     

泛在电力物联网在北京经济技术开发区的应用探索

泛在电力物联网是物联网在电力领域的具体体现，建设泛在电力物联网是推进"三型两网"建设的关键环节，也是实现能源转型的必要手段。阐述了泛在电力物联网的定义，从供电公司角度出发，根据北京经济技术开发区实际情况，讨论了依托地区特点的泛在电力物联网实施策略和实际应用场景，分析了可能遇到的问题。得出结论：随着泛在电力物联网的深入建设，供电公司能够为电力客户提供多元化服务，提高客户满意度；地市供电公司能够依托泛在电力物联网开展更多电力相关业务；泛在电力物联网的安全性、实用性、有效性是发展面临的首要问题。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

Alternatives for improving energy security in Cape Verde

The lack of consensus on the meaning of energy security and how it should be measured hinders the evaluation of alternatives for improving the Cape Verdean energy sector. The objective of the paper is to develop an energy security index adjusted to the country's context. The methods used are the multi-criteria analysis and the Delphi survey. Different alternatives to improve energy security are assessed: electrically interconnect Cape Verde's islands, increase the share of renewable energy, and a combination of the previous alternatives. The results of our analysis indicate that increasing renewable energy is the optimal alternative for Cape Verde.     

Genetic algorithm and self organizing map based fuzzy hybrid intelligent method for color image segmentation

The grouping of pixels based on some similarity criteria is called image segmentation. In this paper the problem of color image segmentation is considered as a clustering problem and a fixed length genetic algorithm (GA) is used to handle it. The effectiveness of GA depends on the objective function (fitness function) and the initialization of the population. A new objective function is proposed to evaluate the quality of the segmentation and the fitness of a chromosome. In fixed length genetic algorithm the chromosomes have same length, which is normally set by the user. Here, a self organizing map (SOM) is used to determine the number of segments in order to set the length of a chromosome automatically. An opposition based strategy is adopted for the initialization of the population in order to diversify the search process. In some cases the proposed method makes the small regions of an image as separate segments, which leads to noisy segmentation. A simple ad hoc mechanism is devised to refine the noisy segmentation. The qualitative and quantitative results show that the proposed method performs better than the state-of-the-art methods.     

The Interplay of Modulus,Strength, and Ductility in Adhesive Design Using Biomimetic Polymer Chemistry

High‐performance adhesives require mechanical properties tuned to demands of the surroundings. A mismatch in stiffness between substrate and adhesive leads to stress concentrations and fracture when the bonding is subjected to mechanical load. Balancing material strength versus ductility, as well as considering the relationship between adhesive modulus and substrate modulus, creates stronger joints. However, a detailed understanding of how these properties interplay is lacking. Here, a biomimetic terpolymer is altered systematically to identify regions of optimal bonding. Mechanical properties of these terpolymers are tailored by controlling the amount of a methyl methacrylate stiff monomer versus a similar monomer containing flexible poly(ethylene glycol) chains. Dopamine methacrylamide, the cross‐linking monomer, is a catechol moiety analogous to 3,4‐dihydroxyphenylalanine, a key component in the adhesive proteins of marine mussels. Bulk adhesion of this family of terpolymers is tested on metal and plastic substrates. Incorporating higher amounts of poly(ethylene glycol) into the terpolymer introduces flexibility and ductility. By taking a systematic approach to polymer design, the region in which material strength and ductility are balanced in relation to the substrate modulus is found, thereby yielding the most robust joints.     

Design criterion for fatigue strengthening of riveted beams in a 120-year-old railway metallic bridge using pre-stressed CFRP plates

This study presents a design criterion developed for fatigue strengthening of a 120-year-old metallic railway bridge in Switzerland and presents a pre-stressed un-bonded reinforcement (PUR) system developed to apply the strengthening. The PUR system uses carbon fiber reinforced polymer (CFRP) plates; however, unlike conventional pre-stressed CFRP reinforcement methods, preparation of the existing metallic bridge surface is not required. This decreases the time required for on-site strengthening procedures. The principle of the constant life diagram (CLD) and two fatigue failure criteria (Johnson and Goodman) are described. Analytical formulations are developed based on the CLD method to determine the minimum CFRP pre-stress level required to prevent fatigue crack initiation. The PUR system uses an applied pre-stress force to reduce the mean stress level (and stress ratio) to shift an existing fatigue-susceptible metallic detail from the ‘at risk’ finite life regime to the ‘safe’ infinite life regime. The applied CLD method is particularly valuable when the stress history of the detail is not known and it is difficult to assess the remaining fatigue life. Moreover, it is shown that the currently adopted approach in many structural codes which emphasizes stress range as the dominant parameter influencing fatigue life are non-conservative for tension–tension stress patterns (i.e., stress ratios of 0 < R < 1). Analyses show that the modified Johnson formula accurately reflects the combined effect of stress range, mean stress level, and material properties, and offers a relatively easy design procedure. Details of a retrofit field application on members of a riveted wrought iron railway bridge are given. A wireless sensor network (WSN) system is used for long-term monitoring of the on-site CFRP stress levels and temperature of the retrofitted details. WSN measurements indicate that increases in ambient temperature result in increased CFRP pre-stress levels.