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

SCAM

作者： Chen, Zhenqiang Xu, Baowen Yang, Hongji Zhao, Jianjun Department of Computer Science and Engineering Southeast University Nanjing 210096 China State Key Laboratory of Software Engineering Wuhan University Wuhan 430072 China Department of Computer Science De Montfort University United Kingdom Department of Computer Science and Engineering Fukuoka Institute of Technology Japan

In a concurrent environment, due to schedule, race conditions and synchronisation among concurrent units, some program statements may never be executed. Such statements are dead statements and have no influence on the programs except making them more difficult to analyse and understand. Since the execution of concurrent programs is non-deterministic, it is hard to detect dead statements. In this paper, we develop a data flow approach to detect dead statements for concurrent Ada programs. In this method, concurrent Ada programs are represented by concurrent control flow graphs in a simple and precise way, and detecting rules are extracted by analysing program behaviours. Based on these rules, a dead statement detecting algorithm is proposed. © 2002 Elsevier science B.V. All rights reserved.

关键词： Concurrency control

来源：评论

学校读者我要写书评

暂无评论

On-line graphics recognition

On-line graphics recognition

引用

Pacific Conference on computer Graphics and Applications

作者： Jin Xiangyu Liu Wenyin Sun Jianyong Zhengxing Sun State Key Laboratory for Novel Software Technology Nanjing University Nanjing China Department of Computer Science City University of Hong Kong China

ISBN: (纸本)0769517846

A novel and fast shape classification and regularization algorithm for on-line sketchy graphics recognition is proposed. We divided the on-line graphics recognition process into four stages: preprocessing, shape classification, shape fitting, and regularization. The attraction force model is proposed to combine progressively the vertices on the input sketchy stroke and reduce the total number of vertices before the type of shape can be determined After that, the shape is fitted and gradually rectified to a regular one, thus the regularized shape fits the user-intended one precisely. Experimental results show that this algorithm can rapidly yield good recognition precision (averagely above 90%) and a fine regularization effect. Consequently, it is especially suitable for weak computation environments such as PDAs, which solely depend on a pen-based user interface.

关键词： Shape computer graphics Filters Personal digital assistants Decision trees Image segmentation Sun computer science Classification algorithms software algorithms

来源：评论

学校读者我要写书评

暂无评论

Bornite craftworks creative design system oriented data communicating model

Bornite craftworks creative design system oriented data comm...

引用

International Conference on computer Supported Cooperative Work in Design

作者： Wenbin Zheng Suqin Men Qi Huang Yin Yang Jiafu Xu State Key Laboratory of CAD & CG Department of Computer Science and Engineering University of Zhejiang Hangzhou Zhejiang China State Key Laboratory for Novel Software Technology Nanjing University Nanjing Jiangsu China

ISBN: (纸本)8528500500

Modularization of BCCDS (bornite craftworks creative design system) asks for data communications between functional modules of the system. This paper presents an improved communicating mechanism based on shared memory, expounding its design and algorithms, and applies it to BCCDS to build up a BCCDS oriented data communicating model. The efficiency of the communicating model is verified in the communication between two functional modules of BCCDS. Both methodology and case analysis prove that the data communicating model can preferably implement the data communications between functional modules of BCCDS and improve the efficiency of the bornite craftworks creative design.

关键词： Material storage Data communication Intelligent structures Memory management Laboratories Design automation Kernel Buildings Character generation computer science

来源：评论

学校读者我要写书评

暂无评论

A new approach for line recognition in large-size images using Hough transform

A new approach for line recognition in large-size images usi...

引用

International Conference on Pattern Recognition

作者： Jiqiang Song Min Cai M.R. Lyu Shijie Cai Department Computer Science & Engineering Chinese University of Hong Kong Hong Kong China State Key Laboratory of Novel Software Technology Nanjing University Nanjing China

ISBN: (纸本)076951695X

Applications of the Hough Transform (HT) have been limited to small-size images for a long time. For large-size images, peak detection and line verification become much more time-consuming. Many HT-based line detection methods are not able to detect line width. This paper proposes a new approach for detecting line segments using HT, with applicability to large size images, especially for those situations where line width is critical. Our approach applies a boundary recorder to eliminate redundant analyses, and employs an image-analysis-based line-verification method to overcome the difficulty of using a threshold to distinguish short lines from noise. It avoids overlapping lines by removing the pixels of detected line segments, a method which is more robust than only clearing the N/spl times/N neighborhood. This approach could be easily extended to improved HT methods that perform global accumulation. Experimental results show that this approach is very time efficient for large-size images.

关键词： Image recognition Engineering drawings Image edge detection Image sampling Iterative methods computer science Application software Digital images Image converters Background noise

来源：评论

学校读者我要写书评

暂无评论

Graphics recognition from binary images: one step or two steps

Graphics recognition from binary images: one step or two ste...

引用

International Conference on Pattern Recognition

ISBN: (纸本)076951695X

Recognizing graphic objects from binary images is an important task in many real-life applications. Generally, there are two ways to do the graphics recognition: one-step methods and two-step methods. The former recognizes graphic objects from binary images directly, while the latter consists of vectorization and postprocessing. Neither of them is perfect enough to handle all difficulties. The paper first reviews popular graphics recognition methods to understand their advantages and disadvantages. Next, the performance comparison between two classes of methods is made in two important aspects: the time efficiency and the graphics quality, and the experimental results of time-efficiency comparison of 7 popular methods are also reported. Finally, we propose a new hybrid graphics-recognition paradigm to integrate the advantages of both one-step methods and two-step methods and minimize their disadvantages. The proposed paradigm is capable of recognizing straight lines, arcs, circles and curves efficiently, and is helpful for extracting text images in text-graphics touching cases.

关键词： Image recognition Image converters Skeleton computer graphics Iterative algorithms Iterative methods Nonlinear distortion computer science Application software Text recognition

来源：评论

学校读者我要写书评

暂无评论

Reliable message delivery for mobile agents: Push or pull 9

Reliable message delivery for mobile agents: Push or pull

引用

9th International Conference on Parallel and Distributed Systems, ICPADS 2002

作者： Cao, Jiannong Feng, Xinyu Lu, Jian Chan, Henry Das, Sajal K. Internet Computing and E-Commerce Lab. Dept. of Computing Hong Kong Polytechnic University Hung Hom Kowloon Hong Kong State Key Laboratory for Novel Software Technology Dept. of Computer Science Nanjing University Nanjing China Dept. of Computer Science and Engineering Univ. of Texas at Arlington ArlingtonTX76019 United States

ISBN: (纸本)0769517609

Two of the fundamental issues in message passing between mobile agents are tracking the migration of the target agent and delivering messages to it. In order to provide reliable message delivery, protocols are needed to overcome message loss caused by asynchronous operations of agent migration and message forwarding. In this paper, two message forwarding approaches, namely push and pull, are explored to design adaptive and reliable message delivery protocols. The pros and cons of these two approaches are evaluated, both qualitatively and quantitatively. The comparative performance evaluation is in terms of network traffic and delay in message processing. We also propose improvements to the pull approach to reduce network traffic and the message delay. We conclude that with different communication and migration patterns and requirements of real-time message processing, specific applications can select different message delivery approaches to achieve the desired level of performance and flexibility. © 2002 IEEE.

关键词： Target tracking

来源：评论

学校读者我要写书评

暂无评论

An evolutionary algorithm of contracting search space based on partial ordering relation for constrained optimization problems

An evolutionary algorithm of contracting search space based ...

引用

IEEE International Conference on Algorithms and Architectures for Parallel Processing (ICAP)

作者： S.Y. Zeng L.X. Ding L.S. Kang Department of Computer Science Zhuzhou Institute of Technology Zhuzhou China State Key Laboratory of Software Engineering Wuhan University of China Wuhan China

A new evolutionary algorithm, which can contract search space based on the partial ordering relation and is designed to solve nonlinear programming (NLP), is proposed in this paper. Firstly, the partial ordering relation is used for evaluating an individual, which ensures that individual competition is more impartial. Secondly, by taking advantage of incomplete evolution, which provides good individuals in short time, we can locate regions of optimal solutions and contract the search space and thus reduce the search space and increase the convergence rate. Thirdly, we prove that the algorithm can find optimal solutions. Finally, the algorithm can be easily parallelized. Numerical experiments demonstrate that our techniques are superior to other methods in terms of solution quality and robustness.

关键词： Evolutionary computation Constraint optimization Contracts Space technology Algorithm design and analysis Convergence computer science Laboratories software engineering Genetic programming

来源：评论

学校读者我要写书评

暂无评论

Reliable message delivery for mobile agents: push or pull

Reliable message delivery for mobile agents: push or pull

引用

International Conference on Parallel and Distributed Systems (ICPADS)

作者： Jiannong Cao Xinyu Feng Jian Lu H. Chan S.K. Das Internet Computing and E-Commerce Lab Department of Computing Hong Kong Polytechnic University Kowloon Hong Kong China State Key Laboratory for Novel Software Technology Department of Computer Science Nanjing University Nanjing China Center for Research Wireless Mobility and Networking (CrewMan) Department of Computer Science and Engineering University of Technology Arlington TX USA

关键词： Mobile agents Target tracking Mobile communication Protocols computer science Telecommunication traffic Communication system security Relays Internet Laboratories

来源：评论

学校读者我要写书评

暂无评论

A novel approach to measuring class cohesion based on dependence analysis

A novel approach to measuring class cohesion based on depend...

引用

International Conference on software Maintenance (ICSM)

作者： Zhenqiang Chen Yuming Zhou Baowen Xu J. Zhao H. Yang Department of Computer Science and Engineering State Key Laboratory of Software Engineering Southeast University Wuhan University China Department ofComputer Science & Engineering Fukuoka Institute of Technology Japan Department of Computer Science De Montfort University UK

Classes are the basic modules in object-oriented (OO) software, which consist of attributes and methods. Thus, in an OO environment, cohesion mainly concerns how tight the attributes and methods of classes are. This paper discusses the relationships between attributes and attributes, attributes and methods, and methods and methods of a class based on dependence analysis. Then we discuss the properties of these relationships. According to these properties, this paper proposes a novel approach to measuring class cohesion. Our approach overcomes the limitations of previous class cohesion measures, which consider only one or two of the three relationships in a class. We also prove that this measure satisfies the properties that a good measurement should have.

关键词： Laboratories computer science software engineering Guidelines Application software Object oriented programming Encapsulation software measurement Information processing software maintenance

来源：评论

学校读者我要写书评

暂无评论

Verifying Time Petri Nets by Linear Programming

引用

Journal of computer science & technology 2001年第1期16卷 39-46页

作者：李宣东 State Key Laboratory of Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing P.R. China

The paper proposes an approach to solving some verification prob- lems of time Petri nets using linear programming. The approach is based on the observation that for loop-closed time Petri nets, it is only necessary to investigate a finite prefix of an untimed run of the underlying Petri net. Using the technique the paper gives solutions to reachability and bounded delay timing analysis problems. For both problems algorithms are given, that are decision procedures for loop-closed time Petri nets, and semi-decision procedures for general time Petri nets.

关键词： real-time system time Petri net linear programming model-checking

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：