检索结果-内蒙古大学图书馆

Japan-China Joint Workshop on Frontier of Computer Science and Technology (FCST)

作者： Song Wu Li Qi Hai Jin Heng He Key Lab of Cluster and Grid Computing Key Lab of Service Computing Technology and System Ministry of Education Huazhong University of Science and Technology Wuhan Hubei China

This paper proposes a Grid-based Distributed Simulation Platform (GDSP). It is designed to break the limitation of legacy simulation supporting platform and to meet new requirements from large-scale, distributed, and complicated systems. Simulation services are encapsulated by using web services technology, and they are basic elements of GDSP. With grid technology, GDSP enables users to share, access, and operate remote resource transparently. It is also easier to organize and manage simulation resources. GDSP improves the capability of fault tolerance and provides mechanism of using simulation resources securely. The research result shows that through this management mechanism, multiple users can share and monitor RTI resources, and manage the simulation collaboratively and effectively. At the same time, the impact on real time of RTI caused by the system is minimum.

关键词： Computational modeling Resource management Web services Computer architecture Application software Large-scale systems Fault tolerance Distributed computing Context modeling Runtime

来源：评论

学校读者我要写书评

暂无评论

Trust reasoning and optimization based on associate petri net

引用

ICIC Express Letters 2011年第3期5卷 791-796页

作者： Fang, Xianwen Yan, Chungang Fan, Xiaoqin Yin, Zhixiang Department of Information and Computing Science Anhui University of Science and Technology No. 168 Shungengzhong Road Huainan 232001 China Key Lab of Embedded System and Service Computing Ministry of Education Tongji University No. 1239 Siping Road Shanghai 201804 China

Trust issue is an important problem both in social field and information field. At present, there are few methods considering the interaction behavior relativity between models which can judge the interaction influence, so the obtained trust value is imprecise and unreliable. In the paper, behavior-aware trust computation and reasoning methods based on Associate Petri net (APN) are presented, which use the APN reasoning and take the interaction relativity into account. Using Genetic Algorithm (GA) combined with the properties of APN, a trust optimization method is obtained. Theoretical analysis and experimental results indicate that the method owns both lower computation cost and lower error rate. © 2011 ISSN 1881-803X.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Robust control reconfiguration of resource allocation systems with Petri nets and integer programming

Robust control reconfiguration of resource allocation system...

引用

作者： Li, Jun Zhou, Mengchu Guo, Tao Gan, Yahui Dai, Xianzhong Key Laboratory of Measurement and Control of Complex Systems of Engineering Ministry of Education China School of Automation Southeast University Nanjing 210096 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ 07102 United States

Supervisory control reconfiguration can handle the uncertainties including resource failures and task changes in discrete event systems. It was not addressed to exploit the robustness of closed-loop systems to accommodate some uncertainties in the prior studies. Such exploitation can cost-efficiently achieve reconfigurability and flexibility for real systems. This paper presents a robust reconfiguration method based on Petri nets (PNs) and integer programming for supervisory control of resource allocation systems (RASs) subject to varying resource allocation relationships. An allocation relationship is seen as a control specification while the execution processes requiring resources as an uncontrolled plant. First, a robust reconfiguration mechanism is proposed. It includes updating the P-invariant-based supervisor and evolving the state of the closed-loop system. The latter adapts to the control specification changes by the self-regulation of the closed-loop system's state. Next, two novel integer programming models for control reconfiguration are proposed, called a reconfiguration model with acceptability and reconfiguration one with specification correction. Since both models integrate the firability condition of transitions, no additional efforts are required for the state reachability analysis. Finally, a hospital emergency service system is used as an example to illustrate them. © 2014 Elsevier Ltd. All rights reserved.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Communication Module in Passive ultrasonic Sensor Networks

Design and Implementation of Communication Module in Passive...

引用

2010 International Conference on Computer,Mechatronics,Control and Electronic Engineering(2010计算机、机电、控制与电子工程国际会议 CMCE 2010)

作者： Lina Han Rui Zhao Key Laboratory of Embedded System and Service Computing Ministry of EducationTongji University Shan The Third Research Institute of The Ministry of Public Security Shanghai China

ISBN: (纸本)9781424479573

Passive sensor networks can achieve accurate detection of target under complex environment In order to adapt to different communication demands of sensor networks in different environments, this paper designed and implemented a wireless and wired mixed communication module, that is, a communication system combined short-distance wireless communication based on radio frequency technology with broadband cable communication. Simulation results show that our system can achieve the desired requirements in different circumstances.

关键词： sensor network wireless communication radio frequency (RF) wired communication

来源：评论

学校读者我要写书评

暂无评论

Block diagonal precoding based power allocation for coordinated multi-point transmission

引用

Journal of Communications 2011年第7期6卷 524-528页

作者： Han, Jing Wang, Ping Liu, Fuqiang Zhu, Yin Broadband Wireless Communications and Multimedia Laboratory Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China Shanghai Key Laboratory of Digital Media Processing and Transmission Shanghai China

This paper studies power allocation in coordinated multi-point (CoMP) transmission of 3GPP LTE-Advanced system with remote radio units(RRUs) power constraints. We apply block diagonal (BD) precoding to downlink transmission, and assume perfect knowledge of downlink channels and transmit messages at each transmit point. We propose a modified water-filling power (MWF) allocation algorithm in order to maximize the downlink sum capacity, at the same time the low complexity is achieved. The interior-point method is also used to solve the optimization problem. Simulations show that interior-point method converges after only a few iterative steps and the system capacity is near-optimal. As for complexity and power efficiency, MWF achieves a good compromise. © 2011 ACADEMY PUBLISHER.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

Berth-crane allocation model and algorithm of container berths in the uncertain environment

Berth-crane allocation model and algorithm of container bert...

引用

8th International Conference on Bio-Inspired computing: Theories and Applications, BIC-TA 2013

作者： Liu, Jian-Xin Du, Yu-Yue Hong, Yong-Fa Sun, Lin-Lin College of Information Science Engineering Shandong University of Science and Technology QingdaoShandong266590 China The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai200092 China College of Civil Engineering and Architecture SUST QingdaoShandong266590 China

ISBN: (纸本)9783642375019

According to the randomness of the vessel’s arrival time and handling time, the establishment of a randomly-oriented environment container berths— crane allocation model, the optimizing goal is to minimize the average ship-waiting time. Taking into account the complexity of the model solution, this paper offers the design of an improved genetic algorithm to reduce the searching space, and according to the characteristics of the optimal solution. With testing example to verify that the model can simulate decision-making environment of berths— crane allocation problem and reflect the decision-maker’s attitude toward risks and preferences. The algorithm can gain a stable and satisfactory solution within the operating time. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Sensor data quality assessment for building simulation model calibration based on automatic differentiation

Sensor data quality assessment for building simulation model...

引用

2013 IEEE International Conference on Automation Science and Engineering, CASE 2013

作者： Li, Sisi Song, Zhen Zhou, Mengchu Lu, Yan Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ 07013 United States Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China Department of Automation and Control Siemens Corporation Corporate Technology Princeton NJ 08540 United States

ISBN: (纸本)9781479915156

Building simulation models play a vital role in optimal building climate control, energy audit, fault detection and diagnosis, continuous commissioning, and planning. Real system parameters are often unknown or partially unknown and need to be identified through historical data, which are currently acquired by heuristically designed experiments. Without quality sensor data, model calibration is prone to fail, even if the calibration algorithm is appropriate. In this paper, we propose a Fisher-information-matrix (FIM)-based metric to examine the sensor data measurements and how their quality is related to the model calibration quality. It aims to provide quantitative guidance in the calibration cycle of a whole building model that takes as many variables as possible into consideration for the sake of accuracy. Our concerned model is based on well-known physical laws and tries to avoid simplification, thereby leading to a highly discontinuous system with model switches due to the seasonal or daily variation and other reasons. Such a model is implemented in the form of a software package. Hence, no explicit mathematical expression can be given. A key technical challenge is that the complexity of the model prohibits the analytical derivation of FIM, while the numeric calculation is sensitive to sensor noise and model switches. We, hence, propose to adopt an automatic differentiation method, which exploits the operator overload feature of object oriented programming language, for robust numerical FIM calculation. © 2013 IEEE.

关键词： Numerical methods

来源：评论

学校读者我要写书评

暂无评论

Optimizing skyline queries in SPA distributed networks

引用

Tien Tzu Hsueh Pao/Acta Electronica Sinica 2013年第8期41卷 1515-1520页

作者： Huang, Zhen-Hua Xiang, Yang Sun, Sheng-Li Chen, Qian Department of Computer and Technology Tongji University Shanghai 201804 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China School of Software and Microelectronics Peking University Beijing 102600 China

Skyline query has recently received a lot of attention in information service community. The TPAOSS (Three-Phase Algorithm for Optimizing Skyline Scalar) algorithm has two performance drawbacks: (1) in the third phase of TPAOSS, as the number of objects on net nodes increases, the length of bloom filter will increases exponentially, which will seriously influence the efficiency of obtaining replicated values and the occupation size of memory;(2) the TPAOSS algorithm does not consider the computation efficiency of local or global subspace skyline queries in each net node. Motivated by these facts, we propose EPSSQDN (Efficient Processing of Subspace Skyline Queries in Distributed Networks), an algorithm for efficient processing of subspace skyline queries in SPA distributed networks. Moreover, in order to further reduce the computation cost of subspace skyline queries and decrease the volume of data transferred, we present an efficient optimized techniques. Furthermore, we present extensive experiments that demonstrate our method is more advantageous than the TPAOSS algorithm.

关键词： Information services

来源：评论

学校读者我要写书评

暂无评论

GradSA: Gradient Sparsification and Accumulation for Communication-Efficient Distributed Deep Learning 15th

GradSA: Gradient Sparsification and Accumulation for Communi...

引用

15th International Conference on Green, Pervasive, and Cloud computing, GPC 2020

作者： Liu, Bo Jiang, Wenbin Zhao, Shaofeng Jin, Hai He, Bingsheng National Engineering Research Center for Big Data Technology and System Service Computing Technology and System Lab Cluster and Grid Computing Lab Huazhong University of Science and Technology Wuhan China Wuhan National Laboratory for Optoelectronics Key Laboratory of Information Storage System Engineering Research Center of Data Storage Systems and Technology Huazhong University of Science and Technology Wuhan China Library Henan University of Economics and Law Zhengzhou China Department of Computer Science School of Computing National University of Singapore Singapore Singapore

ISBN: (纸本)9783030642426

Large-scale distributed deep learning is of great importance in various applications. For distributed training, the inter-node gradient communication often becomes the performance bottleneck. Gradient sparsification has been proposed to reduce the communication overhead. However, the sparsification only arbitrarily selects a small fraction of gradients, while the efficiency of selection dimension has been overlooked. Furthermore, gradient staleness is inevitable after applying the sparsification which will ultimately lead to model divergence. In this paper, we propose a staleness-compensated sparse stochastic gradient descent algorithm, GradSA, to improve the training efficiency. Layer-level gradients are sparsified to reduce the communication overhead, which conform to the characteristics of the network structure, and historical accumulation of the approximated gradients is utilized to speed up convergence. We demonstrate the model convergence acceleration and the efficiency of our layer-level selection over existing state-of-the-art works, such as DGC, TernGrad, and 8-Bit quantization. © 2020, Springer Nature Switzerland AG.

关键词： Efficiency

来源：评论

学校读者我要写书评

暂无评论

Adaptation of Mismatching services Based on labelled Interface Automata

Adaptation of Mismatching Services Based on Labelled Interfa...

引用

Fifth International Conference on Semantics,Knowledge and Grid(第五届语义、知识与网格国际会议 SKG 2009)

作者： Tao Liu Guosun Zeng Department of Computer Science and Technology Tongji University Shanghai 200092 China The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji Universit

In today's web, more and more software and applications are wrapped as services. However interactions between services are not always perfectly completed because of mismatches among them. service mediation and adaptation problems obtain increasingly concerns. In this paper, we propose an extension of interface automata, labelled interface automata, to illustrate mismatching services and adaptation. We characterize the problem by classifying different kinds of adaptation scenarios. Then we focus on how to use labelled interface automata to illustrate the building of adaption service between mismatching services.

关键词： mismatching service adaptation interface automata

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：