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

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

来源：评论

学校读者我要写书评

暂无评论

Logical difference analysis based on variable precision lower approximation operator and graded upper approximation operator

Logical difference analysis based on variable precision lowe...

引用

2012 International Conference on computer Science and Information Processing, CSIP 2012

作者： Zhang, Xianyong Miao, Duoqian 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 College of Mathematics and Software Science Sichuan Normal University Chengdu Sichuan 610068 China

ISBN: (纸本)9781467314114

This paper aims to construct and analyze an original logical difference based on the quantitative approximation operators. According to the variable precision lower approximation operator and graded upper approximation operator, we first put forward the specific logical difference;the new concept makes the specific logical combination on precision and grade, and has the practical multiple quantitative meaning. Then, both the fundamental structure and properties are investigated and obtained for the logical difference. Furthermore, two algorithms, the regular and structural algorithms, are proposed and analyzed, and the structural algorithm has more advantages. Finally, an example is provided. The proposed concept partially extends the graded and classical approximation operators;thus, some properties are achieved correspondingly for these previous approximation operators. © 2012 IEEE.

关键词： Rough set theory

来源：评论

学校读者我要写书评

暂无评论

A relational taxonomy of services for large scale service repositories

A relational taxonomy of services for large scale service re...

引用

2012 IEEE 19th International Conference on Web services, ICWS 2012

作者： Wu, Yan Yan, Chungang Ding, Zhijun Wang, Pengwei Jiang, Changjun Zhou, Mengchu Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ 07102 United States School of Electronics and Information Engineering Tongji University Shanghai China

ISBN: (纸本)9780769547527

With the rapid development of service-oriented computing (SOC) and service-oriented architecture (SOA), the number of services is rapidly increasing. How to organize and manage services effectively in repositories to improve the efficiency of service discovery and composition is important. This paper proposes three categorization rules to classify services for a large scale repository to form a relational taxonomy. The service retrieve scope can be drastically narrowed by this taxonomy. Therefore, the efficiency of service discovery and service composition can be greatly improved. We evaluate and compare the performance of the proposed method and other related ones via a publicly available test set, ICEBE05. The experimental results validate the effectiveness and high efficiency of the proposed one. © 2012 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

A Blockchain Based Automatic Access Scheme Design and Implement for Small Cell Base Station 21

A Blockchain Based Automatic Access Scheme Design and Implem...

引用

21st IEEE International Conference on Communication Technology, ICCT 2021

作者： Liang, Jingchao Wu, Jun Tan, Bin Ren, Haoqi Zhang, Zhifeng School of Computer Science and Technology Tongji University Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai China Fudan University School of Computer Science Shanghai China Jinggangshan University Electronics and Information Engineering Ji'an China Tongji University Electronics and Information Engineering Shanghai China

ISBN: (纸本)9781665432061

5G technology is constrained by its higher frequency band and smaller coverage area, which leads to the need for operators to use technologies such as small cell base stations to increase the density of base station deployment to ensure signal coverage quality, which leads to more enormous construction costs. Therefore, it is urgent to find a safe and reliable solution that can use the existing public network to realize small cell base stations with automatic access. Based on this demand, we summarize various existing small cell base station automatic access technology solutions and their advantages and disadvantages while combing the characteristics of blockchain technology and its application solutions in similar scenarios. And then, we propose a new blockchain-based base station automatic access solution and implements the system in a practical scenario. In our solution, we innovatively introduce blockchain as an intermediate manager for small base stations and core networks, which solves traditional solutions requiring customized equipment while ensuring safety and reliability. It reduces costs and improves efficiency, but some problems are brought by the 'decentralization' of blockchain waiting to be solved. © 2021 IEEE.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

Algorithms and analyses of logical difference of graded lower and upper approximation operators

Algorithms and analyses of logical difference of graded lowe...

引用

2012 International Conference on computer Science and Information Processing, CSIP 2012

ISBN: (纸本)9781467314114

Grade serves as a fundamental quantitative index, and the graded rough set model is a basic model. Thus, this paper aims to investigate an original logical difference in the graded rough set model. According to the specific logical requirement on the grade index, the logical difference is put forward based on the graded lower and upper approximation operators;the new concept has the practical logical quantitative meaning. Then, both the macroscopic essence and microscopic fundamental structure are obtained for the new concept. For calculation, two algorithms, the conventional and microscopic algorithms are proposed and analyzed emphatically, and we conclude that the microscopic algorithm has more advantages in time and space complexity. Finally, the logical difference and its algorithms are both illustrated by an example. © 2012 IEEE.

关键词： Rough set theory

来源：评论

学校读者我要写书评

暂无评论

A comprehensive QoS determination model for Infrastructure-as-a-service clouds

A comprehensive QoS determination model for Infrastructure-a...

引用

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

作者： Xia, Yunni Zhou, Mengchu Luo, Xin Zhu, Qingsheng Software Theory and Technology Chongqing Key Lab Chongqing University Chongqing 400030 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

ISBN: (纸本)9781479915156

Cloud computing is a recently developed new technology for complex systems with massive service sharing, which is different from the resource sharing of the grid computing systems. In a cloud environment, service requests from users go through numerous provider specific steps from the instant it is submitted to when the service is fully delivered. Quality modeling and analysis of clouds are not easy tasks because of the complexity of the provisioning mechanism and the dynamic cloud environment. This study proposes an analytical modelbased approach for quality evaluation of Infrastructure-as-a-service cloud and consider expected request completion time, rejection probability, and system overhead rate as key QoS metrics. It also features with the modeling of different warming and cooling strategies of machines and the ability to identify the optimal balance between system overhead and performance. © 2013 IEEE.

关键词： Quality control

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

LBRM algorithm for rule extraction based on rough membership

引用

2013 3rd International Symposium on Chemical Engineering and Material Properties, ISCEMP 2013

作者： Zhang, Xian Yong Miao, Duo Qian College of Mathematics and Software Science Sichuan Normal University Chengdu Sichuan 610068 China Department of Computer Science and Technology Tongji University Shanghai 201804 China The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China

ISBN: (纸本)9783037858363

Rule extraction is a main goal for rough set theory. This paper mainly constructs a new algorithm (LBRM Algorithm) for rule extraction based on rough membership. The confidence principle is established based on rough membership. Thus, LBRM Algorithm is proposed by utilizing discretization and clearness strategies under the fuzzy environment, and is applied to both interval rules and general rules in fuzzy classification. LBRM Algorithm effectiveness is illustrated by a medical example. In particular, LBRM Algorithm integrates the confidence on both previous LBR Algorithm and fundamental rough membership, and has some improvements on rule confidence. © (2013) Trans Tech Publications, Switzerland.

关键词： Rough set theory

来源：评论

学校读者我要写书评

暂无评论

A Petri Nets Based Approach for Detecting the Data Races and Deadlocks in OpenMP Program

A Petri Nets Based Approach for Detecting the Data Races and...

引用

2012 Third International Conference on Theoretical and Mathematical Foundations of computer Science(ICTMF 2012)

作者： Yulong Xian Zhijun Ding Department of Computer Science and Technology Tongji University The Key Laboratory of Embedded System and Service Computing Ministry of EducationTongji University

Because of OpenMP programs shielding the underlying parallel execution and scheduling details,data races and deadlocks are tend to occur during program ***,this paper puts forward the modeling method of OpenMP programs based on Petri *** flow of programs are modeled according to the semantics of program control statements and directives of OpenMP programs;Data flow of programs are modeled by abstracting read and write operations related to shared *** two detection algorithms of data race and deadlock for OpenMP program are given based on the coverability tree of Petri ***,corresponding software tool is designed and implemented,and an OpenMP program example of the dining philosophers problem is analyzed to indicate the effectiveness of this method and tools.

关键词： OpenMP, Data races, Deadlock, Static detection, Petri nets

来源：评论

学校读者我要写书评

暂无评论

Adaptive multilevel meshes for cloth simulation

引用

Journal of Information and Computational Science 2014年第11期11卷 3865-3872页

作者： Zhao, Jing Pei, Shanshan Lv, Mengya Li, Ying Tang, Yong Yang, Meiling Zhang, Mingmin Pan, Zhigeng The College of Information Science and Engineering Yanshan University Qinhuangdao China The Key Laboratory for Computer Virtual Technology and System Integration of HeBei Province Qinhuangdao China The College of Computer Science and Technology Zhejiang University Hangzhou China Institute of Service Engineering Hangzhou Normal University Hangzhou China

A novel method based on multilevel meshes is proposed to simulate the cloth draping process rapidly on a complex model. Considering of the difficulty of computing the realtime collision between cloth and complex models by normally methods, the draping process of cloth is divided into several phases and at each phase the mesh size is smaller than its previous one. The optimized 1-to-4 split is used to drive the rapid changes in the grid hierarchy and to simplify the calculations. We choose the widely used ellipsoid as the bounding cell to enclose the complex models in the environment. The ellipsoid avoids the complex structure of hierarchical bounding box and eliminates the impossible collision model area rapidly. Experiments demonstrate that this method can accelerate the draping process of cloth and decrease the number of iterations and the calculation of collision detection. Further mesh refinement improves the reality of cloth when it reaches the final position and ensures the realism of the simulation in real time. ©2014 Binary Information Press

关键词： Mesh generation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：