2011 10th International Symposium on Distributed Computing and Applications to Business, Engineering and Science最新文献_第2页

The Research on the Algorithm of Lattice LCD Drawing Controlled by PIC 基于PIC控制的点阵液晶绘制算法研究

2011 10th International Symposium on Distributed Computing and Applications to Business, Engineering and Science Pub Date : 2011-10-14 DOI: 10.1109/DCABES.2011.99

Hua Fang, Hua Jiang

引用次数: 3

Coupling the Parareal Algorithm with the Waveform Relaxation Method for the Solution of Differential Algebraic Equations 耦合拟面算法与波形松弛法求解微分代数方程

2011 10th International Symposium on Distributed Computing and Applications to Business, Engineering and Science Pub Date : 2011-10-14 DOI: 10.1109/DCABES.2011.34

T. Cadeau, F. Magoulès

引用次数: 9

Formal Support for Cyber Physical System Specification Using Aspect-Oriented Approach 面向方面方法对网络物理系统规范的正式支持

2011 10th International Symposium on Distributed Computing and Applications to Business, Engineering and Science Pub Date : 2011-10-14 DOI: 10.1109/DCABES.2011.45

Lichen Zhang

{"title":"Formal Support for Cyber Physical System Specification Using Aspect-Oriented Approach","authors":"Lichen Zhang","doi":"10.1109/DCABES.2011.45","DOIUrl":"https://doi.org/10.1109/DCABES.2011.45","url":null,"abstract":"Cyber-physical systems pose considerable technical challenges, ranging from the distributed programming paradigms to networking protocols with timeliness as a structuring concern, including systems theory that combines physical concerns and computational concerns Cyber Physical systems is deemed correct in case it abides to the functional correctness as well as a set of quantitative characteristics Formal specification techniques for such systems have to be able to describe all these concerns. Unfortunately, a single specification technique that is well suited for all these concerns s is yet not available. Instead one finds various specialized techniques that are very good at describing individual concerns of cyber-physical system. This observation has led to research into the combination and semantic integration of specification techniques. This paper proposes an approach for specifying real time cyber physical systems based on aspect-oriented formal specification, which exploits the diversity and power of existing formal specification languages. We provide an aspect-oriented specification approach based on the combination of Object-Z and Time-CSP. We increase separation variable in the basic elements and crosscutting concerns to achieve formalization of aspect-oriented characteristics. This aspect oriented formal specification method simplifies the requirement analysis process of real time cyber physical systems. Two case studies illustrate the specification process of aspect-oriented formal specification for real time cyber physical systems.","PeriodicalId":300453,"journal":{"name":"2011 10th International Symposium on Distributed Computing and Applications to Business, Engineering and Science","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128739655","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Contraction-Expansion Coefficient Learning in Quantum-Behaved Particle Swarm Optimization 量子粒子群优化中的收缩-膨胀系数学习

2011 10th International Symposium on Distributed Computing and Applications to Business, Engineering and Science Pub Date : 2011-10-14 DOI: 10.1109/DCABES.2011.32

Na Tian, Choi-Hong Lai, K. Pericleous, Jun Sun, Wenbo Xu

引用次数: 7

A Rule-Based Framework of Metadata Extraction from Scientific Papers 基于规则的科学论文元数据提取框架

2011 10th International Symposium on Distributed Computing and Applications to Business, Engineering and Science Pub Date : 2011-10-14 DOI: 10.1109/DCABES.2011.14

Zhixin Guo, Hai Jin

引用次数: 12

Integration of 1D and 3D Simulations of Engine Cooling System: After Keyed-Off 发动机冷却系统的一维和三维仿真集成:关断后

2011 10th International Symposium on Distributed Computing and Applications to Business, Engineering and Science Pub Date : 2011-10-14 DOI: 10.1109/DCABES.2011.53

S. Pang, H. Masjuki, M. Hazrat, M. Kalam

{"title":"Integration of 1D and 3D Simulations of Engine Cooling System: After Keyed-Off","authors":"S. Pang, H. Masjuki, M. Hazrat, M. Kalam","doi":"10.1109/DCABES.2011.53","DOIUrl":"https://doi.org/10.1109/DCABES.2011.53","url":null,"abstract":"Engine cooling system is crucial to maintain working temperature of vehicles' engine. The two main heat transfer fluids in typical cooling system are coolant and air. Under hood air flow when approaching radiator is highly non-uniform, thus 3D computational fluid dynamics is required to estimate air mass flow rates. While coolant circuit consists of numerous components, 1D thermal-fluid simulation is utilized to study temperature behavior of the coolant. Automotive designers should design a robust engine cooling system which is working well in both normal and severe driving conditions. When vehicles are keyed-off suddenly after some distance of driving, the coolant temperature tend to increase dramatically. This is because soaking heat at engine could not be transferred away timely, as water pump and cooling fan have stop working after keyed-off. In this study, transient coolant temperatures are observed closely with variety patterns of soaking heat. It is suggested to prolong operation of water pump and fan for a short while after keyed-off to reduce transient coolant temperature.","PeriodicalId":300453,"journal":{"name":"2011 10th International Symposium on Distributed Computing and Applications to Business, Engineering and Science","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114184256","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Image Retrieval Based on PCA-LPP 基于PCA-LPP的图像检索

2011 10th International Symposium on Distributed Computing and Applications to Business, Engineering and Science Pub Date : 2011-10-14 DOI: 10.1109/DCABES.2011.52

Zhenhua Zhang, Xinzhong Zhu, Jianmin Zhao, Huiying Xu

引用次数: 4

The Design of a Private Cloud Infrastructure Based on XEN 基于XEN的私有云基础架构设计

2011 10th International Symposium on Distributed Computing and Applications to Business, Engineering and Science Pub Date : 2011-10-14 DOI: 10.1109/DCABES.2011.91

Xinyu Miao, Jing Han

引用次数: 3

The Remote Fault Maintenance Support System of Logistics Carry Vehicle Based on Network 基于网络的物流运输车远程故障维修保障系统

2011 10th International Symposium on Distributed Computing and Applications to Business, Engineering and Science Pub Date : 2011-10-14 DOI: 10.1109/DCABES.2011.94

Gongliang Jiang

引用次数: 3

QoS Modeling for Dependable and Distributed Cyber Physical Systems Using Aspect-Oriented Approach 基于面向方面方法的可靠分布式网络物理系统QoS建模

2011 10th International Symposium on Distributed Computing and Applications to Business, Engineering and Science Pub Date : 2011-10-14 DOI: 10.1109/DCABES.2011.69

Lichen Zhang

引用次数: 0