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

Growing Bioinspired Synthetic Landscape Ecologies and the Adequacy of Object Oriented programming 1

11th international conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2021

作者： Le Fur, Jean Mboup, Pape Adama Sall, Moussa CS 30016 Montferrier-sur-Lez34988 France Dakar Senegal Dépt. Informatique Univ. G. Berger/Saint-Louis Sénégal and Lab. IRD-BIOPASS Campus Bel-Air Dakar Senegal

ISBN: (数字)9783031231490

ISBN: (纸本)9783031231483

In this study we develop, using basic object-oriented paradigms, and in collaboration with biologists, a comprehensive model of landscapes and ecosystems dynamics based on bioinspiration principles. Faced with the issue of taking into consideration a variety of elements, processes, interactions, contexts, and scales simultaneously effective, we iteratively develop this model using successive aggregation of new components based on specific case studies. these were then generalized and consolidated to form a coherent platform. To address robustness, the model was continually reworked in search of the closest resemblance to the concrete workings of Nature. We have arrived at a general architecture built from the bottom up that is both generic and as parsimonious as possible. the model emerging from this compilation is a shared class tree with three primary categories of variability: (i) cognitive living agents, (ii) containers of agents that can be nested at various functional scales, and (iii) particular genomes that instantiate attributes for each type of agent. the results of the iterative strategy to modeling synthetic ecology are discussed, as well as the suitability of object-oriented paradigms (composition, aggregation, inheritance, generalization…) for achieving the goal of bioinspired modeling. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Ecology

来源：评论

学校读者我要写书评

暂无评论

Fuzzy logic based risk assessment system giving individualized advice for metabolic syndrome and fatal cardiovascular diseases (vol 27, pg S59, 2019)

引用

TECHNOLOGY AND HEALth CARE 2019年第6期27卷 681-681页

作者： Korkmaz, Hayriye Canayaz, Emre Akar, Sibel Birtane Altikardes, Zehra Aysun Marmara Univ Fac Technol Dept Elect & Elect Engn Istanbul Turkey Marmara Univ Inst Pure & Appl Sci Dept Elect & Elect Engn Istanbul Turkey Istanbul Arel Univ Vocat Sch Dept Comp Programming Istanbul Turkey Marmara Univ Vocat Sch Tech Sci Dept Comp Technol Istanbul Turkey

In 2005, global cardiovascular diseases caused 30% of deaths in Europe, which is 46% of total deaths for all death groups. Today, according to the international Adult Diabetes Federation, 20% to 25% of the adult population in the world has Metabolic Syndrome. Turkish Statistical Institute claims that in Turkey 408782 people died of circulatory system diseases in 2016 and it is expected that numbers will dramatically increase. In 2003, total worldwide healthcare budget of Diabetes Mellitus was up to 64.9 billion international Dollars with the continuing rise in prevalence, it is expected that total costs will increase to 396 billion international Dollars by 2025. the main purpose of this study was to present a clinical decision support system that calculates Metabolic Syndrome existence and evaluate HeartScore risk level for Turkish population. the second objective was to create a detailed personal report about individual's risk level of Metabolic Syndrome and HeartScore and give advice to him/her to reduce it. the fuzzy logic risk assessment system (FLRAS) was formed in LabVIEW graphical development platform according to international Diabetes Federation and European Heart Journal's criteria. Mamdani type fuzzy logic sets were identified for each input variable and membership functions were assigned depending on the magnitude of the input limits. System's performance was tested on 96 (72 females, 24 males) patient data. Results show that the proposed system was able to evaluate the Metabolic Syndrome risk with 0.9285 specificity, 0.92708 accuracy and 0.925 sensitivity.

关键词： Suggestion Fuzzy logic Risk Assessment Risk Management Metabolic Syndrome X

来源：评论

学校读者我要写书评

暂无评论

Finding a Nash Equilibrium and an Optimal Sharing Policy for Multiagent Network Expansion Game

引用

NETWORKS 2017年第1期69卷 94-109页

作者： Chaabane, Nadia Briand, Cyril Huguet, Marie-Jose Agnetis, Alessandro Univ Toulouse CNRS INSA LAASUPS Siena Italy Univ Siena Dipartimento Ingn Informaz & Sci Matemat Siena Italy

In this work, a multiagent network flow problem is addressed, aiming at characterizing the properties of stable flows and allowing their computation. Two types of agents are considered: transportation-agents, that carry a flow of products on a given network and another agent, either a producer or a customer, who is willing to ship (receive, respectively), products. Every transportation-agent controls a set of arcs, each having a capacity that can be increased up to a certain point at a given cost. the other agent (i.e., the customer/producer) is interested in maximizing the flow transshipped through the network. To this aim, we assume it offers the transportation-agents a reward that is proportional to the realized flow value. this particular multiagent framework is referred to as a Multiagent network expansion game. We characterize and find particular stable strategies (i.e., Nash equilibria) that are of interest for this game. We particularly focus on the problem of finding a Nash Equilibrium and a sharing policy that maximize the value of the total flow. We prove that this problem is NP-hard in the strong sense and show how such a strategy can be characterized considering paths in specific auxiliary graphs. We also provide a mixed integer linear programming formulation to solve the problem. Computational experiments are provided to prove the effectiveness of our approach and derive some insights for practitioners. (C) 2016 Wiley Periodicals, Inc.

关键词： multiagent network flow Nash equilibria complexity network expansion game mixed integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Guided installation of basic linear algebra routines in a cluster with manycore components

引用

CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2017年第15期29卷

作者： Cuenca, J. Garcia, L. P. Gimenez, D. Herrera, F. J. Univ Murcia Dept Engn & Technol Comp Murcia Spain Tech Univ Cartagena Serv Support Technol Res Murcia Spain Univ Murcia Dept Comp & Syst Murcia Spain

Computational systems are nowadays composed of basic computational components that share multiprocessors and coprocessors of different types, typically several graphics processing units (GPUs) or many integrated cores (MICs), and those computational components are combined in heterogeneous clusters of nodes with different characteristics, including coprocessors of different types, with varying numbers of nodes at different speeds. the software previously developed and optimized for simpler system needs to be redesigned and reoptimized for these new, more complex systems. the adaptation to hybrid multicore+multiGPU and multicore+multiMIC of autotuning techniques for basic linear algebra routines is analyzed. the matrix-matrix multiplication kernel, which is optimized for different computational system components through guided experimentation, is studied. the routine is installed for each node in the cluster, and the information generated from individual installations may be used for a hierarchical installation in a cluster. the basic matrix-matrix multiplication may, in turn, be used inside higher level routines, which delegate their efficient execution to the optimization of the lower level routine. Experimental results are satisfactory in different multicore+multiGPU and multicore+multiMIC systems. So the guided search of execution configurations for satisfactory execution times proves to be a useful tool for heterogeneous systems, where the complexity of the system means a correct use of highly efficient routines and libraries is difficult.

关键词： autotuning heterogeneous computing hybrid programming parallel linear algebra manycore

来源：评论

学校读者我要写书评

暂无评论

A Centralized Optimization of Dairy Supply Chain Based on Model Predictive Control Strategy

A Centralized Optimization of Dairy Supply Chain Based on Mo...

引用

the 7th international conference on Computer-Aided Industrial Design and Conceptual Design (CAID&CD’2006)

作者： Lei Bei Bei and Yang Chun Jie the Institute of Industrial Process Control, Zhejiang University Cao Jian the Institute of Information Intelligence and Decision-making Optimization, Zhejiang University of Technology

this paper describes a simulation method based on model predictive control strategy to find the optimal decision variables to maximize profit in dairy supply chains with multi-product, multi-echelon distribution networks and multi-product batch plants. the key features of this paper are: 1) inducts a model predictive control strategy under centralized management approach which is suitable for dairy supply chains founded by the key manufacture;2) proposes a feasible and convenient simulation method with GAMS simulation tool that is able to solve the multiperiod MILP optimization problem and thus provide a strong support to supply chain managers in the decision-making process. A performance comparison between model predictive control strategy and common static optimization is made to prove the excellent effect of MPC strategy with both profits and customer service level more than doubled in an example problem, then the paper compares and analyzes the behavior of supply chains under centralized and decentralized management approaches and shows the former yields better overall performance in dairy supply chain management.

关键词： GAMS, Mixed integer linear programming, Model predictive control, Supply chain management

来源：评论

学校读者我要写书评

暂无评论

Mixed integer linear programming dispatch model for power system of Ukraine with large share of baseload nuclear and variable renewables

Mixed integer linear programming dispatch model for power sy...

引用

IEEE international conference on Energy Smart Systems (ESS)

作者： Sergii Shulzhenko Olexandr Turutiukov Maryna Bilenko Deputy Director for Sciemce Institute of General Energy (Energy Research Institute) National Academy of Sciences of Ukraine Kyiv Ukraine Researcher Institute of General Energy (Energy Research Institute) National Academy of Sciences of Ukraine Kyiv Ukraine Leading engineer Private Joint Stock Company National Power Company “Ukrenergo” Kyiv Ukraine

ISBN: (数字)9781728197876

ISBN: (纸本)9781728197883

Ukraine Power Sector is facing the dramatic challenge - a necessity to essentially change its generating capacity structure caused by such main factors: the rapid implementation of intermittent renewables, mainly wind and solar; a high share of obsolete coal-fired thermal power plants, which are not suitable to provide flexibility to the power system; seasonally dependent and very limited water resources for hydro power stations which could provide constrained flexibility and also a high share of baseload nuclear in a generation mix. Another challenge is a high share of a total country's greenhouse gas emissions (about 68% of total Ukraine's GHG emissions) and a huge volume of hazardous air pollutions produced by thermal plants. these factors require a total redesign of current generating capacities to increase system flexibility to meet high renewables implementation volumes while decreasing GHG emissions and hazard pollutions. the easiest option is to implement flexible natural gas generation instead of inflexible coal-fired and nuclear generation, but due to a historically difficult situation with a natural gas supply, this option could potentially cause a negative influence on the country's energy security. We also should take into account an essential amount of investments required to implement a new generation and because of all these factors, the safest way could be keeping baseload nuclear generation, gradually decommissioning coal-fired generation and implementing technologies which are improving flexibility of the Power System, such as electric energy storages. To assess the amount of required installed capacity of electric energy storage in the Ukrainian Power System according to the scenarios of wind and solar implementation the mixed-integer linear programming mathematical model is proposed. the results of simulations show that there are options to keep the current level installed capacity of baseload nuclear generation with essentially high amounts of

关键词： Mathematical model IP networks Generators Power systems Solar power generation Wind power generation

来源：评论

学校读者我要写书评

暂无评论

Effects of Fabrics with Infrared Radiation Properties on Physiological and Psychological thermal Responses during Exercise and Recovery

Effects of Fabrics with Infrared Radiation Properties on Phy...

引用

the 7th Textile Bioengineering and Informatics Symposium in Conjunction with the 5th Asian Protective Clothing conference

作者： Xiao-Fen Lin Yi Li Yan-Xia Han Xu-Yong Cao Jia-Shen Li Hang-Mei Leung Ru Lv Xin-Xing Wu Jiao Jiao Qing Ye Institute of Textiles and Clothing The Hong Kong Polytechnic University Guangdong-HK International Textile Bioengineering Joint Research Center The Hong Kong Polytechnic University Shenzhen Research Institute Department of Health Technology and Informatics The Hong Kong Polytechnic University

A functional pant made of the fabrics with infrared(IR) radiation properties was successful developed as a potential application for infrared *** aim of this study was to investigate the effects of the fabrics with infrared radiation properties on physiological and psychological responses during and after a short-duration *** female subjects were tested in random order,wearing two types of pant with or without IR *** body mass was measured before the experiment and after the *** temperature,skin temperature at six sites,heart rate,and the ratings of thermal,clothing wetness and comfort sensation were measured during and after the *** results arising from the core temperature showed not significantly higher in IR function pant than that in Non-IR function(P>0.05),but the body mean skin temperature drawn a significant higher body mean skin temperature in IR functional pant than in Non-IR functional pant(P<0.05).However,subjective sensations during this short-duration exercise were similar for both *** conclusion,following a short duration exercise,the infrared radiation properties of fabrics could increase the heat ability of body skim temperature and keep the thermal comfort for human body.

关键词： Infrared functional fabrics core temperature skin temperature thermal sensation

来源：评论

学校读者我要写书评

暂无评论

C-SHORe: a collapsible approach to higher-order verification 13

C-SHORe: a collapsible approach to higher-order verification

引用

Proceedings of the 18th ACM SIGPLAN international conference on functional programming

作者： Christopher Broadbent Arnaud Carayol Matthew Hague Olivier Serre LIAFA Universite Paris Diderot -- Paris 7 & CNRS & University of Tokyo & Technische Universitat Munchen Paris Tokyo Munich Germany LIGM Universite Paris-Est & CNRS Paris France Royal Holloway University of London & LIGM Universite Paris-Est & LIAFA Universite Paris Diderot -- Paris 7 & CNRS London United Kingdom LIAFA Universite Paris Diderot -- Paris 7 & CNRS Paris France

ISBN: (纸本)9781450323260

Higher-order recursion schemes (HORS) have recently received much attention as a useful abstraction of higher-order functional programs with a number of new verification techniques employing HORS model-checking as their centrepiece. this paper contributes to the ongoing quest for a truly scalable model-checker for HORS by offering a different, automata theoretic perspective. We introduce the first practical model-checking algorithm that acts on a generalisation of pushdown automata equi-expressive with HORS called collapsible pushdown systems (CPDS). At its core is a substantial modification of a recently studied saturation algorithm for CPDS. In particular it is able to use information gathered from an approximate forward reachability analysis to guide its backward search. Moreover, we introduce an algorithm that prunes the CPDS prior to model-checking and a method for extracting counter-examples in negative instances. We compare our tool with the state-of-the-art verification tools for HORS and obtain encouraging results. In contrast to some of the main competition tackling the same problem, our algorithm is fixed-parameter tractable, and we also offer significantly improved performance over the only previously published tool of which we are aware that also enjoys this property. the tool and additional material are available from http://***.

关键词： verification higher-order model-checking recursion schemes collapsible pushdown systems

来源：评论

学校读者我要写书评

暂无评论

Evaluation of Uncertainties on Generation Expansion Planning

Evaluation of Uncertainties on Generation Expansion Planning

引用

IEEE international Power Engineering and Optimization conference

作者： M. T. Askari M. Z. A. Ab Kadir H. Hizam J. Jasni Universiti Putra Malaysia Malaysia Electrical & Electronic Dept.

ISBN: (纸本)9781467350723

In the deregulated power market the generator firms compete with each other to reach the maximum profit. And in this type of power market the investors encounter several uncertain parameters. Demand uncertainty is one of the main parameters can reduce the risk of investing when the planners consider in their planning. Stochastic programming has been represented in this article to solve the investment problem. this article proposed a model by considering the demand uncertainties. And also, other parameters including the financial restriction, forced outage rate (FOR), penalty for unserved demand has been considered. the variable decisions in this model include the total benefit of investor, expansion capacity at the beginning of each period, operation level for each generator. Sensitivity analysis for FOR and the penalty for unserved demand on the expansion planning confirm this model. Finally, the proposed framework has been implemented on the case study to approve this model.

关键词： Generation expansion planning Demand uncertainties Stochastic programming

来源：评论

学校读者我要写书评

暂无评论

Attack against UAV Infrared Object Detection Based on Gradient Descent Method

Attack against UAV Infrared Object Detection Based on Gradie...

引用

international conference on Information Systems and Computer Aided Education (ICISCAE)

作者： Mingkang Xu Keyu Chen Haoli Xu Xing Yang Jun Lu Bin Qu Haoqi Gao Zhiyang Hu Mengjiang Wu Jun Chen State Key Laboratory of Pulsed Power Laser College of Electronic Engineering National University of Defense Technology Hefei China National University of Defense Technology Hefei China College of Computer Science and Software Enginering Hohai University Nanjing China

ISBN: (数字)9798350350760

ISBN: (纸本)9798350350777

At present, infrared intelligent detection technology has been widely used in various fields. Due to the development of its technology, how to interfere with important targets such as intelligent recognition of vehicles has become a hot issue in the current technical field. therefore, this study is based on the near-infrared band. We generate vehicle target confrontation samples to interfere with infrared detector devices. this paper proposes to first collect the single-band image of the protection target through the infrared UAV, and aligns it to align the position of the protection target in the single-band image to obtain the salient features of the protection target. then, based on the loss function calculated by machine learning method, the adversarial samples of single-band images are generated by using the basic iterative method. the constraint function is used to jointly optimize the loss function, so that the attack of the adversarial samples on the single-band detection system of the infrared UAV can reach the target value, and the adversarial samples of the infrared image in this state are obtained. then, it is arranged in multiple positions on the target vehicle to complete the interference to the infrared detection system. We first need to complete the simulation attack experiment in the digital domain, and then complete the confrontation with the infrared detector by using a special material that meets the requirements in the physical domain. the experimental results show that the attack success rate of this method has a certain effect. this paper has a certain reference for the future research of vehicle infrared reconnaissance and anti-reconnaissance.

关键词： Infrared detectors Accuracy Target recognition Autonomous aerial vehicles Linear programming Stability analysis Protection Optimization thermal stability Convergence

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：