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

32nd International Ocean and Polar Engineering Conference, ISOPE 2022

作者： Xu, Shun Wang, Nina Wan, Decheng Strijhak, Sergei School of Naval Architecture Ocean and Civil Engineering Shanghai Jiao Tong University Shanghai China Key Laboratory of Far-shore Wind Power Technology of Zhejiang Province Huadong Engineering Corporation Limited Hangzhou China Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9781880653814

The development of wind turbine towards to larger-scale and floating type, leading to the significant impact on the aerodynamic performance and fatigue load of the wind turbine induced by the complex atmospheric inflow. In this study, the numerical investigation of floating wind turbine (FOWT) under complex atmospheric boundary layer (ABL) inflow is performed. The NREL 5MW reference turbine mounted on the OC4 floating platform is adopted as the research object. Large eddy simulations (LES) combined with the actuator line model is used for the wind turbine blades numerical simulation, and the platform motions are solved by the potential theory. The complex ABL inflow is generated using a precursor LES method with long-enough time to obtain the quasi-equilibrium state turbulence. And the calculation results are compared with the uniform wind inflow. The oscillation amplitude of the rotor power for FOWT under uniform inflow does not exceed 40% with the excitation of regular incident wave, while the amplitude for ABL inflow reaches up to 100%. Long-term significant response of rotor power is observed because of the large-scale high-velocity airflow upstream the turbine rotor plane. The later asymmetric distribution of ABL inflow velocity is responsible for evidently response of aerodynamic yaw moment amplitude. For the floating platform motions, the oscillating amplitude of yaw motion for ABL inflow is over 2°, while the output value for uniform inflow is steady and does not exceed 0.2°. The differences of the other five platform motions are not significantly observed. © 2022 by the International Society of Offshore and Polar Engineers (ISOPE).

关键词： Large eddy simulation

来源：评论

学校读者我要写书评

暂无评论

Numerical Study on the Asymmetry in Wake Steering of Wind Turbine under Yawed Conditions 32nd

Numerical Study on the Asymmetry in Wake Steering of Wind Tu...

引用

32nd International Ocean and Polar Engineering Conference, ISOPE 2022

作者： Wei, Dezhi Wang, Nina Wan, Decheng Strijhak, Sergei School of Naval Architecture Ocean and Civil Engineering Shanghai Jiao Tong University Shanghai China Key Laboratory of Far-shore Wind Power Technology of Zhejiang Province Huadong Engineering Corporation Limited Hangzhou China Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9781880653814

Wake redirection via active yaw control is a promising strategy to improve the whole wind farm performance. To successfully apply such an operational control in the real-world engineering, it is necessary to have a precise knowledge of the yawed turbines and their wakes. In the current work, a series of numerical simulations are performed by the high-fidelity SOWFA tool, to study the occurring asymmetry in oppositely signed yaw angles, as well as its effects on wake-steering performance. The simulation results demonstrate that the wake curl is asymmetric between positive and negative yaw angles, arising from the interaction of the counter-rotating vortices with the vertical wind veer. Some key wake properties are also observed to be asymmetric with respect to the yaw angle direction, especially the lateral wake deflection, which can affect the efficiency of active yaw control. What's more, a load study of wake steering is conducted, showing that the positive yaw offsets are less harmful to the tested NREL 5MW wind turbine. In conclude, this work emphasizes the necessity and importance of considering the yaw direction in implementing yaw-based wind farm control. © 2022 by the International Society of Offshore and Polar Engineers (ISOPE).

关键词： Wakes

来源：评论

学校读者我要写书评

暂无评论

A generic framework for indulgent consensus

A generic framework for indulgent consensus

引用

International Conference on Distributed Computing Systems

作者： R. Guerraoui M. Raynal Distributed Programming Laboratory Swiss Federal Institute of Technology Lausanne Switzerland IRISA Campus de Beaulieu Université de Rennes Rennes France

Consensus is a fundamental distributed agreement problem that has to be solved when one has to design or implement reliable applications. As consensus cannot be solved in pure asynchronous distributed systems, those systems have to be equipped with appropriate oracles to circumvent the impossibility. Several oracles (unreliable failure detector leader capability, random number generator) have been proposed, and consensus protocols based on such ad hoc oracles have been designed This paper presents a generic consensus framework that can be instantiated with any oracle, or combination of oracles, that satisfies a set of properties. This generic framework provides indulgent consensus protocols that are particularly simple and efficient both in well-behaved runs (i.e., when there are no failures), and in stable runs (i.e., when there is no failure during the execution although some processes can be initially crashed). In those runs, the protocols terminate in two communication steps (which is optimal). Indulgence means that the resulting protocol never violates its safety property even when the underlying oracle behaves arbitrarily. Interestingly, the protocol can also allow processes to decide in one communication step in some specific configurations.

关键词： Protocols Detectors Computer crashes Distributed computing Safety Random number generation Computer science System recovery Context Heart

来源：评论

学校读者我要写书评

暂无评论

Location-based Publish/Subscribe

Location-based Publish/Subscribe

引用

IEEE International Symposium on Network Computing and Applications

作者： P.Th. Eugster B. Garbinato A. Holzer Chair of Software Engineering Swiss Federal Institute of Technology of Zürich Switzerland Distributed Object Programming Laboratory Université de Lausanne Switzerland

This paper introduces the concept of location-based publish/subscribe (LPS), which allows mobile ad hoc applications to anonymously communicate with each other, depending on their locations. With this concept, publish/subscribe topics are typically expressed in a dynamic manner including proximity criteria, e.g., "I subscribe to all events on topic T published within some range R". We advocate that location-based publish/subscribe is a key programming paradigm for building mobile ad hoc application, and sketch our current implementation, which is based on standard APIs of the Java 2 platform, Micro Edition

关键词： Ad hoc networks Application software Context Dynamic programming Standards publication Java Mobile communication Subscriptions Software engineering Bluetooth

来源：评论

学校读者我要写书评

暂无评论

ClangJIT: Enhancing C++ with just-in-time compilation

arXiv

引用

arXiv 2019年

作者： Finkel, Hal Poliakoff, David Richards, David F. Lead Compiler Technology and Programming Languages Leadership Computing Facility Argonne National Laboratory LemontIL United States Lawrence Livermore National Laboratory LivermoreCA United States

The C++ programming language is not only a keystone of the high-performance-computing ecosystem but has proven to be a successful base for portable parallel-programming frameworks. As is well known, C++ programmers use templates to specialize algorithms, thus allowing the compiler to generate highly-efficient code for specific parameters, data structures, and so on. This capability has been limited to those specializations that can be identified when the application is compiled, and in many critical cases, compiling all potentially-relevant specializations is not practical. ClangJIT provides a well-integrated C++ language extension allowing template-based specialization to occur during program execution. This capability has been implemented for use in large-scale applications, and we demonstrate that just-in-time-compilation based dynamic specialization can be integrated into applications, often requiring minimal changes (or no changes) to the applications themselves, providing significant performance improvements, programmer-productivity improvements, and decreased compilation time. Copyright © 2019, The Authors. All rights reserved.

关键词： Just in time production

来源：评论

学校读者我要写书评

暂无评论

Unifying theories of healthiness condition

Unifying theories of healthiness condition

引用

Asia-Pacific Conference on Software Engineering

作者： He Jifeng C.A.R. Hoare International Institute for Software Technology United Nations University Macau Macao China Computing Laboratory Programming Research Group Oxford University Oxford UK

A theory of programming starts with a complete Boolean algebra of specifications, and defines healthiness conditions which exclude infeasibility of implementation. These are expressed as algebraic laws useful for transformation and optimisation of designs. programming notations and languages must be restricted to those preserving all the healthiness conditions. We have explored a wide range of programming paradigms, including nondeterministic, sequential, parallel, logical and probabilistic. In all cases, we have found a single healthiness condition, formalised by constructions due to Karoubi and to Kleisli. The uniformity maintains for all paradigms a single notion of correctness throughout the chain that leads from specification through designs to programs that are proved to meet the original specification.

关键词： Design optimization Laboratories Boolean algebra Logic programming Parallel programming Maintenance Specification languages

来源：评论

学校读者我要写书评

暂无评论

Analysis of streaming social networks and graphs on multicore architectures

Analysis of streaming social networks and graphs on multicor...

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： Jason Riedy Henning Meyerhenke David A. Bader David Ediger Timothy G. Mattson Georgia Institute of Technology Atlanta GA USA Institute for Theoretical Informatics Karlsruhe Institute of Technology Karlsruhe Germany Microprocessor and Programming Research Laboratory Intel Corporation DuPont WA USA

Analyzing static snapshots of massive, graph-structured data cannot keep pace with the growth of social networks, financial transactions, and other valuable data sources. We introduce a framework, STING (Spatio-Temporal Interaction Networks and Graphs), and evaluate its performance on multicore, multisocket Intel ® -based platforms. STING achieves rates of around 100 000 edge updates per second on large, dynamic graphs with a single, general data structure. We achieve speedups of up to 1000× over parallel static computation, improve monitoring a dynamic graph's connected components, and show an exact algorithm for maintaining local clustering coefficients performs better on Intel-based platforms than our earlier approximate algorithm.

关键词： Social network services Approximation algorithms Heuristic algorithms Kernel Monitoring Data structures Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Dynamics of Control

Dynamics of Control

引用

Theoretical Aspects of Software Engineering (TASE)

作者： J W Sanders Matteo Turilli International Institute for Software Technology United Nations University Macau Macao China Programming Research Group Oxford University Computing Laboratory Oxford UK

This paper proposes a , the "ambit' of an action, that allows the degree of distribution of an action in a multiagent system to be quantified without regard to its functionality. It demonstrates the use of that notion in the design, analysis and implementation of dynamically-reconfigurable multi-agent systems. It distinguishes between the extensional (or system) view and intensional (or agent-based) view of such a system and shows how, using the notion of ambit, the step-wise derivation paradigm of formal methods can be used to derive the latter from the former. In closing it addresses the manner in which these ideas inform studies in the ethics of systems of artificial agents.

关键词： Multiagent systems Dynamic programming Ethics Personal digital assistants Control systems Functional programming Distributed computing Laboratories Buildings Information technology

来源：评论

学校读者我要写书评

暂无评论

Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning 3rd

引用

3rd International Conference on Logic programming, ICLP 1986

作者： Goebel, Randy Furukawa, Koichi Poole, David Logic Programming and AI Group Department of Computer Science University of Waterloo WaterlooN2L 3GI Canada First Research Laboratory Inst. for New Generation Computer Technology 21F Mita Kokusai Bldg Minato-ku Tokyo108 Japan

ISBN: (纸本)9783540164920

If one desires that an automatic theory formation program detect inconsistency in a set of hypotheses, the Horn clause logic of Prolog is unsuitable as no contradiction is derivable. Full first order logic provides a suitably expressive alternative, but then requires a full first order theorem-prover as the basic theory construction mechanism. Here we present an alternative for augmenting definite clauses with the power to express potentially inconsistent scientific theories. The alternative is based on a partitioning of definite clauses into two categories: ordinary assertions, and integrity constraints. This classification provides the basis for a simple theory formation program. We here describe such a theory formation system based on Prolog, and show how it provides an interesting reformulation of rule-based diagnosis systems like MYCIN. © 1986, Springer-Verlag.

关键词： PROLOG (programming language)

来源：评论

学校读者我要写书评

暂无评论

On objects and events 01

On objects and events

引用

ACM SIGPLAN Conference on Object-oriented programming, Systems, Languages, and Applications

作者： Patrick Th. Eugster Rachid Guerraoui Christian Heide Damm Distributed Programming Laboratory Swiss Federal Institute of Technology in Lausanne CH-1015 Switzerland Department of Computer Science University of Aarhus 8200 Aarhus N Denmark

ISBN: (纸本)1581133359

This paper presents linguistic primitives for publish/subscribe programming using events and objects. We integrate our primitives into a strongly typed object-oriented language through four mechnisms: (1) serialization, (2) multiple subtyping, (3)closures, and (4) deferred code evaluation. We illustrate our primitives through Java, showing how we have overcome its respective lacks. A precompiler transforms statements based on our publish/subscribe primitives into calls to specifically generated typed adapters, which resemble the typed stubs and skeletons by the rmic precompiler for remote method invocations in Java

关键词： Java Java programming language Primitive Skeletons remote procedure calls calls strong typing Object oriented programming languages serialize Application Adapter bone structure

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：