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

IEEE International Conference on Software Engineering and Service sciences (ICSESS)

作者： Jun Cai Peng Zou Dapeng Xiong Jun He Science and Technology on Complex Electronic System Simulation Laboratory The Academy of Equipment Beijing China

ISBN: (纸本)9781479983544

Software vulnerabilities are one of the root causes of network security issues. Software security testing is an essential part of secure software development. Fuzzing has been proven to be an effective dynamic software security testing method. In this paper we present a guided fuzzing approach based on dynamic taint analysis for security testing of network protocol software. This approach identifies the security sensitive functions of target application affected by network packets via dynamic taint analysis, and generates testcases by mutating these packets with the elements of a fuzz library. Due to the guidance of taint information, it to some extend overcomes the blindness of traditional fuzzing methods and improves efficiency. The approach integrates several successive steps, we currently focus on the taint analysis step and have received interesting preliminary experimental results.

关键词： Security Protocols Software Monitoring Libraries Testing Sockets

来源：评论

学校读者我要写书评

暂无评论

Construction and Scheduling of Multi-resolution LOD Terrain in Super low-altitude Flight

Construction and Scheduling of Multi-resolution LOD Terrain ...

引用

SCIEI 2015 Paris Conference

作者： Peng Zou Yanshan Bian Zhike Chen Ronghuan Yu Science and Technology on Complex Electronic System Simulation Laboratory Equipment Academy Department of Graduate Management Equipment Academy

In visual navigation system,a method of construction and scheduling of multi-resolution LOD terrain is designed according to the influence of terrain precision on super low ***,the tiled pyramid is constituted to manage the terrain data,which is organized by *** terrain complexity-based node selection criterion is used to select the required blocks for ***,the structural similarity of quadtree nodes is made use of to symmetrically cluster two-level nodes,which is suitable for batch scheduling of terrain *** results show that this method improves the terrain precise from a certain range of the aircraft,reduces the frequency of data scheduling,and enhances the rendering frame rates of navigation scene.

关键词： superlow-altitude flight visual navigation Level of Detail(LOD) batch scheduling

来源：评论

学校读者我要写书评

暂无评论

A Service Mining Scheme Based on Semantic for Internet of Things

引用

Chinese Journal of electronics 2014年第2期23卷 236-242页

作者： LI Xinming SUN Yan The Science and Technology on Complex Electronic System Simulation Laboratory Academy of Equipment The School of Computer Science Beijing University of Posts and Telecommunication

As the development of Internet of things(IOT), massive sensors have been deployed as the public infrastructure. With the development of in-depth applications in IOT, service discovery and composition are challenges to the end users. To handle this challenge, we develop a service mining scheme based on semantic for IOT to provide users with interesting composite services. In this scheme, services can be combined and recommended to users actively according to the calculation of service similarity and an updatable semantic database. By the results of service similarity, useless compositions can be filtered out so that energy consumption on service flooding will be reduced. The update strategy of semantic database is also given out, by which the composite services can keep up with time and be more applicative. The benefits of the proposed method are that all operations such as calculating, filtering, and updating are simple enough to be performed in sensor networks.

关键词： Internet of things Service mining Semantic database Service similarity Service composition

来源：评论

学校读者我要写书评

暂无评论

A theme-oriented data automatic organization method

A theme-oriented data automatic organization method

引用

2014 International Conference on Applied sciences, Engineering and technology, ICASET 2014

作者： Cao, Rui Hao, Li Yun Wu, Ling Da Science and Technology on Complex Electronic System Simulation Laboratory Equipment Academy Beijing 101416 China

ISBN: (纸本)9783038351849

In order to automatic organization data according to customers' requirement, and improve the data reusability, an idea of data meta-component is proposed, the definition of data meta-component is present, the model of data meta-component is established. A theme-oriented data automatic organization method is proposed;on the basis of data mete-component, the theme domain data automatic organization is realized by means of nature language processing, semantic query, association analysis, share distribution, and other technologies;experimental results show that this method is feasible and effective. © (2014) Trans Tech Publications, Switzerland.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

Product line architecture for TT&C software support framework 27

Product line architecture for TT&C software support framewor...

引用

27th Conference of Spacecraft TT and C technology

作者： Wang, Zhilin Li, Xinming Li, Dongdong Beijing Space Information Relay and Transmission Technology Research Center Beijing100094 China Science and Technology on Complex Electronic System Simulation Laboratory Beijing100092 China

ISBN: (纸本)9783662446867

One of the most promising techniques to improve the quality and productivity of TT&C software is product line engineering, the core of which is the product line architecture for TT&C software support framework (PLATSSF) which is of great help to improve the reusability of architectural design. Since component models are cornerstones of support framework design, the characteristics of them including variety, common requirement and variant requirement were firstly analyzed. Then, mainly by analyzing the three stages of TT&C software, which include development deployment and runtime, the structure of PLATSSF is designed. Thirdly, the function of PLATSSF is instantiated by adding a new satellite to the framework. In this instance the software requirements are analyzed and the contents of software development are provided. In conclusion, PLATSSF implements the production of the TT&C software series, reduces the workload of software development and improves the software quality. © Tsinghua University Press, Beijing and Springer-Verlag Berlin Heidelberg 2015.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

25th Annual Computational Neuroscience Meeting CNS-2016, Seogwipo City, South Korea, July 2-7, 2016 Abstracts

引用

BMC NEUROscience 2016年第1期17卷 1-112页

作者： [Anonymous] Computational Neurobiology Laboratory The Salk Institute for Biological Studies San Diego USA UNIC CNRS Gif sur Yvette France The European Institute for Theoretical Neuroscience (EITN) Paris France ATR Computational Neuroscience Laboratories Kyoto Japan Krembil Research Institute University Health Network Toronto Canada Department of Physiology University of Toronto Toronto Canada Department of Medicine (Neurology) University of Toronto Toronto Canada Department of Physics University of New Hampshire Durham USA Department of Neurophysiology Nencki Institute of Experimental Biology Warsaw Poland Department of Theory Wigner Research Centre for Physics of the Hungarian Academy of Sciences Budapest Hungary Department of Mathematical Sciences KAIST Daejoen Republic of Korea Department of Mathematics University of Houston Houston USA Department of Biochemistry & Cell Biology and Institute of Biosciences and Bioengineering Rice University Houston USA Department of Biology and Biochemistry University of Houston Houston USA Grupo de Neurocomputación Biológica Dpto. de Ingeniería Informática Escuela Politécnica Superior Universidad Autónoma de Madrid Madrid Spain Department of Biological Sciences University of Southern California Los Angeles USA Center for Neuroscience Korea Institute of Science and Technology Seoul South Korea Department of Neurology Albert Einstein College of Medicine Bronx USA Center for Neuroscience KIST Seoul South Korea Department of Neuroscience University of Science and Technology Daejon South Korea Systems Neuroscience Group QIMR Berghofer Medical Research Institute Herston Australia Department of Psychology Yonsei University Seoul South Korea Department of Psychiatry Kyung Hee University Hospital at Gangdong Seoul South Korea Department of Psychiatry Veterans Administration Boston Healthcare System and Harvard Medical School Brockton USA Department of Electrical and Electronic Engineering The University of Melbourne Parkvil

A1 Functional advantages of cell-type heterogeneity in neural circuits Tatyana O. Sharpee A2 Mesoscopic modeling of propagating waves in visual cortex Alain Destexhe A3 Dynamics and biomarkers of mental disorders Mitsuo Kawato F1 Precise recruitment of spiking output at theta frequencies requires dendritic h-channels in multi-compartment models of oriens-lacunosum/moleculare hippocampal interneurons Vladislav Sekulić, Frances K. Skinner F2 Kernel methods in reconstruction of current sources from extracellular potentials for single cells and the whole brains Daniel K. Wójcik, Chaitanya Chintaluri, Dorottya Cserpán, Zoltán Somogyvári F3 The synchronized periods depend on intracellular transcriptional repression mechanisms in circadian clocks. Jae Kyoung Kim, Zachary P. Kilpatrick, Matthew R. Bennett, Kresimir Josić O1 Assessing irregularity and coordination of spiking-bursting rhythms in central pattern generators Irene Elices, David Arroyo, Rafael Levi, Francisco B. Rodriguez, Pablo Varona O2 Regulation of top-down processing by cortically-projecting parvalbumin positive neurons in basal forebrain Eunjin Hwang, Bowon Kim, Hio-Been Han, Tae Kim, James T. McKenna, Ritchie E. Brown, Robert W. McCarley, Jee Hyun Choi O3 Modeling auditory stream segregation, build-up and bistability James Rankin, Pamela Osborn Popp, John Rinzel O4 Strong competition between tonotopic neural ensembles explains pitch-related dynamics of auditory cortex evoked fields Alejandro Tabas, André Rupp, Emili Balaguer-Ballester O5 A simple model of retinal response to multi-electrode stimulation Matias I. Maturana, David B. Grayden, Shaun L. Cloherty, Tatiana Kameneva, Michael R. Ibbotson, Hamish Meffin O6 Noise correlations in V4 area correlate with behavioral performance in visual discrimination task Veronika Koren, Timm Lochmann, Valentin Dragoi, Klaus Obermayer O7 Input-location dependent gain modulation in cerebellar nucleus neurons Maria Psarrou, Maria Schilstra, Neil Davey, Benjamin Torben-Ni

关键词：

来源：评论

学校读者我要写书评

暂无评论

Analysis of Satellite Communication Network Characteristics

Analysis of Satellite Communication Network Characteristics

引用

International Conference on Communication systems and Network Technologies (CSNT)

作者： Zhike Chen Wei Xiong Department of Graduate Management Equipment Academy Beijing China Science and Technology on Complex Electronic System Simulation Laboratory Beijing China

It has been proved that network evolving theory is efficient in network capacity evaluation. Network characteristics analysis is the foundation of network evolving research. For the purpose of satellite communication network capacity evaluation, the method for its network characteristics analysis is investigated in this text. With the definition of time slice, the time-variant topology model and time-invariant topology model, the static characteristics of satellite network are calculated to determine whether it belongs to any specific network or not. And weighted adjacent matrix is introduced for link availability evaluation. An example of analysis of LEO satellite communication network characteristics is demonstrated at last, which proves the validity of our method for satellite network characteristics analysis.

关键词： Communication systems

来源：评论

学校读者我要写书评

暂无评论

A modified snr estimation algorithm based on singular value decomposition

A modified snr estimation algorithm based on singular value ...

引用

2014 International Conference on Information and Communications Technologies, ICT 2014

作者： Wu, Tao Zheng, Haixin Yan, Di Liu, Shaolin Science and Technology on Complex Electronic System Simulation Laboratory Academy of Equipment Beijing China Department of Optical and Electrical Equipment Academy of Equipment Beijing China Company of Postgraduate Management Academy of Equipment Beijing China School of Information and Communication Enginneering Beijing University of Posts and Telecommunications Beijing China

ISBN: (纸本)9781849198431

When the traditional SNR estimation algorithm based on singular value decomposition (SVD) is applied to the digital data analysis of spaceflight TT&C system, problem of large deviation arises. This paper analyzes the limitations of SVD, and proposes a modified singular value decomposition (MSVD) SNR estimation algorithm. Before estimating SNR by use of SVD, MSVD does some processing to whiten noise, such as band-pass, down-sampling, and up-sampling. The simulation results show that this algorithm can, within a large range, accurately estimate the actually received SNR, effectively improving the application scope of traditional algorithms.

关键词： Singular value decomposition

来源：评论

学校读者我要写书评

暂无评论

26th Annual Computational Neuroscience Meeting (CNS*2017): Part 3 Antwerp, Belgium. 15-20 July 2017 Abstracts

引用

BMC NEUROscience 2017年第SUPPL 1期18卷 95-176页

作者： [Anonymous] Department of Neuroscience Yale University New Haven CT 06520 USA Department Physiology & Pharmacology SUNY Downstate Brooklyn NY 11203 USA NYU School of Engineering 6 MetroTech Center Brooklyn NY 11201 USA Departament de Matemàtica Aplicada Universitat Politècnica de Catalunya Barcelona 08028 Spain Institut de Neurobiologie de la Méditerrannée (INMED) INSERM UMR901 Aix-Marseille Univ Marseille France Center of Neural Science New York University New York NY USA Aix-Marseille Univ INSERM INS Inst Neurosci Syst Marseille France Laboratoire de Physique Théorique et Modélisation CNRS UMR 8089 Université de Cergy-Pontoise 95300 Cergy-Pontoise Cedex France Department of Mathematics and Computer Science ENSAT Abdelmalek Essaadi’s University Tangier Morocco Laboratory of Natural Computation Department of Information and Electrical Engineering and Applied Mathematics University of Salerno 84084 Fisciano SA Italy Department of Medicine University of Salerno 84083 Lancusi SA Italy Dipartimento di Fisica Università degli Studi Aldo Moro Bari and INFN Sezione Di Bari Italy Data Analysis Department Ghent University Ghent Belgium Coma Science Group University of Liège Liège Belgium Cruces Hospital and Ikerbasque Research Center Bilbao Spain BIOtech Department of Industrial Engineering University of Trento and IRCS-PAT FBK 38010 Trento Italy Department of Data Analysis Ghent University Ghent 9000 Belgium The Wellcome Trust Centre for Neuroimaging University College London London WC1N 3BG UK Department of Electronic Engineering NED University of Engineering and Technology Karachi Pakistan Blue Brain Project École Polytechnique Fédérale de Lausanne Lausanne Switzerland Departement of Mathematics Swansea University Swansea Wales UK Laboratory for Topology and Neuroscience at the Brain Mind Institute École polytechnique fédérale de Lausanne Lausanne Switzerland Institute of Mathematics University of Aberdeen Aberdeen Scotland UK Department of Integrativ

来源：评论

学校读者我要写书评

暂无评论

Ontology-based heterogeneous data integration technology

Ontology-based heterogeneous data integration technology

引用

2013 International Conference on Vehicle and Mechanical Engineering and Information technology, VMEIT 2013

作者： Li, Kang Li, Xin Ming Liu, Dong Cui, Yun Fei Science and Technology on Complex Electronic System Simulation Laboratory China

ISBN: (纸本)9783037858202

For the vast amounts of heterogeneous data is difficult to effectively deal with the problem, propose an ontology-based data integration technology. Analysis of the types of semantic conflicts in data integration, ontology semantic description of traditional data integration framework for data integration middleware module. Ontology concept in the domain of information resources, and take the initiative to find and build semantic mapping between semantic conflicts. © (2013) Trans Tech Publications, Switzerland.

关键词： Data integration

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：