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

Improved asymptotic multicast throughput for random extended networks

computer Communications 2010年第18期33卷 2195-2202页

作者： Cheng Wang Changjun Jiang Xiang-Yang Li Jiujun Cheng Department of Computer Science and Technology Tongji University Shanghai China State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications 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 USA

We study the asymptotic throughput for random extended networks , where n ad hoc nodes are randomly deployed in a square region R ( n ) = 0 , n 2 . We directly consider the multicast throughput to unify the unicast and broadcast throughput, and design a new multicast scheme under the generalized physical model based on the so-called secondary highways system . Taking account of all possible cases of n s = ω (1) and 1 ⩽ n d ⩽ n − 1, we derive the achievable multicast throughput, where n s and n d denote the number of sessions and the number of destinations of each session. We prove that for some cases in terms of n s and n d , our scheme achieves better throughput than the existing schemes.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Study and implementation of agent-based grid resource monitoring model

Study and implementation of agent-based grid resource monito...

引用

International Conference on Information science and Engineering (ICISE)

作者： Liu Ming Junqi Zhang Yu Wang Jie Li Department of Computer Science and Technology The Key Laboratory of Embedded System and Service Computing Ministry of Education University of Tongji Shanghai China

ISBN: (纸本)9781424476169

Grid is a promising infrastructure which enables scientists and engineers to access geographically distributed resources. Grid computing is a new technology which focuses on aggregating various kinds of resource (e.g., processor cycles, disk storage, and contents) into one computing platform. The realization of grid computing requires a resource agent to manage and monitor available resources. Based on study of past models, this paper presents a new agent-based resource monitoring model whose main feature is multi-layered monitoring architecture, which enhances the ability to monitor related resource efficiently. In the meantime, the new model has been implemented in the development of a resource monitoring module integrated within a academic grid project.

关键词： Monitoring Computational modeling Databases Grid computing Automation Resource management XML

来源：评论

学校读者我要写书评

暂无评论

Constructing Prioritized Interaction Test Suite with Interaction Relationship

Constructing Prioritized Interaction Test Suite with Interac...

引用

International Workshop on Education Technology and computer science, ETCS

作者： Jianjun Yuan Zuowen Jiang The Key Laboratory of Embedded System and Service Department of Computer Science and Technology Computing Ministry of Education of China University of Tongji Shanghai China

ISBN: (纸本)9781424463886;9780769539874

Interaction testing has addressed some issues on how to select a small subset of test cases. In many systems where interaction testing is needed, the entire test suite is not executed because of time or budget constraints. It is important to prioritize the test cases in these situations. On the other hand, there are not always interactions among any factors in real systems. Moreover, some factors may need N-way (N>2) testing since there is a closer relationship among them. We present a model for prioritized interaction testing with interaction relationship and propose a greedy algorithm for generating variable strength covering arrays with bias.

关键词： System testing Software testing computer science education Greedy algorithms Costs Educational technology computer science Laboratories Embedded system Embedded computing

来源：评论

学校读者我要写书评

暂无评论

Decomposition based efficient algorithms for knowledge reduction

引用

ICIC Express Letters 2010年第3期4卷 1025-1032页

作者： Jiao, Na Miao, Duoqian Zhang, Hongyun Department of Computer Science and Technology Ministry of Education of China Tongji University Shanghai 201804 China Key Laboratory of Embedded System and Service Computing Ministry of Education of China Tongji University Shanghai 201804 China

Knowledge reduction, one of essential issues for data mining, has alwaysbeen a, hot topic due to the explosive growth of inform,a,tion. However, whenhandling large-scale data, m,any current knowledge reduction m,ethod,s based, onrough set theory are incapable. In this paper, efficient algorithms forknowledge reduction are put forward, based, on decomposition principle. Theidea, of decomposition is to break a, complex problem, down into a,m,a,ster-problem, and, several sub-problem,s that are simpler, m,orem,a,na,gea,ble and, m,ore solvable by using existing induction methods, thenjoining them, together in order to solve the original problem,. Compared, withsom,e traditional methods, the efficiency of the proposed algorithms can beillustrated by experiments with standard datasets from, UCI database. ICIC International © 2010.

关键词： Rough set theory

来源：评论

学校读者我要写书评

暂无评论

Mining Hierarchical Decision Rules from Hybrid Data with Categorical and Continuous Valued Attributes

引用

浙江海洋学院学报（自然科学版） 2010年第5期29卷 420-427页

作者： MIAO Duo-qian QIAN Jin LI Wen ZHANG Ze-hua Department of Computer＇Science and Technology Tongji University Shanghai 201804 China College of Computer Engineering Jiangsu Teachers University of Technology Changzhou 213015 China Key Laboratory of Embedded System and Service Computing Ministry of Education of China Tongji University Shanghai 201804 China

Decision rules mining is an important issue in machine learning and data ***,most proposed algorithms mine categorical data at single level,and these rules are not easily understandable and really useful for ***,a new approach to hierarchical decision rules mining is provided in this paper,in which similarity direction measure is introduced to deal with hybrid *** approach can mine hierarchical decision rules by adjusting similarity measure parameters and the level of concept hierarchy trees.

关键词： Similarity relation Attribute reduction Hierarchical decision rules Hybrid data

来源：评论

学校读者我要写书评

暂无评论

DCMTs: Supporting Dynamically Created Migratory Threads

DCMTs: Supporting Dynamically Created Migratory Threads

引用

IEEE International Conference on Computational science and Engineering, CSE

作者： Yueting Zhu Wu Zhang Hai Jiang Yu Lei Junjie Peng Department of Computer Science and Engineering Shanghai University Shanghai China Department of Computer Science and Engineering University of Technology Arlington TX USA Department of Computer Science Arkansas State University Jonesboro AR USA Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy and Sciences China

Thread migration is an effective technique for fault resilience and load balancing in high performance computing. However, flexible thread migration is not easy to achieve. In this paper, we present an approach to creating migratory threads dynamically at application level. The targets must be executable source files. Compared to the static ones, the number of threads created during migration with the new scheme is independent from the context. Various thread cases are considered for migration. Thread state is handled at application level. Variables are saved in structures in C language for speedy state construction. In order to solve the inability of traditional methods in tracking the created threads, a tree of active function calls is used to record the callback. The preprocessor of the proposed one is written in YACC for accuracy and programmability. The migration enabling process is transparent to programmers with the help of the preprocess. The experimental results have demonstrated the effectiveness of this approach.

关键词： Instruction sets Switches computer science Electronic mail Data preprocessing Flexible printed circuits

来源：评论

学校读者我要写书评

暂无评论

Reduction Criteria for Probabilistic Models with Spatial Restrictions on States

Reduction Criteria for Probabilistic Models with Spatial Res...

引用

International Conference on Networks Security, Wireless Communications and Trusted computing, NSWCTC

作者： Niu Jun Guosun Zeng Embedded System and Service Computing Key Laboratory Ministry of Education Shanghai China College of Information Engineering Zhejiang Business and Technology Institute Ningbo China Department of Computer Science and Technology University of Tongji Shanghai China

ISBN: (纸本)9781424465972;9780769540115

Partial order reduction techniques have been used to combat the state explosion problem in model checking procedures for concurrent systems with probabilistic behaviors. There are some results that give criteria on applying partial order reduction for verifying quantitative time properties and reward-based properties on actions. However, there are many situations that reward-based properties are expressed on states rather than on actions because actions are triggered in no time and the quantities can not be obtained easily. This paper presents reduction criteria for a probabilistic temporal logic that allows specification of restrictions on quantitative measures given by spatial resources function for the states of the considered system and provides the proof of the correctness.

关键词： Explosions computer networks Concurrent computing Embedded computing Educational technology Probabilistic logic Communication system security computer security Information security Wireless communication

来源：评论

学校读者我要写书评

暂无评论

A Generalized Model with Spatial Resources Labels

A Generalized Model with Spatial Resources Labels

引用

International Conference on Biomedical Engineering and computer science (ICBECS)

This paper proposes a generalized model by extending Markov chain with spatial resources labels, which can describe the functional and performance properties and some basic characteristics such as nondeterminacy and randomicity. The syntax and semantics of the new model are shown based on the existing temporal logics such as CSRL and pathCSRL. The model checking procedure is discussed and thus the practicability of the new model is intuitive. Based on the existing models, the proposed model includes spatial resources labels only by adding the spatial information to the existing labels of states, so the treatment of the state explosion problem is similar to that in the existing models.

关键词： Educational technology Paper technology Logic Labeling Educational institutions Embedded system Embedded computing computer science education systems engineering education computer science

来源：评论

学校读者我要写书评

暂无评论

Hybrid uniform distribution of particle swarm optimizer

引用

IEICE Transactions on Fundamentals of Electronics, Communications and computer sciences 2010年第10期E93-A卷 1782-1791页

作者： Zhang, Junqi Tan, Ying Ni, Lina Xie, Chen Tang, Zheng Department of Computer Science and Technology Key Laboratory of Embedded System and Service Computing Ministry of Education Qingdao China Tongji University Shanghai 200092 China Key Laboratory of Machine Perception Ministry of Education Qingdao China Department of Machine Intelligence School of Electronics Engineering and Computer Science Peking University Beijing 100871 China College of Info Sci and Engi Shandong University of Science and Technology Qingdao China Department of Intellectual Information Systems Engineering University of Toyama Toyama-shi 930-8555 Japan

Particle swarm optimizer (PSO) is a stochastic global optimization technique based on a social interaction metaphor. Because of the complexity, dynamics and randomness involved in PSO, it is hard to theoretically analyze the mechanism on which PSO depends. Statistical results have shown that the probability distribution of PSO is a truncated triangle, with uniform probability across the middle that decreases on the sides. The "truncated triangle" is also called the "Maya pyramid" by Kennedy. However, very little is known regarding the sampling distribution of PSO in itself. In this paper, we theoretically analyze the "Maya pyramid" without any assumption and derive its computational formula, which is actually a hybrid uniform distribution that looks like a trapezoid and conforms with the statistical results. Based on the derived density function of the hybrid uniform distribution, the search strategy of PSO is defined and quantified to characterize the mechanism of the search strategy in PSO. In order to show the significance of these definitions based, on the derived hybrid uniform distribution, the comparison between the defined search strategies of the classical, linear decreasing weight based PSO and the canonical constricted PSO suggested by Clerc is illustrated and elaborated. Copyright © 2010 The Institute of Electronics, Information and Communication Engineers.

关键词： Probability distributions

来源：评论

学校读者我要写书评

暂无评论

Research of geometric computing and its theory

引用

shanghai Jiaotong Daxue Xuebao/Journal of shanghai Jiaotong University 2010年第3期44卷 407-412页

作者： He, Yuan-Jun Department of Computer Science and Engineering MOE-Microsoft Key Laboratory for Intelligent Computing and Intelligent System Shanghai Jiaotong University Shanghai 200240 China

A new geometric computing theory was proposed. On the definition level of geometric elements, using the Cartesian coordinates ideology as reference, 2D and 3D ″geometric algebra elements″ (or ″geometric elements″ for short, which could construct an upper-level element in the solving sequence) were constructed by geometry algebraization methods. On the processing level of geometries, geometric problems were solved with geometry methods, by which a geometric element solving sequence could be constructed. Directional property was introduced into geometries in this theory and geometries were represented in a unified format. They help to simplify the processing of finding the geometric element solving sequence for a geometry problem. The paper also tried to theoretically find out an integrated solution for geometry ambiguity issues, and established a unified, standardized geometry computing architecture. The Leibniz's mind-to process geometric objects with geometric language-was implemented in an indirect way!

关键词： Geometry

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：