如何做好全装修房的装修施工工艺流程控制

通过对精装修房的装修施工各个阶段工序的合理安排及各阶段要求和控制点的检查,来确保整个楼盘的精装修质量。

如何做好全装修房的装修施工工艺流程控制

通过对精装修房的装修施工各个阶段工序的合理安排及各阶段要求和控制点的检查来确保整个楼盘的精装修质量。

教学及考试中的C语言程序题智能评分算法

为有效提高C语言中间表达式解读程序信息的能力,在结合C语言自身语言特点的基础上,引入流程控制图(Flow Control Graph,FCG)匹配自动评分方法,该方法能够根据C语言的特点,计算学生答案与参考答案之间的相似度,给出评分。引入最近邻(Flow Control-KNN,FC-KNN)算法来对FCG算法进行模板脱敏,在FCG的基础上,运用k临近算法根据提取的特征对程序进行评分。实验结果证明,FCG和FC-KNN算法在独立运行时分别具有91.5%和92.3%的平均准确率,而经过融合后,算法之间实现了优势互补,准确率提升到94.0%,在独立运行的情况下,FC-KNN算法的评分效果较FCG好,准确性更高,对两种算法进行数据融合、优势互补,验证了集成后的分类模型在评分的整个过程中,均能够达到良好的分类效果,具有较高的准确率。

建设现代化油田质量管理体系模式的研究

质量管理体系包括制定质量方针、目标以及质量策划、控制、保证和改进等活动。按照建设现代化油田升级需要,重点突出在地面工程及采油工艺等系统编写流程控制图,实现质量过程全面受控一体化布局,通过逐步多层地计划、建立、实施质量管理体系,能够全面提高经营管理水平,形成现代化油田管理标准规范,解决企业管理相对滞后问题。

Approach to evaluating exception handling of programs

To solve the problems that the exception handling code is hard to test and maintain and that it affects the robustness and reliability of software, a method for evaluating the exception handling of programs is presented. The exception propagation graph （EPG） that describes the large programs with exception handling constructs is proposed by simplifying the control flow graph and it is applied to a case to verify its validity. According to the EPG, the exception handling code that never executes is identified; the points that are the most critical to controlling exception propagation are found; and the irrational exception handling code is corrected. The constructing algorithm for the EPG is given; thus, this provides a basis for automatically constructing the EPG and automatically correcting the irrational exception handling code.

Block-based test data adequacy measurement criteria and test complexity metrics

On the basis of software testing tools we developed for programming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program\|based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J\|complexity 0; J\|complexity 1; J\|complexity \{1+\}; J\|complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.

Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Specifications

Today＇s automation industry is driven by the need for an increased productivity, higher flexibility, and higher individuality, and characterized by tailor-made and more complex control solutions. In the processing industry, logic controller design is often a manual, experience-based, and thus an error-prone procedure. Typically, the specifications are given by a set of informal requirements and a technical flowchart and both are used to be directly translated into the control code. This paper proposes a method in which the control program is constructed as a sequential function chart （SFC） by transforming the requirements via clearly defined intermediate formats. For the purpose of analysis, the resulting SFC can be translated algorithmically into timed automata. A rigorous verification can be used to determine whether all specifications are satisfied if a formal model of the plant is available which is then composed with the automata model of the logic controller （LC）.