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

Mechanistic investigations of corrosion and localized corrosion of X80 steel in seawater comprising sulfate-reducing bacteria under continuous carbon starvation

引用

Corrosion Communications 2022年第4期8卷 70-80页

作者： Hongwei Liu Cuiying Chen Muhammad Asif Tong Zhao Bing Lei Guozhe Meng Hongfang Liu School of Chemical Engineering and Technology Southern Marine Science and Engineering Guangdong Laboratory (Zhuhai) Sun Yat-sen University School of Materials Science and Engineering Wuhan Institute of Technology Beijing Key Laboratory of Pipeline Critical Technology and Equipment for Deepwater Oil & Gas Development Beijing Institute of Petrochemical Technology Key Laboratory for Large-Format Battery Materials and System Ministry of Education Hubei Key Laboratory of Materials Chemistry and Service Failure School of Chemistry and Chemical Engineering Huazhong University of Science and Technology

Sulfate-reducing bacteria（SRB） corrosion is one of the main reasons leading to the service failure of engineering materials in the marine environment. An understanding of SRB corrosion especially under continuous organic carbon starvation is required. In this work, SRB corrosion of X80 pipeline steel under continuous organic carbon starvation was studied using mass loss, electrochemical measurements, and surface analysis. The effects of initial SRB concentrations on steel corrosion were also studied and discussed. The results indicated that more than 99% population of SRB die after 21 d of testing in various conditions, but there are still amounts of SRB survivors. SRB survivors with continued organic carbon starvation have a better adaptive ability and accelerated steel corrosion. Both the uniform and localized corrosion rates are also proportional to the initial SRB concentration as well as SRB survivors. The localized corrosion rate and density of corrosion pits of specimen corresponding to an initial SRB count of 10～8 cells/m L reach bigger values of（0.693 ± 0.114） mm/y and（1.94 ± 0.39） ×10～4 pits/cm2, respectively, which are induced by the combination of the sessile and planktonic SRB.

关键词： Microbial corrosion Sulfate-reducing bacteria X80 steel Continued carbon starvation

来源：评论

学校读者我要写书评

暂无评论

Model predictive control for HVAC systems - A review

Model predictive control for HVAC systems - A review

引用

2013 IEEE International Conference on Automation Science and Engineering, CASE 2013

作者： Kwadzogah, Roger Zhou, Mengchu Li, Sisi Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ 07013 United States Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China

ISBN: (纸本)9781479915156

The world faces an energy problem. Oil supply is gradually running out. Its use is polluting the planet with greenhouse gas. Most alternative energy sources also pose some environmental problems. Hence the efficient use of energy must be an integral part of any solution to them. Whenever possible, one must use advanced control engines and technologies to achieve the highest energy efficiency. In Heating Ventilation and Air Conditioning (HVAC) industry, much research has identified a number of energy-saving control methods. Derived from optimal control theory, Model Predictive Control (MPC) is one of them. This paper presents a comprehensive review of its applications to HVAC systems. © 2013 IEEE.

关键词： Model predictive control

来源：评论

学校读者我要写书评

暂无评论

An Inverse Power Generation Mechanism Based Fruit Fly Algorithm for Function Optimization

引用

Journal of systems Science & Complexity 2019年第2期32卷 634-656页

作者： LIU Ao DENG Xudong REN Liang LIU Ying LIU Bo School of Management Wuhan University of Science and Technology Center for Service Science and Engineering Wuhan University of Science and Technology Hubei Province Key Laboratory of Intelligent Information Processing and Real-time Industrial System School of Economics and Management Beihang University Academy of Mathematics and Systems Science Chinese Academy of Sciences

As a novel population-based optimization algorithm, fruit fly optimization(FFO) algorithm is inspired by the foraging behavior of fruit flies and possesses the advantages of simple search operations and easy implementation. Just like most population-based evolutionary algorithms, the basic FFO also suffers from being trapped in local optima for function optimization due to premature *** this paper, an improved FFO, named IPGS-FFO, is proposed in which two novel strategies are incorporated into the conventional FFO. Specifically, a smell sensitivity parameter together with an inverse power generation mechanism(IPGS) is introduced to enhance local exploitation. Moreover,a dynamic shrinking search radius strategy is incorporated so as to enhance the global exploration over search space by adaptively adjusting the searching area in the problem domain. The statistical performance of FFO, the proposed IPGS-FFO, three state-of-the-art FFO variants, and six metaheuristics are tested on twenty-six well-known unimodal and multimodal benchmark functions with dimension 30, respectively. Experimental results and comparisons show that the proposed IPGS-FFO achieves better performance than three FFO variants and competitive performance against six other meta-heuristics in terms of the solution accuracy and convergence rate.

关键词： Evolutionary algorithms fruit fly optimization function optimization meta-heuristics

来源：评论

学校读者我要写书评

暂无评论

P-GAS: Parallelizing a cycle-accurate event-driven many-core processor simulator using parallel discrete event simulation 10

P-GAS: Parallelizing a cycle-accurate event-driven many-core...

引用

24th Annual Workshop on Principles of Advanced and Distributed Simulation, PADS 2010

作者： Lv, Huiwei Cheng, Yuan Bai, Lu Chen, Mingyu Fan, Dongrui Sun, Ninghui Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences China Graduate School Chinese Academy of Sciences China

ISBN: (纸本)9781424472918

Multi-core processors are commonly available now, but most traditional computer architectural simulators still use single-thread execution. In this paper we use parallel discrete event simulation (PDES) to speedup a cycle-accurate event-driven many-core processor simulator. Evaluation against the sequential version shows that the parallelized one achieves an average speedup of 10.9× (up to 13.6×) running SPLASH-2 kernel on a 16-core host machine, with cycle counter differences of less than 0.1%. Moreover, super-linear speedups are achieved between running 1 thread and 8 threads due to reduced overhead of insert-event-to-queue time and increased cache size in parallel processing. We conclude that PDES could be an attractive option for achieving fast cycle-accurate many-core processor simulations. © 2010 IEEE.

关键词： Simulators

来源：评论

学校读者我要写书评

暂无评论

VMScan: an out-of-VM malware scanner

引用

The Journal of China Universities of Posts and Telecommunications 2020年第4期27卷 59-68页

作者： Lin Jie Liu Chuanyi Fang Binxing School of Computer Science and Technology Harbin Institute of TechnologyShenzhenShenzhen 518055China Key Laboratory of Trustworthy Distributed Computing and Service Beijing University of Posts and TelecommunicationsBeijing 100876China Department of Information and Electronic Engineering Chinese Academy of EngineeringBeijing 100088China

The harm caused by malware in cloud computing environment is more and more serious. Traditional anti-virus software is in danger of being attacked when it is deployed in virtual machine on a large scale, and it tends not to be accepted by tenants in terms of performance. In this paper, a method of scanning malicious programs outside the virtual machine is proposed, and the prototype is implemented. This method transforms the memory of the virtual machine to the host machine so that the latter can access it. The user space and kernel space of virtual machine memory are analyzed via semantics, and suspicious processes are scanned by signature database. Experimental results show that malicious programs can be effectively scanned outside the virtual machine, and the performance impact on the virtual machine is low, meeting the needs of tenants.

关键词： security virtualization cloud malware virus detection signature scanning

来源：评论

学校读者我要写书评

暂无评论

Beyond green: Evolution to adaptability and recyclability

Beyond green: Evolution to adaptability and recyclability

引用

2011 IEEE/ACM International Conference on Green computing and Communications, GreenCom 2011

作者： Sun, Yuzhong Song, Ying Key Laboratory of Computer System and Architecture Chinese Academy of Sciences Beijing China Institute of Computing Technology Chinese Academy of Sciences Beijing China

ISBN: (纸本)9780769544663

In current social computing system, not only hardware but also software experiences a directly discarded mode. Such directly discarded mode may result in huge waste. The major challenge in green computing is the recyclability of the computing system. In order to address this challenge in the software field, this paper proposes a design idea of green software embodying the adaptability and recyclability. The adaptable and recyclable strategy may consist of two phases. The first one is compressing the increasingly deeper software stack;another one is keeping the functionality recycling and code reuse. The adaptability and recyclability mean automatically decomposing the complex software into several parts which are ease to be reused and automatically selecting the feasible parts for the on-writing software. And we also explore the system software design path to adaptability and recyclability in our previous work as well as in the future. © 2011 IEEE.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

A novel post-silicon debug mechanism based on Suspect Window

A novel post-silicon debug mechanism based on Suspect Window

引用

作者： Gao, Jianliang Han, Yinhe Li, Xiaowei Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences Graduate University of Chinese Academy of Sciences Beijing China

Bugs are becoming unavoidable in complex integrated circuit design. It is imperative to identify the bugs as soon as possible through post-silicon debug. For post-silicon debug, observability is one of the biggest challenges. Scan-based debug mechanism provides high observability by reusing scan chains. However, it is not feasible to scan dump cycle-by-cycle during program execution due to the excessive time required. In fact, it is not necessary to scan out the error-free states. In this paper, we introduce Suspect Window to cover the clock cycle in which the bug is triggered. Then, we present an efficient approach to determine the suspect window. Based on Suspect Window, we propose a novel debug mechanism to locate the bug both temporally and spatially. Since scan dumps are only taken in the suspect window with the proposed mechanism, the time required for locating the bug is greatly reduced. The approaches are evaluated using ISCAS'89 and ITC'99 benchmark circuits. The experimental results show that the proposed mechanism can significantly reduce the overall debug time compared to scan-based debug mechanism while keeping high observability. Copyright © 2010 The Institute of Electronics, Information and Communication Engineers.

关键词： Observability

来源：评论

学校读者我要写书评

暂无评论

Methods to Improve the Long Distance Time-Varying Channel Transmission Performance of Expendable Profiler

引用

China Ocean Engineering 2019年第6期33卷 753-761页

作者： ZHENG Yu ZHANG Xiao-yang WANG Xiao-rui GUO Xing-xin LI Hong-zhi School of Life Sciences Tianjin Polytechnic UniversityTianjin 300387China Tianjin Key Laboratory of Photoelectric Detection Technology and System Tianjin Polytechnic UniversityTianjin 300387China National Marine Data and Information Service Tianjin 300171China National Ocean Technology Center Tianjin 300112China

To improve the transmission performance of XCTD channel, this paper proposes a method to measure directly and fit the channel transmission characteristics by using frequency sweeping method. Sinusoidal signals with a frequency range of 100 Hz to 10 k Hz and an interval of 100 Hz are used to measure transmission characteristics of channels with lengths of 300 m, 800 m, 1300 m, and 1800 m. The correctness of the fitted channel characteristics by transmitting square wave, composite waves of different frequencies, and ASK modulation are verified. The results show that when the frequency of the signal is below 1500 Hz, the channel has very little effect on the signal. The signal compensated for amplitude and phase at the receiver is not as good as the uncompensated ***, when the signal frequency is above 1500 Hz, the channel distorts the signal. The quality of signal compensated for amplitude and phase at receiver is better than that of the uncompensated signal. Thus, we can select the appropriate frequency for XCTD system and the appropriate way to process the received signals. Signals below1500 Hz can be directly used at the receiving end. Signals above 1500 Hz are used after amplitude and phase compensation at the receiving end.

关键词： expandable conductivity temperature depth(XCTD)profiler time-varying channel modeling frequency sweeping method amplitude and phase compensation transmission performance

来源：评论

学校读者我要写书评

暂无评论

Cough signal recognition with gammatone cepstral coefficients

Cough signal recognition with gammatone cepstral coefficient...

引用

2013 IEEE China Summit and International Conference on Signal and Information Processing, ChinaSIP 2013

作者： Liu, Jia-Ming You, Mingyu Li, Guo-Zheng Wang, Zheng Xu, Xianghuai Qiu, Zhongmin Xie, Wenjia An, Chao Chen, Sili Key Laboratory of Embedded System and Service Computing Department of Control Science and Engineering Tongji University Shanghai 201804 China Department of Respiratory Medicine Shanghai 200065 China

ISBN: (纸本)9781479910434

Cough Recognition is a valuable classification problem in healthcare. Generally, feature representation contributes a lot to the overall classifying performance. In this paper, a novel feature extraction method, Gammatone Cepstral Coefficients (GTCC), is investigated for cough recognition. The accuracy of GTCC comparing with MFCC is evaluated on a designed cough dataset following a 10 fold cross-validation schemes. Considering the imbalance of that dataset, weighted SVM is applied as the base classifier. The results indicate that GTCC surpass MFCC in modeling cough signals. With combination of GTCC and MFCC, a better performance is achieved. This paper provides a better feature representation prototype in cough recognition. © 2013 IEEE.

关键词： Feature extraction

来源：评论

学校读者我要写书评

暂无评论

Reconstruction of table-manipulation method with constraints based on algebra-shape-computer thought

Reconstruction of table-manipulation method with constraints...

引用

International Conference on Mechanical Science and Engineering, ICMSE 2012

作者： Li, Dao Guo Fu, Bin Zhou, Zhong Yuan Yang, Chen School of Management Hangzhou Dianzi University Hangzhou 310018 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200092 China

ISBN: (纸本)9783037854723

The table-manipulation method plays a important role in optimizing resource scheduling, scientifically location chosen, task assignment, investment distribution and so on. Most literatures introduction the table-manipulation method used to single thought pattern, for example, the algebra thought model, the shape thought model, or Computer software method, which cruse it is difficult to understand and apply. Therefore, a novel table-manipulation integration approach is proposed by combining the thought of algebra-shape-computer. This builds convenient access among the abstraction, modeling, solving on the practical optimizing problems discussed above. © (2012) Trans Tech Publications, Switzerland.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：