奇迹小说
搜索历史
离散与混杂控制的代数理论(Algebraic Theory of

离散与混杂控制的代数理论(Algebraic Theory of

作者: 王勇,姜正涛,代桂平

29.82万81人 正在读

已完结现代当代当代文学
目录 (131章)
倒序
正文
Chapter1 IntroductionChapter2 Backgrounds2.1 OperationalSemantics(1)2.1 OperationalSemantics(2)2.2 ProofTechniques2.3 TrulyConcurrentProcessAlgebra-APTC2.3.1 BasicAlgebraforTrueConcurrency(1)2.3.1 BasicAlgebraforTrueConcurrency(2)2.3.2 APTCwithLeftParallelComposition2.3.3 Recursion2.3.4 Abstraction(1)2.3.4 Abstraction(2)2.3.4 Abstraction(3)2.3.5 Placeholder2.3.6 Applications(1)2.3.6 Applications(2)2.3.6 Applications(3)2.4.1 OperationalSemanticswithLocalities(1)2.4.1 OperationalSemanticswithLocalities(2)2.4.1 OperationalSemanticswithLocalities(3)2.4.2 BATCwithLocalities2.4.3 APTCwithLocalities(1)2.4.3 APTCwithLocalities(2)2.4.4 RecursionwithLocalities2.4.5 AbstractionwithLocalities(1)2.4.5 AbstractionwithLocalities(2)Chapter3 AnAxiomatizationofDiscreteEventProcesses3.1 BasicAlgebraforTrueConcurrency-BATC3.1.1 AxiomSystemofBATC3.1.2 PropertiesofBATC3.1.3 StructuredOperationalSemanticsofBATC(1)3.1.3 StructuredOperationalSemanticsofBATC(2)3.1.3 StructuredOperationalSemanticsofBATC(3)3.2 AlgebraforParallelisminTrueConcurrency3.2.1 ParallelismasaFundamentalComputationalPattern3.2.2 AxiomSystemofParallelism3.2.3PropertiesofParallelism3.2.4 StructuredOperationalSemanticsofParallelism(1)3.2.4 StructuredOperationalSemanticsofParallelism(2)3.2.4 StructuredOperationalSemanticsofParallelism(3)3.2.5 Encapsulation(1)3.2.5 Encapsulation(2)3.2.5 Encapsulation(3)3.3 Recursion3.3.1 GuardedRecursiveSpecifications3.3.2 RecursiveDefinitionandSpecificationPrinciples3.3.3 ApproximationInductionPrinciple(1)3.3.3 ApproximationInductionPrinciple(2)3.3.3 ApproximationInductionPrinciple(3)3.4 SilentStepandAbstraction3.4.1 GuardedLinearRecursion3.4.2 AlgebraicLawsfortheSilentStep(1)3.4.2 AlgebraicLawsfortheSilentStep(2)3.4.3 Abstraction(1)3.4.3 Abstraction(2)3.4.3 Abstraction(3)Chapter4 AnAxiomatizationofDistributedDiscreteEventProcesses4.1 BATCwithStaticLocalities4.1.1 AxiomSystemofBATCwithStaticLocalities4.1.2 PropertiesofBATCwithStaticLocalities4.1.3 StructuredOperationalSemanticsofBATCwithStaticLocalities(1)4.1.3 StructuredOperationalSemanticsofBATCwithStaticLocalities(2)4.1.3 StructuredOperationalSemanticsofBATCwithStaticLocalities(3)4.1.3 StructuredOperationalSemanticsofBATCwithStaticLocalities(4)4.2 APTCwithStaticLocalities4.2.1 PropertiesofParallelismwithStaticLocalities4.2.2 StructuredOperationalSemanticsofParallelismwithStaticLocalities(1)4.2.2 StructuredOperationalSemanticsofParallelismwithStaticLocalities(2)4.2.2 StructuredOperationalSemanticsofParallelismwithStaticLocalities(3)4.2.2 StructuredOperationalSemanticsofParallelismwithStaticLocalities(4)4.2.3 EncapsulationwithStaticLocalities(1)4.2.3 EncapsulationwithStaticLocalities(2)4.2.3 EncapsulationwithStaticLocalities(3)4.3 RecursionwithStaticLocalities4.3.1 GuardedRecursiveSpecificationswithStaticLocalities4.3.2 RecursiveDefinitionandSpecificationPrincipleswithStaticLocalities4.3.3 ApproximationInductionPrinciplewithStaticLocalities(1)4.3.3 ApproximationInductionPrinciplewithStaticLocalities(2)4.3.3 ApproximationInductionPrinciplewithStaticLocalities(3)4.4 SilentStepandAbstractionwithStaticLocalities4.4.1 GuardedLinearRecursionwithStaticLocalities4.4.2 AlgebraicLawsfortheSilentStepwithStaticLocalities4.4.3 AbstractionwithStaticLocalities(1)4.4.3 AbstractionwithStaticLocalities(2)4.4.3 AbstractionwithStaticLocalities(3)Chapter5 HybridProcessAlgebra5.1 TrulyConcurrentSemantics(1)5.1 TrulyConcurrentSemantics(2)5.1 TrulyConcurrentSemantics(3)5.2.1 AxiomSystemofHybridBATC5.2.2 PropertiesofHybridBATC5.2.3 StructuredOperationalSemanticsofHybridBATC5.3 HybridAPTC5.3.1 PropertiesofParallelismofHybridAPTC5.3.2 StructuredOperationalSemanticsofParallelismofHybridAPTC5.3.3 EncapsulationofHybridAPTC5.4 RecursionofHybridAPTC5.4.1 GuardedRecursiveSpecifications5.4.2 RecursiveDefinitionandSpecificationPrinciplesofHybridAPTC5.4.3 ApproximationInductionPrincipleofHybridAPTC5.5 SilentStepandAbstractionofHybridAPTC5.5.1 GuardedLinearRecursionofHybridAPTC5.5.2 AlgebraicLawsfortheSilentStepofHybridAPTC5.5.3 Abstraction5.6 ApplicationofHybridAPTCinModelingNeuralNetworks5.6.1 ModelingofNeurons5.6.2 ModelingofNeuralNetworksChapter6 HybridProcessAlgebrawithLocalities6.1 LocalitySemantics(1)6.1 LocalitySemantics(2)6.1 LocalitySemantics(3)6.2.1 AxiomSystemofHybridBATCwithLocalities6.2.2 PropertiesofHybridBATCWithLocalities6.2.3 StructuredOperationalSemanticsofHybridBATCwithLocalities6.3 HybridAPTCwithLocalities6.3.1 PropertiesofParallelismofHybridAPTCwithLocalities6.3.2 StructuredOperationalSemanticsofParallelismofHybridAPTCwithLocalities6.3.3 EncapsulationofHybridAPTCwithLocalities(1)6.3.3 EncapsulationofHybridAPTCwithLocalities(2)6.4 RecursionofHybridAPTCwithLocalities6.4.1 GuardedRecursiveSpecificationsofHybridAPTCwithLocalities6.4.2 RecursiveDefinitionandSpecificationPrinciplesofHybridAPTCwithLocalities6.4.3 ApproximationInductionPrincipleofHybridAPTCwithLocalities6.5 SilentStepandAbstractionofHybridAPTCwithLocalities6.5.1 GuardedLinearRecursionofHybridAPTCwithLocalities6.5.2 AlgebraicLawsfortheSilentStepofHybridAPTCwithLocalities6.5.3AbstractionofHybridAPTCwithLocalities6.6 ApplicationofHybridAPTCwithLocalitiesinModelingDistributed/FederatedNeuralNetworks6.6.1 ModelingofDistributed/FederatedNeurons6.6.2 ModelingofDistributed/FederatedNeuralNetworksBibliography
精选推荐
领导力法则

领导力法则

[中国纺织出版社]

陆禹萌

已完结当代文学

销售心理学

销售心理学

[中国纺织出版社]

兰华

已完结当代文学

销售就是玩转情商

销售就是玩转情商

[中国纺织出版社]

王威

已完结当代文学

销售员情商实战训练

销售员情商实战训练

成功的销售需要高智商,更需要高情商。一个销售员的销售业绩,往往与他的情商成正比。本书从十个方面详细讲述了有效运用情商,提高销售业绩的方法和技巧。通过实际销售案例和销售心理学理论指导,以及实战点拨和情商拓展训练,帮助读者全方位、快速提高情商。故事性、多版块、碎片化的内容设置,有效降低读者阅读疲劳,提高阅读兴趣,不论是奔波在路上的销售小白,还是带领团队奋勇向前的销售经理,都能从中找到适合自己的销售软技巧。

刘军

已完结当代文学

让未来的你,感谢现在勇敢的自己

让未来的你,感谢现在勇敢的自己

[中国纺织出版社]

王介威

已完结当代文学

行为心理学:华生的实用心理学课

行为心理学:华生的实用心理学课

[中国纺织出版社]

(美)约翰·华生著.倪彩

已完结当代文学

行为心理学入门(完全图解版)

行为心理学入门(完全图解版)

行为心理学入门(完全图解版)是以作者多来年的心理辅导和咨询数据为素材,对现实生活中的行为心理学应用进行了形象、深入、全面的论述和解读。本书与日本心理学图解书形式相同,浅显易读,有趣又益。

武莉

已完结当代文学

自卑与超越

自卑与超越

《自卑与(全译插图典藏版)》是个体心理学研究领域的著作,也是人本主义心理学先驱阿尔弗雷德·阿德勒的很好著作。阿德勒的学说以“自卑感”与“创造性自我”为中心,并强调“社会意识”。全书立足个人心理学的观点,从教育、家庭、婚姻、伦理、社交等多个领域,以大量的实例为论述基础,阐明了人生意义的真谛,帮助人们克服自卑、不断超自己,正确对待职业,正确理解社会与性。本书直接促进了亲子教育、人格培养、婚姻与爱情、职业生涯、家庭建设、人际关系等诸多领域的长足发展,成为人们了解心理学的经典读物。

(奥)阿尔弗雷德·阿德勒

已完结当代文学

自制力:道理我都懂,为什么就是过不好人生

自制力:道理我都懂,为什么就是过不好人生

[中国纺织出版社]

邱开杰

已完结当代文学