六西格玛设计在新产品Q450NQR1开发试制中的应用

阐述了梅钢将六西格玛设计方法引入产品研发的基本想法,描述了六西格玛设计的定义及其作用,在研究了六西格玛设计模型的基础上,结合梅钢材料设计及生产的特点,提出了梅钢DCOV的独特设计模型,并以Q450NQR1新产品开发试制为例,详细介绍了梅钢采用该模型在新品开发中应用的全过程,并验证了有效性。     

XML模式到关系数据模式转换的研究

分析和研究了DTD模式到关系模式的内联映射算法,提出一种带约束条件和函数依赖的映射方法。该方法结合给定规则对XML DTD进行简化,构造带约束条件的DTD图,并依照图中的一些函数依赖关系以及函数依赖关系的讨论得到最终关系集合,在引入映射方法的同时给出实例进行介绍,从而得到更加完备的关系模式。     

基于数据库的函数搜索设计

基于数据库的函数库搜索可实现对各种编程语言以及应用软件(如Matlab等数学软件)中功能函数定义的汇聚,建立数据库和实现交互式的可视界面,从而方便程序员或软件用户对各种函数的快速查找.本文给出了基于数据库的函数库搜索系统的设计过程.     

现代大地测量参考系统的定义

说明了现代大地测量参考系统的定义及建立在大地测量系统的基础。给出在目前全球尺度已达到几个cm量级精度的基础上，现代大地测量参考系统确立的4个步骤。     

一种对ICT复杂图像进行二值化处理的方法

比较、评价了各种经典的图像二值化方法对ICT图像二值化处理的效果。综合分析及实践发现，实验法、大津法不适用于对ICT图像进行二值化分割；而迭代法、边缘检测阈值法、加权边缘检测阈值法对ICT图像二值化分割效果不好。直方图法处理的效果稍好，但它仍将非常接近背景灰度的目标物部分错误划分为背景。提出“背景法”、直方图法与背景法结合的改进方法，可对ICT断层图像进行较理想的二值化分割。     

国内外分布式电源定义及发展现况对比分析

分布式电源作为大电源的重要补充,具有清洁、高效的特点,将成为我国促进节能减排和应对气候变化的重要措施之一。目前国际上仍没有通用权威的分布式电源定义,本文在归纳分析18个典型国家(组织)分布式电源定义的基础上,总结了分布式电源的基本特征,并结合我国国情和电网特点,提出了我国分布式电源的一般定义;从资源条件、激励政策和产业基础三个方面分析了典型国家分布式电源发展的基础,并结合发展现状进行了对比分析。     

Parameter reference immutability: formal definition, inference tool, and comparison

Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. A parameter reference is immutable if it cannot be used to modify the state of its referent object during the method’s execution. We formally define this notion, in a core object-oriented language. Having the formal definition enables determining correctness and accuracy of tools approximating this definition and unbiased comparison of analyses and tools that approximate similar definitions. We present Pidasa, a tool for classifying parameter reference immutability. Pidasa combines several lightweight, scalable analyses in stages, with each stage refining the overall result. The resulting analysis is scalable and combines the strengths of its component analyses. As one of the component analyses, we present a novel dynamic mutability analysis and show how its results can be improved by random input generation. Experimental results on programs of up to 185 kLOC show that, compared to previous approaches, Pidasa increases both run-time performance and overall accuracy of immutability inference.     

线性建筑构件的空间性问题研究

在框架结构获得普遍应用以后，建筑构件往往被分为两个部分：承重构件（线性框架）与空间构件（围护与分隔墙体）。这样的一种两分虽然有着实际操作和陈述上的便利，但是它缺乏学科内在的严密性与整体性，并因此而造成教学上概念理解方面的缺陷。本文反对这么一种简单化的理解方式，而是致力于探索在承重作用以外，线性构件的空间意义。为此，在简短的问题陈述以后，论文以森佩尔的“面饰”概念来展开对于空间的讨论，接着，论文以线性框架为主要研究对象，指出其与施马索夫的空间概念的暗合，通过具体的案例研究呈现了限定与划分这两种空间创造方式的不同性质。最后，指出这一研究在建筑基础教育上的意义。     

物质系统的及其表达式

引入外功的概念,导出构成(火用)分析理论基础的三个基本定理,给出一个明确的物质系统(火用)的定义和常用物质系统(火用)的表达式。     

图形化工作流过程定义工具的设计

本文提出并实现了基于图形化用户界面的工作流过程定义工具,同时,实现了完全Web化的工作流收发文管理。图形化的过程定义工具可以提高用户建模的效率,可以直观方便的创建复杂的流程定义;B/S架构可以有效改善系统的易用性和降低系统维护工作量。