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

IEEE International Conference on engineering of Complex computer systems

作者： Guilherme H. Travassos Paulo Sérgio Medeiros dos Santos Paula Gomes Mian Paula Gomes Mian Neto Jorge Biolchini Systems Engineering and Computer Science Program COPPE/UFRJ Brazil COPPE/UFRJ Rio de Janeiro

Experimental studies have been used as a mechanism to acquire knowledge through a scientific approach based on measurement of phenomena in different areas. However it is hard to run such studies when they require models (simulation), produce amount of information, and explore science in scale. In this case, a computerized infrastructure is necessary and constitutes a complex system to be built. In this paper we discuss an experimentation environment that has being built to support large scale experimentation and scientific knowledge management in software engineering.

关键词： Large-scale systems Software engineering Knowledge engineering Knowledge management Distributed computing engineering management Software systems Software quality Area measurement Software measurement

来源：评论

学校读者我要写书评

暂无评论

CORONA-POLED NONLINEAR POLYMERIC FILMS: IN SITU ELECTRIC FIELD MEASUREMENT, CHARACTERIZATION AND ULTRASHORT-PULSE APPLICATIONS

引用

Journal of Nonlinear Optical Physics & Materials 1992年第1期1卷 73-102页

作者： A. KNOESEN N.E. MOLAU D.R. YANKELEVICH M.A. MORTAZAVI A. DIENES Department of Electrical Engineering and Computer Science Organized Research Program on Polymeric Ultrathin Film Systems University of California Davis CA 95616 USA

Electric poling at field intensities approaching the dielectric strength of the film is possible with corona poling. Polymeric thin films with large second-order nonlinearities can be created with this poling technique. In this paper, the corona poling of nonlinear polymeric films at elevated temperatures, processing, characterization and possible ultrashort-pulse applications are reviewed. An experimental technique is presented to measure the electric field during poling of the nonlinear polymeric film. The characterization of orientational order in corona-poled nonlinear polymeric films and the effects associated with the large electric field during poling are discussed. Poled polymeric thin films are uniquely suited for second-order nonlinear optical applications of ultrashort pulses (< 50 fsec) since minimal pulse spreading occurs. The sum-frequency ultrashort-pulse application of nonlinear polymeric thin films and limitations of the thin polymeric films are discussed. Experimental results are presented of a side-chain nonlinear polymer that is ideally suited for ultrashort-pulse applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automated program transformation for migration to new libraries

Automated program transformation for migration to new librar...

引用

Central and Eastern European Software engineering Conference in Russia (CEE-SECR)

作者： Vladimir Itsykson Alexey Zozulya Computer Systems and Program Engineering Department Saint Petersburg State Polytechnical University Saint-Petersburg Russia

In modern software engineering the task of migration from one system environment to another may arise very often (e.g. software migrating from Windows to Linux or from desktop PC to some mobile platform). This task may be accomplished manually, but this will certainly be not cost- and time-effective and will require additional testing and verification. Therefore various automated techniques aimed to solve this problem seem to be very useful. The article takes into consideration one of such approaches, mainly focused on transferring source code between two library environments. A comprehensive review of related works is presented. The classification of typical library entities having strong impact to software characteristics is defined. Special program annotation language (PanLang) is introduced. The main purpose of this language is to specify library structure and behavior. The key feature of PanLang is the high level of abstraction allowing to take out of consideration the library implementation details. Therefore, PanLang annotation applied to a library is a partial specification. Such a specification may be considered as a Moore FSM. The problem of semantic conformance of source and target libraries' specifications is posed. The conformance is guaranteed if set of execution traces corresponding to source library may be represented as a subset of target's one. In our case the solution of this problem may be reduced to FSM homomorphism detection. Our approach considers using Abstract Semantic Graph (ASG) as a model of source code. Therefore after semantic conformance is proved, special transformation rules may be applied ASG. These rules are based on both source and target partial specifications which guarantee correctness of result software. A simple prototype migration tool based on proposed approach is described. This Java-based tool uses CLang frontend to LLVM for C source code parsing and ASG construction. A number of sample migration tasks were used to prove

关键词： Libraries Semantics Sockets Linux Operating systems Automation

来源：评论

学校读者我要写书评

暂无评论

Semidefinite relaxation of quadratic optimization problems

Semidefinite relaxation of quadratic optimization problems

引用

作者： Luo, Zhi-Quan Ma, Wing-Kin So, Anthony Ye, Yinyu Zhang, Shuzhong Department of Electrical and Computer Engineering University of Minnesota United States Department of Electronic Engineering Chinese University of Hong Kong Shatin Hong Kong Hong Kong Department of Systems Engineering and Engineering Management Chinese University of Hong Kong Hong Kong Hong Kong Department of Management Science and Engineering MSE Industrial Affiliates Program Stanford University United States

In recent years, the semidefinite relaxation (SDR) technique has been at the center of some of very exciting developments in the area of signal processing and communications, and it has shown great significance and relevance on a variety of applications. Roughly speaking, SDR is a powerful, computationally efficient approximation technique for a host of very difficult optimization problems. In particular, it can be applied to many nonconvex quadratically constrained quadratic programs (QCQPs) in an almost mechanical fashion, including the following problem: © 2010 IEEE.

关键词： Signal processing

来源：评论

学校读者我要写书评

暂无评论

Automated Diagnosis of Heart-Lung Diseases in Chest X-ray Images 5

Automated Diagnosis of Heart-Lung Diseases in Chest X-ray Im...

引用

5th International Conference on engineering Technology and its Applications, IICETA 2022

作者： Alslatie, Mohammad Alquran, Hiam Mustafa, Wan Azani Abu-Qasmieh, Isam Alqudah, Ali Mohammad Alkhayyat, Ahmed The Institute of Biomedical Technology King Hussein Medical Center Royal Jordanian Medical Service Amman Jordan Yarmouk University Biomedical Systems and Medical Informatics Engineering Irbid Jordan Arau Faculty of Electrical Engineering Technology Perlis Malaysia University of Manitoba Biomedical Engineering Program Department of Electrical and Computer Engineering Canada The Islamic University Faculty of Engineering Najaf Iraq

ISBN: (纸本)9781665472159

The state of the art of artificial intelligence (AI) for various medical imaging applications leads to enhanced accuracy, analysis, visualization, and interpretation of chest Xray (CXR) images for diagnosis. Many diseases are diagnosed based on CXR images. In this paper, two types of abnormalities are diagnosed based on AI techniques. The two classes are atelectasis and cardiomegaly. The acquired images are segmented to localize the chest region and then enhanced using gray-level transformation methods. The enhanced images are passed to two pretrained convolutional neural networks (CNNs): shuffle and mobile net. The transfer learning approach is utilized in this stage. The automated features are extracted from the last fully connected layer. Each CNN deserves to have the two most representative features for the two classes. These four features are passed to support the vector machine classifier. The training accuracy reached 100% and the test accuracy was 96.7%. The proposed method can be extended to be a milestone in the classification of all heart-lung diseases that can be diagnosed using chest X-ray images. © 2022 IEEE.

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

A guideline for parameter design of body surface laplacian electrodes and its application in EGG detection

A guideline for parameter design of body surface laplacian e...

引用

2005 27th Annual International Conference of the engineering in Medicine and Biology Society, IEEE-EMBS 2005

作者： He, Feng Li, Gang Lin, Ling Besio, Walter G. Lu, Stephen C.-Y. Inspiring Technical Laboratory College of Precision Instruments and Opto-Electronics Engineering Tianjin University Tianjin 300072 China Biomedical Engineering Program Center for Biomedical Engineering and Rehabilitation Science Louisiana Tech University LO United States Dept. of Aerospace and Mechanical Engineering Computer Science and Industrial and Systems Engineering University of Southern California CA 90089-1453

ISBN: (纸本)0780387406

The influence of dimension parameters on the performance of Body-surface Laplacian electrodes is studied in this paper. Some rules about the parameter optimization design are presented. The investigation suggests that the effective radius b should be equal to the inner radius of the ring electrode in order to reduce the relative error. Besides, in the presence of weak bioelectrical signals, reasonably increasing b would be helpful to improve SNR. Furthermore, an evaluation method based on these principles is prompted, as an instance of which, feasibility of introducing Surface Laplacian technique into EGG exploration is discussed. © 2005 IEEE.

关键词： Product design

来源：评论

学校读者我要写书评

暂无评论

Mechanistic modeling of copper corrosions in data center environments

引用

Building Simulation 2024年第3期17卷 483-492页

作者： Rui Zhang Jianshun Zhang Roger Schmidt Jeremy L.Gilbert Department of Mechanical and Aerospace Engineering College of Engineering and Computer ScienceSyracuse UniversitySyracuseNY13244USA Buildings and Transportation Science Division Oak Ridge National LaboratoryOak RidgeTN37830USA SyracuseCoE-New York Center of Excellence in Environmental and Energy Systems Syracuse University727 E.Washington StreetSyracuseNY13244USA Department of Bioengineering Clemson UniversityClemson-Medical University of South Carolina Bioengineering ProgramCharlestonSC29425USA

Air-side economizers are increasingly used to take advantage of“free-cooling”in data centers with the intent of reducing the carbon footprint of ***,they can introduce outdoor pollutants to indoor environment of data centers and cause corrosion damage to the information technology *** evaluate the reliability of information technology equipment under various thermal and air-pollution conditions,a mechanistic model based on multi-ion transport and chemical reactions was *** model was used to predict Cu corrosion caused by Cl_(2)-containing pollutant *** also accounted for the effects of temperature(25℃and 28℃),relative humidity(50%,75%,and 95%),and *** also identified higher air temperature as a corrosion barrier and higher relative humidity as a corrosion accelerator,which agreed well with the experimental *** average root mean square error of the prediction was 13.7Å.The model can be used to evaluate the thermal guideline for data centers design and operation when Cl_(2)is present based on pre-established acceptable risk of corrosion in data centers’environment.

关键词： chloride pollutant mixture copper corrosion model data center temperature relative humidity synergistic effect

来源：评论

学校读者我要写书评

暂无评论

Exploring 3D Reconstruction with Drone Images: Advances and Challenges in Urban Environments 50

Exploring 3D Reconstruction with Drone Images: Advances and ...

引用

50th Annual Conference of the IEEE Industrial Electronics Society, IECON 2024

作者： Miranda Baldivieso, Thiago João da Silva Batista, Taise Grazielle Chagas, Fabio Suim Rodrigues Velho, Luiz Carlos Pacheco Ferreira Rosa, Paulo Fernando Defense Engineering Graduate Program Military Institute of Engineering Rio de Janeiro Brazil State Institute of the Environment Inea RJ Rio de Janeiro Brazil Department of Science and Industry systems University of South-Eastern Norway Kongsberg Norway Department of Computer Graphics Institute for Pure and Applied Mathematics Rio de Janeiro Brazil Electrical Engineering Graduate Program Military Institute of Engineering Rio de Janeiro Brazil

ISBN: (纸本)9781665464543

This working-in-progress paper aims to present a three-dimensional reconstruction using aerial images in different environments. The experiments were conducted with aircraft in both external and internal settings, starting with image acquisition, followed by the application of specific photogrammetry software-both commercial and open-source-and concluding with a qualitative evaluation of the results. © 2024 IEEE.

关键词： Aerial photography

来源：评论

学校读者我要写书评

暂无评论

Power efficient voltage islanding for systems-on-chip from a floorplanning perspective 10

Power efficient voltage islanding for Systems-on-chip from a...

引用

Design, Automation and Test in Europe Conference and Exhibition

作者： Pavel Ghosh Arunabha Sen Computer Science and Engineering Program School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ USA

ISBN: (纸本)9783981080162

Power consumption can be significantly reduced in systems-on-Chip (SoC) by scaling down the voltage levels of the Processing Elements (PEs). The power efficiency of this Voltage Islanding technique comes at the cost of energy and area overhead due to the level shifters between voltage islands. Moreover, from the physical design perspective it is not desirable to have an excessive number of voltage islands on the chip. Considering voltage islanding at an early phase of design as during floorplanning of the PEs can address various of these issues. In this paper, we propose a new cost function for the floorplanning objective different from the traditional floorplanning objective. The new cost function not only includes the overall area requirement, but also incorporates the overall power consumption and the design constraint imposed on the maximum number of voltage islands. We propose a greedy heuristic based on the proposed cost function for the floorplanning of the PEs with several voltage islands. Experimental results using benchmark data study the effect of several parameters on the outcome of the heuristic. It is evident from the results that power consumption can be significantly reduced using our algorithm without significant area overhead. The area obtained from the heuristic is also compared with the optimal, and found to be within 4% of the optimal on average, when area minimization is given the priority.

关键词： Voltage Energy consumption Cost function Power engineering and energy Minimization Very large scale integration computer science Power engineering computing Informatics systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

Conventional and adaptive strategies applied to DC motor control using microcontroller PIC18F4520 7

Conventional and adaptive strategies applied to DC motor con...

引用

7th Brazilian Electrical systems Symposium, SBSE 2018

作者： Taveiros, Filipe Emanuel Vieira Barros, Luciano Sales Barros, Camila Mara Vital Electrical Engineering and Computing Graduate Program of Federal University of Rio Grande Do Norte Natal Brazil Electrical Engineering Department of Federal University of Rio Grande Do Norte Natal Brazil Computer Systems Department of Federal University of Paraíba João Pessoa Brazil

ISBN: (纸本)9781538633632

In this paper strategies to control the speed of a generic DC motor system are discussed. They range from the conventional, like PID and state-feedback, to reference model adaptive algorithms such as MRAC, VS-MRAC and DMARC. The goal of this study is to determine the best control strategy for high-performance applications regarding to stability, robustness and optimal controller effort. In theory and sometimes in practice, all these control strategies proof themselves reliable, however, in heavy-duty set-point references the application requires high performance of the controller under disturbances, unmodeled dynamics and variable speed reference conditions. The use of appropriate control strategies can highly contribute to this purpose. To support the conclusions, the control strategies have been embedded in a microcontroller PIC18F4520 and applied to a test motor in order to obtain experimental results. © 2018 IEEE.

关键词： Three term control systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：