-
公开(公告)号：CN1511667A
公开(公告)日：2004-07-14
申请号：CN200310114720.2
申请日：2003-12-27
Applicant: 通用电气公司
Abstract: 一种环形或倒置杯形的切削元件被用作电加工的工具电极，从而将带叶片圆盘上的翼片粗加工至接近于最后成形的形状。切削元件由CNC(由计算机数字控制的)驱动组件作用而围绕带叶片圆盘旋转和定位。
-
公开(公告)号：CN106528100B
公开(公告)日：2020-06-09
申请号：CN201610922808.4
申请日：2016-08-05
Applicant: 通用电气公司
Inventor： T·L·约翰逊 , A·W·克拉波 , M·R·杜林 , A·瓦施 , K·Y·肖 , L·帕罗里尼 , P·马诺里奥斯 , M·李 , 郁涵 , S·A·斯塔塞 , G·R·斯科斯
Abstract: 公开了一种用于安全关键软件的基于模型的设计的方法。该方法包括接收自然语言软件需求，通过实施语义建模或图形化建模来开发规范模型，将形式需求分析应用于规范模型，由规范模型自动生成基于需求的和鲁棒性测试用例，基于规范模型开发设计模型，将测试用例应用于设计模型，使用设计模型自动生成源代码；使用测试用例和静态分析技术来验证源代码，及由所验证的源代码编译可执行目标代码。如果软件规范或设计模型的分析的结果不符合要求，则调整规范或设计模型，以修正任何不一致，以及重复应用分析和测试用例。公开了一种用于实施基于模型的设计的系统和一种非暂时性计算机可读介质。
-
公开(公告)号：CN100448583C
公开(公告)日：2009-01-07
申请号：CN200310114720.2
申请日：2003-12-27
Applicant: 通用电气公司
Abstract: 本发明提供一种用于加工带叶片圆盘上的翼片的装置，该装置包括环形切削元件，所述环形切削元件可绕轴旋转地被支承并且适用于电加工过程，其中环形切削元件包括倒置杯形构件的环形刀刃。本发明还提供一种一种用于加工带叶片圆盘上的翼片的方法，该方法包括以下步骤：驱动环形切削元件绕其轴旋转；为环形切削元件供电；为环形切削元件提供流体；使用可编程控制的装置在三个彼此相对的方向上移动环形切削元件，并从工件上腐蚀掉材料以形成带叶片圆盘。
-
公开(公告)号：CN106528100A
公开(公告)日：2017-03-22
申请号：CN201610922808.4
申请日：2016-08-05
Applicant: 通用电气公司
Inventor： T·L·约翰逊 , A·W·克拉波 , M·R·杜林 , A·瓦施 , K·Y·肖 , L·帕罗里尼 , P·马诺里奥斯 , M·李 , 郁涵 , S·A·斯塔塞 , G·R·斯科斯
Abstract: 公开了一种用于安全关键软件的基于模型的设计的方法。该方法包括接收自然语言软件需求，通过实施语义建模或图形化建模来开发规范模型，将形式需求分析应用于规范模型，由规范模型自动生成基于需求的和鲁棒性测试用例，基于规范模型开发设计模型，将测试用例应用于设计模型，使用设计模型自动生成源代码；使用测试用例和静态分析技术来验证源代码，及由所验证的源代码编译可执行目标代码。如果软件规范或设计模型的分析的结果不符合要求，则调整规范或设计模型，以修正任何不一致，以及重复应用分析和测试用例。公开了一种用于实施基于模型的设计的系统和一种非暂时性计算机可读介质。
-
-
-
Search Results
4
records
(took 0.034 seconds)
