基于Event-B和Rodin开展形式化软件工程教学

形式化软件工程是软件工程的重要组成部分。Event-B方法是一种软件形式化开发方法,Rodin是支持Event-B方法的开放工具集。基于Event-B方法和Rodin开展形式化软件工程教学,有益于学生正确理解精化等重要的软件工程概念,理解并掌握开发可信软件的方法,是软件工程教学的重要补充。     

市政工程给水管道施工质量控制

在各个城市市政工程给水管道的施工中,相关部门在质量监测和管理等方面的工作中仍然存在不足之处。因此,如何解决市政工程给水管道施工中出现的各种故障,是相关施工人员值得思考的问题。     

岩土工程勘察的重点分析

近年来,岩土工程勘察技术发展得非常快,研究领域不断拓展,取得了较多的成就。但是,在发展过程中也存在一些不足。重点分析了岩土工程勘察工作,并结合实际工作提出一些个人意见,以期能为相关工作提供帮助。     

宜春市状元洲抬水工程设计浅析

以江西省宜春市状元洲抬水工程为实例,探讨了橡胶坝及升卧式闸门在抬水工程中的设计及应用.     

软件开发框架模型——现实世界问题的结构化分析

对软件开发框架模型提出了一种新的构化的分析方法,同时介绍了常用的结构化分析的工具及其更实用情况。     

软件类专业校企合作共建实训基地研究

从国家发展时工程型人才需求出发,分析了工程应用型人才培养的必要性,以及校企共建实训基地在工程应用型人才培养方面所起的作用.结合高校软件类专业工程应用型人才培养的现状、特点和要求,以及软件类专业实训基地的特点,提出了当前软件类专业校企合作实训基地的模式,探讨了建立校企合作实训基地必须要考虑和解决的问题.     

工学结合在高职计算机专业教学改革中的研究

"工学结合,校企合作"是中国这几年来职业教育发展进程中最具特色、最突出的办学经验,笔者结合自己实际教学,从教学面临的问题、解决方案、取得的成效等方面提出了一些具体的改进措施和建议,以促进和加强计算机专业学生的职业能力和职业素质的培养。     

Direct 5-axis tool-path generation from point cloud input using 3D biarc fitting

In reverse engineering, geometrical information of a product is obtained directly from a physical shape by a digitizing device. To fabricate the product, manufacturing information (usually tool-path) must be generated from a CAD model. The data digitized must be processed and in most cases, a surface model is constructed from them using some of the surface fitting technologies. However, these technologies are usually complicated and the process for constructing a surface patch from a massive digitizing data is time-consuming. To simplify the process for getting tool-path information, a simple algorithm is proposed in this paper. The algorithm is used to generate a 5-axis machining tool-path. Instead of implementing any complicated surface fitting techniques, a direct method is proposed for constructing three-dimensional (3D) triangular mesh from the digitizing data with the mesh points considered as the tool contact locations. Depending on the locations of the points digitized, a decimation procedure is applied such that some of the digitizing data will be filtered out. Then, the tool axis orientations which must be determined in 5-axis tool-path are calculated and the tool center locations are determined accordingly. A 3D biarc fitting technique is applied for all the tool center locations so that a complete 5-axis tool-path is obtained.     

Advanced product planning: a comprehensive process for systemic definition of new product requirements

This paper reports results of research into the definition of requirements for new consumer products––specifically, electro-mechanical products. The research dealt with the derivation of design requirements that are demonstrably aligned with stakeholder needs. The paper describes a comprehensive process that can enable product development teams to deal with statements of product requirements, as originally collected through market research activities, in a systematic and traceable manner from the early, fuzzy front end, stages of the design process. The process described has been based on principles of systems engineering. A case study from its application and evaluation drawn from the power sector is described in this paper. The case study demonstrates how the process can significantly improve product quality planning practices through revision of captured product requirements, analysis of stakeholder requirements and derivation of design requirements. The paper discusses benefits and issues from the use of the process by product development teams, and identifies areas for further research. Finally, the conclusions drawn from the reported research are presented.

基于Delaunay三角剖分的半径补偿新算法

合理的半径补偿算法能有效提高逆向工程的最终精度.在分析了现有半径补偿算法及其相应优缺点的基础上,针对三角网格法,通过Delaunay三角剖分思想的引入,提出了一种基于Delaunay三角剖分的半径补偿新算法,并对其中三角剖分的优化准则、边界点的处理等关键技术进行了详细的阐述,最后以增压器叶轮为例,实现了叶轮叶面测量数据的半径补偿.