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

Research on fractional order controller based on best rational approximation approach

Journal of Convergence Information Technology 2012年第4期7卷 50-58页

作者： Zhao, Huimin Nie, Bing Li, Wen Deng, Wu Software Institute Dalian Jiaotong University Dalian 116028 China Key Laboratory of Numerical Simulation in the Sichuan Provincial College Neijiang Normal University Neijiang 641112 China Artificial Intelligence Key Laboratory of Sichuan Province Sichuan University of Science and Engineering Zigong 643000 China State Key Laboratory of Power Transmission Equipment and System Security and New Technology College of Electrical Engineering Chongqing University Chongqing 400044 China Key Laboratory of advanced Design and Intelligent Computing Dalian University Ministry of Education Dalian 116622 China

Introduce the basic concept of best rational approximation and constructing procedure of the best rational approximation function in Laplace domain. By an illustrative example the design method of FOC based on best rational approximation is discussed. The performance comparison of transfer functions between the FOC obtained by best rational approximation method and conventional PID shows that it is effective to apply the method in design of FOC, which can guarantee maximum absolute error of amplitude frequency characteristic of approximation function in a given error tolerance.

关键词： Rational functions

来源：评论

学校读者我要写书评

暂无评论

Cryptanalysis of a lattice-knapsack mixed public key cryptosystem

Cryptanalysis of a lattice-knapsack mixed public key cryptos...

引用

11th International Conference on Cryptology and Network security, CANS 2012

作者： Xu, Jun Hu, Lei Sun, Siwei Wang, Ping State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences Beijing 100093 China University of Chinese Academy of Sciences Beijing 100049 China School of Mathematical Science Anhui University Hefei 230601 Anhui China Tian Jin Zhong Wei Aerospace Data System Technology Co. Ltd. China Aerospace Science and Technology Corporation Beijing 100086 China Space Star Technology Co. Ltd. China Aerospace Science and Technology Corporation Beijing 100086 China Institute No.503 of the Fifth Research Academy China Aerospace Science and Technology Corporation Beijing 100086 China

ISBN: (纸本)9783642354038

Recently, a lattice based public key cryptosystem mixed with a knapsack was presented in the CANS 2011 conference. In this paper, we propose two message recovery attacks on this cryptosystem. The first one is a broadcast attack: a single message of m bits can be recovered if it is encrypted for ⌈m+1/2⌉ recipients. The second attack is a multiple transmission attack in which a message can be recovered with a probability of (1 - 2 -l)m if it is encrypted under a same public key for l = ⌈log2m + 2⌉ times using different random numbers. The multiple transmission attack can be further improved with a linearization technique to that only ⌈log2 m + 1/2⌉ times of encryptions are required to recover the message. An open problem related to the message recovery attack using only one cipehertext is discussed. © Springer-Verlag 2012.

关键词： Linearization

来源：评论

学校读者我要写书评

暂无评论

MUSIZ: A generic framework for music resizing with stretching and cropping 11

MUSIZ: A generic framework for music resizing with stretchin...

引用

19th ACM International Conference on Multimedia ACM Multimedia 2011, MM'11

作者： Zhang, Liu Wang, Chaokun Ba, Yiyuan Wang, Hao Wang, Jianmin Department of Computer Science and Technology Tsinghua University China School of Software Tsinghua University Beijing 100084 China Tsinghua National Laboratory for Information Science and Technology China Key Laboratory for Information System Security Ministry of Education China Key Laboratory of Intelligent Information Processing Institute of Computing Technology CAS China

ISBN: (纸本)9781450306164

Content-aware music adaption, i.e. music resizing, in temporal constraints starts drawing attention from multimedia communities because of the need of real-world scenarios, e.g. animation production and radio advertisement production. The goal of music resizing is to change the length of a music track to a user preferred length using a series of basic operations, e.g. compression, prolonging, cropping and repeating. The only existing music resizing approach so far, called LyDAR, suffers from some limitations. For example, it cannot support prolonging a music track and cannot compress music pieces with very small stretch rates. In this paper, we propose MUSIZ, a generic framework for MUsic reSIZing. Observing the diversity of quality degradation for different segments, we propose the concept of stretch-resistance to measure the degree of quality degradation after a segment is stretched. MUSIZ stretches high stretch-resistance segments intensively and relieves low stretch-resistance segments to reduce the negative impact on the stretched music piece. For short length resizing requests, we develop a contiguity-preservative cropping algorithm to remove segments before stretching, while smoothing the abrupt change at the joint between two segments. Comprehensive experimental results show that MUSIZ is superior to the existing approaches. © 2011 ACM.

关键词： stretch-resistance music retargeting music resizing

来源：评论

学校读者我要写书评

暂无评论

A Traffic congestion detection method for surveillance videos based on Macro optical flow Velocity

A Traffic congestion detection method for surveillance video...

引用

11th International Conference of Chinese Transportation Professionals: Towards Sustainable Transportation systems, ICCTP 2011

作者： Li, Xiying She, Yongye Yang, Guigen Zhao, Youting Luo, Donghua Guangdong Provincial Key Laboratory of Intelligent Transportation System School of Engineering Sun Yat-sen University Guangzhou 510006 China Traffic Management Bureau Guangdong Provincial Public Security Department Guangzhou 510440 China School of Information Science and Technology Sun Yat-sen University Guangzhou 510006 China

ISBN: (纸本)9780784411865

An intelligent and automatic traffic congestion detection method is proposed to reduce labor intensive monitoring work. The developed approach, applied on expressways, is to gather traffic congestion information using surveillance videos. The speed of traffic flow, defined as "macro optical flow velocity, is calculated from video pixel's motion directly. The calculation progress includes two steps: 1) extract the feature points, which meeting three conditions: corner, strong motion and main direction consistency;and 2) calculate optical flow vectors of feature points using LK algorithm. The average value is determined as the macro optical flow velocity. According its continuous time feature and other characteristic, the traffic congestion status is automatically and directly detected. The test results of surveillance videos from Guangzhou-Shenzhen expressway have shown that the proposed method could automatically detect traffic congestion in 10 seconds. © 2011 ASCE.

关键词： Optical flows

来源：评论

学校读者我要写书评

暂无评论

SAR imaging from compressed measurements based on L1/2 regularization

SAR imaging from compressed measurements based on L1/2 regul...

引用

IEEE International Symposium on Geoscience and Remote Sensing (IGARSS)

作者： Jinshan Zeng Zongben Xu Hai Jiang Bingchen Zhang Wen Hong Yirong Wu Ministry of Education Key Laboratory for Intelligent Networks and Network Security Xian China Institute of Information and System Science Xian Jiaotong University Xian China Institute of Electronics Chinese Academy of Sciences Beijing China

In this paper, a novel synthetic aperture radar (SAR) imaging method based on L 1/2 regularization is proposed. Our method implements SAR imaging from compressed measurements with high resolution, enhanced features, reduced sidelobes and suppressed artifacts. Real SAR data experiments are implemented to demonstrate the outperformance of our method. The experiment results demonstrate that our method needs far below the traditional Nyquist rate to guarantee successful imaging. Compared to the prevalent L 1 regularization-based methods, there is a significant reduction of the sampling rate for SAR imaging. The sampling rate used by our method is about half of the L 1 regularization-based methods in the real SAR data experiments.

关键词： Radar polarimetry Radar imaging Image reconstruction Image resolution Imaging Synthetic aperture radar

来源：评论

学校读者我要写书评

暂无评论

An extraction method of road structure for surveillance Video

An extraction method of road structure for surveillance Vide...

引用

11th International Conference of Chinese Transportation Professionals: Towards Sustainable Transportation systems, ICCTP 2011

作者： Luo, Dong-Hua Zhao, Jian-Hua Li, Xi-Ying Wang, Zhen-Bo School of Information Sciences and Technology Sun Yat-sen University Guangzhou Higher Education Mega Center No. 132 East Outer Ring Road Guangzhou 510006 China Traffic Management Bureau Guangdong Provincial Public Security Department NO.388 Jianpeng Road Baiyun District Guangzhou 510440 China School of Engineering Sun Yat-sen University Guangzhou Higher Education Mega Center No.132 East Outer Ring Road Guangzhou 510006 China Guangdong Provincial Key Laboratory of Intelligent Transportation System Building 312 NO.135 West Xingang Road Guangzhou 510275 China

ISBN: (纸本)9780784411865

The scene of surveillance video is usually wide and variable, and the target vehicles inside it are often small. Surveillance videos usually are not suitable for intelligent video applications, such as video vehicle detection. To solve this problem, an extraction method of road structure for surveillance video is proposed for intelligent applications. The principle of the method is developed to first extract road regions of surveillance videos by accumulating movement regions in video image sequences. Based on it, the left and right borderlines of road regions are pulled out using the Hough transform according to the statistical characteristics of road structure in surveillance video. Experiment results have shown that the road structure can be extracted precisely and effectively from the surveillance video of freeway and city expressway. © 2011 ASCE.

关键词： Hough transforms

来源：评论

学校读者我要写书评

暂无评论

Solving Sum and Product Riddle via BDD-Based Model Checking

Solving Sum and Product Riddle via BDD-Based Model Checking

引用

IEEE WIC ACM International Conference on Web Intelligence (WI)

作者： Xiangyu Luo Kaile Su Abdul Sattar Yan Chen Tsinghua National Laboratory for Information Science and Technology Key Laboratory of Security for Information System of Ministry of Education School of Software Tsinghua University Beijing China Department of Computer Science Guilin University of Electronic and Technology Guilin China School of Electronics Engineering and Computer Science Peking University Beijing China Institute for Integrated and Intelligent Systems Griffith University Brisbane QLD Australia

We model the sum and product riddle in public announcement logic, which is interpreted on an epistemic Kripke model. The model is symbolically represented as a finite state program with n agents. A model checking method to the riddle is developed by using the BDD-based symbolic model checking algorithm for logic of knowledge we developed in [7]. The method is implemented by extending the model checker MCTK [7] and then the solution of the riddle is verified successfully.

关键词： data structures Boolean functions IEEE news intelligent agent Educational technology Automatic logic units Laboratories Computer science Information science Computer security

来源：评论

学校读者我要写书评

暂无评论

ROLE OF SIMULATION IN RAPID PROTOTYPING FOR CONCEPT DEVELOPMENT

引用

NAVAL ENGINEERS JOURNAL 1991年第3期103卷 204-211页

作者： KING, JF BARTON, DE J. Fred King:is the manager of the Advanced Technology Department for Unisys in Reston Virginia. He earned his Ph.D. in mathematics from the University of Houston in 1977. He has been principal investigator of research projects in knowledge engineering pattern recognition and heuristic problem-solving. Efforts include the development of a multi-temporal multispectral classifier for identifying graincrops using LANDSAT satellite imagery data for NASA. Also as a member of the research team for a NCI study with Baylor College of Medicine and NASA he helped develop techniques for detection of carcinoma using multispectral microphotometer scans of lung tissue. He established and became technical director of the AI Laboratory for Ford Aerospace where he developed expert scheduling modeling and knowledge acquisition systems for NASA. Since joining Unisys in 1985 he has led the development of object-oriented programming environments blackboard architectures data fusion techniques using neural networks and intelligent data base systems. Douglas E. Barton:is manager of Logistics Information Systems for Unisys in Reston Virginia. He earned his B.A. degree in computer science from the College of William and Mary in 1978 and did postgraduate work in London as a Drapers Company scholar. Since joining Unisys in 1981 his work has concentrated on program management and software engineering of large scale data base management systems and design and implementation of knowledge-based systems in planning and logistics. As chairman of the Logistics Data Subcommittee of the National Security Industrial Association (NSIA) he led an industry initiative which examined concepts in knowledge-based systems in military logistics. His responsibilities also include evaluation development and tailoring of software engineering standards and procedures for data base and knowledge-based systems. He is currently program manager of the Navigation Information Management System which provides support to the Fleet Ballistic Missile Progr

A valuable technique during concept development is rapid prototyping of software for key design components. This approach is particularly useful when the optimum design approach is not readily apparent or several known alternatives need to be rapidly evaluated. A problem inherent in rapid prototyping is the lack of a "target system" with which to interface. Some alternatives are to develop test driver libraries, integrate the prototype with an existing working simulator, or build one for the specific problem. This paper presents a unique approach to concept development using rapid prototyping for concept development and scenario-based simulation for concept verification. The rapid prototyping environment, derived from artificial intelligence technology, is based on a blackboard architecture. The rapid prototype simulation capability is provided through an object-oriented modeling environment. It is shown how both simulation and blackboard technologies are used collectively to rapidly gain insight into a tenacious problem. A specific example will be discussed where this approach was used to evolve the logic of a mission controller for an autonomous underwater vehicle.

关键词： Military Engineering

来源：评论

学校读者我要写书评

暂无评论

Correlation-aware Cross-modal Attention Network for Fashion Compatibility Modeling in UGC systems

引用

ACM Transactions on Multimedia Computing, Communications, and Applications 1000年

作者： Kai Cui Shenghao Liu Wei Feng Xianjun Deng Liangbin Gao Minmin Cheng Hongwei Lu Laurence T. Yang Hubei Key Laboratory of Distributed System Security Hubei Engineering Research Center on Big Data Security School of Cyber Science and Engineering Huazhong University of Science and Technology China China Nuclear Power Operation Technology Corporation Ltd. China

Empowered by the continuous integration of social multimedia and artificial intelligence, the application scenarios of information retrieval (IR) progressively tend to be diversified and personalized. Currently, User-Generated Content (UGC) systems have great potential to handle the interactions between large-scale users and massive media contents. As an emerging multimedia IR, Fashion Compatibility Modeling (FCM) aims to predict the matching degree of each given outfit and provide complementary item recommendation for user queries. Although existing studies attempt to explore the FCM task from a multimodal perspective with promising progress, they still fail to fully leverage the interactions between multimodal information or ignore the item-item contextual connectivities of intra-outfit. In this paper, a novel fashion compatibility modeling scheme is proposed based on Correlation-aware Cross-modal Attention Network. To better tackle these issues, our work mainly focuses on enhancing comprehensive multimodal representations of fashion items by integrating the cross-modal collaborative contents and uncovering the contextual correlations. Since the multimodal information of fashion items can deliver various semantic clues from multiple aspects, a modality-driven collaborative learning module is presented to explicitly model the interactions of modal consistency and complementarity via a co-attention mechanism. Considering the rich connections among numerous items in each outfit as contextual cues, a correlation-aware information aggregation module is further designed to adaptively capture significant intra-correlations of item-item for characterizing the content-aware outfit representations. Experiments conducted on two real-world fashion datasets demonstrate the superiority of our approach over state-of-the-art methods.

关键词： User-Generated Contents fashion intelligent analysis complementary compatibility modeling multimodal representation learning correlation-aware integration strategy

来源：评论

学校读者我要写书评

暂无评论

DeFeed: Secure Decentralized Cross-Contract data Feed in Web 3.0 for Connected Autonomous Vehicles

引用

ACM Transactions on Autonomous and Adaptive systems 1000年

作者： Xingchen Sun Runhua Xu Wei Ni Li Duan Chao Li Beijing Key Laboratory of Security and Privacy in Intelligent Transportation Beijing Jiaotong University China School of Computer Science and Engineering Beihang University China School of Electrical and Data Engineering University of Technology Sydney Australia

Smart contracts have been a topic of interest in blockchain research and are a key enabling technology for Connected Autonomous Vehicles (CAVs) in the era of Web 3.0. These contracts enable trustless interactions without the need for intermediaries, as they operate based on predefined rules encoded on the blockchain. However, smart contacts face significant challenges in cross-contract communication and information sharing, making it difficult to establish seamless connectivity and collaboration among CAVs with Web 3.0. In this paper, we propose DeFeed, a novel secure protocol that incorporates various gas-saving functions for CAVs, originated from in-depth research into the interaction among smart contracts for decentralized cross-contract data feed in Web 3.0. DeFeed allows smart contracts to obtain information from other contracts efficiently in a single click, without complicated operations. We judiciously design and complete various functions with DeFeed, including a pool function and a cache function for gas optimization, a subscribe function for facilitating data access, and an update function for the future iteration of our protocol. Tailored for CAVs with Web 3.0 use cases, DeFeed enables efficient data feed between smart contracts underpinning decentralized applications and vehicle coordination. Implemented and tested on the Ethereum official test network, DeFeed demonstrates significant improvements in contract interaction efficiency, reducing computational complexity and gas costs. Our solution represents a critical step towards seamless, decentralized communication in Web 3.0 ecosystems.

关键词： Blockchain Ethereum Smart Contract data Feed Web3 CAVs

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：