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

6th international conference on Computational Science (ICCS 2006)

作者： McGough, A. Stephen Lee, William Darlington, John Univ London Imperial Coll Sci Technol & Med Dept Comp London Esci Ctr London SW7 2AZ England

ISBN: (纸本)3540343830

the Imperial College e-Science Networked Infrastructure (ICENI) has been developed by the London e-Science Centre for over four years. ICENI has prototyped many novel ideas for providing an end to end Grid middleware. this has included: service-oriented architecture, component programming model, retaining and using meta-data collected throughout the life-cycle of an application, and scheduling algorithms which are aware of workflow and performance data. In this paper we describe the workflow pipeline and deployment process of ICENI II. this allows the user to specify their workflow at an abstract level which is fed through the pipeline in order to successfully deploy it over the Grid. the tool sets, which make up the stages of the ICENI II pipeline, are designed to be composable in an a-la-carte fashion. thus allowing Grid developers to select only those components which are relevant for their work. When these tool sets are composed together they form the higher level services required to make the Grid useful to the end user.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

Applications of Enhanced Dynamic Code Evolution for Java in GUI Development and Dynamic Aspect-Oriented programming

引用

ACM SIGPLAN NOTICES 2011年第2期46卷 123-126页

作者： Wuerthinger, thomas Binder, Walter Ansaloni, Danilo Moret, Philippe Moessenboeck, Hanspeter Johannes Kepler Univ Linz Linz Austria Univ Lugano Lugano Switzerland

While dynamic code evolution in object-oriented systems is an important feature supported by dynamic languages, there is currently only limited support for dynamic code evolution in high-performance, state-of-the-art runtime systems for statically typed languages, such as the Java Virtual Machine. In this tool demonstration, we present the Dynamic Code Evolution VM, which is based on a recent version of Oracle's state-of-the-art Java HotSpot (TM) VM and allows unlimited changes to loaded classes at runtime. Based on the Dynamic Code Evolution VM, we developed an enhanced version of the Mantisse GUI builder (which is part of the NetBeans IDE) that allows adding GUI components without restarting the application under development. Furthermore, we redesigned the dynamic AOP framework HotWave to take advantage of the enhanced dynamic code evolution capabilities. the new version, HotWave2, now supports most AspectJ constructs, including around() advice and static cross-cutting. We will demonstrate both the enhanced Mantisse GUI builder as well as HotWave2, weaving several aspects for dynamic analysis in sizable applications at runtime.

关键词： Algorithms Languages Dynamic aspect-oriented programming runtime weaving dynamic code evolution dynamic software updates code hotswapping Java Virtual Machine

来源：评论

学校读者我要写书评

暂无评论

JEqualityGen: Generating Equality and Hashing Methods

引用

ACM SIGPLAN NOTICES 2011年第2期46卷 177-186页

作者： Grech, Neville Rathke, Julian Fischer, Bernd Univ Southampton ECS Southampton SO9 5NH Hants England

Manually implementing equals (for object comparisons) and hashCode (for object hashing) methods in large software projects is tedious and error-prone. this is due to many special cases, such as field shadowing, comparison between different types, or cyclic object graphs. Here, we present JEqualityGen, a source code generator that automatically derives implementations of these methods. JEqualityGen proceeds in two states: it first uses source code reflection in MetaAspectJ to generate aspects that contain the method implementations, before it uses weaving on the bytecode level to insert these into the target application. JEqualityGen generates not only correct, but efficient source code that on a typical large-scale Java application exhibits a performance improvement of more than two orders of magnitude in the equality operations generated, compared to an existing system based on runtime reflection. JEqualityGen achieves this by generating runtime profiling code that collects data. this enables it to generate optimised method implementations in a second round.

关键词： Algorithms Performance theory meta-programming equality hashing code generation Java Scala AspectJ AOP

来源：评论

学校读者我要写书评

暂无评论

Defense Strategies for Integrated Energy Cyber Physical Systems Considering Joint Attacks

Defense Strategies for Integrated Energy Cyber Physical Syst...

引用

Energy, Electrical and Power engineering (CEEPE), international conference on

作者： Danyan Gu Lucheng Hong Qiangqiang Yu Liang Hua College of Software Southeast University Nanjing China College of Electrical Engineering Southeast University Nanjing China State Grid Wuxi Power Supply Company Science and Technology Digital Department Wuxi Power Supply Company Wuxi China

ISBN: (数字)9798350375794

ISBN: (纸本)9798350375800

In the context of a highly interconnected energy landscape, coordinated cyber-physical attacks on integrated energy systems can cause significant damage and trigger considerable economic impacts. In order to ensure the robustness and uninterrupted function of such systems, the interaction between information and physical matrix is analyzed based on the inherent coupling mechanism unique to the integrated energy information-physical framework. After the basic analysis, a threelayer dynamic game model is designed using the strategy of game theory. the model is transformed into a mixed integer linear programming formula, load loss is selected as the vulnerability assessment index, and defense resources are effectively allocated to each component of the integrated energy system. Finally, an IEEE-39-node grid is coupled to an 11-node gas distribution network. Research and analysis, the proposed model and its related methods have been verified.

关键词： Economics Analytical models Power engineering Games Distribution networks Robustness Mixed integer linear programming

来源：评论

学校读者我要写书评

暂无评论

MSoln-PSO: Searching for Multiple Solutions and Numerically Verifying the Riemann Hypothesis

MSoln-PSO: Searching for Multiple Solutions and Numerically ...

引用

Advanced Algorithms and Control engineering (ICAACE), international conference on

作者： Enlong Shang School of Mathematics and Statistics Wuhan University Wuhan China

ISBN: (数字)9798350361445

ISBN: (纸本)9798350361452

We introduce MSoln-PSO, a modified Particle Swarm Optimization algorithm aimed at overcoming limitations in finding singular optimal points. By adapting the social component to steer towards the closest leading particle, it discovers multiple optimal points simultaneously, utilizing high-fitness particles as leads or past-iteration particles that fit the criteria. Applying MSoln-PSO to the zeros of the zeta function within the [0, 500] imaginary interval yields all 269 zeros, showcasing its robustness in multi-solution searches. Remarkably, all solutions have a real part of 1/2, verifying the Riemann hypothesis numerically. Furthermore, MSoln-PSO's versatility extends to finding points where the objective function meets any given conditions. Particulary,it can also efficiently identifies points where the function value falls below a defined threshold, showcasing its strong capability in various fields.

关键词： Control engineering Linear programming Search problems Robustness Particle swarm optimization

来源：评论

学校读者我要写书评

暂无评论

Comparison of Modern Customizable Code Visualization Tools

Comparison of Modern Customizable Code Visualization Tools

引用

Software and System engineering (ICoSSE), international conference on

作者： Attila Gyén Norbert Pataki Department of Programming Languages and Compilers Eötvös Loránd University Budapest Hungary

ISBN: (数字)9798350386592

ISBN: (纸本)9798350386608

abstract-Nowadays, visualization is one of the most important things an integrated development environment or any smart code editor needs to have. there are several different options when it comes to the visualization. It plays a crucial role in software development and has several important benefits, like understanding the code structure, debugging, or troubleshooting. Code visualization enhances developer productivity, facilitates collaboration, and contributes to the maintainability and scalability of software projects. It is an essential aspect of modern software development practices. In this paper, we focus on one of the most widely used code editors - Visual Studio Code - and on a core component that drives the Visual Studio Code called Monaco Editor, mainly on how they can visualize different sections of a code and their complexity when it comes to visualization. Source code visualization refers to representing code visually to enhance understanding, analysis, and communication of software systems.

关键词： Productivity Visualization Codes Source coding Scalability Systems engineering and theory Software systems

来源：评论

学校读者我要写书评

暂无评论

Energy management optimization control with the consideration of the driving style for connected hybrid electric vehicles in mixed driving scenarios

Energy management optimization control with the consideratio...

引用

conference on Vehicle Control and Intelligence (CVCI)

作者： Wenbin Tang Jingjing He Zhong Wang Xiaohong Jiao School of Electrical Engineering Yanshan University Qinhuangdao China School of Vehicle and Energy Yanshan University Qinhuangdao China

Considering the complexity and variability of the actual traffic environment, aiming at the influence of driving styles on the optimal control of hybrid electric vehicles (HEVs) energy management, this paper proposes a speed planning and energy management strategy (EMS) considering driving style recognition in mixed driving scenarios under the framework of model predictive control (MPC). the proposed strategy uses principal component analysis (PCA) to reduce the dimension of the characteristic parameters and fuzzy C-means (FCM) methods to cluster driving styles. Vehicle-to-Vehicle (V2V) and Vehicle-to-Infrastructure (V2I) are used to obtain information on the preceding vehicle and traffic lights to classify the hybrid driving scenario. In the different scenarios, the objective function considering traffic safety is constructed to plan the host vehicle’s speed based on the speed prediction of the preceding vehicle. A sequential quadratic programming optimization algorithm (SQP) distributes engine and motor power. Simulation results show that the proposed EMS can achieve good fuel economy under the premise of driving safety.

关键词：

来源：评论

学校读者我要写书评

暂无评论

What do you get from a π-calculus semantics? 6th

引用

6th international conference on Parallel Architectures and Languages Europe, PARLE 1994

作者： Radestock, Matthias Eisenbach, Susan Department of Computing Imperial College of Science Technology and Medicine 180 Queen’s Gate LondonSW7 2BZ United Kingdom

ISBN: (纸本)9783540581840

Darwin is a programming system for the development of distributed and parallel programs. Darwin programs consist of three parts. Firstly, there is a configuration part which provides a hierarchical structure of components with dynamic binding. Secondly, there is the actual communication part which provides the interaction and synchronisation required by the system. Finally, there is the computation part providing the component programs written in C++. the subdivision of concurrent programs into organisation, communication and computation leads to programs that are easy to specify, compile and execute. In order to specify precisely the behaviour of Darwin programs, we translate the organisation and communication into the π-calculus, a formalism for modelling concurrent processes. the π-calculus specification enables us to deduce behavioural properties of Darwin programs. © Springer-Verlag Berlin Heidelberg 1994.

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

Time-Efficient USV Path Planning Based on Weighted Dynamic programming

Time-Efficient USV Path Planning Based on Weighted Dynamic P...

引用

international conference on Artificial Intelligence and Big Data (ICAIBD)

作者： Chaofan Duan Lijuan Wang Hui Wang Xuechun Wang Ye Peng Academy of Information and Communication National University of Defense Technology Wuhan China College of Electrical Engineering Naval University of Engineering Wuhan China

ISBN: (数字)9798350385106

ISBN: (纸本)9798350385113

Unmanned surface vehicle plays an important role in the implementation of ocean tasks based on its autonomous navigation ability, flexibility, cost-efficiency, and strong adaptability. As the core component of the autonomous navigation capability of USV, path planning is an essential guarantee for safe voyage in an unknown ocean environment. In this paper, a time-efficient USV path planning algorithm based on weighted dynamic programming (WDP) is proposed. the proposed algorithm first discrete the continuous area using direction oriented grid structure method, and all the grids are potential path selection candidates. then, considering the ocean environment factors of the target area, the weighted dynamic planning algorithm is proposed for USV path planning, which aims at generating a safe and time-efficient path. At the same time, the virtual potential field method is applied for the need of sudden dangerous situations for obstacles avoidance. the simulation results show that the weighted dynamic programming algorithm is able to generate a time-efficient path and verified the correctness and superiority of the proposed algorithm.

关键词： Sea surface Heuristic algorithms Simulation Force Path planning Dynamic programming Planning

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Congestion-Control Strategy for LEO Satellite Based on NS3

Design and Implementation of Congestion-Control Strategy for...

引用

international conference on Computer and Communications (ICCC)

作者： Jinling Chen Cheng Wang Xiaoyan Zhao Jianfei Tong Weidong Wang School of Electronic Engineering Beijing University of Posts and Telecommunications Beijing China

ISBN: (纸本)9781665409513

As a branch of the simulation field, network simulation technology is increasingly becoming a powerful tool for analysis, research and design. In recent years, the Network Simulator 3 (NS3) simulator has made significant progress with its rich network component object library and relatively perfect bottom-level programming modelling. However, most of the current research on NS3 is based on the existing algorithms for differentiation and comparative analysis, lacking the open-source platform design, the training means of satellite communication system simulation and research on the overall platform building framework based on NS3. this article proposes a complete congestion-control open-source platform construction strategy for Low Earth Orbit (LEO) satellite. the top-level building process of the satellite simulation platform is introduced in detail, and the bottom layer is modularized into four parts to achieve. the NS3 top-level frame realization process and the bottom-level network element unit are modularized to build a complete satellite model simulation platform. It provides some ideas for promoting the development of satellite routing algorithm simulation experiments.

关键词： Training Analytical models Satellites Buildings Low earth orbit satellites Routing Routing protocols

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：