简介：

简介：ＦＲＡＭＥＷＯＲＫＯＦＡＤＩＳＴＲＩＢＵＴＥＤＥＮＧＩＮＥＥＲＩＮＧＤＢＭＳＷａｎｇＴａｏ；ＬｉｎＺｏｎｇｋａｉ；ＧｕｏＹｕｃｈａｉＳＭＯＯＴＨＳＵＲＦＡＣＥＩＮＴＥＲＰＯＬＡＴＩＯＮＯＶＥＲＡＲＢＩＴＲＡＲＹＴＲＩＡＮＧＵＬＡＴＩＯＮＳＢＹＳＵＢＤ...

简介：Thispaperdealswithmodelgenerationforequationaltheories,i.e.,automaticallygenerating(finite)modelsofagivensetof(logical)equations.Ourmethodoffinitemodelgenerationandatoolforautomaticconstructionoffinitealgebrasisdescribed.Someexamplesaregiventoshowtheapplicationsofourprogram.Wearguethat,thecombinationofmodelgeneratorsandtheoremproversenablesustogetabetterunderstandingoflogicaltheories.Abriefcomparisonbetwweenourtoolandothersimilartoolsisalsopresented.

简介：EngineeringChange(EC)managementforaProductLifecycleManagement(PLM)system,includingECdatamodel,ECevaluationandECimplementationispresented.AmethodofdynamicandparallelECevaluationisproposed,whichbreaksanECevaluationtaskintoseveralsubtasks.Suchsubtaskscanbedynamicallyandsimultaneouslyproceeded,disassembledandcommunicatedbydifferentspecialists,andatthesametimeasetofECobjectsiscreated.ThisapproachprovidesflexibleandeffectiveevaluationoftheEC.TheECimplementationfollowedwillfurtherensurethecompletenessandconsistencyofECdata.

简介：

简介：基于在国际软件确定基准点标准组(ISBSG)仓库包含的数据的实验分析，这篇论文基于工程努力论述软件工程计划持续时间模型。持续时间模型为全部数据集并且为为个人计算机开发的工程的子集被造，中间范围并且大型机平台。持续时间模型也为比努力并且为要求努力的超过400人小时的工程的400人小时要求少数的工程被构造。作为第二个独立变量增加分配资源的最大的数字解释持续时间也被分析的实用性。从在功能的功能的尺寸削尖的工程直接造持续时间模型的机会也被调查。电子增补材料这件物品(doi:10.1007/s11390-007-9051-5)的联机版本contatins增补材料，它对授权用户可得到。

简介：

简介：

简介：Basedonlong-timeresearchonvocationalteachingcubetheoryingraphicseducationandanalyzingontheintellectualstructureintheprocessofreadingengineeringdrawing,thegraphicsintellectualthree-dimensionalmodel,whichismadeupof100cubes,isfoundedandtestedinhighervocationalgraphicseducation.Thissystemservesasagoodguidancetothegraphicsteaching.

简介：

简介：

简介：

简介：

简介：ThecurvedsurfaceofballmovementisaconnectingDentpipecommonlyusedinhydraulicengineering.Thecurvedsurfaceposesacomplicatedproblemwithcomputation.Themathematicmodelofthecircularcurvedsurfaceofballmovementinengineeringissetupbyadoptingtheconceptofenvelopecurvedsurface.

简介：thereconstructionoftransitionsurfaceisoneoftimeconsumingactivitiesduringsurfacemodelinginreverseengineering.Yetcurrentlyavailablesoftwareapplicationssufferfromshortcominginprocessingtheconnectionamongfreeformsurfaces.Inthispaper,anewmethodisputforwardcombiningSurfacerwithUnigraphicstoresolvethisproblem:CurvesandsurfacesarefirstconstructedinSurfacer,then,thefinisheddataisimportedintoUnigraphicsbasedonIGESformat.Atlast,thetransitionsurfacecanbereconstructedinUnigraphics.Theapplicationofthismethodintransitionsurfacereconstructionisillustratedbymeansoftwocasestudies,showingtheconnectionbetweenfreeformsurfaces;filletingandroundingamongmultiplesurfaces;transitionsurfacebetweentwosetsofsurfaces.

简介：Reverseengineeringdealingwithimagesistraditionallybasedonimageprocessingandcontourrecognition.Anewmethodispresentedbasedonthecombinationofsectionalslicingwithimagemosaic.Sectionalcontoursofthetargetobjectaregeneratedbycolorfulliquidorlaserscanning,theseimagesfromdifferentviewsarefusedintoasetofcompletecross-sectionalimages,therebythewholepracticalmodelisreconstructedin3Dspace.

简介：

简介：Alambdasystemwithalgebraicoperators,Lambda-plussystem,isintroduced.Aftergivingthedefinitionsofthesystem,wepresentasufficientconditionforformulatingamodelofthesystem.Finally,amodelofsuchsystemisconstructed.

简介：Multiway决定图(MDG)是排序许多的一阶的逻辑的一个子集的一个正规代表。这个子集与抽象类型和uninterpreted功能符号概括平等的逻辑。在抽象、具体的排序之间的区别反射在数据路径和控制之间的硬件区别。这里，我们认为方法改进MDG建设。效率通常通过Generalized-If-Then-Else(GITE)的使用被完成在二进制决定图包裹的操作员。因而，我们考察为MDG确认技术使用的主要算法。特别地，关系产品并且由包含修剪算法通过将导致更有效的实现的这个单个GITE操作员一致地被定义。而且，我们提供他们的正确性证明。这个工作能被看作使ROBBD算法适应抽象种类和uninterpreted功能的领域的一个方法。新工具，叫的NuMDG，接受一种扩大SMV语言，支持抽象数据排序。最后，我们表明NuMDG工具的效率并且从SMV用一套基准评估它的表演的现在的试验性的结果包装。

简介：