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

Theoretical Aspects of Software Engineering (TASE)

作者： Hui Kong Hehua Zhang Xiaoyu Song Ming Gu Jiaguang Sun Key Laboratory for Information System Security Ministry of Education China DepartmentCST Tsinghua Unviersity Beijing China Tsinghua National Laboratory for Information Science and Technology China School of Software Tsinghua University Beijing China DepartmentECE Portland State University OR USA

Geometric algorithms are widely used in many scientific fields like computer vision, computer graphics. To guarantee the correctness of these algorithms, it's important to apply formal method to them. In this paper, we propose an approach to proving the correctness of geometric algorithms. The main contribution of the paper is that a set of proof decomposition rules is proposed which can help improve the automation of the proof of geometric algorithms. We choose TLA+2, a structural specification and proof language, as our experiment environment. The case study on a classical convex hull algorithm shows the usability of the method.

关键词： Silicon Computational geometry Arrays Automation Educational institutions Software algorithms Software

来源：评论

学校读者我要写书评

暂无评论

Parallel Spatial Hashing for Collision Detection of Deformable Surfaces

Parallel Spatial Hashing for Collision Detection of Deformab...

引用

IEEE International Conference on computer-Aided Design and computer Graphics

作者： Wenshan Fan Bin Wang Jianliang Zhou Jiaguang Sun Tsinghua University Beijing Beijing CN Key Laboratory for Information System Security Ministry of Education of China China School of Software Tsinghua University China Tsinghua National Laboratory for Information Science and Technology China Beijing AeroSpace Control Center China

We present a fast collision detection method for deformable surfaces with parallel spatial hashing on GPU architecture. The efficient update and access of the uniform grid are exploited to accelerate the performance in our method. To deal with the inflexible memory system, which makes the building of stream data a challenging task on GPU, we propose to subdivide the whole workload into irregular segments and design an efficient evaluation algorithm, which employs parallel scan and stream compaction, to build the stream data in parallel. The load balancing is a key aspect that needs to be considered in the SIMD parallelism. We break the heavy and irregular collision computation down into lightweight part and heavyweight part, ensuring the later perfectly run in load balancing manner with each concurrent thread processes just a single collision. In practice, our approach can perform collision detection in tens of milliseconds on a PC with NVIDIAGTX 260 graphics card on benchmarks composed of millions of triangles. The results highlight our speedups over prior CPU-based and GPU-based algorithms.

关键词： Graphics processing unit Computational modeling Arrays Benchmark testing Compaction Deformable models Buildings

来源：评论

学校读者我要写书评

暂无评论

A no-reference image quality evaluation based on power spectrum

A no-reference image quality evaluation based on power spect...

引用

3DTV Conference

作者： Yan Zhang Ping An Qiuwen Zhang Liquan Shen Zhaoyang Zhang School of Communication and Information Engineering Shanghai University China Department of Computer Science and Technology Anhui University of Finance and Economics China Key Laboratory of Advanced Displays and System Application Ministry of Education China

ISBN: (纸本)9781612841618

No-reference quality evaluation is more difficult because it does not refer to any image. However, in some cases, like virtual view images, can not find the reference image, no-reference method had to be used. With the free viewpoint video technology development and application, measuring the performance of the multiview video system is essential and virtual view image quality evaluation is one of the key technologies in the system. The characteristic of virtual view image quality evaluation is that most of the virtual view images haven't reference images and can't be assessed using general measures such as PSNR of full-reference. Therefore, this paper proposed a no-reference image quality evaluation method based on image power spectrum. Experimental results show that the proposed method is consistent with PSNR.

关键词： PSNR Image quality Three dimensional displays Transform coding Mathematical model Speckle

来源：评论

学校读者我要写书评

暂无评论

Improved multi-view depth estimation for view synthesis in 3D video coding

Improved multi-view depth estimation for view synthesis in 3...

引用

3DTV Conference

作者： Qiuwen Zhang Ping An Yan Zhang Liquan Shen Zhaoyang Zhang School of Communication and Information Engineering Shanghai University China Key Laboratory of Advanced Displays and System Application Ministry of Education China Department of Computer Science and Technology Anhui University of Finance and Economics China

ISBN: (纸本)9781612841618

Multi-view depth estimation is an important part in the virtual view synthesis and depth map coding within the 3DV/FTV applications. However, existing depth estimation methods generally have difficulty to generate good depth results around object edges or in areas with less texture. To solve this problem, we propose an improved algorithm to obtain a smooth and accurate depth map for view synthesis in 3D video coding. The proposed method aims to preserve details in the depth map and simultaneously smooth depths in object boundary occluded area, less texture and discontinuity regions, to avoid blurring in the synthesized views. Experimental results show a significant improvement of the initial input depth maps and coding efficiency, as well as a reduction of view synthesis artifacts.

关键词： Estimation Pixel Three dimensional displays Encoding Rendering (computer graphics) Image coding Transform coding

来源：评论

学校读者我要写书评

暂无评论

Efficient rendering distortion estimation for depth map compression

Efficient rendering distortion estimation for depth map comp...

引用

IEEE International Conference on Image Processing

作者： Qiuwen Zhang Ping An Yan Zhang Zhaoyang Zhang School of Communication and Information Engineering Shanghai University China Key Laboratory of Advanced Displays and System Application Ministry of Education China Department of Computer Science and Technology Anhui University of Finance and Economics China

A depth map represents three-dimensional (3D) scene information and is used to synthesize virtual views in 3D video. Since the quality of synthesized virtual views highly depends on the quality of depth map, efficient depth compression is crucial to realize the 3D video system. However compressing depth map using existing video coding techniques yields unacceptable distortions while rendering virtual views. To solve this problem, we propose an efficient depth map compression method for the view rendering, a novel distortion metric base on view rendering distortions instead of distortion of depth map itself. First, we derive relationships between distortions in coded depth map and rendered view. Then, a region based video characteristics distortion model is proposed for precisely estimation distortion in view synthesis. Finally, experimental results have shown that 1.8 dB coding gain in terms of PSNR and subjective quality improvement of synthesized views are achieved by the proposed method.

关键词： Image coding Rendering (computer graphics) Three dimensional displays Cameras Geometry Encoding Estimation

来源：评论

学校读者我要写书评

暂无评论

An improved depth map estimation for coding and view synthesis

An improved depth map estimation for coding and view synthes...

引用

IEEE International Conference on Image Processing

Inaccuracy depth estimation may influence on depth coding and virtual view rendering in the free-viewpoint television (FTV) system, an improved depth map estimation is proposed to solve the problem for coding and view synthesis. Firstly, check the consistency of initial depth, and the influence of initial miss-matches is minimized by introduction of an additional adaptive matching error selection that penalizes the unreliable matches. Then according to certain criteria, the multi-reference depth maps are merged into one disparity map to improve the quality of disparity map. Finally, a multilateral filtering is used to preserve details in the depth map and simultaneously smooth the depths in occluded areas at object boundary, less texture and discontinuity regions. Experimental results show a significant improvement of the initial input depth maps and coding efficiency, as well as a reduction of view synthesis artifacts.

关键词： Estimation Image coding Rendering (computer graphics) Transform coding Three dimensional displays Filtering

来源：评论

学校读者我要写书评

暂无评论

Construction-and-extraction based index for images retrieval

IEEJ Transactions on Electronics, Information and Systems

引用

IEEJ Transactions on Electronics, information and systems 2011年第7期131卷 1377-1383页

作者： Zhang, Junqi Ni, Lina Tian, Chunqi Gao, Shangce Tang, Zheng Department of Computer Science and Technology Key Laboratory of Embedded System and Service Computing Tongji University Shanghai 200092 China College of Info Sci and Engi Shandong University of Science and Technology Qingdao 266510 China Department of Intellectual Information Systems Engineering University of Toyama Toyama-shi 930-8555 Japan

The past recent years have witnessed more and more applications on image retrieval. As searching a large image database is often costly, to improve the efficiency, high dimensional indexes may help. This paper proposes an adaptive hybrid index (AHI) supported by a construction-and-extraction technique to support image retrieval. First, the image clusters are further partitioned into sub-clusters to reduce the overlap between clusters and indexed into an iDistance index. Then, the query sampling statistically extracts some sub-cluster from the iDistance index into a sequential file. Finally, the users' queries are accurately returned by searching both the iDistance index and the sequential file. It's proved that the proposed AHI never performs worse than the sequential scan. Particularly, the experimental results demonstrate that the proposed index AHI is beneficial and achieves better performance than some exiting methods. It is about 2 times faster than iDistance, almost three times than Omni-sequential, more than four times faster than sequential file and more than 10 times faster than M-tree on the benchmark images set. The effect of the proposed AHI is also investigated by our implemented content based images retrieval system. © 2011 The Institute of Electrical Engineers of Japan.

关键词： Extraction

来源：评论

学校读者我要写书评

暂无评论

Reader Activation Scheduling in Multi-reader RFID systems: A Study of General Case

Reader Activation Scheduling in Multi-reader RFID Systems: A...

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： Shaojie Tang Cheng Wang Xiang-Yang Li Changjun Jiang Department of Computer Science Illinois Institute of Technology Chicago IL USA Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai China Department of Computer Science University of Tongji Shanghai China

Radio frequency identification (RFID) is a technology where a reader device can "sense'' the presence of a close by object by reading a tag device attached to the object. To guarantee the coverage quality, multiple RFID readers can be deployed in the given region. In this paper, we consider the problem of activation schedule for readers in a multi-reader environment. In particular, we try to design a schedule for readers to maximize the number of served tags per time-slot while avoiding various interferences. We first develop a centralized algorithm under the assumption that different readers may have different interference and interrogation radius. Next, we propose a novel algorithm which does not need any location information of the readers. Finally, we extend the previous algorithm in distributed manner in order to suit the case where no central entity exists. We conduct extensive simulations to study the performances of our proposed algorithm. And our evaluation results corroborate our theoretical analysis.

关键词： Interference Radiofrequency identification Schedules Scheduling Processor scheduling Geometry Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

LIR-OSGi: Extends OSGi to support distributed and heterogeneous ubiquitous computing system

LIR-OSGi: Extends OSGi to support distributed and heterogene...

引用

International Conference on Pervasive Computing and Applications (ICPCA)

作者： Jinzhao Liu Xiaojuan Lu Dan Wang Xin Liu Yongqiang Lu Yu Chen Department of Computer Science and Technology Beijing University of Technology Beijing China General Hospital of PLA Second Artillery USA Research Institute of Information Technology Key Laboratory of Pervasive Computing Ministry of Education Tsinghua University Beijing China System Software and Software Engineering Group Laboratory of Pervasive Computing Department of Computer Science and Technology Tsinghua University Beijing China

ISBN: (纸本)9781457702099

As an emerging portable service platform, OSGi is now taking a more and more important role in Ubiquitous Computing environment. As a module management framework, OSGi provides the functions of dynamic loading and unloading software modules at runtime. But its use is limited because it is centralized and single programming language supported. In this paper we present LIR-OSGi, an extended framework of OSGi, which is designed to add the distribution and programming language independence to OSGi. Meanwhile it is easy to use for developers because of the transparence of service invocation and automation of distribution. Not like OSGi which can be applied only on the Java platform, LIR-OSGi makes programs which may be written in different programming languages be able to call each other transparently so that it can be applied in many different platforms such as DotNet Framework and so on. This brings much convenience to the program development in a distributed and heterogeneous environment.

关键词： Servers Sockets Indexes Program processors Logic gates Dynamic compiler

来源：评论

学校读者我要写书评

暂无评论

Application of rough set-based analysis to extract spatial relationship indicator rules： An example of land use in Pearl River Delta

引用

Journal of Geographical sciences 2011年第1期21卷 101-117页

作者： GE Yong CAO Feng DU Yunyan LAKHAN V. Chris WANG Yingjie LI Deyu State Key Laboratory of Resources and Environmental Information System Institute of Geographic Sciences and Natural Resources Research CAS Beijing 100101 China Department of Earth and Environmental Sciences University of Windsor ON N9B 3P4 Canada School of Computer & Information Technology of Shanxi University Taiyuan 030006 China

Spatial relations,reflecting the complex association between geographical phenomena and environments,are very important in the solution of geographical issues. Different spatial relations can be expressed by indicators which are useful for the analysis of geographical issues. Urbanization,an important geographical issue,is considered in this paper. The spatial relationship indicators concerning urbanization are expressed with a decision table. Thereafter,the spatial relationship indicator rules are extracted based on the application of rough set theory. The extraction process of spatial relationship indicator rules is illustrated with data from the urban and rural areas of Shenzhen and Hong Kong,located in the Pearl River Delta. Land use vector data of 1995 and 2000 are used. The extracted spatial relationship indicator rules of 1995 are used to identify the urban and rural areas in Zhongshan,Zhuhai and Macao. The identification accuracy is approximately 96.3%. Similar procedures are used to extract the spatial relationship indicator rules of 2000 for the urban and rural areas in Zhongshan,Zhuhai and Macao. An identification accuracy of about 83.6% is obtained.

关键词： rough set theory spatial relations spatial indicator rules land use change

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：