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

Conference on Technologies for Optical Countermeasures XV

作者： Kim, Jin Kyum Kim, Byeong Hak Kim, Min Young Hanwha Syst Co 2441 Gongdan Ro Gumi South Korea Kyungpook Natl Univ 80 Daehakro Daegu South Korea

ISBN: (数字)9781510621787

ISBN: (纸本)9781510621787

The LADAR system is a device that generates a depth map using reflected laser range information after irradiating a laser pulse onto a terrain or target. In recent years, it is important to acquire accurate 3D coordinates of target objects with target identification from 3D raw data.(1-3) The existing LADAR system does not have the function to calculate the target coordinates, but recently, its coordinate system LADAR is actively researched to find the target coordinates. In order to accurately calculate the target coordinates, accurate position information (GPS) of the LADAR system and distance to the target and angle of the laser are required. Generally, digital magnetic compass (DMC) should be used to obtain accurate angles. However, in a region in strong magnetic fields, DMC cannot guarantee its accuracy and its usage is limited. In this paper, we propose a coordinate calibration system to replace DMC and a method to extract accurate angle information using GPS and encoder for robust target coordinate extraction to the magnetic field variation. As experimental results of the proposed system, it is confirmed that it is a robust system in the magnetic field environment compared with the coordinate system using the existing DMC. This is an improved technique for obtaining accurate target coordinates in various environments. Using the proposed LADAR system, it is possible to construct a smart defense system to extract the precise target latitude and longitude coordinate system and to transmit the information to the associated Missile base and command center.

关键词： Laser Radar target acquisition Geographic Coordinates transformation algorithm

来源：评论

学校读者我要写书评

暂无评论

Scheduling model-to-model transformations with continuations

引用

SOFTWARE-PRACTICE & EXPERIENCE 2014年第11期44卷 1351-1378页

作者： Sanchez Cuadrado, Jesus Perera Aracil, Jesus Univ Autonoma Madrid E-28049 Madrid Spain Univ Murcia Murcia Spain

Model transformations are at the heart of model-driven engineering because they allow the automation of diverse kinds of model manipulations. transformation scheduling is a key issue in the design and implementation of many transformation languages. This paper reports our results using continuations as the underlying technique for building a scheduling mechanism implicitly driven by data dependence among transformation rules. To support our experiments, we have built a proof-of-concept model transformation language, which is also reported here. First, we motivate the problem by analyzing the scheduling mechanism of current model transformation languages. Then, we introduce the notion of continuation, showing its applicability to model transformations. Afterwards, we present our approach, notably explaining how dependence is specified and giving the scheduling algorithm. We also analyze the lazy resolution of rules and how to deal with collection operations. The approach is validated by an implementation that targets the Java Virtual Machine and by running of the performance benchmarks that show its efficiency and scalability. Besides, we discuss how it can be applied to other existing transformation languages and present several applicability scenarios. Copyright (C) 2013 John Wiley & Sons, Ltd.

关键词： model-to-model transformation transformation scheduling transformation algorithm

来源：评论

学校读者我要写书评

暂无评论

The General algorithm for the Design of the MDA transformation Models

The General Algorithm for the Design of the MDA Transformati...

引用

5th International Conference on Computational Intelligence, Communication Systems and Networks (CICSyN)

作者： Tavac, Marek Tavac, Viliam Univ Zilina Fac Management Sci & Informat Dept Software Technol Zilina Slovakia

ISBN: (纸本)9780769550428;9781479905874

This article deals with the design of the MDA transformation models. It suggests a new general algorithm for systematic and step by step construction of the MDA transformation models. In the first part, the theory and the model driven architecture prolematic, such as its standards, process and transformation, is discussed in general. Subsequently the specification of the transformation model is described in more detail. We define special conditions for the mapping rules classification. The most important part of this paper is the algorithm definition. There is the specification of the transformation model creation same as the target metamodel extension there. The final part contains an example of the proposed algorithm application and a summary of the results. We present the algorithm behavior on a concrete model transformation.

关键词： MDA transformation algorithm model mapping rule

来源：评论

学校读者我要写书评

暂无评论

Restoration of Blur & Noisy Images Using Hybrid Kernel-Padding algorithm with transformation Technique

Restoration of Blur & Noisy Images Using Hybrid Kernel-Paddi...

引用

4th IEEE International Conference on Computer and Communication Technology (ICCCT)

作者： Ansari, Rohina Yadav, Himanshu Jain, Anurag Radharaman Inst Sci & Technol Dept Comp Sci Bhopal India

ISBN: (纸本)9781479915729

Digital world is a dire need of the current scenario. Now these days equipments take the digital snapshots which may be blur due to bad focus of camera, relative motion between camera and scene to be capture etc. This is an extensive problem to restore this sort of images. This paper proposed a hybrid methodology to recover these images in order to improve the quality. This work uses the basic concept of kernel and padding. This work also applies the Haar wavelet Transform for filtering the image in order to reconstruct image which have the noise and blur. The results of this paper show that the proposed method gives the better result from the previous methods. It seems to be that the PSNR, Mean Square Rate and execution time is better in the proposed scheme.

关键词： Blurred Images Image Restoration Hybrid Kernel Padding transformation algorithm

来源：评论

学校读者我要写书评

暂无评论

Unconditionally provably secure cancellable biometrics based on a quotient polynomial ring

引用

IET BIOMETRICS 2012年第1期1卷 63-71页

作者： Takahashi, K. Naganuma, K. Hitachi Ltd Yokohama Res Lab Kanagawa Japan Univ Tokyo Grad Sch Informat Sci & Technol Tokyo Japan

Biometric authentication has attracted attention because of its high security and usability. However, biometric features such as fingerprints are unchangeable throughout the life of individuals. Thus, once biometric data have been compromised, they cannot be used for authentication securely ever again. To address this issue, an authentication scheme called cancellable biometrics has been studied. However, there remains a major challenge to achieve both strong security and practical accuracy. The correlation invariant random filtering (CIRF) is an algorithm for cancellable biometrics with provable security and practical accuracy. However, the security proof requires an unrealistically strong assumption with regard to biometric features. The authors examine the security of the CIRF when the assumption is not satisfied, and show that there are vulnerabilities. To address the problems, the authors interpret the CIRF from an algebraic point of view and generalise it based on a quotient polynomial ring. Then several theorems are proved, which derive a new transformation algorithm. The security of the algorithm without any condition on the biometric features is proved. The authors also evaluate the accuracy of the algorithm by applying it to the chip matching algorithm for fingerprint verification and show that it does not degrade the matching accuracy.

关键词： filtering theory security proof quotient polynomial ring Other topics in statistics fingerprint verification security of data biometric features biometrics (access control) chip matching algorithm polynomials correlation invariant random filtering CIRF algorithm security vulnerability Algebra authentication scheme unconditionally provably secure cancellable biometrics Data security biometric authentication transformation algorithm biometric data

来源：评论

学校读者我要写书评

暂无评论

Research on transformation from UML Statechart to Classical State Diagram

Research on Transformation from UML Statechart to Classical ...

引用

2nd International Conference on Computer Science and Network Technology (ICCSNT)

作者： Wu Xiaodan Zhang Xuejie Li Liangming Hohai Univ Comp & Informat Coll Nanjing Jiangsu Peoples R China

ISBN: (纸本)9781467329644;9781467329637

UML statechart are finite state machines extended with hierarchy, orthogonality and broadcasting. It can describes all dynamic actions of the element in system. But it is very difficult to be applied to generating test cases directly in practical application for its complex syntax definition and imprecise semantics. The paper analyses the UML statechart in detail and designs a transformation algorithm for transformation from UML statechart to classical state diagram. It provides a feasible approch for generating test cases directly from UML statechart. At last the approach is illustrated with an example.

关键词： UML Statechart Classical State Diagram Model transformation transformation algorithm

来源：评论

学校读者我要写书评

暂无评论

Queuing Network Based Performance Analysis for Reconfigurable Routing and Switching Platform Management System

Queuing Network Based Performance Analysis for Reconfigurabl...

引用

The 2011 International Conference on Informatics,Cybernetics,and Computer Engineering(ICCE 2011)

作者： Yinyan Shi Weiming Wang Chuanhuang Li College of Information & Electronic Engineering Zhejiang Gongshang University

This paper describes Reconfigurable Routing and Switching Platform Management System by Unified Modeling Language model, and then gives the transformation description for the conversion from an UML model with fork and joint nodes in UML Activity diagrams into a Queuing Network model. We can simplify the Queuing Network model by analyzing the system, from which we can get performance parameters of the model in the software design phases by solving the simplified model. Finally, we implement and test the actual system to validate the algorithm and model. The result proves that our algorithm and model are right.

关键词： UML transformation algorithm Queuing Network performance

来源：评论

学校读者我要写书评

暂无评论

Extending a Role Graph for Role-Based Access Control

引用

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS 2009年第2期E92D卷 211-219页

作者： Asakura, Yoshiharu Nakamoto, Yukikazu NEC Corp Ltd Syst Platforms Res Labs Kawasaki Kanagawa 2118666 Japan Univ Hyogo Grad Sch Appl Informat Kobe Hyogo 6500044 Japan

Role-based access control (RBAC) is widely used as an access control mechanism in various computer systems. Since an organization's lines of authority influence the authorized privileges of jobs, roles also form a hierarchical structure. A role graph is a model that represents role hierarchies and is suitable for the runtime phase of RBAC deployment. Since a role graph cannot take various forms for given roles and cannot handle abstraction of roles well, however, it is not suitable for the design phase of RBAC deployment. Hence, an extended role graph, which can take a more flexible form than that of a role graph, is proposed. The extended role graph improves diversity and clarifies abstraction of roles, making it suitable for the design phase. An equivalent transformation algorithm (ETA), for transforming an extended role graph into an equivalent role graph, is also proposed. Using the ETA, system administrators can deploy efficiently RBAC by using an extended role graph in the design phase and a standard role graph in the runtime phase.

关键词： RBAC role graph transformation algorithm equivalence

来源：评论

学校读者我要写书评

暂无评论

MULTI-DOMAIN MATRICES: ANOTHER PERSPECTIVE

MULTI-DOMAIN MATRICES: ANOTHER PERSPECTIVE

引用

10th International Design Structure Matrix Conference

作者： Danilovic, Mike Asamoah-Barnieh, Raymond Jonkoping Univ Jonkoping Int Business Sch Jonkoping Sweden Jonkoping Univ Sch Engn Jonkoping Sweden

ISBN: (纸本)9783446418257

• With ever increasing competition, companies are collaborating in networks with projects increasingly spanning across different teams in companies with divisions in different geographical locations and with partner companies with different specializations. This creates the situation in which different companies must interact effectively to achieve a common goal in a multi-domain network environment. In this paper, a new approach for Multi-Domain Matrix (MDM) analysis based on empirical research on 4 companies in a network is presented. The approach builds on the perspective that the MDM consists of several matrices whose interrelationships can be explored. The perspective leads to the formulation of an aggregation of novel concepts for Multi-Domain Analysis which in turn leads us to a novel MDM phenomenon of managerial importance which has been named supercircuit in this paper.

关键词： Company Networks MDM Supercircuits transformation algorithm

来源：评论

学校读者我要写书评

暂无评论

基于多时间粒度转换算法的时态数据库扩展

基于多时间粒度转换算法的时态数据库扩展

引用

第二十四届中国数据库学术会议

作者：尹浩张世栋袁辉山东大学计算机科学与技术系

1引言由于越来越多的应用需要保存历史信息,对时态数据库的研究受到了人们的关注。不同的应用领域具有对时间的不同要求,因此一个时态数据库管理系统(TDBMS)的数据定义语言应提供用户定义时间元的功能。由于应用的复杂性及多样性,不但

关键词： Temporal database Temporal granularity transformation algorithm Finer-than

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：