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

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8783卷 104-119页

作者： Jiao, Lin Zhang, Bin Wang, Mingsheng TCA Institute of Software Chinese Academy of Sciences Beijing100190 China Graduate University of Chinese Academy of Sciences Beijing100049 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing100190 China State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences Beijing100093 China

ISBN: (纸本)9783319132563

Given a Boolean function with n variables, a revised algorithm for computing the algebraic immunity d against conventional algebraic attacks in O(D2±Ε) complexity is described for D =(Formula presented.) and a small Ε, which corrects and clarifies the most efficient algorithm so far at Eurocrypt 2006. An analysis of the success rate of the algorithm for determining the immunity against fast algebraic attacks in the above paper is also provided. Based on the revised algorithm, an algorithm for computing all the overdefined implicit equations on an S-box is given, which is the core of the algebraic attacks on block ciphers. © Springer International Publishing Switzerland 2014.

关键词： Boolean functions

来源：评论

学校读者我要写书评

暂无评论

Correlations between characteristics of maximum influence and degree distributions in software networks

引用

science China(Information sciences) 2014年第7期57卷 25-36页

作者： GU Qing XIONG ShiJie CHEN DaoXu National Key Lab of Novel Software Technology and Department of Computer Science and Technology Nanjing University National Laboratory of Solid State Microstructures and Department of Physics Nanjing University

Software systems can be represented as complex networks and their artificial nature can be investigated with approaches developed in network *** maximization has been successfully applied on software networks to identify the important nodes that have the maximum influence on the other ***,research is open to study the effects of network fabric on the influence behavior of the highly influential *** this paper,we construct class dependence graph(CDG)networks based on eight practical Java software systems,and apply the procedure of influence maximization to study empirically the correlations between the characteristics of maximum influence and the degree distributions in the software *** demonstrate that the artificial nature of CDG networks is reflected partly from the scale free behavior:the in-degree distribution follows power law,and the out-degree distribution is *** the influence behavior,the expected influence spread of the maximum influence set identified by the greedy method correlates significantly with the degree *** addition,the identified influence set contains influential classes that are complex in both the number of methods and the lines of code(LOC).For the applications in software engineering,the results provide possibilities of new approaches in designing optimization procedures of software systems.

关键词： software network scale free influence maximization power law complex network

来源：评论

学校读者我要写书评

暂无评论

Shaping the Effort of Developing Secure Software

引用

Procedia computer science 2015年 44卷 609-618页

作者： Ye Yang Jing Du Qing Wang Stevens Institute of Technology Hoboken 07030 USA Laboratory for Internet Software Technologies Institute of Software Chinese Academy of Sciences Beijing 100190 China State Key Lab of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China

Effort estimation is extremely challenging for developing secure software systems. Two major challenges are: (1) lack of validated methods or models, (2) large variation in existing security standards that limits applicability of existing methods. This paper reports an exploratory study in establishing effort estimation model for secure operating system software development in China. More specifically, we investigate the existing cost estimation relationships in the domain of secure software systems, then conduct a comparative analysis of existing Chinese IT security standards and the corresponding international standards, and build a customized estimation model to leverage cost estimation relationships with the most similar security requirements, with appropriate adjustment to reflect the differences in standards. The resultant model is evaluated through an example project and results show encouraging improvement in estimation accuracy.

关键词： effort estimation information security operating system Common Criteria COCOMO COSECMO

来源：评论

学校读者我要写书评

暂无评论

Dense matter with eXTP

arXiv

引用

arXiv 2018年

作者： Watts, Anna L. Yu, Wenfei Poutanen, Juri Zhang, Shu Bhattacharyya, Sudip Bogdanov, Slavko Ji, Long Patruno, Alessandro Riley, Thomas E. Bakala, Pavel Baykal, Altan Bernardini, Federico Bombaci, Ignazio Brown, Edward Cavecchi, Yuri Chakrabarty, Deepto Chenevez, Jérôme Degenaar, Nathalie Santo, Melania Del Salvo, Tiziana Di Doroshenko, Victor Falanga, Maurizio Ferdman, Robert D. Feroci, Marco Gambino, Angelo F. Ge, MingYu Greif, Svenja K. Guillot, Sebastien Gungor, Can Hartmann, Dieter H. Hebeler, Kai Heger, Alexander Homan, Jeroen Iaria, Rosario in’t Zand, Jean Kargaltsev, Oleg Kurkela, Aleksi Lai, Xiaoyu Li, Ang Li, XiangDong Li, Zhaosheng Linares, Manuel Lu, FangJun Mahmoodifar, Simin Méndez, Mariano Miller, M. Coleman Morsink, Sharon Nättilä, Joonas Possenti, Andrea Prescod-Weinstein, Chanda Qu, JinLu Riggio, Alessandro Salmi, Tuomo Sanna, Andrea Santangelo, Andrea Schatz, Hendrik Schwenk, Achim Song, LiMing Šrámková, Eva Stappers, Benjamin Stiele, Holger Strohmayer, Tod Tews, Ingo Tolos, Laura Török, Gabriel Tsang, David Urbanec, Martin Vacchi, Andrea Xu, RenXin Xu, Ypeng Zane, Silvia Zhang, Guobao Zhang, ShuangNan Zhang, Wenda Zheng, ShiJie Zhou, Xia Anton Pannekoek Institute for Astronomy University of Amsterdam Science Park 904 Amsterdam1098 XH Netherlands Shanghai Astronomical Observatory Shanghai200030 China Tuorla Observatory Department of Physics and Astronomy University of Turku Väisäläntie 20 PiikkiöFIN-21500 Finland Nordita KTH Royal Institute of Technology Stockholm University Roslagstullsbacken 23 StockholmSE-10691 Sweden Institute of High Energy Physics CAS Beijing100049 China Tata Institute of Fundamental Research Mumbai400005 India Columbia Astrophysics Laboratory Columbia University 550 West 120th Street New YorkNY10027 United States Institut für Astronomie und Astrophysik Tübingen Universität Tübingen Sand 1 TübingenD-72076 Germany Leiden Observatory Leiden University PO Box 9513 Leiden2300 RA Netherlands Research Center for Computational Physics and Data Processing Silesian University in Opava Bezrucovo nam. 13 OpavaCZ-74601 Czech Republic Physics Department Middle East Technical University Ankara06531 Turkey INAF Osservatorio Astronomico di Roma Via Frascati 33 Monteporzio CatoneI-00078 Italy New York University Abu Dhabi PO Box 129188 Abu Dhabi United Arab Emirates Dipartimento di Fisica Enrico Fermi University of Pisa PisaI-56127 Italy INFN Italian National Institute for Nuclear Physics Pisa Section Pisa56127 Italy Department of Physics and Astronomy Michigan State University East LansingMI48824 United States Department of Astrophysical Sciences Princeton University Peyton Hall PrincetonNJ08544 United States Mathematical Sciences and STAG Research Centre University of Southampton SouthamptonSO17 1BJ United Kingdom MIT Kavli Institute for Astrophysics and Space Research CambridgeMA02139 United States DTU Space Technical University of Denmark Elektrovej 327-328 Kgs Lyngby2800 Denmark INAF/IASF Palermo via Ugo La Malfa 153 PalermoI-90146 Italy Universita degli Studi di Palermo Dipartimento di Fisica e Chimica via Archira 36 Palermo90123 Italy

In this White Paper we present the potential of the Enhanced X-ray Timing and Polarimetry (eXTP) mission for determining the nature of dense matter;neutron star cores host an extreme density regime which cannot be replicated in a terrestrial laboratory. The tightest statistical constraints on the dense matter equation of state will come from pulse profile modelling of accretion-powered pulsars, burst oscillation sources, and rotation-powered pulsars. Additional constraints will derive from spin measurements, burst spectra, and properties of the accretion flows in the vicinity of the neutron star. Under development by an international Consortium led by the Institute of High Energy Physics of the Chinese Academy of science, the eXTP mission is expected to be launched in the mid 2020s. Copyright © 2018, The Authors. All rights reserved.

关键词： Pulsars

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Novel way to research nonlinear feedback shift register

引用

science China(Information sciences) 2014年第9期57卷 161-174页

作者： ZHAO DaWei PENG HaiPeng LI LiXiang HUI SiLi YANG YiXian Information Security Center State Key Laboratory of Networking and Switching TechnologyBeijing University of Posts and Telecommunications Zhejiang Provincial Key Lab of Data Storage and Transmission Technology Hangzhou Dianzi University National Engineering Laboratory for Disaster Backup and Recovery Beijing University of Posts and Telecommunications Shandong Provincial Key Laboratory of Computer Network Shandong Computer Science Center

In this paper,we regard the nonlinear feedback shift register(NLFSR)as a special Boolean network,and use semi-tensor product of matrices and matrix expression of logic to convert the dynamic equations of NLFSR into an equivalent algebraic *** on them,we propose some novel and generalized techniques to study ***,a general method is presented to solve an open problem of how to obtain the properties(the number of fixed points and the cycles with different lengths)of the state sequences produced by a given NLFSR,i.e.,the analysis of a given *** then show how to construct all 22n-(l-n)/22n-lshortest n-stage feedback shift registers(nFSR)and at least 22n-(l-n)-1/22n-l-1shortest n-stage nonlinear feedback shift registers(nNLFSR)which can output a given nonperiodic/periodic sequence with length ***,we propose two novel cycles joining algorithms for the construction of full-length ***,two algorithms are presented to construct 22n-2-1different full-length nNLFSRs,respectively.

关键词： nonlinear feedback shift register semi-tensor product Boolean network full-length nNLFSR binary sequence

来源：评论

学校读者我要写书评

暂无评论

Maximizing Network Utilization in Hybrid Software-Defined Networks

Maximizing Network Utilization in Hybrid Software-Defined Ne...

引用

2015 IEEE Global Communications Conference (GLOBECOM)

作者： Yannan Hu Wendong Wang Xiangyang Gong Xirong Que Yue Ma Shiduan Cheng State Key Lab. of Networking & Switching Technol. Beijing Univ. of Posts & Telecommun. China State Key Laboratory of Networking and Switching Technology Beijing Univ. of Posts & Telecommun. China State Key Lab. of Networking & Switching Technol. Beijing University of Posts and Telecommunications Beijing Beijing CN School of Computer Science Beijing University of Posts and Telecommunications Beijing China

By separating the control and forwarding planes, Software-Defined networking (SDN) enables the forwarding paths to be flexibly controlled by the logically centralized controllers using the global network view. To introduce SDN into existing networks, it is necessary to upgrade traditional devices to SDN- enabled ones. However, due to the business, economic and management limitations, it is difficult to realize full SDN deployment. As a result, how to migrate existing devices to SDN-compliant ones becomes the obvious dilemma for every network operator. In this paper, we address this question from the network performance perspective, and study how to leverage the capability of SDN to maximize traffic flow that can be achieved in hybrid SDNs. We formulate the maximum flow problem in networks with partial SDN deployment, and develop a fast Fully Polynomial Time Approximation Scheme (FPTAS) for solving it. Simulation results using real topologies show that hybrid SDNs outperform traditional networks, and we can obtain a near optimal network performance when 50% of SDN nodes are deployed.

关键词： Control systems Performance evaluation Routing Network topology Routing protocols Approximation algorithms Business

来源：评论

学校读者我要写书评

暂无评论

Adaptive spectrum detecting algorithm in cognitive radio

Advances in Intelligent Systems and Computing

引用

Advances in Intelligent Systems and Computing 2014年 215卷 461-475页

作者： Liu, Yun Peng, Qicong Sun, Fuchun Shao, Huaizong Chen, Xingfeng Wang, Ling School of Communication and Technology Engineering University of Electronic Science and Technology of China Chengdu 610054 China State Key Lab of Intelligent Technology and Systems Department of Computer Science and Technology Tsinghua University Beijing 100084 China State Key Laboratory of Remote Sensing Science Institute of Remote Sensing Applications CAS Beijing 100101 China

Cognitive radio (CR) network can make an opportunistic access of spectrum licensed to a primary user (PU). The CR must perform spectrum sensing to detect active PU, thereby avoiding interfering with it. This chapter focuses on adaptively spectrum sensing, so that negative impacts to the performance of the CR network are minimized when CR users experience both stochastic data arrival and time-varying channel. Since the frequency of the spectrum sensing has a directly impact on system throughput and the probability of collision between the PU and CR user, the PU activity is modeled based on the characteristic analysis of the PU spectrum utilization. Based on that, an efficient adaptive sensing algorithm that takes into account the system stability, collision, and throughput is proposed. The CR users can make a balance between them by utilizing a "periodic control factor" which controls the adaptive adjustment of the spectrum sensing frequency. The simulation results indicate that the proposed algorithm has excellent performance on collision probability and throughput compared with conventional periodic spectrum sensing scheme. Meanwhile, it is shown that the proposed algorithm has low implementation complexity for practical applications. © Springer-Verlag Berlin Heidelberg 2014.

关键词： Cognitive radio

来源：评论

学校读者我要写书评

暂无评论

A novel spectrum sensing algorithm in cognitive radio system based on OFDM

Advances in Intelligent Systems and Computing

引用

Advances in Intelligent Systems and Computing 2014年 215卷 131-138页

作者： Yun, Liu Peng, Qicong Sun, Fuchun Shao, Huaizong Chen, Xingfeng Wang, Ling School of Communication and Technology Engineering University of Electronic Science and Technology of China Chengdu 610054 China State Key Lab of Intelligent Technology and Systems Department of Computer Science and Technology Tsinghua University Beijing 100084 China State Key Laboratory of Remote Sensing Science Institute of Remote Sensing Applications CAS Beijing 100101 China

In cognitive radio (CR) networks, spectrum sensing which attracts a lot of interest is a significant task. Aiming at the problem that conventional spectrum sensing technique is usually focused on signal band. This paper introduces a multiband joint spectrum detection based on multiple signal classification (MUSIC) algorithm for orthogonal frequency division multiplexing (OFDM) cognitive ratio system. The proposed eigenvalue-construct method only uses signal autocorrelation of OFDM symbols and simple sorting to achieve the spectrum detection. The computer simulations show that the proposed approach has a good performance compared with the conventional energy sensing method which uses the same threshold over multiple frequency bands. © Springer-Verlag Berlin Heidelberg 2014.

关键词： Cognitive radio

来源：评论

学校读者我要写书评

暂无评论

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

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：