Waste identification diagrams

Value Stream Mapping (VSM) is a very popular tool in lean environments to represent production flows, mapping value stream of a product or family of products, and helps to identify some types of waste. Although very popular, this tool has some limitations as already described in many publications, especially in terms of restrictions in showing most types of waste as well as in its inability to represent various production routes. The purpose of this study is to introduce the waste identification diagram (WID), a new tool to represent production units with its different forms of waste, which overcomes some VSM limitations. The originality of WID comes from the use of its symbols’ dimensions to convey, in a visual and immediate way, relevant information about a production unit. In this paper, WID is applied on a production unit of a lift manufacturer, for testing its performance and comparing it to VSM. The main findings are that WID is in general more effective than VSM in terms of representation of complex production units and in terms of identification of more forms of waste. WID must however overcome some of its limitations such as the lack of information-flow representation and the links to suppliers and clients.     

汉语文学作品中量词名词超常搭配的认知隐喻探析

作为汉语别具特色的一种语言现象,汉语量词名词超常搭配具有特殊的修辞功能和语用功能,这一语言现象的生成体现了人类的隐喻认知机制,其特殊的修辞功能是量词的语义特征投射到名词认知域中产生的结果。汉语量词名词超常搭配的认知隐喻分析有助于我们进一步认识这一语言现象的幕后认知过程,为解释语言结构与人的认知方式之间的关系提供了新的视角。     

三角板天线分析

运用具有普遍性的椭圆V-锥天线做模型,当椭圆锥的k值趋于零时,椭圆V-锥天线退化为三角板天线,根据椭圆V-锥天线的有关公式求出了三角板天线的输入阻抗。分析表明,三角板天线是一种纯阻性天线,其输入阻抗值比较大.给出了三种类型三角板天线的输入阻抗的计算结果,可供工程设计参考。     

Tagged Probe Interval Graphs

A generalization of interval graph is introduced for cosmid contig mapping of DNA. A graph is a tagged probe interval graph if its vertex set can be partitioned into two subsets of probes and nonprobes, and a closed interval can be assigned to each vertex such that two vertices are adjacent if and only if at least one of them is a probe and one end of its corresponding interval is contained in the interval corresponding to the other vertex. We show that tagged probe interval graphs are weakly triangulated graphs, hence are perfect graphs. For a tagged probe interval graph with a given partition, we give a chordal completion that is consistent to any interval completions with respect to the same vertex partition.     

Brouwer不动点定理的证明

文章没有利用代数拓扑知识,而是利用点集拓扑知识证明了Brouwer不动点定理。     

Construction of a Dose–Illness Relationship via Modeling Morbidity and Application to Risk Assessment of Wastewater Reuse

A disease burden (DB) evaluation for environmental pathogens is generally performed using disability‐adjusted life years with the aim of providing a quantitative assessment of the health hazard caused by pathogens. A critical step in the preparation for this evaluation is the estimation of morbidity between exposure and disease occurrence. In this study, the method of a traditional dose–response analysis was first reviewed, and then a combination of the theoretical basis of a “single‐hit” and an “infection‐illness” model was performed by incorporating two critical factors: the “infective coefficient” and “infection duration.” This allowed a dose–morbidity model to be built for direct use in DB calculations. In addition, human experimental data for typical intestinal pathogens were obtained for model validation, and the results indicated that the model was well fitted and could be further used for morbidity estimation. On this basis, a real case of a water reuse project was selected for model application, and the morbidity as well as the DB caused by intestinal pathogens during water reuse was evaluated. The results show that the DB attributed to Enteroviruses was significant, while that for enteric bacteria was negligible. Therefore, water treatment technology should be further improved to reduce the exposure risk of Enteroviruses . Since road flushing was identified as the major exposure route, human contact with reclaimed water through this pathway should be limited. The methodology proposed for model construction not only makes up for missing data of morbidity during risk evaluation, but is also necessary to quantify the maximum possible DB.     

L—fuzzy拓扑空间中的局部强F紧性

本文在L—fuzzy拓扑空间中引进了六种局部强F紧性,研究了它们之间的关系,证明了其局部强F紧性具有闭(开)遗传性质,其余两种具有闭遗传性质。最后。证明了两种局部强F紧性是L不映射的逆不变量。     

完备度量空间中四个映象的公共不动点

利用度量空间中自映象对相容的条件，讨论了完备度量空间中四个映象的公共不动点的存在性，推广和统一了已有文献中的某些结果．     

形式语言中的上下文无关和上下文相关

形式语言与自动机理论已成为计算机科学的理论基础；对于程序设计语言的说明和分析尤其重要。文中介绍了形式语言与自动机理论中的基本原理，给出了上下文无关文法、上下文相关文法及其相应语言的定义，讨论了它们之间的关系。     

用压缩映射原理证明常系数线性常微分方程组解的存在性与唯一性定理

为了证明高阶常系数线性常微分方程组解的存在性与唯一性定理，首先把它化为一阶常系数线性常微分方程组，又把一阶方程组化为积分方程组，再利用压缩映射原理，证明积分方程组有且只有一组解．