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

作者： Guo, Tiantian Zhang, Hui Wen, Yamei School of Software Tsinghua University Beijing 100084 China Key Laboratory for Information System Security Ministry of Education Beijing 100084 China Tsinghua National Laboratory for Information Science and Technology Beijing 100084 China

In this paper, an improved example-driven symbol recognition algorithm is proposed for CAD engineering drawings. First, in order to represent the structure of symbols more clearly and simply, we involve the text entity as one of the basic elements and redefine the relation representation mechanism, which is the foundation for the following algorithms. Then, the structure graph and a constrained tree can be established automatically for the target symbol, using the knowledge acquisition algorithm. In this process, the highest priority element is considered as the key feature, which will be regarded as the root node of the tree. The sequence of breadth first traveling will be recorded to be the recognition rule and saved in the symbol library. In the recognition process, the nodes with the same type as the key features can be located first in the drawing. Unnecessary matching calculations would be greatly reduced because of the accurate location. The other elements around, which satisfy the topology structure of the constrained tree, will be found next. The target symbol is recognized if all of the elements and constraints in the tree are found. Moreover, an extra preprocessing analysis approach is proposed to address repeat modes in a symbol. Thus, similar symbols can be recognized by one rule. We evaluate the proposed approach on the GREC databases and the real engineering drawings. The experimental results validate its effectiveness and efficiency. © 2012 Elsevier Ltd.

关键词： Trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

Rapid modeling for large scale anhui-styled architectures

Rapid modeling for large scale anhui-styled architectures

引用

2012 International Conference on systems and Informatics, ICSAI 2012

作者： Xue, Feng Wang, Xiaotao School of Computer Science and Information Hefei University of Technology Hefei 230009 China State Key Lab of Virtual Reality Technology and System Beihang University Beijing 100191 China

ISBN: (纸本)9781467301992

To construct Anhui-Styled Architecture (ASA) models rapidly and automatically, we proposed an automatic modeling method by analyzing the basic structure of ASA in-depth. Firstly, we built modules' database, composition rule database and repository database of ASA. Then, we translated each module of architecture into a node of graph and traverse these nodes using Breadth-First Traversal(BFS) algorithm of Graph to get descript document of single building. Finally, large scale scene of ASA were constructed automatically by combine the descript document and large scale ground scenes. Experimental results show that our method is rapid and effective for constructing ASA models. © 2012 IEEE.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

Sampling-based Learning Control for Quantum systems with Hamiltonian Uncertainties

Sampling-based Learning Control for Quantum Systems with Ham...

引用

IEEE Annual Conference on Decision and Control

作者： Daoyi Dong Chunlin Chen Ruixing Long Bo Qi Ian R. Petersen School of Information Technology and Electrical Engineering University of New South Wales at the Australian Defence Force Academy Canberra ACT 2600 Australia Department of Control and System Engineering Nanjing University Nanjing 210093 China Department of Chemistry Princeton University Princeton New Jersey 08544 USA Key Laboratory of Systems and Control Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100190 China

ISBN: (纸本)9781467357159

Robust control design for quantum systems has been recognized as a key task in the development of practical quantum technology. In this paper, we present a systematic numerical methodology of sampling-based learning control (SLC) for control design of quantum systems with Hamiltonian uncertainties. The SLC method includes two steps of "training" and "testing and evaluation". In the training step, an augmented system is constructed by sampling uncertainties according to possible distributions of uncertainty parameters. A gradient flow based learning and optimization algorithm is adopted to find the control for the augmented system. In the process of testing and evaluation, a number of samples obtained through sampling the uncertainties are tested to evaluate the control performance. Numerical results demonstrate the success of the SLC approach. The SLC method has potential applications for robust control design of quantum systems.

关键词： design control learning control quanta AUGMENTED system Uncertainty Gradient flow Hamiltonian control performance Robust control Optimization algorithms

来源：评论

学校读者我要写书评

暂无评论

An exact SOC-estimate mathematic model of open-circuit voltage and parameters estimation

An exact SOC-estimate mathematic model of open-circuit volta...

引用

2012 9th IEEE International Conference on Mechatronics and Automation, ICMA 2012

作者： Yu, Wenzheng Huang, Dagui Feng, Daiwei Guo, Ping Dai, Deng Li, Wei Key Laboratory of Ministry of Information Industry Intelligence Mechanical System Engineering School of Mechatronics Engineering University of Electronic Science and Technology of China Chengdu Sichuan Province China

ISBN: (纸本)9781467312776

This paper describes an exact SOC-estimate mathematic model, which uses the battery state-Of-Charge (SOC) as a state variable and can simulate the whole progress of discharge accurately. The model parameters can be calculated according to the experimental data. The correction parameter C influences the accuracy of the open voltage model and the paper puts forward the optimal parameter identification method to simulate it. Finally, the paper uses the optimal parameters to estimate the SOC and the SOC-estimate error is less than 3%, which is good comparing with the 8% the basic accuracy of the SOC-estimate for the city bus's battery. © 2012 IEEE.

关键词： Lithium-ion batteries

来源：评论

学校读者我要写书评

暂无评论

An empirical evaluation of process mining algorithms based on structural and behavioral similarities 12

An empirical evaluation of process mining algorithms based o...

引用

27th Annual ACM Symposium on Applied Computing, SAC 2012

作者： Wang, Jianmin Tan, Shijie Wen, Lijie Wong, Raymond K. Guo, Qinlong School of Software Tsinghua University Beijing 100084 China School of Computer Science and Engineering University of New South Wales NSW 2052 Australia Key Laboratory for Information System Security Ministry of Education China Tsinghua National Laboratory for Information Science and Technology China

ISBN: (纸本)9781450308571

While many process mining algorithms have been proposed recently, there exists no widely-accepted benchmark to evaluate these process mining algorithms. As a result, it can be difficult to compare different process mining algorithms especially over different application domains. This paper presents our attempt in building such a benchmark by empirically evaluating process mining algorithms using reference models, in which the quality of a discovered model is measured by the behavioral and structural similarities with its reference model. In addition to artificial reference models extracted from academic papers and SAP suites, real-life processes from a major boiler manufacturer in China are added into the benchmark. © 2012 Authors.

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

ACSP: A novel security protocol against counting attack for UHF RFID systems

ACSP: A novel security protocol against counting attack for ...

引用

作者： Qian, Zhuzhong Chen, Ce You, Ilsun Lu, Sanglu State Key Laboratory for Novel Software Technology Nanjing University Nanjing China School of Information Science Korean Bible University Korea Republic of

Current research on UHF RFID system security mainly focus on protecting communication safety and information privacy between a pair of specific tags and its corresponding interrogation reader. However, instead of stealing detailed private information of tags, adversaries may just want to estimate the cardinality of tags, which is named counting attack. Unfortunately, most existing protocols are vulnerable to counting attack. To defend against this attack, in this paper we propose ACSP, a novel Anti-Counting Security Protocol. ACSP employs session identifier and provides a corresponding authentication metric to verify the commands sent by the reader. To handle counting attack, ACSP periodically updates the session identifier, and securely identifies tags with encryption. We evaluate the performance of ACSP through theoretical analysis and qualitative comparison. Results show that ACSP can efficiently withstand counting attack as well as defending against regular security threats as existing protocols. © 2011 Elsevier Ltd. All rights reserved.

关键词： Cryptography

来源：评论

学校读者我要写书评

暂无评论

Mathematical Infinity and Medium Logic （I） --Logical-mathematical Interpretation of Leibniz＇s Secant and Tangent Lines Problem in Medium Logic

引用

Chinese Quarterly Journal of Mathematics 2013年第1期28卷 41-46页

作者： ZHU Wu-jia GONG Ning-sheng DU Guo-pin School of Information Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing 210016 China State Key Laboratory of Software Development Environment Beihang University Beijing 100191 China School of Electronics and Information Engineering Nanjing Uni- Versity of Technology Nanjing 210009 China Institute of Modern Logic and Applications Nanjing University Nanjing 210093 China

From the perspective of potential infinity (poi) and actual infinity, Ref [4] has confirmed that poi and aci are in 'unmediated opposition' (P,﹁P ) whether in ZFC or not; it has further been proved that the manners in which a variable infinitely approaches its limit also satisfy the law of intermediate exclusion. With these results as theoretical bases, this paper attempts to provide an accurate and strict logical-mathematical interpretation of the incompatibility of Leibniz's secant and tangent lines in the medium logic system from the perspective of logical mathematics.

关键词： calculus limit theory medium logic potential infinitv： actual infinity

来源：评论

学校读者我要写书评

暂无评论

Direct multi-hop time synchronization with constructive interference

Direct multi-hop time synchronization with constructive inte...

引用

11th ACM/IEEE Conference on information Processing in Sensing Networks, IPSN'12

作者： Wang, Yin Pan, Gaofeng Huang, Zhiyu MOE Key Lab. for Information System Security School of Software TNLIST China Science and Technology on Communication Information Security Control Laboratory China Institute of Software Chinese Academy of Sciences China

ISBN: (纸本)9781450312271

Multi-hop time synchronization in wireless sensor networks (WSNs) is often time-consuming and error-prone due to random time-stamp delays for MAC layer access and unstable clocks of intermediate nodes. Constructive interference (CI), a recently discovered physical layer phenomenon, allows multiple nodes transmit and forward an identical packet simultaneously. By leveraging CI, we propose direct multi-hop (DMH) time synchronization by directly utilizing the time-stamps from the sink node instead of intermediate nodes, which avoids the error caused by the unstable clock of intermediate nodes. DMH doesn't need decode the flooding time synchronization beacons. Moreover, DMH explores the linear regression technique in CI based time synchronization to counterbalance the clock drifts due to clock skews. © 2012 ACM.

关键词： Synchronization

来源：评论

学校读者我要写书评

暂无评论

Chasing behavior between a motile swarm and a motile food

Chasing behavior between a motile swarm and a motile food

引用

Chinese Control Conference (CCC)

作者： Hong Shi Guangming Xie Wenguang Luo Ruopeng Wang Department of Mathematics and Physics Beijing Institute of Petrochemical Technology Beijing P. R. China State Key Laboratory for Turbulence and Complex Systems Peking University Beijing P. R. China School of Electrical and Electronics Engineering East China Jiaotong University Nanchang P. R. China School of Electric and Information Engineering Guangxi University of Science and Technology Liuzhou P. R. China

A model is established to describe the chasing process between a group of agents and a quarry. In the model, the swarm is modeled based on inter-individual attraction and repulsion, that is, each individual can neither move away from the whole swarm nor get too close to other members. Moreover, two new functions revealing the interaction between the swarm and the quarry are introduced. Some numerical simulation results are presented to exhibit agents' collective motion behaviors, which in kinetic dynamics like what happens in real world. Main parameters' effects on chasing results are also evaluated and some simple mathematical analysis is given.

关键词： Educational institutions Numerical models Biological system modeling Numerical simulation Mathematical analysis Simulation

来源：评论

学校读者我要写书评

暂无评论

A 16-pixel parallel architecture with block-level/mode-level co-reordering approach for intra prediction in 4k×2k H.264/AVC video encoder

A 16-pixel parallel architecture with block-level/mode-level...

引用

Asia and South Pacific Design Automation Conference

作者： Huailu Ren Yibo Fan Xinhua Chen Xiaoyang Zeng College of Information Science and Engineering Shandong University of Science and Technology Qingdao China State Key Laboratory of ASIC and System Fudan University Shanghai China

Intra prediction is the most important technology in H.264/AVC intra frame encoder. But there is extremely complicated data dependency and an immense amount of computation in intra prediction process. In order to meet the requirements of real-time coding and avoid hardware waste, this paper presents a parallel and high efficient H.264/AVC intra prediction architecture which targets high-resolution (e.g. 4k×2k) video encoding applications. In this architecture, the optimized intra 4×4 prediction engine can process sixteen pixels in parallel at a slightly higher hardware cost (compared to the previous four-pixel parallel architecture). The intra 16×16 prediction engine works in parallel with intra 4×4 prediction engine. It reuses the adder-tree of Sum of Absolute Transformed Difference (SATD) generator. Moreover, in order to reduce the data-dependency in intra 4×4 reconstruction loop, a block-level and mode-level co-reordering strategy is proposed. Therefore, the performance bottleneck of H.264/AVC intra encoding can be alleviated to a great extent. The proposed architecture supports full-mode intra prediction for H.264/AVC baseline, main and extended profiles. It takes only 163 cycles to complete the intra prediction process of one macroblock (MB). This design is synthesized with a SMIC 0.13μm CMOS cell library. The result shows that it takes 61k gates and can run at 215MHz, supporting real-time encoding of 4k×2k@40fps video sequences.

关键词： Computer architecture Hardware Engines Equations Generators Discrete cosine transforms Image coding

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：