LEADER 04619nam 2200721Ia 450 001 9910454118603321 005 20200520144314.0 010 $a661196861X 010 $a1-281-96861-7 010 $a9786611968618 010 $a1-4416-0157-0 010 $a600-00-1186-5 010 $a1-60750-368-9 035 $a(CKB)1000000000579211 035 $a(EBL)407920 035 $a(OCoLC)437247358 035 $a(SSID)ssj0000125684 035 $a(PQKBManifestationID)11132493 035 $a(PQKBTitleCode)TC0000125684 035 $a(PQKBWorkID)10027321 035 $a(PQKB)11160873 035 $a(MiAaPQ)EBC407920 035 $a(Au-PeEL)EBL407920 035 $a(CaPaEBR)ebr10267482 035 $a(CaONFJC)MIL196861 035 $a(EXLCZ)991000000000579211 100 $a20090126d2008 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aCommunicating process architectures 2008$b[electronic resource] $eWoTUG-31 /$fedited by Peter H. Welch ... [et al.] 210 $aAmsterdam ;$aWashington, D.C. $cIOS Press$dc2008 215 $a1 online resource (472 p.) 300 $aDescription based upon print version of record. 311 $a1-58603-907-5 320 $aIncludes bibliographical references and indexes. 327 $aTitle page; Preface; Editorial Board; Reviewing Committee; Contents; Part A. Invited Speakers; Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures; How to Soar with CSP; Part B. Conference Papers; A CSP Model for Mobile Channels; Communicating Scala Objects; Combining EDF Scheduling with occam Using the Toc Programming Language; Communicating Haskell Processes: Composable Explicit Concurrency Using Monads; Two-Way Protocols for occam-pi; Prioritized Service Architecture: Refinement and Visual Design; Experiments in Translating CSP--B to Handel-C 327 $aFPGA Based Control of a Production Cell SystemShared-Clock Methodology for Time-Triggered Multi-Cores; Transfer Request Broker: Resolving Input-Output Choice; Mechanical Verification of a Two-Way Sliding Window Protocol; RRABP: Point-to-Point Communication over Unreliable Components; IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks; Asynchronous Active Objects in Java; JCSPre: the Robot Edition to Control LEGO NXT Robots; A Critique of JCSP Networking; Virtual Machine Based Debugging for occam-pi; Process-Oriented Collective Operations 327 $aRepresentation and Implementation of CSP and VCR TracesCSPBuilder - CSP Based Scientific Workflow Modelling; Visual Process-Oriented Programming for Robotics; Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques; Mobile Agents and Processes Using Communicating Process Architectures; YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation; Modelling a Multi-Core Media Processor Using JCSP; Part C. Fringe Presentation Abstracts; How to Make a Process Invisible; Designing Animation Facilities for gCSP; Tock: One Year On 327 $aIntroducing JCSP Networking 2.0Mobile Processes in an Ant Simulation; Santa Claus - with Mobile Reindeer and Elves; Subject Index; Author Index 330 $aCommunicating Process Architectures 2008 contains the proceedings of the thirty-first Communicating Process Architectures Conference (CPA 2008) organized under the auspices of WoTUG and the Department of Computer Science of the University of York. The aim of this book is to cover both theoretical aspects and industrial applications of Communicating Processes. Two invited speakers have given excellent contributions to this topic. Professor Samson Abramsky has worked in the areas of semantics and logic of computation, and concurrency. His work on game semantics considers interaction and informat 606 $aComputer architecture$vCongresses 606 $aoccam (Computer program language)$vCongresses 606 $aParallel processing (Electronic computers)$vCongresses 606 $aTransputers$vCongresses 608 $aElectronic books. 615 0$aComputer architecture 615 0$aoccam (Computer program language) 615 0$aParallel processing (Electronic computers) 615 0$aTransputers 676 $a004.35 676 $a158.1 701 $aWelch$b P. H$0922946 712 12$aWoTUG Technical Meeting 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910454118603321 996 $aCommunicating process architectures 2008$92217492 997 $aUNINA LEADER 12441nam 22007095 450 001 9910743258103321 005 20251229082807.0 010 $a981-16-7466-3 010 $a981-16-7465-5 010 $a981-16-7466-3 024 7 $a10.1007/978-981-16-7466-2 035 $a(MiAaPQ)EBC6824918 035 $a(Au-PeEL)EBL6824918 035 $a(CKB)20094250400041 035 $a(PPN)259388157 035 $a(BIP)82529187 035 $a(BIP)81700630 035 $a(DE-He213)978-981-16-7466-2 035 $a(EXLCZ)9920094250400041 100 $a20211209d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$a2021 International Conference on Big Data Analytics for Cyber-Physical System in Smart City $eVolume 1 /$fedited by Mohammed Atiquzzaman, Neil Yen, Zheng Xu 205 $a1st ed. 2022. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2022. 215 $a1 online resource (1314 pages) 225 1 $aLecture Notes on Data Engineering and Communications Technologies,$x2367-4520 ;$v102 311 08$aPrint version: Atiquzzaman, Mohammed 2021 International Conference on Big Data Analytics for Cyber-Physical System in Smart City Singapore : Springer Singapore Pte. Limited,c2022 9789811674655 327 $aIntro -- Organization -- Preface -- Conference Program -- BDCPS 2021 Keynotes -- Contents -- Data Mining and Statistical Modelling for Smart City -- Application of Intelligent Ant Colony Algorithm in Rural Logistics Intelligent Distribution Route Planning -- 1 Introduction -- 2 Application of Swarm Intelligence Algorithm in Logistics Distribution Route Planning Under the Background of Rural Revitalization -- 2.1 Rural Logistics and Distribution Problems -- 2.2 Problem of Logistics Distribution Path -- 2.3 IACA -- 3 Experimental Research on Group Intelligence Algorithm in Logistics Distribution Path Planning Under the Background of Rural Revitalization -- 3.1 Swarm Intelligence Algorithm Structure Framework -- 4 Experimental Analysis of Group Intelligence Algorithm in Logistics Distribution Route Planning Under the Background of Rural Revitalization -- 4.1 Analysis of the Average Solution of CGA and IACA -- 4.2 Comparison of IACA with Other Algorithms -- 5 Conclusion -- References -- Sustainable Competitive Advantages of Chinese Online Travel Agents by RBV Model: A Data Based Analysis -- 1 Introduction -- 2 Literature Review -- 2.1 Industrial Analysis -- 2.2 RBV and Competitive Advantage -- 3 Methodology -- 3.1 Data Collection Method -- 3.2 Sample -- 3.3 Data Analysis Method -- 4 Result -- 4.1 Reliability Analysis -- 4.2 Validity Analysis -- 4.3 Variable Descriptive -- 4.4 Regression Analysis -- 5 Discussion -- 5.1 Digital Marketing -- 5.2 Cost Leadership -- 5.3 Payment Mode -- 5.4 Service Responsiveness -- 5.5 Product Variety -- 6 Conclusion -- References -- Kinematics Analysis of Aerobics Movement Decomposition Based on Multi-target Video Tracking Algorithm -- 1 Introduction -- 2 Multi-target Video Tracking Algorithm and Aerobics Movement Decomposition Kinematics Research. 327 $a2.1 Feasibility Analysis of Multi-sport Target Video Tracking Application Aerobics Movement Decomposition Kinematics -- 2.2 Multi-moving Target Video Tracking Algorithm -- 3 Kinematics Experiment of Calisthenics Action Decomposition Based on Multi-sport Target Video Tracking Algorithm -- 3.1 Experimental Design -- 3.2 Experimental Procedure -- 3.3 Data Processing -- 4 Result Analysis -- 4.1 Analysis of Angle Parameters of Lower Limb Joints -- 4.2 Kinematics Analysis of Trunk Movement Links -- 5 Conclusions -- References -- Color Network System of Folk Painting Based on Fractal Algorithm Theory -- 1 Introduction -- 2 Theoretical Research on the Color Network System of Folk Painting Based on Fractal Theory Algorithm -- 2.1 Basic Knowledge of Fractal Theory -- 2.2 Software Development Platform -- 2.3 Software Implementation Model -- 3 The Realization of Color Network System of Folk Painting Based on Fractal Theory Algorithm -- 3.1 System Experiment Content -- 3.2 Process of Color Network System -- 4 Experimental Data Analysis of Folk Painting Color Network System Based on Fractal Algorithm Theory -- 4.1 System Equipment Data Analysis -- 4.2 Comparative Analysis of the Color Reproduction Process -- 5 Conclusion -- References -- Design of College Teaching Quality Evaluation Based on Apriori Algorithm -- 1 Introduction -- 2 Theoretical Research on the Design of University TQES Based on Apriori Algorithm -- 2.1 Evaluation Standard of Teaching Quality in Colleges and Universities -- 2.2 Discussion on the Requirements of TQES in Colleges and Universities -- 2.3 System Design of University TQES Based on Apriori Algorithm -- 3 Implementation of TQES Based on Apriori Algorithm -- 3.1 System Operation Environment -- 3.2 System Function Realization -- 4 Test of TQES Based on Apriori Algorithm -- 4.1 Software Testing -- 4.2 System Test -- 5 Conclusion -- References. 327 $aPanal Data Analysis on the Environmental Effects of Global Value Chains: Based on the Empirical Study of Chinese Industrial Panel Data -- 1 Introduction -- 2 Analysis of the Affecting Mechanism of Global Value Chain on Environment -- 2.1 Scale Effect -- 2.2 Composition Effect -- 2.3 Technique Effect -- 3 Model Establishment -- 4 Empirical Analysis Results -- 4.1 Data Source and Processing -- 4.2 Econometric Analysis Results and Their Economic Connotations -- 5 Conclusions -- References -- The Application of Fusion Algorithm in Automobile Machinery Manufacturing Control System -- 1 Introduction -- 2 Application of Fusion Algorithm in Automobile Machinery Manufacturing Control System -- 2.1 PI Control Algorithm -- 2.2 Improved Sliding Mode Control Algorithm -- 2.3 Improved ADRC Algorithm -- 2.4 Software and Hardware Design of PMSM Servo Control System Based on Algorithm Fusion -- 3 Experimental Simulation -- 3.1 Servo System Current Simulation -- 3.2 Speed Simulation of Servo System -- 3.3 Position Simulation of Servo System -- 4 Result Analysis -- 4.1 Analysis of Current Simulation Results of Servo System -- 4.2 Speed Simulation Results Analysis of Servo System -- 5 Conclusion -- References -- Path of Data Mining and Analysis Technology in New Energy Vehicle Business Model Innovation -- 1 Introduction -- 2 Data Mining Analysis Technology and New Energy Vehicle Business Model -- 2.1 Data Mining Analysis Technology -- 2.2 Current Business Model of New Energy Vehicles -- 2.3 The Basic Principle and Process of Cluster Analysis -- 3 Application Experiment of Data Mining Analysis Technology in the Innovation Path of New Energy Vehicle Business Model -- 3.1 Experimental Background -- 3.2 Experimental Method -- 3.3 Experimental Results -- 4 Analysis and Discussion of Experimental Results. 327 $a4.1 Distribution of Traditional Business Models of Enterprises When Data Mining Technology is not Used -- 4.2 Research on the Path of Business Model Innovation for New Energy Automobile Companies Using Data Mining Technology -- 4.3 Problems Encountered During Use -- 5 Conclusions -- References -- Data Analysis and Application of Resource Search Algorithm in Basic Education Fairness -- 1 Introduction -- 2 Methods -- 2.1 Characteristics of P2P Network -- 2.2 Classical Resource Search Algorithm -- 2.3 The Impact of Injustice in Basic Education -- 3 Experiment -- 3.1 Data Sources -- 3.2 Algorithm Description -- 4 Discussion -- 4.1 Education Funding -- 4.2 Differences in Faculty -- 4.3 Targeted Suggestions -- 5 Conclusions -- References -- The Construction of the Influence Model of Artistic Creativity Based on AMOS Data Analysis -- 1 Research Motivation -- 2 Literature Review -- 3 Research Methods, Procedures and Assumptions -- 3.1 Research Structure -- 3.2 Research Hypothesis -- 3.3 Research Object -- 3.4 Research Tool -- 4 Analysis of Results -- 4.1 The Effect Verification of the Direct Effect of Innovation Atmosphere on Artistic Creativity -- 4.2 The Direct Effect of the Innovation Atmosphere on the Flow State and the Direct Effect of the Flow State on the Artistic Creativity -- 4.3 Mediation of Flow State -- 5 Conclusion and Suggestion -- 5.1 Innovation Atmosphere Has a Significant Positive Impact on Artistic Creativity -- 5.2 The Atmosphere of Organizational Innovation Has a Positive Impact on the State of Flow -- 5.3 Flow State Has a Positive Impact on Artistic Creativity -- 5.4 Flow State Plays a Completely Mediating Role in the Influence of Innovation Atmosphere on Artistic Creativity -- References -- The Construction of Mental Health Prediction Model Based on Data Mining Technology -- 1 Introductions. 327 $a2 Research on Mental Health Status and Data Mining Technology -- 2.1 Factors Affecting Mental Health -- 2.2 Data Mining -- 2.3 Predictive Analysis Algorithm -- 3 Construction of Mental Health Prediction Model Based on Data Mining Technology -- 3.1 Data Source -- 3.2 Evaluation Index -- 3.3 Prediction Steps -- 3.4 The Order of the Degree of Influence of the Independent Variable Factors on the Dependent Variable -- 3.5 Prediction Model Establishment -- 4 Detection of Predictive Models -- 5 Conclusions -- References -- Influence of Big Data Statistical Analysis Technology on Informational Learning Mode -- 1 Introduction -- 2 Educational Informatization and Talent Training Mode in the Information Environment -- 2.1 Information Technology Environment -- 2.2 Reform of Talent Training Mode Under the Information Environment -- 3 Teaching Experiment of Talent Training Model in Informatization Mode -- 3.1 Effect Inspection Method -- 3.2 Experimental Subject -- 3.3 Knowledge Level Test Paper -- 3.4 Data Statistics -- 4 Teaching Experimental Results of Talent Training Model in Information Mode -- 4.1 Comparison of Previous Two Groups -- 4.2 Comparison of Two Groups After Implementation -- 5 Conclusions -- References -- 3D Jewelry Design System Based on K-means Algorithm -- 1 Introduction -- 2 Jewelry 3D Design System Based on K-means Algorithm -- 2.1 Basic Principles of 3D Technology -- 2.2 Advantages of K-means Algorithm Application in Jewelry Design -- 2.3 3D Model Detail Optimization -- 3 Experiment -- 3.1 Interface Design -- 3.2 Login Module -- 3.3 Jewelry Attribute Selection Module -- 4 Discussion -- 5 Conclusions -- References -- The Development of Internet Plus Tourism Mode Based on Data Mining Technology -- 1 Introduction -- 2 The Development of IPT Based on DMT -- 2.1 IPT Development -- 2.2 IPT New Mode of Future Development Countermeasures. 327 $a2.3 Related Analysis of DMT. 330 $aThis book gathers a selection of peer-reviewed papers presented at the third Big Data Analytics for Cyber-Physical System in Smart City (BDCPS 2021) conference, held in Shanghai, China, on Nov. 27, 2021. The contributions, prepared by an international team of scientists and engineers, cover the latest advances made in the field of machine learning, and big data analytics methods and approaches for the data-driven co-design of communication, computing, and control for smart cities. Given its scope, it offers a valuable resource for all researchers and professionals interested in big data, smart cities, and cyber-physical systems. 410 0$aLecture Notes on Data Engineering and Communications Technologies,$x2367-4520 ;$v102 606 $aComputational intelligence 606 $aBig data 606 $aQuantitative research 606 $aComputational Intelligence 606 $aBig Data 606 $aData Analysis and Big Data 615 0$aComputational intelligence. 615 0$aBig data. 615 0$aQuantitative research. 615 14$aComputational Intelligence. 615 24$aBig Data. 615 24$aData Analysis and Big Data. 676 $a005.8 700 $aAtiquzzaman$b Mohammed$0846832 702 $aYen$b Neil 702 $aXu$b Zheng 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910743258103321 996 $a2021 International conference on big data analytics for cyber-physical system in smart city$93559330 997 $aUNINA