On the local behavior of spaces of range image patches

We focus on the quantitative and local topological properties of range images. We consider the spaces M_m 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 M₃ (M₉, M₁₁) has core subsets with the topology of a circle, M₃, M₅, M₇, M₉ and that M₁₁ 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.

     

Supply chain planning and scheduling integration using Lagrangian decomposition in a knowledge management environment

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.     

Compiler compatible 5.66 Mb/mm2 8T 1R1W register file in 14 nm FinFET technology

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 μm² 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/mm² 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 V_min 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.     

济钢105m^2带冷机综合密封节能降耗提高冷却效率的实践

由于烧结机扩容同时工艺优化去掉热筛后，使烧结矿的料层提高，热返矿进入带冷机超负荷运行料温持续偏高，并且带来台车漏风漏料扬尘，冷却风量效率低，烧损成品皮带等问题。通过采取综合密封及改进相关冷却方式，解决了以上存在的问题，并达到节能降耗的目的。     

利用MINITAB软件对质量异议的分析

运用MINITAB软件对济钢中厚板厂2005年质量异议情况进行分析,可知Q345系列低合金钢是产生质量异议的主要产品,性能及厚度不合、短尺及凹坑是主要异议项目,加热及轧制制度不合理是产生质量异议的主要原因。为此在生产Q345系列低合金钢时,分别在加热、轧制及剪切工序采取了相应的改进措施,主要质量异议比去年同期降低55.6%。     

济钢350m^3高炉高富氧生产技术

分析了济钢350m^3高炉高富氧对产量,理论燃烧温度,炉况顺行状况,焦比和生产效益的影响,高富氧可提高产量,但升高焦比和高炉理论燃烧温度,一定程度上影响高炉顺行,存在富氧效益最大化的适宜富氧率.高炉生产应低富氧高喷煤,根据钢目前的情况,富氧率经2%-3%为宜.     

Verification of humans using the electrocardiogram

A feasibility study on the potential of the electrocardiogram (ECG) for biometrical applications is presented. A test set of 234 ECG recordings from 74 subjects was compiled emulating a realistic scenario for ECG biometrics by using short measurements of 10 s length in combination with a practicable choice of ECG leads. The long-term stability of the individual ECG was investigated during time periods up to several years. Verification and identification was done by utilizing the heart vector and a simple distance measure. As a result, encouraging error rates were obtained; for verification, for instance, the achieved equal error rate was smaller than 3%.     

离心式空气压缩机喘振原因分析

离心式空气压缩机运行效率较高 ,故障率低 ,不宜发生喘振。因此 ,一旦发生喘振 ,其原因查找更加困难。必须了解压缩机的工作原理、控制方式、掌握各部件性能 ,认真检查各部件是否运行完好 ,才能排除故障     

16MnR钢板超声波检测不合原因分析

为找出16MnR钢板超声波检测不合的原因,在检测缺陷部位取样,借助电子显微镜和电子探针,对钢板组织和微区成分进行了分析。结果表明,检测不合的主要原因是组织中存在的氧化物、硫化物夹杂,C、Mn等元素的成分偏析以及由夹杂物造成的疏松和微裂纹。采取提高钢质纯净度、控制浇注温度和拉速等改进措施,检测合格率由82.5%提高到92%。