We focus on the quantitative and local topological properties of range images. We consider the spaces Mm of m × m high-contrast patches of range images for m=?3, 5, 7, 9, 11. Using computational topological tools to analyze range image patches, we detect that M3 (M9, M11) has core subsets with the topology of a circle, M3, M5, M7, M9 and that M11 have some subspaces with the topology of a Klein bottle. We also discover that the largest subspace with the Klein bottle’s topology decreases as the measurements of patches increase, which generalizes the results in the paper of H. Adams and G. Carlsson, and demonstrates properties among optical images and range image patches, which are more similar than those established by Lee et al.
The integration of planning and scheduling decisions in rigorous mathematical models usually results in large scale problems. In order to tackle the problem complexity, decomposition techniques based on duality and information flows between a master and a set of subproblems are widely applied. In this sense, ontologies improve information sharing and communication in enterprises and can even represent holistic mathematical models facilitating the use of analytic tools and providing higher flexibility for model building. In this work, we exploit this ontologies’ capability to address the optimal integration of planning and scheduling using a Lagrangian decomposition approach. Scheduling/planning sub-problems are created for each facility/supply chain entity and their dual solution information is shared by means of the ontological framework. Two case studies based on a STN representation of supply chain planning and scheduling models are presented to emphasize the advantages and limitations of the proposed approach. 相似文献
AbstractBuilding thermal inertia and operation control strategies have impacted on the thermal performance of a radiant floor heating system. This study conducts a two-dimensional numerical analysis of an intermittently operated radiant floor heating system using the Re-Normalization Group model with Discrete Ordinates Radiation model. A detailed numerical simulation setups and various analyses are provided, including grid independency analysis, initial condition, time step sizes and external boundary conditions. Three different weekend day intermittent operation strategies are investigated. The results showed that Case 3 designed with pre-heating of 20?h has better performance compared to Case 1 designed with pre-heating of 8?h and Case 2 designed with pre-heating of 14?h. The average indoor air temperature differences of approximate 2.1, 1.6 and 1.2 K are observed for Case 1, Case 2 and Case 3, respectively, when comparing two-time slot at 8:00am on Friday morning and Monday morning. This significantly highlights the effect of thermal inertia and the potential of energy saving due to the utilization of intermittent operation. Therefore, the current study presents numerical simulation potential in evaluating the radiant floor heating effects on indoor thermal environment, taking into account building thermal inertia and transient external climatic conditions. 相似文献
1-read/1-write (1R1W) register file (RF) is a popular memory configuration in modern feature rich SoCs requiring significant amount of embedded memory. A memory compiler is constructed using the 8T RF bitcell spanning a range of instances from 32 b to 72 Kb. An 8T low-leakage bitcell of 0.106 μm2 is used in a 14 nm FinFET technology with a 70 nm contacted gate pitch for high-density (HD) two-port (TP) RF memory compiler which achieves 5.66 Mb/mm2 array density for a 72 Kb array which is the highest reported density in 14 nm FinFET technology. The density improvement is achieved by using techniques such as leaf-cell optimization (eliminating transistors), better architectural planning, top level connectivity through leaf-cell abutment and minimizing the number of unique leaf-cells. These techniques are fully compatible with memory compiler usage over the required span. Leakage power is minimized by using power-switches without degrading the density mentioned above. Self-induced supply voltage collapse technique is applied for write and a four stack static keeper is used for read Vmin improvement. Fabricated test chips using 14 nm process have demonstrated 2.33 GHz performance at 1.1 V/25 °C operation. Overall Vmin of 550 mV is achieved with this design at 25 °C. The inbuilt power-switch improves leakage power by 12x in simulation. Approximately 8% die area of a leading 14 nm SoC in commercialization is occupied by these compiled RF instances. 相似文献
The flame front deformation instability of low-velocity filtration combustion within an inert packed bed is studied based on the initial preheating non-uniformity. Based on the experimental phenomena, an initial thermal perturbation model is numerically proposed so as to predict the deformation behaviors of the flame front instabilities. The numerical prediction indicates that the assumption of an initial thermal perturbation is a feasible explanation as the cause of the flame front inclination instability. As the initial thermal perturbation increases, the phenomena of the flame front break and shrinking instabilities could easily occur at high filtration velocity or low equivalence ratio. Moreover, the evolutions of the flame front break rate and the shrinking rate are quantitatively analyzed. 相似文献
Although lipases are widely applied in a wide variety of reactions, available information on the factors that are responsible for the substrate specificities of lipases from different sources is scarce. In this paper, nine lipase‐producing microorganism strains were isolated from oil‐containing samples. The properties of these enzymes, including pH optima, temperature optima, thermal stability, and pH stability, vary significantly with the different sources from which these lipases were isolated. The substrate specificities of the nine lipases, including fatty acid and positional specificities, were also studied. The fatty acid specificities of the nine lipases were observably different toward 15 substrates with different carbon chain lengths, different saturation degrees and different side chains. The lipases from S3Penicillium citrinum (PCL), MJ1Aspergillus niger (ANL), MJ2Aspergillus oryzae (AOL), YM Bacillus coughing (BCL), S9Geotrichum candidum (GCL), and S11Candida lypolytica (CLL) showed the strongest specificities to short‐chain esters, and the other lipases showed strong selectivity for medium‐ or long‐chain and branched esters. The positional specificities were examined by analyzing the hydrolytic products of triolein catalyzed by the nine lipases, using TLC. The lipases can be mainly classified into two groups by their specificities for the ester bond at position 2 of triglycerides; one group can selectively hydrolyze the ester bond at position 2 of the triglycerides, the other group cannot. All these nine lipases were divided into four groups by hierarchical clustering analysis on the basis of the results of fatty acid and positional specificities. 相似文献
Thin-walled parts are widely used in the aerospace, shipbuilding, and automotive industry, but due to its unique structure and high accuracy requirements, which leads to an increase in scrapped parts, high cost in production, and a more extended period in the trial machining process. However, to adapt to fast production cycles and increase the efficiency of thin-walled parts machining, this paper presents a Digital Twin-driven thin-walled part manufacturing framework to allow the machine operator to manage the product changes, make the start-up phases faster and more accurate. The framework has three parts: preparation, machining, and measurement, driven by Digital Twin technologies in detail. By establishing and updating the workpiece Digital Twin under a different status, various manufacturing information and data can be integrated and available to machine operators and other Digital Twins. It can serve as a guideline for establishing the machine tool and workpiece Digital Twin and integrating them into the machining process. It provides the machine operator opportunities to interact with both the physical manufacturing process and its digital data in real-time. The digital representation of the physical process can support them to manage the trial machining from different aspects. In addition, a demonstrative case study is presented to explain the implementation of this framework in a real manufacturing environment. 相似文献