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

2010 9th International Symposium on Antennas Propagation and EM Theory, ISAPE 2010

作者： Xiao, Jian-Kang Zhu, Yu-Feng Fu, Jeffrey S. College of Computer and Information Hohai University Changzhou 213022 China State Key Laboratory of Millimeter Waves Nanjing 210096 China Jiangsu Key Laboratory Power Transmission and Distribution Equipment Technology Changzhou 213022 China Department of Electronic Engineering Chang Gung University Taoyuan 333 Taiwan

ISBN: (纸本)9781424469062

New low pass filters with ultra-wide stopband by using dumbbell defected ground structures (DGSs) with size reduction are presented in this paper. Non-uniform DGSs etched under a stepped-impedance microstrip line are developped to get better filter performances of transmission zeros, enhanced return loss and ultra-wide stopband that is beneficial to higher order harmonic suppression. A comparison of low pass filters between standard 50-ohm microstrip line and stepped-impedance microstrip line has been evaluated, respectively. The proposed low pass filter with non-uniform dumbbell DGSs and stepped-impedance microstrip line has better performances than that with uniform DGSs and uniform microstrip line, and simultaneously, DGS units are decreased and which brings a smaller circuit size. The design is demonstrated by measurement. ©2010 IEEE.

关键词： Low pass filters

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Approach for Solving Nonlinear Bilevel Programming Problems Using Genetic Algorithms

A Hybrid Approach for Solving Nonlinear Bilevel Programming ...

引用

International Conference on Computational Intelligence and Security

作者： Hecheng Li Yuping Wang Department of Mathematics and Information Science Key Laboratory of Tibetan Information Processing of Ministry of Education Key Laboratory of Tibetan Information Processing of Ministry of Education Xining China School of Computer Science and Technology Xidian University Xi'an China

The paper focuses on a special nonlinear bilevel programming problem (BLPP), and its characteristic is that the follower's programming is convex and quadratic, whereas there are no any additional requirements for the leader's functions. In order to solve the complex problem efficiently, it is first converted into an equivalent single-level programming by using Karush-Kuhn-Tucher (K-K-T) conditions, and then a hybrid genetic algorithm(HGA), combined with an enumeration technique of the bases, is proposed to solve the equivalent problem. At first, a mixed encoding scheme is given, involving the leader's variables and the bases of the follower's linear complementarity system, In addition, we present a fitness function which consists of the leader's objective and a penalty term, and by which the feasible and infeasible individuals can be identified. In order to illustrate the efficiency of HGA, 10 test problems selected from literature are solved, and the computational results show that the proposed algorithm is efficient and robust.

关键词： Lead Biological cells Programming profession Encoding Optimization Gallium

来源：评论

学校读者我要写书评

暂无评论

Translating Separation Logic into a Fragment of the First-Order Logic

Translating Separation Logic into a Fragment of the First-Or...

引用

Sixth International Conference on Semantics,Knowledge and Grids(第六届语义、知识与网格国际会议 SKG 2010)

作者： Cungen Cao Yuefei Sui Yuming Shen Ju Wang Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Aca Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Aca School of Computer Science and Information Engineering Guangxi Normal University Guilin China 54100

Separation logic is an extension of Hoare logic for reasoning about mutable heap structure. To represent separation logic in the first-order logic, there are several choices to determine what are constants, what are predicates and quantifiers, and whether the commands are taken as atomic or composite. This paper shall give a translation of separation logic into a guarded fragment of the first-order logic, such that the translation is faithful, that is, the translation translates a consistent statement (boolean expression, assertion or specification) of separation logic into a consistent formula in the fragment of the first-order logic. By the decidability of the satisfiability problem of the guarded first-order logic, if the commands are taken as atomic in the first-order logic then the guarded first-order logic translated from separation logic is decidable;if the commands are taken as atomic/composite in the first-order logic then the first-order logic translated from separation logic is undecidable.

关键词： Semantics Syntactics computers Cognition Object oriented modeling information processing Laboratories

来源：评论

学校读者我要写书评

暂无评论

A Robust Method for License Plate Detection

A Robust Method for License Plate Detection

引用

Pacific-Rim Symposium on Image and Video technology (PSIVT)

作者： Jian Luo Su Yang Ruimin Guan Haijun Niu School of Computer Science and Technology & Shanghai Key Laboratory of Intelligent Information Processing Fudan University Shanghai China

License plate detection plays an important role in vehicle license plate recognition for intelligent transport systems. This paper presents a robust method for license plate detection. As we observed, license plate area contains rich corner points' information. The whole procedure is as follows: (1) Extract the interesting points using Harris corner detector in enhanced car image. (2) Cluster the corner points and apply outlier detection to every cluster. (3) Merge the clusters close to each other and use the gradient information to find the proper block in which the license plate area is enclosed. (4) Train a simple cascade classifier to classify the blocks into two categories: The area possibly containing license plate and those not. (5) Detect the plate region by the rectangle window. Experimental results demonstrate the robustness and the generality of our method.

关键词： Licenses Image edge detection Clustering algorithms Image color analysis Feature extraction Classification algorithms Robustness

来源：评论

学校读者我要写书评

暂无评论

Translating separation logic into a fragment of the first-order logic

Translating separation logic into a fragment of the first-or...

引用

6th International Conference on Semantics, Knowledge and Grid, SKG 2010

作者： Sui, Yuefei Shen, Yuming Cao, Cungen Wang, Ju Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China Graduate University of Chinese Academy of Sciences Chinese Academy of Sciences Beijing 100039 China School of Computer Science and Information Engineering Guangxi Normal University Guilin 541004 China

ISBN: (纸本)9780769541891

Separation logic is an extension of Hoare logic for reasoning about mutable heap structure. To represent separation logic in the first-order logic, there are several choices to determine what are constants, what are predicates and quantifiers, and whether the commands are taken as atomic or composite. This paper shall give a translation of separation logic into a guarded fragment of the first-order logic, such that the translation is faithful, that is, the translation translates a consistent statement (boolean expression, assertion or specification) of separation logic into a consistent formula in the fragment of the first-order logic. By the decidability of the satisfiability problem of the guarded first-order logic, if the commands are taken as atomic in the first-order logic then the guarded first-order logic translated from separation logic is decidable, if the commands are taken as atomic/composite in the first-order logic then the first-order logic translated from separation logic is undecidable. © 2010 IEEE.

关键词： Computability and decidability

来源：评论

学校读者我要写书评

暂无评论

Performance study on logging to another main memory database

Performance study on logging to another main memory database

引用

作者： Qin, Xiongpai Xiaoyun, Zhou Key Laboratory of Data Engineering and Knowledge Engineering School of Information Renmin University of China Beijing 100872 China Department of Computer Science and Technology Xuzhou Normal University Xuzhou Jiangsu 221008 China

ISBN: (纸本)9788988678183

In update intensive main memory database applications, huge volume of log records is generated, to maintain the ACID properties of the database system, the log records should be persistent efficiently. Delegating logging of one main memory database to another main memory database is proposed. The scheme is elaborated in detail in terms of architecture, logging & safeness levels, checkpointing, and recovery. Strict durability and relax durability are provided. When some form of non-volatile memory is used to temporarily holding log records, not only logging efficiency is improved, but also the scheme could guarantee full ACID of the system. We also propose using parallel logging to speedup log persistence by writing logs to multiple disks in parallel. Since interconnection network techniques progress by leaps and bounds, the scheme eliminates the concern about whether the system's overall performance may be slowed down by bandwidth and latency limitations. Experiment results demonstrate the feasibility of the proposal.

关键词： Interconnection networks (circuit switching)

来源：评论

学校读者我要写书评

暂无评论

Single trapezoidal patch resonator bandpass filter

Single trapezoidal patch resonator bandpass filter

引用

IEEE International Conference on Ultra-Wideband

作者： Xiao, J.-K. Huang, H.-F. Fu, Jeffrey S. College of Computer and Information Hohai University Changzhou 213022 China Jiangsu Key Laboratory of Power Transmission and Distribution Equipment Technology Changzhou 213022 China School of Electronic and Information Engineering South China University of Technology Guangzhou 510640 China Electronic Engineering Department Chang Gung University Taoyuan Taiwan

ISBN: (纸本)9781424453061

Isosceles trapezoidal resonator bandpass filters are proposed, and filters performances are calculated and optimized, and validity of the design is demonstrated by experiment. With etched trapezoidal fractal-shaped defection in patch, filters performances are greatly improved, and the bandpass filters can implement a controllable, dual and wide passband with a maximum relative bandwidth of 60%, and insertion loss of less than 1 dB, and transmission zeros, et al. The designed filters have outstanding advantages such as simple and compact structure, small size, nicer frequency selectivity and so on, and can be quite useful for applications in future wireless communication systems. © 2010 IEEE.

关键词： Bandpass filters

来源：评论

学校读者我要写书评

暂无评论

A visual search system based on multi-scale population cell coding

A visual search system based on multi-scale population cell ...

引用

IEEE International Conference on Cognitive Informatics

作者： Fang, Fang Miao, Jun Qing, Laiyun Gao, Wen School of Computer Science and Technology Harbin Institute of Technology Harbin 150001 China Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China School of Information Science and Engineering Graduate University of the Chinese Academy of Sciences Beijing 100049 China Institute for Digital Media Peking University Beijing 100871 China

ISBN: (纸本)9781424480401

Gaze movement plays an important role in human visual search system. How to simulate such a system to efficiently encode and decode gaze movement for target searching is a meaningful issue. There are two key points that should be addressed for this issue. First, eye movement is affected by the visual context that includes more than one object in images. It is important to study how to encode the spatial relationship between the target and the other objects, and decode the spatial relationship to drive the gaze moving to the target. Second, the human retina has a non-uniform distribution of light sensing neurons, which can be viewed as a composition of neuron arrays in different spatial resolutions. When a system searches a target, how many scales of visual fields should be involved to sense the image stimulus? In this paper, we propose a visual search system using the population cell coding mechanism and the multi-scale visual field as sensing input. As an example, the system is applied to human eye center searching. An experimental comparison of a Full-scale visual field coding system and a Gradual-scale coding system is carried out. The experiment results show the Gradual-scale coding system performs better than Full-scale coding system for target searching. © 2010 IEEE.

关键词： Eye movements

来源：评论

学校读者我要写书评

暂无评论

IPv6-based dynamic quality of service control strategy for wireless network

引用

Journal of Networks 2010年第9期5卷 1098-1105页

作者： Chen, Zhifeng Zhu, Qiaoming Qian, Peide Chen, Fengyan Key Laboratory of Computer Information Processing Technology of Jiangsu Province School of Computer Science and Technology Soochow University Suzhou 215006 China Suzhou Institute of Trade and Commerce Suzhou 215009 China School of Foreign Language Soochow University Suzhou 215006 China

On the basis of the architecture for fast handover of hierarchical IPv6, a coordinated call admission control mechanism was presented, providing an end-to-end RSVP context transfer for real-time applications to overcome the weakness of the context transfer protocol which cannot meet the need of end-to-end QoS mechanisms because the contexts were only transferred between the previous and new access routers. The mechanism decreased the delay caused by re-initiate QoS signaling from scratch to reestablish QoS forwarding process, and minimized the handover service disruption. The signaling overhead and handover latencies could be reduced by adopting t he fast handover for hierarchical IPv6 architecture. The approach was compared with the re-initiating RSVP signaling to reestablish QoS states using network simulator ns2. The numerical results showed that the scheme has the less latency and packet loss than that of the re-initiating approach. © 2010 ACADEMY PUBLISHER.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

Schedulability analysis for real-time messages over switched Ethernet with EDF scheduling

Schedulability analysis for real-time messages over switched...

引用

International Conference on information Science and Engineering (ICISE)

作者： Ming Tan Zhen Wei Key Laboratory of Network and Intelligent Information Processing Hefei University Hefei China School of Computer and Information Hefei University of Technology Hefei China

To overcome the drawback that switched Ethernet can not meet the real-time requirements in industrial communications, an improved message transmission model in which switch and the end-nodes control the real-time traffic with Earliest Deadline First (EDF) scheduling was proposed. In addition, a distributed admission control method for periodic messages which is performed by the source and the destination nodes without the modification of the operational features of Ethernet switch was presented. Moreover, a more general schedulability condition for real-time periodic message over switched Ethernet was given and proved by using real-time scheduling theory.

关键词： Switches Real time systems Ethernet networks Scheduling algorithm Job shop scheduling Admission control Synchronization

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：