Domain-SpecificModelingLanguage(DSML)definedbyinformalwaycannotpreciselyrepresentitsstructuralsemantics,sopropertiesofmodelssuchasconsistencycannotbesystematicallyanalyzedandverified.Inresponse,thepaperproposesanapproachforautomatical-lyreasoningconsistencyofDS

AsaModel-DrivenDevelopmentmethodology(MDD)forthespecificdomain,Domain-SpecificModeling(DSM)hasbeenwidelyandsuccessfullyusedinsystemdesignandanalysisofspecificareas.Inspiteofitsgeneralimportant,duetoinformaldefinitionofDomain-SpecificModelingLanguage(DSMLs),t

里面包括了oracle过程当中所需要的oracleasm的所有完整的包，kmod，asmlib，pkdsh等包全部打包完毕。

荷兰ASML光刻机公司内部控制类PPT资料介绍传递函数计算描述开环,闭环，灵敏度传函的定义；
伯德图的matlab绘制

从红帽官网下载的kmod-oracleasm包，涵盖7.1,7.2,7.3,7.4,7.5,7.6各个版本系统，大家在安装时对应系统版本安装，配合oracle官网https://www.oracle.com/technetwork/server-storage/linux/asmlib/rhel7-2773795.html两个包安装即可。

对象管理组织（OMG）系统建模语言（SystemsModelingLanguage，SysML）建模实例，对混合动力SUV汽车的设计采用SysML图形建模。

《基于模型的系统工程最佳实践》从方法论的角度，描述了基于模型的系统工程最佳实践。
主要从系统工程的视点出发，把系统开发的前期系统工程的工作任务、责任范围，以工作流的方式，解剖得淋漓尽致，为系统的后续开发和系统的确认与验证，提供了无缝衔接。
本书以系统工程实践者为对象，通过众多截屏、注释和最佳实践技巧，帮助读者清晰理解工作流的细节。
本书的目的是帮助读者在集成系统和软件开发中应用基于模型的系统工程标准建模语言SysML。
第1章绪论1.1范围1.2内容概述第2章HarmonySE基础2.1Rational集成系统嵌入式实时开发流程：Harmony2.2基于模型的系统工程流程2.2.1需求分析2.2.2系统功能分析2.2.3设计综合2.2.3.1架构分析(权衡分析研究)2.2.3.2架构设计2.2.4系统工程交付2.3SysML应用于基于模型的系统工程的基本工件2.3.1需求图2.3.2结构图2.3.2.1模块定义图2.3.2.2内部模块图2.3.2.3参数图2.3.3行为图2.3.3.1用例图2.3.3.2活动图2.3.3.3序列图2.3.3.4状态图2.3.4需求分析系统功能分析层次的工件关系2.4服务请求驱动的建模方法第3章Rhapsody项目结构3.1项目结构概览3.2需求分析套件包3.3功能分析套件包3.4设计综合套件包3.4.1架构分析套件包3.4.2架构设计套件包3.5系统层定义第4章案例：安全系统4.1案例工作流4.2创建Harmony项目结构4.3需求分析4.3.1DOORS：涉众需求的导入4.3.2DOORS：系统需求的导入4.3.3关联系统需求到涉众需求4·3.4DOORS一＞Gateway-＞Rhapsody：导入系统需求4.3.5系统级用例定义……第5章交付到子系统开发

《敏捷系统工程》表达了系统工程的一种愿景，即在敏捷的工程背景环境中，精确的需求规范、结构和行为可以满足系统安全性、安保性、可靠性以及性能等更大的关注。
世界著名的作家及演说家BrucePowelDouglass博士将敏捷方法和基于模型的系统工程(MBSE)有机结合在一起，定义了系统整体的特性，从而避免传统的基于文档规范的方式所带来的错误。
　《敏捷系统工程》阐述了系统开发的整个生命周期，包括需求、分析、设计以及向特定工程学科的转交。
Douglass博士自始至终都将敏捷方法与SysML和MBSE相结合，进而为系统工程师提供概念和方法层面应用的流程指南，使他们可以避免规范中的缺陷并改进系统的质量。
与此同时，敏捷方法可以降低系统工程的工作和成本。
主要特色◆识别出在系统工程的环境中如何更有效地应用敏捷方法的概念和技术◆展示了如何进行基于模型的功能分析并将分析的结果往回与系统需求和利益攸关者需要相关联，并往前与系统架构和接口定义相关联◆提供了一种用于保证系统工程数据质量和正确性的方式(并且是在系统建造之前)◆解释了敏捷系统架构的规范以及系统功能到系统组件的分配◆阐释了如何将工程规范数据传递到下游工程而不发生保真度的丢失◆包括了跨行业系统全生命周期中不同阶段的详细案例，其中以工业外骨骼“Waldo”为例介绍了复杂系统的系统工程过程

美国LennyDelligatti所著的《SysML精粹》电子资源，侯伯威、朱艳兰所译中文版。

《快学Scala》英文第二版：ScalafortheImpatientSecondEditionCayS.Horstmann目录：1THEBASICSA111.1TheScalaInterpreter11.2DeclaringValuesandVariables41.3Co妹妹onlyUsedTypes51.4ArithmeticandOperatorOverloading61.5MoreaboutCallingMethods81.6TheapplyMethod91.7Scaladoc10Exercises152CONTROLSTRUCTURESANDFUNCTIONSA1172.1ConditionalExpressions182.2StatementTermination192.3BlockExpressionsandAssignments20viiContents2.4InputandOutput212.5Loops222.6AdvancedforLoops242.7Functions252.8DefaultandNamedArgumentsL1262.9VariableArgumentsL1262.10Procedures282.11LazyValuesL1282.12Exceptions29Exercises313WORKINGWITHARRAYSA1353.1Fixed-LengthArrays353.2Variable-LengthArrays:ArrayBuffers363.3TraversingArraysandArrayBuffers373.4TransformingArrays383.5Co妹妹onAlgorithms403.6DecipheringScaladoc413.7MultidimensionalArrays423.8InteroperatingwithJava43Exercises444MAPSANDTUPLESA1474.1ConstructingaMap484.2AccessingMapValues484.3UpdatingMapValues494.4IteratingoverMaps504.5SortedMaps504.6InteroperatingwithJava504.7Tuples514.8Zipping52Exercises52viiiContents5CLASSESA1555.1SimpleClassesandParameterlessMethods555.2PropertieswithGettersandSetters565.3PropertieswithOnlyGetters595.4Object-PrivateFields605.5BeanPropertiesL1615.6AuxiliaryConstructors625.7ThePrimaryConstructor635.8NestedClassesL166Exercises686OBJECTSA1716.1Singletons716.2CompanionObjects726.3ObjectsExtendingaClassorTrait736.4TheapplyMethod736.5ApplicationObjects746.6Enumerations75Exercises777PACKAGESANDIMPORTSA1797.1Packages807.2ScopeRules817.3ChainedPackageClauses837.4Top-of-FileNotation837.5PackageObjects837.6PackageVisibility847.7Imports857.8ImportsCanBeAnywhere857.9RenamingandHidingMembers867.10ImplicitImports86Exercises87ixContents8INHERITANCEA1918.1ExtendingaClass918.2OverridingMethods928.3TypeChecksandCasts938.4ProtectedFieldsandMethods948.5SuperclassConstruction948.6OverridingFields958.7AnonymousSubclasses978.8AbstractClasses978.9AbstractFields978.10ConstructionOrderandEarlyDefinitionsL3988.11TheScalaInheritanceHierarchy1008.12ObjectEqualityL11028.13ValueClassesL2103Exercises1059FILESANDREGULAREXPRESSIONSA11099.1ReadingLines1099.2ReadingCharacters1109.3ReadingTokensandNumbers1119.4ReadingfromURLsandOtherSources1119.5ReadingBinaryFiles1129.6WritingTextFiles1129.7VisitingDirectories1129.8Serialization1139.9ProcessControlA21149.10RegularExpressions1169.11RegularExpressionGroups117Exercises11810TRAITSL112110.1WhyNoMultipleInheritance?12110.2TraitsasInterfaces12310.3TraitswithConcreteImplementations124xContents10.4ObjectswithTraits12510.5LayeredTraits12510.6OverridingAbstractMethodsinTraits12710.7TraitsforRichInterfaces12710.8ConcreteFieldsinTraits12810.9AbstractFieldsinTraits13010.10TraitConstructionOrder13010.11InitializingTraitFields13210.12TraitsExtendingClasses13310.13SelfTypesL213410.14WhatHappensundertheHood135Exercises13711OPERATORSL114111.1Identifiers14211.2InfixOperators14311.3UnaryOperators14311.4AssignmentOperators14411.5Precedence14411.6Associativity14511.7TheapplyandupdateMethods14611.8ExtractorsL214711.9ExtractorswithOneorNoArgumentsL214911.10TheunapplySeqMethodL214911.11DynamicInvocationL2150Exercises15312HIGHER-ORDERFUNCTIONSL115712.1FunctionsasValues15712.2AnonymousFunctions15912.3FunctionswithFunctionParameters16012.4ParameterInference16012.5UsefulHigher-OrderFunctions16112.6Closures162xiContents12.7SAMConversions16312.8Currying16412.9ControlAbstractions16612.10ThereturnExpression167Exercises16813COLLECTIONSA217113.1TheMainCollectionsTraits17213.2MutableandI妹妹utableCollections17313.3Sequences17413.4Lists17513.5Sets17713.6OperatorsforAddingorRemovingElements17813.7Co妹妹onMethods18013.8MappingaFunction18213.9Reducing,Folding,andScanningA318413.10Zipping18713.11Iterators18813.12StreamsA318913.13LazyViewsA319013.14InteroperabilitywithJavaCollections19113.15ParallelCollections193Exercises19414PATTERNMATCHINGANDCASECLASSESA219714.1ABetterSwitch19814.2Guards19914.3VariablesinPatterns19914.4TypePatterns20014.5MatchingArrays,Lists,andTuples20114.6Extractors20214.7PatternsinVariableDeclarations20314.8PatternsinforExpressions20414.9CaseClasses205xiiContents14.10ThecopyMethodandNamedParameters20514.11InfixNotationincaseClauses20614.12MatchingNestedStructures20714.13AreCaseClassesEvil?20814.14SealedClasses20914.15SimulatingEnumerations20914.16TheOptionType21014.17PartialFunctionsL2211Exercises21215ANNOTATIONSA221515.1WhatAreAnnotations?21615.2WhatCanBeAnnotated?21615.3AnnotationArguments21715.4AnnotationImplementations21815.5AnnotationsforJavaFeatures21915.5.1JavaModifiers21915.5.2MarkerInterfaces22015.5.3CheckedExceptions22015.5.4VariableArguments22115.5.5JavaBeans22115.6AnnotationsforOptimizations22215.6.1TailRecursion22215.6.2JumpTableGenerationandInlining22315.6.3ElidingMethods22415.6.4SpecializationforPrimitiveTypes22515.7AnnotationsforErrorsandWarnings226Exercises22716XMLPROCESSINGA222916.1XMLLiterals23016.2XMLNodes23016.3ElementAttributes23216.4EmbeddedExpressions233xiiiContents16.5ExpressionsinAttributes23416.6Unco妹妹onNodeTypes23516.7XPath-likeExpressions23516.8PatternMatching23716.9ModifyingElementsandAttributes23816.10TransformingXML23916.11LoadingandSaving23916.12Namespaces242Exercises24317FUTURESA224717.1RunningTasksintheFuture24817.2WaitingforResults25017.3TheTryClass25117.4Callbacks25117.5ComposingFutureTasks25217.6OtherFutureTransformations25517.7MethodsintheFutureObject25617.8Promises25817.9ExecutionContexts260Exercises26018TYPEPARAMETERSL226518.1GenericClasses26618.2GenericFunctions26618.3BoundsforTypeVariables26618.4ViewBounds26818.5ContextBounds26818.6TheClassTagContextBound26918.7MultipleBounds26918.8TypeConstraintsL326918.9Variance27118.10Co-andContravariantPositions272xivContents18.11ObjectsCan’tBeGeneric27418.12Wildcards275Exercises27519ADVANCEDTYPESL227919.1SingletonTypes28019.2TypeProjections28119.3Paths28219.4TypeAliases28319.5StructuralTypes28319.6CompoundTypes28419.7InfixTypes28519.8ExistentialTypes28619.9TheScalaTypeSystem28719.10SelfTypes28819.11DependencyInjection28919.12AbstractTypesL329119.13FamilyPolymorphismL329319.14Higher-KindedTypesL3296Exercises29920PARSINGA330320.1Gra妹妹ars30420.2CombiningParserOperations30520.3TransformingParserResults30720.4DiscardingTokens30820.5GeneratingParseTrees30920.6AvoidingLeftRecursion31020.7MoreCombinators31120.8AvoidingBacktracking31420.9PackratParsers31420.10WhatExactlyAreParsers?31520.11RegexParsers316Contentsxv20.12Token-BasedParsers31720.13ErrorHandling319Exercises32021IMPLICITSL332321.1ImplicitConversions32421.2UsingImplicitsforEnrichingExistingClasses32421.3ImportingImplicits32521.4RulesforImplicitConversions32621.5ImplicitParameters32821.6ImplicitConversionswithImplicitParameters32921.7ContextBounds32921.8TypeClasses33121.9Evidence33321.10The@implicitNotFoundAnnotation33421.11CanBuildFromDemystified334Exercises336Index338

在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。 另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。 为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。