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

International Symposium on Computing and Networking (CANdAr)

作者： Shinya Okumura Koichiro Akiyama Tsuyoshi Takagi Information Security Laboratory Institute of Systems Information Technologies and Nanotechnologies Fukuoka Japan Computer Architecture & Security Systems Laboratory Toshiba Corporation R&D Center Kawasaki Japan Institute of Mathematics for Industry Kyushu University Fukuoka Japan

ISBN: (纸本)9781509026562

researching post-quantum cryptography has been an important task in cryptography. The section finding problem on algebraic surfaces (AS-SFP) is considered to be intractable also after building quantum computers. Thus AS-SFP is used as a basis of the security of the Algebraic Surface Cryptosystem (ASC), which is a candidate of post-quantum cryptosystems, and it is important for designing parameters which make ASC secure to estimate the complexity of AS-SFP. Solving AS-SFP is reduced to solving certain multivariate equation systems (section equation systems) of high degrees, and one can solve such equation systems by using the Grobner basis technique. Although estimating the complexity of computing a Grobner basis associated with an equation system is difficult in general, it becomes easy if the equation system is semi-regular. In this paper, we experimentally estimate the complexity of AS-SFP. From our experimental results, although we see that section equation systems do not become semi-regular in most cases for small parameters, we can infer parameters closely related to the difficulty of computing Grobner bases associated with section equation systems. According to our inference, we estimate the complexity of AS-SFP and parameters which make ASC 128-bit security against the attack by the Grobner basis technique. We also consider a brute-force attack against AS-SFP and conjecture that the brute-force attack is more efficient than the attack by the Grobner basis technique. Finally, we estimate parameters and sizes of public keys such that ASC has 128-bit security against the brute-force attack. Its size (876 bits) is much smaller than sizes of public keys in other efficient candidates of PQC.

关键词： Complexity theory Elliptic curve cryptography Quantum computing computers

来源：评论

学校读者我要写书评

暂无评论

Secrecy analysis in d2d-enabled cellular networks against spatially random eavesdroppers

Secrecy analysis in D2D-enabled cellular networks against sp...

引用

International Symposium on Wireless Personal Multimedia Communications (WPMC)

作者： Yajun Chen Xinsheng Ji Kaizhi Huang Xiaolei Kang Xiaohui Qi National Digital Switching System Engineering and Technological R&D Center Zhengzhou P.R. China National Mobile Communications Research Laboratory Southeast University Nanjinz P.R. China National Engineering Lab for Mobile Networking Security Beijing P.R. China

ISBN: (纸本)9781509053773

In this paper, we investigate both the reliable and secure transmission for device-to-device (d2d) communications underlaying cellular networks where eavesdroppers are according to the Poisson point process (PPP) distribution. The transmission secrecy outage probability (TSOP) is proposed to comprehensively characterize the joint performance of the reliability and the security. Firstly their connection outage probabilities (COPs) and secrecy outage probabilities (SOPs) are derived in the non-colluding eavesdroppers case. Then, their corresponding TSOPs are presented. We further discuss the impact of various factors on their reliable and secure transmission performances, such as the node intensity, the target threshold and the large-scale path loss.

关键词： device-to-device communication reliability Interference Signal to noise ratio Fading channels Wireless communication Security

来源：评论

学校读者我要写书评

暂无评论

Author Correction: A robust benchmark for detection of germline large deletions and insertions

引用

Nature biotechnology 2020年第11期38卷 1357页

作者： Justin M Zook Nancy F Hansen Nathan d Olson Lesley Chapman James C Mullikin Chunlin Xiao Stephen Sherry Sergey Koren Adam M Phillippy Paul C Boutros Sayed Mohammad E Sahraeian Vincent Huang Alexandre rouette Noah Alexander Christopher E Mason Iman Hajirasouliha Camir ricketts Joyce Lee rick Tearle Ian T Fiddes Alvaro Martinez Barrio Jeremiah Wala Andrew Carroll Noushin Ghaffari Oscar L rodriguez Ali Bashir Shaun Jackman John J Farrell Aaron M Wenger Can Alkan Arda Soylev Michael C Schatz Shilpa Garg George Church Tobias Marschall Ken Chen Xian Fan Adam C English Jeffrey A rosenfeld Weichen Zhou ryan E Mills Jay M Sage Jennifer r davis Michael d Kaiser John S Oliver Anthony P Catalano Mark J P Chaisson Noah Spies Fritz J Sedlazeck Marc Salit Material Measurement Laboratory National Institute of Standards and Technology Gaithersburg MD USA. jzook@nist.gov. National Human Genome Research Institute National Institutes of Health Rockville MD USA. Material Measurement Laboratory National Institute of Standards and Technology Gaithersburg MD USA. National Center for Biotechnology Information National Library of Medicine National Institutes of Health Bethesda MD USA. Department of Human Genetics University of California Los Angeles Los Angeles CA USA. Roche Sequencing Solutions Belmont CA USA. Ontario Institute for Cancer Research Toronto Ontario Canada. Charles-Bruneau Cancer Centre Division of Hematology-Oncology CHU Sainte-Justine Montreal Quebec Canada. Molecular Biology Institute University of California Los Angeles Los Angeles CA USA. Department of Physiology and Biophysics Institute for Computational Biomedicine Weill Cornell Medicine New York NY USA. The HRH Prince Alwaleed Bin Talal Bin Abdulaziz Alsaud Institute for Computational Biomedicine Weill Cornell Medicine New York NY USA. The WorldQuant Initiative for Quantitative Prediction Weill Cornell Medicine New York NY USA. The Feil Family Brain and Mind Research Institute Weill Cornell Medicine New York NY USA. Bionano Genomics Inc. San Diego CA USA. Davies Research Centre School of Animal and Veterinary Sciences University of Adelaide Roseworthy SA Australia. 10× Genomics Pleasanton CA USA. Broad Institute of Harvard and MIT Cambridge MA USA. Google Mountain View CA USA. Department of Computer Science Roy G. Perry College of Engineering Prairie View A&M University Prairie View TX USA. Department of Genetics and Genomic Sciences Icahn School of Medicine at Mount Sinai New York NY USA. BC Cancer Genome Sciences Centre Vancouver British Columbia Canada. Biomedical Genetics Department of Medicine Boston University Medical School Boston MA USA. Pacific Biosciences Menlo Park CA USA. Department of Computer Engin

An amendment to this paper has been published and can be accessed via a link at the top of the paper.

关键词：

来源：评论

学校读者我要写书评

暂无评论

LifeTime and improving European healthcare through cell-based interceptive medicine (vol 587, pg 377, 2020)

引用

NATUrE 2021年第7852期592卷 E8-E8页

作者： rajewsky, Nikolaus Almouzni, Genevieve Gorski, Stanislaw A. Aerts, Stein Amit, Ido Bertero, Michela G. Bock, Christoph Bredenoord, Annelien L. Cavalli, Giacomo Chiocca, Susanna Clevers, Hans de Strooper, Bart Eggert, Angelika Ellenberg, Jan Fernandez, Xose M. Figlerowicz, Marek Gasser, Susan M. Hubner, Norbert Kjems, Jorgen Knoblich, Jurgen A. Krabbe, Grietje Lichter, Peter Linnarsson, Sten Marine, Jean-Christophe Marioni, John C. Marti-renom, Marc A. Netea, Mihai G. Nickel, dorthe Nollmann, Marcelo Novak, Halina r. Parkinson, Helen Piccolo, Stefano Pinheiro, Ines Pombo, Ana Popp, Christian reik, Wolf roman-roman, Sergio rosenstiel, Philip Schultze, Joachim L. Stegle, Oliver Tanay, Amos Testa, Giuseppe Thanos, dimitris Theis, Fabian J. Torres-Padilla, Maria-Elena Valencia, Alfonso Vallot, Celine van Oudenaarden, Alexander Vidal, Marie Voet, Thierry Berlin Institute for Medical Systems Biology Max Delbrück Center for Molecular Medicine in the Helmholtz Association Berlin Germany Charité-Universitätsmedizin Berlin Germany Berlin Institute of Health (BIH) Berlin Germany German Center for Cardiovascular Research (DZHK) Partner Site Berlin Berlin Germany Institute for Biology Humboldt University of Berlin Berlin Germany Cardiovascular and Metabolic Sciences Max Delbrück Center for Molecular Medicine in the Helmholtz Association (MDC) Berlin Germany Department of Pediatric Oncology/Hematology Charité-Universitätsmedizin Berlin Berlin Germany Institut Curie CNRS PSL Research University Sorbonne Université Nuclear Dynamics Unit Equipe Labellisée Ligue contre le cancer Paris France VIB Center for Brain and Disease Research Leuven Belgium Department of Human Genetics KU Leuven Leuven Belgium Department of Neurosciences KU Leuven Leuven Belgium UK Dementia Research Institute at UCL University College London London UK Wellcome Sanger Institute Wellcome Genome Campus Cambridge UK Department of Immunology Weizmann Institute of Science Rehovot Israel Centre for Genomic Regulation (CRG) Barcelona Institute of Science and Technology Barcelona Spain CNAG-CRG Centre for Genomic Regulation Barcelona Institute of Science and Technology Barcelona Spain Universitat Pompeu Fabra Barcelona Spain ICREA Barcelona Spain CeMM Research Center for Molecular Medicine of the Austrian Academy of Sciences Vienna Austria Department of Laboratory Medicine Medical University of Vienna Vienna Austria Ludwig Boltzmann Institute for Rare and Undiagnosed Diseases Vienna Austria Department of Medical Humanities Julius Center for Health Sciences and Primary Care University Medical Center Utrecht Utrecht The Netherlands Institute of Human Genetics UMR 9002 CNRS and University of Montpellier Montpellier France Department of Experimental Oncology IEO European Institute of Oncology IRCCS Milan Italy Department of Oncology and Hemato

来源：评论

学校读者我要写书评

暂无评论

dynamic modeling of Badaling molten salt tower CSP pilot plant

引用

AIP Conference Proceedings 2017年第1期1850卷

作者： Zijiang Yang Jiahui Lu Qiangqiang Zhang Zhi Li Xin Li Zhifeng Wang 1EDF China R&D Center Jianguomennei Av 18 Beijing 100005 China 2Key Laboratory of Solar Thermal Energy and Photovoltaic System of Chinese Academy of Sciences Institute of Electrical Engineering No. 6 North ertiao Zhongguancun Haidian district Beijing 100190 China

Under the collaboration framework between EdF China r&d Centre and CAS-IEE, a preliminary numerical model of 1MWth molten salt tower solar power demonstration plant in Badaling, Beijing is presented in this paper. All key components in the plant are presented throughout detailed modules in the model according to its design specifications. Control strategies are also implemented to maintain the design system performance at transient scenario. By this model some key design figures of plant has been validated and it will be used to guide experiment set-up and plant commissioning.

关键词：

来源：评论

学校读者我要写书评

暂无评论

development of Fanless High Efficiency 30 kVA SiC-UPS

Development of Fanless High Efficiency 30 kVA SiC-UPS

引用

International Conference on Electrical Machines and systems

作者： Torn Izumi Nobuhiko Hatano Shuji Ogata Haruo Matsumura Koji Izumi Katsunori Asano Power System Technology Laboratory R&D Center The Kansai Electric Power Co. Inc. 3-11-20 Nakoji Amagasaki Hyogo Japan Control Equipment Division Enegate Co. Ltd. 3-14-40 Senrioka Settsu Osaka Japan

ISBN: (纸本)9781467388634

A fanless 30 kVA Uninterruptible Power system (UPS) has been developed using full silicon carbide (SiC) power modules. The SiC-UPS is equipped with natural aircooled heat sinks designed based on thermal fluid analysis in order to improve the efficiency of heat transfer for a fanless system. The junction temperatures of the SiC device are sufficiently lower than the allowable junction temperature under the condition of 30 kVA of rated output power, and the fanless SiC-UPS has been confirmed to have adequate cooling performance. The fanless SiC-UPS achieves high power efficiency about 2.8% higher than that of our conventional forced air-cooled Si-UPS and about 0.7% higher than that of a fabricated forced air-cooled SiC-UPS. In addition, the power loss of its converter unit is successfully reduced by about 35% compared to our conventional forced air-cooled Si-UPS. These improvements are expected to make beneficial maintenance-saving of the UPS possible in an electric power system.

关键词： Fanless High Efficiency Maintenancesaving SiC-UPS

来源：评论

学校读者我要写书评

暂无评论

A novel image tag completion method based on convolutional neural transformation

arXiv

引用

arXiv 2017年

作者： Geng, Yanyan Zhang, Guohui Li, Weizhi Gu, Yi Liang, ru-Ze Liang, Gaoyuan Wang, Jingbin Wu, Yanbin Patil, Nitin Wang, Jing-Yan Provincial Key Laboratory for Computer Information Processing Technology Soochow University Suzhou215006 China Huawei Technologies Co. Ltd. Shanghai China Suning Commerce R&D Center USA Inc. Palo AltoCA94304 United States Analytics & Research Travelers HartfordCT06183 United States King Abdullah University of Science and Technology Saudi Arabia Jiangsu University of Technology Jiangsu213001 China Information Technology Service Center Intermediate People’s Court of Linyi City Linyi China Hebei University of Economics and Business Shijiazhuang050061 China Savitribai Phule Pune University Pune Maharashtra411007 India

In the problems of image retrieval and annotation, complete textual tag lists of images play critical roles. However, in real-world applications, the image tags are usually incomplete, thus it is important to learn the complete tags for images. In this paper, we study the problem of image tag complete and proposed a novel method for this problem based on a popular image representation method, convolutional neural network (CNN). The method estimates the complete tags from the convolutional filtering outputs of images based on a linear predictor. The CNN parameters, linear predictor, and the complete tags are learned jointly by our method. We build a minimization problem to encourage the consistency between the complete tags and the available incomplete tags, reduce the estimation error, and reduce the model complexity. An iterative algorithm is developed to solve the minimization problem. Experiments over benchmark image data sets show its effectiveness. Copyright © 2017, The Authors. All rights reserved.

关键词： Convolution

来源：评论

学校读者我要写书评

暂无评论

Simulate Human Saccadic Scan-Paths in Target Searching

引用

International Journal of Intelligence Science 2016年第1期6卷 1-9页

作者： Lijuan duan Jun Miao david M. W. Powers Jili Gu Laiyun Qing Beijing Key Laboratory of Trusted Computing Beijing Key Laboratory on Integration and Analysis of Large-Scale Stream Data College of Computer Science and Technology Beijing University of Technology Beijing China National Engineering Laboratory for Critical Technologies of Information Security Classified Protection Beijing China Key Laboratory of Intelligent Information Processing of Chinese Academy of Sciences(CAS) Institute of Computing Technology CAS Beijing China School of Computer Science Engineering & Maths Flinders University of South Australia Adelaide South Australia Beijing Samsung Telecom R&D Center Beijing China University of Chinese Academy of Sciences Beijing China

Human saccade is a dynamic process of information pursuit. There are many methods using either global context or local context cues to model human saccadic scan-paths. In contrast to them, this paper introduces a model for gaze movement control using both global and local cues. To test the performance of this model, an experiment is done to collect human eye movement data by using an SMI iVIEW X Hi-Speed eye tracker with a sampling rate of 1250 Hz. The experiment used a two-by-four mixed design with the location of the targets and the four initial positions. We compare the saccadic scan-paths generated by the proposed model against human eye movement data on a face benchmark dataset. Experimental results demonstrate that the simulated scan-paths by the proposed model are similar to human saccades in term of the fixation order, Hausdorff distance, and prediction accuracy for both static fixation locations and dynamic scan-paths.

关键词： Saccadic Scan-Paths Eye Movement Fixation Locations dynamic Scan-Paths

来源：评论

学校读者我要写书评

暂无评论

Comparison of CFd-calculations of centrifugal compressor stages by NUMECA Fine Turbo and ANSYS CFX programs

引用

IOP Conference Series: Materials Science and Engineering 2017年第1期232卷

作者： Y B Galerkin I B Voinov A A drozdov R&D Laboratory 'Gas dynamics of turbo machines' Peter the Great St. Petersburg Polytechnic University Polytechnical st. 29 St. Petersburg Russia Engineering Center 'Center of Computer-Aided Engineering' Peter the Great St. Petersburg Polytechnic University Polytechnical st. 29 St. Petersburg Russia

Computational Fluid dynamics (CFd) methods are widely used for centrifugal compressors design and flow analysis. The calculation results are dependent on the chosen software, turbulence models and solver settings. Two of the most widely applicable programs are NUMECA Fine Turbo and ANSYS CFX. The objects of the study were two different stages. CFd-calculations were made for a single blade channel and for full 360-degree flow paths. Stage 1 with 3d impeller and vaneless diffuser was tested experimentally. Its flow coefficient is 0.08 and loading factor is 0.74. For stage 1 calculations were performed with different grid quality, a different number of cells and different models of turbulence. The best results have demonstrated the Spalart-Allmaras model and mesh with 1.854 million cells. Stage 2 with return channel, vaneless diffuser and 3d impeller with flow coefficient 0.15 and loading factor 0.5 was designed by the known Universal Modeling Method. Its performances were calculated by the well identified Math model. Stage 2 performances by CFd calculations shift to higher flow rate in comparison with design performances. The same result was obtained for stage 1 in comparison with measured performances. Calculated loading factor is higher in both cases for a single blade channel. Loading factor performance calculated for full flow path ('360 degrees') by ANSYS CFX is in satisfactory agreement with the stage 2 design performance. Maximum efficiency is predicted accurately by the ANSYS CFX '360 degrees' calculation. 'Sector' calculation is less accurate. Further research is needed to solve the problem of performances mismatch.

关键词：

来源：评论

学校读者我要写书评

暂无评论

On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution

On formal cyber physical system properties modeling: A new t...

引用

IEEE International Symposium on systems Engineering (ISSE)

作者： Alfredo Garro Andrea Tundis daniel Bouskela Audrey Jardin Nguyen Thuy Martin Otter Lena Buffoni Peter Fritzson Martin Sjölund Wladimir Schamai Hans Olsson Department of Informatics University of Calabria Rende (CS) Italy Institute of System Dynamics and Control DLR German Aerospace Center Wessling Germany Airbus Group Innovations Hamburg Germany Dassault Systèmes AB Sweden R&D Division Electricité de France (EDF) Chatou Cedex France Department of Computer and Information Science (IDA) Linköping University Linköping Sweden

Modeling and Simulation methods, tools and techniques aim at supporting the different phases of the lifecycle of modern systems, going from requirements analysis to system design and operation. However, their effective application requires investigating several aspects such as the formal modeling of system requirements and the binding and automated composition between heterogeneous models (e.g. requirements models, architectural models, behavioral models). In this context, the paper presents a new formal requirement modeling language based on temporal logic, called FOrM-L, and a software library, based on the Modelica language, that implements the constructs provided by FOrM-L so as to enable the visual modeling of system properties as well as their verification through simulation. The effectiveness of the proposal is shown on a real case study concerning an Intermediate Cooling system.

关键词： Unified modeling language Object oriented modeling Analytical models Context modeling Atmospheric modeling system analysis and design

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：