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

2nd International Conference on Earth Observation for Global Changes

作者： Liao, Jie Wang, Tao Li, Ding Yan, Changzhen Li, Na Key Laboratory of Desert and Desertification Cold and Arid Regions Environmental and Engineering Research Institute Chinese Academy of Sciences Lanzhou Gansu 730000 China Graduate School Chinese Academy of Sciences Beijing 100049 China Key Laboratory of Western China's Environmental System Ministry of Education Lanzhou University Lanzhou Gansu 730000 China Scientific Information Center for Resources and Environment Chinese Academy of Sciences Lanzhou Gansu 730000 China

ISBN: (纸本)9780819477743

Land use/cover change (LUCC) is one of the most important fields of study in global environmental change research. Decades of dynamic change of cropland caused by human activities is an important topic in LUCC research. Minqin is located in Gansu province in northwest China, where the landscape configuration is fragile. In recent years, the environmental problems such as vegetation destruction and desertification became more and more serious. And there was a huge change in Minqin's cropland, which is an important factor to the environmental change in this area. Through the integration of Geography Information System (GIS) and Remote Sensing (RS) technology, this paper figured out the dynamic changes of cropland in Minqin, with a source data of Landsat TM products in 1989, 2000, 2005 and 2008. The results showed that there was a tendency of cropland transferring from downriver to upriver, which was a consequence of the advance of desertification. © 2009 SPIE.

关键词： Landsat

来源：评论

学校读者我要写书评

暂无评论

Research and Implement of Secure Bootstrap for Virtual Machine Based on Trusted computing Platform

Research and Implement of Secure Bootstrap for Virtual Machi...

引用

IEEE International Symposium on Dependable, Autonomic and Secure computing (DASC)

作者： Zhiqiang Zhu Mingdi Xu Huanguo Zhang School of Computer Wuhan University of China Wuhan China The Key Laboratory of AeroSpace Information Security and Trust Computing Ministry of Education Wuhan China State Key Laboratory of Software Engineering Wuhan University of China Wuhan China

Secure bootstrap usually use integrity measurement scheme to verify code or data before they are loaded into memory. As to traditional PC (personal computer) architecture, this method is hard to protect security of system software and application *** paper researches the different components running on system and divides them into two kind TCB (trusted computing base), i.e. HTCB (hardwareTCB) and STCB (software TCB). Combing with technologies such as VM (virtual machine), integrity measurement and sealed storage, prototype lets STCB bind with HTCB so that trusted chain can be extended from hardware layer to system software layer. Lastly,detailed implement ways and means for prototype are given.

关键词： Virtual machining System software Software prototyping Microcomputers Computer architecture Protection Computer security Data security Application software Virtual manufacturing

来源：评论

学校读者我要写书评

暂无评论

3D imaging algorithm and implement for through-wall synthetic aperture radar

3D imaging algorithm and implement for through-wall syntheti...

引用

Midwest Symposium on Circuits and Systems (MWSCAS)

作者： Jiabing Zhu Yi Hong Liang Tao East China Research Institute of Electronic East China Research Institute of Electronic Engineering Hefei China Education Ministry Key Laboratory of Intelligent Computing and Signal Processing Anhui University Hefei China

ISBN: (纸本)9781424444793;9781424444809

Typical synthetic aperture radar (SAR) images are two-dimensional, providing range and azimuth information, but furnish few details with respect to elevation. First of all, one approach to extend SAR to three-dimensional imaging is considered. The simplest implementation of this would replace the single antenna element by a linear array oriented vertically. Secondly, the outlining data and image processing for a three-dimensional application is introduced in detail in the paper. Finally, simulation results show that the proposed algorithm is effective, while maintaining good image quality in terms of the reconstructed target response.

关键词： Azimuth Linear antenna arrays Signal processing algorithms Synthetic aperture radar Spaceborne radar Image reconstruction Radar imaging Radar signal processing Pulse compression methods Image processing

来源：评论

学校读者我要写书评

暂无评论

Context-based bias removal of statistical models of wavelet coefficients for image denoising

Context-based bias removal of statistical models of wavelet ...

引用

IEEE International Conference on Image Processing

作者： Weisheng Dong Xiaolin Wu Guangming Shi Lei Zhang Key Laboratory of IPIU of Ministry of Education Xidian University Xi'an China Department of Electrical and Computer Engineering McMaster University Canada Department of Computing Hong Kong Polytechnic University Hong Kong China

Existing wavelet-based image denoising techniques all assume a probability model of wavelet coefficients that has zero mean, such as zero-mean Laplacian, Gaussian, or generalized Gaussian distributions. While such a zero-mean probability model fits a wavelet subband well, in areas of edges and textures the distribution of wavelet coefficients exhibits a significant bias. We propose a context modeling technique to estimate the expectation of each wavelet coefficient conditioned on the local signal structure. The estimated expectation is then used to shift the probability model of wavelet coefficient back to zero. This bias removal technique can significantly improve the performance of existing wavelet-based image denoisers.

关键词： Context modeling Wavelet coefficients Image denoising Noise reduction Wavelet transforms Wavelet domain Bayesian methods Laplace equations Distributed computing Image coding

来源：评论

学校读者我要写书评

暂无评论

A Compression Algorithm for Multi-streams Based on GEP

A Compression Algorithm for Multi-streams Based on GEP

引用

International Conference on Genetic and Evolutionary computing (WGEC)

作者： Chao Ding Chang-an Yuan Xiao Qin Yu-zhong Peng Computer and Information Engineering College Guangxi Teachers Education University Nanning China Key Laboratory of Scientific Computing & Intelligent Information processing University of Guangxi Nanning Guangxi China Computer and Information Engineering College University of Guangxi Nanning China

This paper applied the Methods which based on GEP in compress multi-streams. The contributions of this paper include: 1) giving an introduction to data function finding based on GEP(DFF-GEP), defining the main conception of Multi-Streams, and revealing the map relation in it; 2) putting forward the Compression Algorithm for Multi-Streams according to map relation lied in data between data streams; and 3)providing an experience with the real data and find that (3.1) the compression ratio of the new methods is 120~150 times as the traditional wavelets method, and 35~70 times as the wavelets and coincidence method; (3.2) the relative error of the new method is about 3%, yet maximum relative error is 0.01 by using the traditional relative error standard, the precision is improved from 7% to 15% as compared with the traditional method.

关键词： Compression algorithms scientific computing Competitive intelligence Information processing Chaos educational institutions Computer science education Monitoring Genetic engineering Gene expression

来源：评论

学校读者我要写书评

暂无评论

Security Analysis of OIAP Implementation Based on BAN Logic

Security Analysis of OIAP Implementation Based on BAN Logic

引用

International Conference on Multimedia Information Networking and Security (MINES)

作者： Xu Shiwei Zhang Huanguo Yan Fei Xu Mingdi Li Zhide School of Computer Wuhan University of China Wuhan China School of Computer State Key Laboratory of Software Engineering Key Laboratory of AeroSpace Information Security and Trust Computing Ministry of Education Wuhan University of China Wuhan China Guangdong Dongguan Supervision Testing Institute of Quality and Metrology Dongguan China

In the specification of trusted platform module (TPM), object-independent authorization protocol (OIAP) is the protocol which guarantees the security of the communication between TPM and its users. Nowadays, there are many TPM manufacturers having made their own TPM. However, some of the TPM manufacturers don't implement the TPM completely according to the specification of TPM. In this paper, BAN logic is used to construct an ideal model of OIAP. The security of the OIAP implemented by some TPM manufacturers is analyzed with the initial hypothesis and the logic postulate. From the result of analyzing, the inappropriate implementation of OIAP by the TPM manufacturers would lead to a replay attack, and the data in the data integrity register (DIR) and non-volatile (NV) storage would be contaminated by this attack.

关键词： Body sensor networks Logic Manufacturing Authorization Protocols Computer networks Information security Data security Protection Computer security

来源：评论

学校读者我要写书评

暂无评论

Three-dimensional stochastic seepage field for embankment engineering

引用

Water Science and engineering 2009年第1期2卷 58-73页

作者： Ya-jun WANG Wo-hua ZHANG Chang-yu WU Da-chun REN Key Laboratory of Soft Soils and Geoenvironmental Engineering Ministry of Education Zhejiang University Hangzhou 310027 P. R. China College of Civil Engineering and Architecture Zhejiang University Hangzhou 310027 P. R. China Yangtze River Scientific Research Institute Wuhan 430010 P. R. China

Owing to the complexity of geo-engineering seepage problems influenced by different random factors, three-dimensional simulation and analysis of the stochastic seepage field plays an important role in engineering applications. A three-dimensional anisotropic heterogeneous steady random seepage model was developed on the basis of the finite element method. A statistical analysis of the distribution characteristics of soil parameters sampled from the main embankment of the Yangtze River in the Southern Jingzhou zone of China was conducted. The Kolomogorov-Smirnov test verified the statistical hypothesis that the permeability coefficient tensor has a Gaussian distribution. With the help of numerical analysis of the stochastic seepage field using the developed model, various statistical and random characteristics of the stochastic seepage field of the main embankment of the Yangtze River in the Southern Jingzhou zone of China were investigated. The model was also examined with statistical testing. Through the introduction of random variation of the upstream and downstream water levels into the model, the effects of the boundary randomness due to variation of the downstream and upstream water levels on the variation of simulated results presented with a vector series of the random seepage field were analyzed. Furthermore, the combined influence of the variation of the soil permeability coefficient and such seepage resistance measures as the cut-off wall and relief ditch on the hydraulic head distribution was analyzed and compared with the results obtained by determinate analysis. Meanwhile, sensitivities of the hydraulic gradient and downstream exit height to the variation of boundary water level were studied. The validity of the simulated results was verified by stochastic testing and measured data. The developed model provides more detail and a full stochastic algorithm to characterize and analyze three-dimensional stochastic seepage field problems.

关键词： anisotropic random seepage field three-dimensional seepage finite element method Monte Carlo simulation inhomogeneous permeability coefficient stochastic disturbance of hydraulic head boundary

来源：评论

学校读者我要写书评

暂无评论

A Model-Based Fuzz Framework to the Security Testing of TCG Software Stack Implementations

A Model-Based Fuzz Framework to the Security Testing of TCG ...

引用

International Conference on Multimedia Information Networking and Security (MINES)

作者： Yang Yang Huanguo Zhang Mi Pan Jian Yang Fan He Zhide Li School of Computer Wuhan University of China Wuhan China School of Computer State Key Laboratory of Software Engineering Wuhan University of China Wuhan China Key Laboratory of Aerospace Information Security and Trust Computing Ministry of Education Wuhan China Guangdong Dongguan Supervision Testing Institute of Quality and Metrology Dongguan China

Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally fuzz testing tools use random inputs and watch the resulting values. In this paper, we present a model-based fuzz framework for systematic automated testing of a TCG trusted software stack implementation. This framework is based on blackbox fuzz testing methods, integrated with target profiling, data modeling and test algorithm etc. With the generation of smart, semantic-aware test cases, a more complete and deep testing can be provided. We also demonstrate the use of our model-based fuzz framework which can identity several vulnerabilities in some form of TSS implementation.

关键词： Software testing Information security Aerospace testing Cryptography Libraries Simple object access protocol Computer security Computer networks Automatic testing Software quality

来源：评论

学校读者我要写书评

暂无评论

FEM simulation of bimodal and trimodal thermally conductive adhesives

FEM simulation of bimodal and trimodal thermally conductive ...

引用

IEEE Conference on Nanotechnology

作者： Nabi Nabiollahi Johan Liu Zhu Hilli Yan Zhang Yue Cong Zhaonian Cheng Masahiro Inoue Bio Nano science laboratory Department of Microtechnology and Nanoscience Chalmers University of Technology Gothenburg Sweden Key Laboratory of Advanced Display and System Applications School of Mechatronics Engineering and Automation Ministry of Education and SMIT Center Shanghai University Shanghai China The Institute of Scientific and Industrial Research Osaka University Osaka Japan

ISBN: (纸本)9781424448326

A simulation with combination of a finite element analysis of Thermally Conductive Adhesive and contact resistance modeling has been presented. Using ANSYS and MATLAB software thermal conductivity and electrical resistivity of Conductive Adhesives with Ag filler and Epoxy matrix has been calculated. Thermally Conductive Adhesives are used as a thermal interface material to provide a better conduction and heat transfer between two surfaces. The results show that the conductivity dependency is relatively high for different filler shape and alignment. Discussed models are bimodal, Ag flakes and Ag spherical micro particles and trimodal with Multi-WallCNT nano particles.

关键词： Thermal conductivity Conductive adhesives Thermal resistance Mathematical model Analytical models Finite element methods Contact resistance MATLAB Electric resistance Conducting materials

来源：评论

学校读者我要写书评

暂无评论

Influences of filler geometry and content on effective thermal conductivity of thermal conductive adhesive

Influences of filler geometry and content on effective therm...

引用

Electronic Components and Technology Conference (ECTC)

作者： Cong Yue Yan Zhang Johan Liu Masahiro Inoue Sijia Jiang Zhaonian Cheng Key Laboratory of Advanced Display and System Applications Ministry of Education and SMIT Center School of Mechatronics Engineering and Automation Shanghai University Shanghai China SMIT Center Department of Microtechnology and Nanoscience Chalmers University of Technology Gothenburg Sweden The Institute of Scientific and Industrial Research Osaka University Osaka Japan

Thermal interface materials (TIMs), including thermal conductive adhesives (TCAs), grease, phase change materials (PCMs) and thermal pads, are widely used in thermal management for electronics system. In this work, a bimodal thermal conductive adhesive (b-TCA) composed of epoxy matrix and silver fillers were developed. The silver fillers consist of silver flakes and silver particles. The specimens have been made with the same filler loading fraction, possessing different ratios of silver flake portion to silver particle one to study the filler geometry effects. The thermal conductivity in vertical and in-plane direction were tested, also the electrical resistance in in-plane direction has been measured. Meanwhile, the numerical simulation was carried out in addition to the experiment. An improved cubic cell model (CCM) was developed to calculate the effective thermal conductivity of the considered b-TCA. Both the experiment and the simulation show the anisotropic thermal conductive property in the b-TCA, but this anisotropy decreased with the increase of silver particle portion in the total filler. And the electrical conductivity also decreased with the increase of silver particles.

关键词： Thermal conductivity Geometry Conductive adhesives Silver Thermal management of electronics Phase change materials Anisotropic magnetoresistance Conducting materials Thermal management Thermal resistance

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：