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

24th International Conference on Field Programmable Logic and Applications, FPL 2014

作者： Zhao, Wenlai Fu, Haohuan Yang, Guangwen Luk, Wayne Department of Computer Science and Technology Tsinghua University China Ministry of Education Key Laboratory for Earth System Modeling Center for Earth System Science Tsinghua University China China Department of Computing Imperial College London United Kingdom

ISBN: (纸本)9783000446450

Maximum a posteriori probability inference algorithms for Markov Random Field are widely used in many applications, such as computer vision and machine learning. Sequential tree-reweighted message passing (TRW-S) is an inference algorithm which shows good quality in finding optimal solutions. However, the performance of TRW-S in software cannot meet the requirements of many real-time applications, due to the sequential scheme and the high memory, bandwidth and computational costs. This paper proposes Patra, a novel parallel tree-reweighted message passing architecture, which involves a fully pipelined design targeting FPGA technology. We build a hybrid CPU/FPGA system to test the performance of Patra for stereo matching. Experimental results show that Patra provides about 100 times faster than a software implementation of TRW-S, and 12 times faster than a GPU-based message passing algorithm. Compared with an existing design in four FPGAs, we can achieve 2 times speedup in a single FPGA. Moreover, Patra can work at video rate in many cases, such as a rate of 167 frame/sec for a standard stereo matching test case, which makes it promising for many real-time applications. © 2014 Technical University of Munich (TUM).

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

Robust control reconfiguration of resource allocation systems with Petri nets and integer programming

Robust control reconfiguration of resource allocation system...

引用

作者： Li, Jun Zhou, Mengchu Guo, Tao Gan, Yahui Dai, Xianzhong Key Laboratory of Measurement and Control of Complex Systems of Engineering Ministry of Education China School of Automation Southeast University Nanjing 210096 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ 07102 United States

Supervisory control reconfiguration can handle the uncertainties including resource failures and task changes in discrete event systems. It was not addressed to exploit the robustness of closed-loop systems to accommodate some uncertainties in the prior studies. Such exploitation can cost-efficiently achieve reconfigurability and flexibility for real systems. This paper presents a robust reconfiguration method based on Petri nets (PNs) and integer programming for supervisory control of resource allocation systems (RASs) subject to varying resource allocation relationships. An allocation relationship is seen as a control specification while the execution processes requiring resources as an uncontrolled plant. First, a robust reconfiguration mechanism is proposed. It includes updating the P-invariant-based supervisor and evolving the state of the closed-loop system. The latter adapts to the control specification changes by the self-regulation of the closed-loop system's state. Next, two novel integer programming models for control reconfiguration are proposed, called a reconfiguration model with acceptability and reconfiguration one with specification correction. Since both models integrate the firability condition of transitions, no additional efforts are required for the state reachability analysis. Finally, a hospital emergency service system is used as an example to illustrate them. © 2014 Elsevier Ltd. All rights reserved.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

A Petri Nets Based Approach for Detecting the Data Races and Deadlocks in OpenMP Program

A Petri Nets Based Approach for Detecting the Data Races and...

引用

2012 Third International Conference on Theoretical and Mathematical Foundations of Computer Science(ICTMF 2012)

作者： Yulong Xian Zhijun Ding Department of Computer Science and Technology Tongji University The Key Laboratory of Embedded System and Service Computing Ministry of EducationTongji University

Because of OpenMP programs shielding the underlying parallel execution and scheduling details,data races and deadlocks are tend to occur during program ***,this paper puts forward the modeling method of OpenMP programs based on Petri *** flow of programs are modeled according to the semantics of program control statements and directives of OpenMP programs;Data flow of programs are modeled by abstracting read and write operations related to shared *** two detection algorithms of data race and deadlock for OpenMP program are given based on the coverability tree of Petri ***,corresponding software tool is designed and implemented,and an OpenMP program example of the dining philosophers problem is analyzed to indicate the effectiveness of this method and tools.

关键词： OpenMP, Data races, Deadlock, Static detection, Petri nets

来源：评论

学校读者我要写书评

暂无评论

A fast restarting particle swarm optimizer

A fast restarting particle swarm optimizer

引用

Congress on Evolutionary Computation

作者： Junqi Zhang Xiong Zhu Wei Wang Jing Yao Department of Computer Science and Technology Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China

Particle swarm optimization (PSO) is a swarm intelligence technique that optimizes a problem by iterative exploration and exploitation in the search space. However, PSO cannot achieve the preservation of population diversity on solving multimodal optimization problems, and once the swarm falls into local convergence, it cannot jump out of the local trap. In order to solve this problem, this paper presents a fast restarting particle swarm optimization (FRPSO), which uses a novel restarting strategy based on a discrete finite-time particle swarm optimization (DFPSO). Taking advantage of frequently speeding up the swarm to converge along with a greater exploitation capability and then jumping out of the trap, this algorithm can preserve population diversity and provide a superior solution. The experiment performs on twenty-five benchmark functions which consists of single-model, multimodal and hybrid composition problems, the experimental result demonstrates that the performance of the proposed FRPSO algorithm is better than the other three representatives of the advanced PSO algorithm on most of these functions.

关键词： Particle swarm optimization Sociology Statistics Convergence Oscillators Algorithm design and analysis Benchmark testing

来源：评论

学校读者我要写书评

暂无评论

Social incentive policies to engage commercial building occupants in demand response

Social incentive policies to engage commercial building occu...

引用

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

作者： Li, Sisi Deng, Kun Zhou, Meng Chu Department of Electrical and Computer Engineering New Jersey Institute of Technology NewarkNJ07012 United States Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai201804 China Coordinated Science Laboratory University of Illinois at Urbana-Champaign UrbanaIL61801 United States

Occupants' comfort is the primary target in a building operation. However their efforts are often neglected and ruled out from traditional control strategies of energy-efficient building management systems. Occupant-engaged control strategies have recently attracted many research attentions and demonstrated great potentials for energy saving. With them, occupants' behavior is incorporated into the closed-loop control methods in which their initiatives actively contribute to building services and energy utility by explicitly expressing their preferences. This work proposes an occupant-engaged demand response (DR) strategy for building automation in which occupants are actively engaged to adapt their energy consumption in response to incentive opportunities designed by facility managers. A model-based study and a Nash-Equilibrium-based solution are provided to assist facility managers with the design of social incentive policies to promote occupant participation, along with the guarantee of lucrativeness for a DR event. © 2014 IEEE.

关键词： Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

An Efficient and Scalable Algorithm for the Traveling Salesman Problem

An Efficient and Scalable Algorithm for the Traveling Salesm...

引用

2014 IEEE 5th International Conference on Software Engineering and service Science

作者： Chen Ye Zhongcheng Yang Tianxing Yan Key Laboratory on Embedded System and Service Computing College of Electronics and Information EngineeringTongji University

This paper presents a genetic algorithm based on dynamic programming for solving large-scale instance of the Traveling Salesman Problem(TSP) to ***,an improved dynamic programming algorithm is described to deal with large-scale data,and then it is used as crossover and mutation operator in the genetic *** results show that this novel method with good stability can solve TSP with very-large-scale,effectively reduce the error rate,and improve the solution precision while keeping computational complexity relatively low.

关键词： traveling salesman problem genetic algorithm dynamic programming optimization

来源：评论

学校读者我要写书评

暂无评论

Fusion of infrared and visible images based on improved fuzzy rules in multi-scale domain

引用

Guangxue Jingmi Gongcheng/Optics and Precision Engineering 2015年 23卷 623-630页

作者： Feng, Xin Hu, Kai-Qun Key Laboratory of Manufacturing Equipment Mechanism Design and Control of Chongqing Chongqing International Technology Cooperation Base Equipment System Service Health Care International Joint Research Center Chongqing Technology and Business University Chongqing400067 China

On the basis of shift-invariant Shearlet domain fuzzy processing, an image fusion method with improved fuzzy rules was proposed. First of all, infrared and visible light images were processed by Shift Invariant Shearlet Transformation (SIST) to decomposed into low-pass and high-pass subbands. For low frequency subband coefficients, the rules of local area information entropy was used. For high frequency subband coefficients, the Shearlet transform frame redundancy was considered. To solve the redundant information of the high frequency subbands, the infrared and visible light image membership degree, non-belongingness degree, the hesitation degree of high-frequency sub-band figure and the optimal entropy were calculated. The two coefficient images were decomposed, then the total count of blackness, whiteness of two corresponding blocks are computed. Finally, the block of the blended coefficient image was constructed and the infrared and visible light images were obtained by using the SIST. This method effectively eliminates the Gibbs phenomenon, and offers an edge keeping degree more than 0.85. © 2015, Chinese Academy of Sciences. All right reserved.

关键词： Fuzzy rules

来源：评论

学校读者我要写书评

暂无评论

Research on Real Solutions Number of the SHEPWM Equations Based on the Mechanical Proving and Groebner Bases Theory 33

Research on Real Solutions Number of the SHEPWM Equations Ba...

引用

第三十三届中国控制会议

作者： YANG Ke-hu YUAN Ru-yi YU Wen-sheng School of Mechanical Electronic & Information Engineering China University of Mining & Technology Integrated Information System Research Center Institute of AutomationChinese Academy of Sciences Shanghai Key Laboratory of Trustworthy Computing East China Normal University

ISBN: (纸本)9781479947249

The real solutions number of the switching angles for the SHEPWM inverter has been discussed in this paper. Firstly, the SHEPWM equations were transformed to polynomial equations with inequality constrains by using the multiple-angle formulas and variables substitution, then, the equivalent groebner bases of the polynomial equations were computed, finally, the real solutions number of the SHEPWM equations were discussed with the mechanical proving theory and algorithm of the semialgebraic systems. The conclusion of there is only one solutions for the single phase SHEPWM inverter with less than 7 switching points in a quarter period and the theoretical maximum modulation ratio were derived for the first time. The experiments and simulations verify the correctness of these conclusions.

关键词： Selective Harmonic Eliminated,Inverter,Semi-Algebraic systems,Groebner Bases

来源：评论

学校读者我要写书评

暂无评论

To enhance power distribution network management of local power service enterprise by using cloud platform

To enhance power distribution network management of local po...

引用

International Conference on Information Science and technology (ICIST)

作者： Gang Xiong Timo R. Nyberg Pekka Hämäläinen Xisong Dong Yuan Liu Jiachen Hou Cloud Computing Center Chinese Academy of Sciences Dongguan CHINA Department of Industrial Engineering and Management Aalto University Aalto FINLAND Tekla Corporations Metsänpojankuja Espoo FINLAND Key Laboratory of Complex System Intelligent Science Chinese Academy of Sciences Beijing CHINA Nanjing Smart Energy Information Technology Co. LTD Nanjing CHINA Beijing Engineering Research Center of Intelligent Systems and Technology Chinese Academy of Sciences Beijing CHINA

The availability of new technologies in the areas of digital electronics, communications, internet, and computer technologies opens a door to build a smart grid, which can increase significantly the capacity, services and intelligence of power systems. This paper proposes a power distribution network management cloud platform based on Tekla Xpower. Proposed system can support the implementation of current power grid and/or the coming smart grid. Utilizing the existing computing and storage installations, cloud platform can integrate the existing resources to improve the computation and storage capacities, the data security of the entire system, and can increase application intelligence, service quality and decision-making capability as well. The four layer architecture of cloud platform is designed, and a pilot case study for DMS is provided.

关键词： Computer network reliability Reliability Databases Business Electronic mail Handheld computers

来源：评论

学校读者我要写书评

暂无评论

Soil legacy data rescue via GlobalSoilMap and other international and national initiatives

引用

GeoResJ 2017年第9期14卷 1-19页

作者： Arrouays, Dominique Leenaars, Johan G.B. Richer-de-Forges, Anne C. Adhikari, Kabindra Ballabio, Cristiano Greve, Mogens Grundy, Mike Guerrero, Eliseo Hempel, Jon Hengl, Tomislav Heuvelink, Gerard Batjes, Niels Carvalho, Eloi Hartemink, Alfred Hewitt, Alan Hong, Suk-Young Krasilnikov, Pavel Lagacherie, Philippe Lelyk, Glen Libohova, Zamir Lilly, Allan McBratney, Alex McKenzie, Neil Vasquez, Gustavo M. Mulder, Vera Leatitia Minasny, Budiman Montanarella, Luca Odeh, Inakwu Padarian, Jose Poggio, Laura Roudier, Pierre Saby, Nicolas Savin, Igor Searle, Ross Solbovoy, Vladimir Thompson, James Smith, Scott Sulaeman, Yiyi Vintila, Ruxandra Rossel, Raphael Viscarra Wilson, Peter Zhang, Gan-Lin Swerts, Martine Oorts, Katrien Karklins, Aldis Feng, Liu Ibelles Navarro, Alexandro R. Levin, Arkadiy Laktionova, Tetiana Suvannang, Nopmanee Ruam, Waew Prasad, Jagdish Patil, Nitin Husnjak, Stjepan Pásztor, László Okx, Joop Hallet, Stephen Keay, Caroline Farewell, Timothy Lilja, Harri Juilleret, Jérôme Marx, Simone Takata, Yusuke Kazuyuki, Yagi Mansuy, Nicolas Panagos, Panos Van Liedekerke, Mark Skalsky, Rastislav Sobocka, Jaroslava Kobza, Josef Eftekhari, Kamran Alavipanah, Seyed Kacem Moussadek, Rachid Badraoui, Mohamed Da Silva, Mayesse Paterson, Garry Gonçalves, Maria da Conceição Theocharopoulos, Sid Yemefack, Martin Tedou, Silatsa Vrscaj, Borut Grob, Urs Kozák, Josef Boruvka, Lubos Dobos, Endre Taboada, Miguel Moretti, Lucas Rodriguez, Dario INRA InfoSol Unit Orléans 45075 France ISRIC – World Soil Information PO Box 353 Wageningen 6700 AJ Netherlands Department of Agroecology Faculty of Science and Technology Aarhus University Tjele Denmark European Commission – DG JRC Via E. Fermi 2749 Ispra (VA) 21027 Italy CSIRO Australia National Institute of Statistics and Geography INEGI Aguascalientes Mexico US Department of Agriculture Natural Resources Conservation Services Lincoln Nebraska United States University of Wisconsin Department of Soil Science Madison United States Landcare Research Manaaki Whenua New Zealand Department of Agricultural Environment National Academy of Agricultural Science Suwon 441707 South Korea Eurasian Center for Food Security Lomonosov Moscow State University Moscow Russian Federation INRA-IRD-Supagro UMR Lisah Montpellier France Agriculture and Agri-Food Canada Ottawa Canada The James Hutton Institute Craigiebuckler Aberdeen Scotland United Kingdom University of Sydney Sydney Australia Embrapa Solos Rio de Janeiro Brazil Biogeochemistry and Earth System Modelling Sciences de la Terre et de l'Environnement Université Libre de Bruxelles Bruxelles Belgium Dokutchaev Soil Science Institute Moscow Russian Federation West Virginia University WV United States Indonesian Center for Agricultural Land Resource Research and Development Bogor West Java Indonesia National Research and Development Institute for Soil Science Agro-chemistry and Environment (ICPA) Bucharest Romania State Key Laboratory of Soil and Sustainable Agriculture Institute of Soil Science Chinese Academy of Sciences Nanjing China Land and Soil Protection Service Flemish Government Brussels Belgium Latvia Agricultural University Jelgava Latvia National Scientific Center Institute for Soil Science and Agrochemistry Research Kharkiv Ukraine Sistema de Información Geográfica Dirección General de Recursos Naturales Ministerio de Ganadería Agricultura y Pesca Montevideo Uruguay Land Development

Legacy soil data have been produced over 70 years in nearly all countries of the world. Unfortunately, data, information and knowledge are still currently fragmented and at risk of getting lost if they remain in a paper format. To process this legacy data into consistent, spatially explicit and continuous global soil information, data are being rescued and compiled into databases. Thousands of soil survey reports and maps have been scanned and made available online. The soil profile data reported by these data sources have been captured and compiled into databases. The total number of soil profiles rescued in the selected countries is about 800,000. Currently, data for 117, 000 profiles are compiled and harmonized according to GlobalSoilMap specifications in a world level database (WoSIS). The results presented at the country level are likely to be an underestimate. The majority of soil data is still not rescued and this effort should be pursued. The data have been used to produce soil property maps. We discuss the pro and cons of top-down and bottom-up approaches to produce such maps and we stress their complementarity. We give examples of success stories. The first global soil property maps using rescued data were produced by a top-down approach and were released at a limited resolution of 1 km in 2014, followed by an update at a resolution of 250 m in 2017. By the end of 2020, we aim to deliver the first worldwide product that fully meets the GlobalSoilMap specifications. © 2017 Elsevier Ltd

关键词： GlobalSoilMap Legacy data Soil data rescue

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：