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

Automatic Web service composition based on Horn clauses and Petri nets

Expert systems with Applications 2011年第10期38卷 13024-13031页

作者： Tang, Xianfei Jiang, Changjun Zhou, Mengchu Department of Computer Science and Technology Tongji University Shanghai 201804 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

This paper introduces an automatic Web service composition method based on logical inference of Horn clauses and Petri nets. The Web service composition problem is transformed into the logical inference problem of Horn clauses by exploring the dependency relations among services. An algorithm is presented, to determine whether the composite service exists in time that is linear in the size of the knowledge base. It can also return the rule set necessary for the composition. Petri nets are chosen to model the rule set and its structural analysis techniques are used to obtain the composite service. © 2010 Elsevier Ltd. All rights reserved.

关键词： Automatic reasoning Knowledge base Petri nets service composition Web service

来源：评论

学校读者我要写书评

暂无评论

Designing and analysis of a new book-lending system based on logic Petri nets

Designing and analysis of a new book-lending system based on...

引用

2011 International Conference on Electric Information and Control Engineering, ICEICE 2011

作者： Xia, Jiang Luan, Wenjing Department of Computer Laiwu Vocational and Technical College Laiwu 271100 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200092 China College of Information Science and Engineering Shandong University of Science and Technology Qingdao 266510 China

A new book-lending system is designed and analyzed based on logic Petri nets in this paper. The batch processing function and indeterminacy of readers are included in the system. Its logic Petri net model is establish... 详细信息

ISBN: (纸本)9781424480395

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Based on transmission line compositing left and right rules to realize optimal matching in RF part of 77GHz automotive radar

Based on transmission line compositing left and right rules ...

引用

International Radar Symposium (IRS)

作者： Renzhou Gui Key Laboratory of Embedded System and Service Computing Ministry of Eduction College of Electronics & Information Engineering Tongji University Shanghai China

77GHz Automotive radar based on SiGe technique is the hot topics. The optimal matching in the RF part of the automotive radar should be solved and considered firstly. Left hand material(LHM) has special properties such as low loss, negative phase velocity. The paper focus on designing a new transmission line which is made by LHM and RHM (right hand material) together. We analysis the theory of the TL (transmission line) based on compositing LHM and RHM together, then design the match circuits based on the TL. Moreover, the simulating results of the circuit based on the special TL are shown. Lastly, the possibility of using the TL to match at the automotive radar system is valued.

关键词： Power transmission lines Materials Compounds Radio frequency Microstrip Radar Permeability

来源：评论

学校读者我要写书评

暂无评论

RAMC: A RSU-assisted multi-channel coordination MAC protocol for VANET

RAMC: A RSU-assisted multi-channel coordination MAC protocol...

引用

作者： Liu, Kai Guo, Jinhua Lu, Ning Liu, Fuqiang Wang, Xinhong Wang, Ping School of Electronics and Information Engineering Key Laboratory of Embedded System and Service Computing Tongji University 4800 Cao'an Road 201804 Shanghai China Department of Computer and Information Science University of Michigan-Dearborn 4901 Evergreen Rd Dearborn MI 48128 United States

Dedicated Short Range Communication (DSRC) employs one control channel for safety-oriented applications and six service channels for non-safety commercial applications. However, most existing multichannel schemes require all neighboring vehicles periodically (e.g. every 100 milliseconds) tune to the control channel for a full update of safety-oriented data before they can switch to the service channels for non-safety services. The safety exchange interval increases with the increase of traffic density. Consequently, under high traffic densities, the service channels are often completely idle while the control channel is congested. We propose a RSU Assisted Multi-channel Coordination MAC (RAMC) protocol that fully utilizes all channels to provide simultaneous safety and non-safety communications. Within the radio range of a roadside unit (RSU), vehicles are free to tune to any service channel. The RSU monitors all the safety messages being transmitted in both the control and service channels. Periodically, the RSU broadcasts a consolidated traffic view report to all neighboring vehicles in all channels. Therefore, a vehicle can operate in a service channel as long as it needs to achieve high throughput for non-safety applications, while maintaining adequate and timely safety awareness. Our simulation results show that the proposed RAMC protocol consistently achieves very high percentage of non-safety usage, while maintaining high safety message delivery ratios in various traffic density conditions. Copyright © 2011 The Institute of Electronics, Information and Communication Engineers.

关键词： Dedicated short range communications

来源：评论

学校读者我要写书评

暂无评论

Multi-label Learning for Protein Subcellular Location Prediction

Multi-label Learning for Protein Subcellular Location Predic...

引用

IEEE International Conference on Bioinformatics and Biomedicine (BIBM)

作者： Xiao Wang Guo-Zheng Li Jia-Ming Liu Rui-Wei Zhao The Key Laboratory of Embedded System and Service Computing Ministry of Education Department of Control Science and Engineering Tongji University Shanghai China

Protein subcellular localization aims at predicting the location of a protein within a cell using computational methods. Knowledge of subcellular localization of proteins indicates protein functions and helps in identifying drug targets. Prediction of protein subcellular localization is an important but challenging problem, particularly when proteins may simultaneously exist at, or move between, two or more different subcellular location sites. Most of the existing protein subcellular localization methods are only used to deal with the single-location proteins. To better reflect the characteristics of multiplex proteins, we formulate prediction of subcellular localization of multiplex proteins as a multi-label learning problem. We present and compare two multi-label learning approaches, which exploit correlations between labels and leverage label-specific features, respectively, to induce a high quality prediction model. Experimental results on six protein data sets under various organisms show that our described methods achieve significantly higher performance than any of the existing methods. Among the different multi-label learning methods, we find that methods exploiting label correlations performs better than those leveraging label-specific features.

关键词： Proteins Correlation Protein engineering Multiplexing Machine learning Humans Learning systems

来源：评论

学校读者我要写书评

暂无评论

A New MPI Parallel computing Environment Based on Fibre-channel Token-Routing Network for Materials Simulation Research

A New MPI Parallel Computing Environment Based on Fibre-chan...

引用

2011 International Conference on Advanced Materials in Microwaves and Optics（AMMO 2011）

作者： Xiaohui ZENG Dongsheng LIU Wenlang LUO Lixin FU school of Electronics and Information Engineering Jinggangshan University The Key Laboratory of Embedded System and Service Computing Ministry of EducationTongji University

In order to apply our high efficiency fibre-channel token-routing network(shortened as FC-TR network) to the field of materials simulation research, a new MPI parallel computing environment is proposed and designed, and independently developed a parallel programming environment FC-TR-MPI based on FC-TR network. In FC-TR-MPI, a new method was applied to point-to-point communication that the network communications between processes in the same computing node were changed into memory operations;moreover, according to the underlying software and hardware features of FC-TR network, new algorithms were proposed to optimize the communication performance of some collective communications. Experimental results show that, compared with Sca MPI parallel programming environment, FC-TR-MPI has a higher parallel efficiency and speedup.

关键词： MPI,parallel computing environment,fibre-channel,materials simulation

来源：评论

学校读者我要写书评

暂无评论

Designing and Analysis of a New Book-Lending system Based on Logic Petri Nets

Designing and Analysis of a New Book-Lending System Based on...

引用

International Conference on Electric Information and Control Engineering

作者： Xia Jiang WenJing Luan Department of Computer Laiwu Vocational and Technical College The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University

ISBN: (纸本)9781424480364

关键词： Book-lending system Batch processing Designing Verification Logic Petri net

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Research on a Remote Network Monitoring Model for Large-scale Materials Manufacturing

Research on a Remote Network Monitoring Model for Large-scal...

引用

2011 International Conference on Advanced Materials and Computer Science(ICAMCS 2011)

作者： Xiaohui ZENG Manhua LI Wenlang LUO Department of Computer Science and Technology Jinggangshan University The Key Laboratory of Embedded System and Service Computing Ministry of EducationTongji University

A remote network monitoring model for large-scale materials manufacturing is proposed, including five modules: center control module, data collection and fault alarm module, graph drawing module and data storage module. The center control module not only interacts with users, but also controls the other four modules to work together in harmony. According to this monitoring model, a remote network monitoring platform is designed and realized. The user can interact with the control center module through an Internet browser, and the information about the monitored manufacturing machines and devices can be displayed by means of text, chart, graphic and sound, etc. Moreover, the details about the problems or faults from the monitored objects can be obtained in time. The experimental results indicate that the network monitoring platform can accurately get the information of the monitored objects, and users can conveniently get the online running state of those monitored objects.

关键词： remote network monitoring data storage fault alarm materials manufacturing

来源：评论

学校读者我要写书评

暂无评论

SelectCast: Scalable data aggregation scheme in wireless sensor networks

SelectCast: Scalable data aggregation scheme in wireless sen...

引用

IEEE INFOCOM 2011

作者： Wang, Cheng Tang, Shaojie Li, Xiang-Yang Jiang, Changjun Department of Computer Science Tongji University Shanghai China Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai China Department of Computer Science Illinois Institute of Technology Chicago IL 60616 United States TNLIST School of Software Tsinghua University China

ISBN: (纸本)9781424499212

In this work, for a wireless sensor network (WSN) of n randomly placed sensors with node density λ ∈ [1, n], we study the tradeoffs between the aggregation throughput and gathering efficiency. The gathering efficiency refers to the ratio of the number of the sensors whose data have been gathered to the total number of sensors. Specifically, we design two efficient aggregation schemes, called single-hop-length (SLH) scheme and multiple-hop-length (MLH) scheme. By novelly integrating these two schemes, we theoretically prove that our protocol achieves the optimal tradeoffs, and derive the optimal aggregation throughput depending on a given threshold value (lower bound) on gathering efficiency. Particularly, we show that under the MLH scheme, for a practically important set of symmetric functions called perfectly compressible functions, including the mean, max, or various kinds of indicator functions, etc., the data from Θ(n) sensors can be aggregated to the sink at the throughput of a constant order Θ(1), implying that our MLH scheme is indeed scalable. © 2011 IEEE.

关键词： Efficiency

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：