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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

22 篇 会议
9 篇 期刊文献

馆藏范围

31 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

29 篇 工学
- 27 篇 计算机科学与技术...
- 10 篇 电气工程
- 9 篇 软件工程
- 5 篇 信息与通信工程
- 3 篇 控制科学与工程
- 1 篇 机械工程
2 篇 理学
- 2 篇 数学

主题

31 篇 aggregate progra...
9 篇 computational fi...
7 篇 field calculus
6 篇 spatial computin...
6 篇 gradient
5 篇 adaptive algorit...
4 篇 programming
4 篇 data aggregation
4 篇 distributed syst...
4 篇 distributed algo...
3 篇 aggregates
3 篇 reliability
3 篇 computational fi...
2 篇 domain-specific ...
2 篇 pervasive comput...
2 篇 monitoring
2 篇 self-organisatio...
2 篇 calculus
2 篇 distributed comp...
2 篇 edge computing

机构

6 篇 raytheon bbn tec...
5 篇 univ torino dipa...
3 篇 univ bologna alm...
3 篇 univ torino turi...
2 篇 univ bologna dis...
2 篇 alma mater studi...
2 篇 univ turin dipar...
2 篇 univ bologna dis...
2 篇 univ bologna ces...
2 篇 univ bologna alm...
2 篇 univ bologna i-4...
2 篇 raytheon bbn tec...
2 篇 alma mater studi...
1 篇 bbn technol minn...
1 篇 univ torino ctr ...
1 篇 univ bologna bol...
1 篇 univ bologna dip...
1 篇 univ turin dipar...
1 篇 washington univ ...
1 篇 tech univ darmst...

作者

23 篇 viroli mirko
13 篇 pianini danilo
13 篇 audrito giorgio
12 篇 damiani ferrucci...
11 篇 beal jacob
10 篇 casadei roberto
3 篇 torta gianluca
2 篇 aguzzi gianluca
2 篇 testa lorenzo
2 篇 pal partha
2 篇 dasgupta soura
2 篇 bergamini sergio
1 篇 seghezzi elena
1 篇 ricci alessandro
1 篇 ciatto giovanni
1 篇 hoang khoi
1 篇 bortoluzzi danie...
1 篇 ferruccio damian...
1 篇 schantz richard
1 篇 mudumbai raghu

语言

31 篇 英文

检索条件"主题词=aggregate programming"

共 31 条记录，以下是11-20 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

SCAFI-WEB: A Web-Based Application for Field-Based Coordination programming 23rd

SCAFI-WEB: A Web-Based Application for Field-Based Coordinat...

引用

23rd International Conference on Coordination Models and Language (COORDINATION)

作者： Aguzzi, Gianluca Casadei, Roberto Maltoni, Niccolo Pianini, Danilo Viroli, Mirko Univ Bologna Alma Mater Studiorum Cesena Italy

ISBN: (纸本)9783030781415;9783030781422

Field-based coordination is a model for expressing the coordination logic of large-scale adaptive systems, composing functional blocks from a global perspective. As for any coordination model, a proper toolchain must be developed to support its adoption across all development phases. Under this point of view, the SCAFI toolkit provides a coordination language (field calculus) as a DSL internal in the Scala language, a library of reusable building blocks, and an infrastructure for simulation of distributed deployments. In this work, we enrich such a toolchain by introducing SCAFI-Web, a web-based application allowing in-browser editing, execution, and visualisation of SCAFI programs. SCAFI-Web facilitates access to the SCAFI coordination technology by flattening the learning curve and simplifying configuration and requirements, thus promoting agile prototyping of field-based coordination specifications. In turn, this opens the door to easier demonstrations and experimentation, and also constitutes a stepping stone towards monitoring and control of simulated/deployed systems.

关键词： Field-based coordination aggregate programming Online Playground

来源：评论

学校读者我要写书评

暂无评论

A Framework for Self-Adaptive Dispersal of Computing Services 4

A Framework for Self-Adaptive Dispersal of Computing Service...

引用

IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W)

作者： Paulos, Aaron Dasgupta, Soura Beal, Jacob Mo, Yuanqiu Hoang, Khoi Lyles, J. Bryan Pal, Partha Schantz, Richard Schewe, Jon Sitaraman, Ramesh Wald, Alexander Wayllace, Christabel Yeoh, William Raytheon BBN Technol Cambridge MA 02138 USA Univ Iowa Dept Elect & Comp Engn Iowa City IA 52242 USA Washington Univ Dept Comp Sci & Engn St Louis MO 63130 USA Univ Tennessee Knoxville TN 37996 USA Univ Massachusetts Coliege Informat & Comp Sci Amherst MA 01003 USA

ISBN: (纸本)9781728124063

Modern networking architectures are making it increasingly possible to disperse services not just across servers but into intermediate network devices as well. Here we introduce the Misson-oriented Adaptive Placement (MAP) architecture, which synthesizes prior work on middleware, load-balancing, constraint solving, and aggregate programming into a framework for self-adaptive management of dispersed services. We provide a first evaluation of the efficacy and resilience that can be provided through this approach: results in simulation demonstrating that MAP can autonomously change the deployment of services to adapt to changing needs and failures.

关键词： dispersed computing middleware load-balancing aggregate programming

来源：评论

学校读者我要写书评

暂无评论

Implementation of an IoT Wearable Prototype on a Standard AI Architecture 20

Implementation of an IoT Wearable Prototype on a Standard AI...

引用

IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech)

作者： Basso, Andrea Bortoluzzi, Daniele Torta, Gianluca Synesthesia Synesthesia Innovat Turin Italy Univ Torino Dipartimento Informat Turin Italy

ISBN: (数字)9781665462976

ISBN: (纸本)9781665462976

The MPAI (Moving Picture, Audio and Data Coding by Artificial Intelligence) organization has defined an AI Framework (AIF) whereby components performing AI-based data processing are connected with each other through standard interfaces to form workflows. In the present paper, we describe a prototype implementation of the AIF on the Zephyr RTOS running on an STMicroelectronics IoT node discovery kit that offers features typical of a wearable device. The described prototype is the first implementation of the AIF standard, and as such it has served as an initial practical validation of the specification when applied to the world of embedded systems. This successful step opens the way to many future extensions within the IoT context.

关键词： MPAI AI Framework IoT Security aggregate programming

来源：评论

学校读者我要写书评

暂无评论

Transparent Protection of aggregate Computations from Byzantine Behaviours via Blockchain 18

Transparent Protection of Aggregate Computations from Byzant...

引用

4th EAI International Conference on Smart Objects and Technologies for Social Good

作者： Pianini, Danilo Ciatto, Giovanni Casadei, Roberto Mariani, Stefano Viroli, Mirko Omicini, Andrea Univ Bologna Cesena Italy Univ Modena & Reggio Emilia Reggio Emilia Italy

ISBN: (纸本)9781450365819

aggregate Computing is a promising paradigm for coordinating large numbers of possibly situated devices, typical of scenarios related to the Internet of Things, smart cities, drone coordination, and mass urban events. Currently, little work has been devoted to study and improve security in aggregate programs, and existing works focus solely on application-level countermeasures. Those security systems work under the assumption that the underlying computational model is respected;however, so-called Byzantine behaviour violates such assumption. In this paper, we discuss how Byzantine behaviours can hinder an aggregate program, and exploit application-level protection for creating bigger disruption. We discuss how the blockchain technology can mitigate these attacks by enforcing behaviours consistent with the expected operational semantics, with no impact on the application logic.

关键词： aggregate programming Blockchain Security Byzantine fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Run-time Management of Computation Domains in Field Calculus 1

Run-time Management of Computation Domains in Field Calculus

引用

1st IEEE International Workshop on Foundations and Applications of Self-* Systems (FAS-W)

作者： Audrito, Giorgio Damiani, Ferruccio Viroli, Mirko Casadei, Roberto Univ Turin Dept Comp Sci Turin Italy Univ Bologna DISI Dept Bologna Italy

ISBN: (纸本)9781509036516

The field calculus is proposed as a foundational model for collective adaptive systems, capturing in a tiny language essential aspects of distributed interaction, restriction and evolution, as well as providing ground for engineering resiliency properties. In this paper, we investigate the interplay between interaction and restriction: known as "domain alignment" in field calculus, it is extremely powerful but can cause subtle bugs when not handled properly. We propose a disciplined programming approach based on the interplay between a weak and a strong version of alignment, mixing static and dynamic checks. This is exemplified to design a new reusable component dynamically updating the strategy by which a device can extract information from neighbours, which find applications, for instance, in the on-the-fly evolution of metrics in smart mobility applications.

关键词： aggregate programming computational field dynamic software updating formal properties

来源：评论

学校读者我要写书评

暂无评论

The share Operator for Field-Based Coordination 21st

The share Operator for Field-Based Coordination

引用

21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION,) Held as Part of the 14th International Federated Conference on Distributed Computing Techniques (DisCoTec)

作者： Audrito, Giorgio Beal, Jacob Damiani, Ferruccio Pianini, Danilo Viroli, Mirko Univ Torino Dipartimento Informat Turin Italy Raytheon BBN Technol Cambridge MA USA Alma Mater Studiorum Univ Bologna Cesena Italy

ISBN: (纸本)9783030223977;9783030223960

Recent work in the area of coordination models and collective adaptive systems promotes a view of distributed computations as functions manipulating computational fields (data structures spread over space and evolving over time), and introduces the field calculus as a formal foundation for field computations. With the field calculus, evolution (time) and neighbor interaction (space) are handled by separate functional operators: however, this intrinsically limits the speed of information propagation that can be achieved by their combined use. In this paper, we propose a new field-based coordination operator called share, which captures the space-time nature of field computations in a single operator that declaratively achieves: (i) observation of neighbors' values;(ii) reduction to a single local value;and (iii) update and converse sharing to neighbors of a local variable. In addition to conceptual economy, use of the share operator also allows many prior field calculus algorithms to be greatly accelerated, which we validate empirically with simulations of a number of frequently used network propagation and collection algorithms.

关键词： aggregate programming Computational field Information propagation speed Spatial computing

来源：评论

学校读者我要写书评

暂无评论

Toward Predicting Distributed Systems Dynamics 9

Toward Predicting Distributed Systems Dynamics

引用

9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO)

作者： Kumar, Amy Beal, Jacob Dasgupta, Soura Mudumbai, Raghu Univ Iowa Iowa City IA 52242 USA Raytheon BBN Technol Cambridge MA 02138 USA

ISBN: (纸本)9781467384391

Systems of "building block" algorithms can guarantee that self-organizing systems eventually converge to a predictable state [1], [2], but what of their dynamical behavior in environments with ongoing changes? To begin to address this challenge, we analyze a commonly used distributed distance estimation algorithm from a stability theory perspective, identifying key properties of monotonicity and dynamical behavior envelope. This allows standard stability theory analysis to be applied to predict the behavior of the algorithm in response to persistent perturbation, both in isolation and as part of a composite system, as demonstrated both analytically and in simulation.

关键词： distributed algorithms building block algorithms composite system distributed distance estimation algorithm distributed systems dynamics prediction monotonicity property self-organizing systems standard stability theory analysis Algorithm design and analysis Calculus Convergence Estimation Heuristic algorithms Prediction algorithms Stability analysis aggregate programming control theory predictable composition Algorithm design and analysis composite system Prediction algorithms Heuristic algorithms distributed algorithms Control Theory Calculus Calculi Converge Stability analysis self organizing systems stability theory System dynamics

来源：评论

学校读者我要写书评

暂无评论

Simulating Large-scale aggregate MASs with Alchemist and Scala

Simulating Large-scale Aggregate MASs with Alchemist and Sca...

引用

Federated Conference on Computer Science and Information Systems (FedCSIS)

作者： Casadei, Roberto Pianini, Danilo Viroli, Mirko Univ Bologna I-40126 Bologna Italy

ISBN: (纸本)9788360810903

Recent works in the context of large-scale adaptive systems, such as those based on opportunistic loT-based applicalions, promote aggregate programming, a development approach for distributed systems in which the collectivity of devices is directly targeted, instead of individual ones. This makes the resulting behaviour highly insensitive to network size, density, and topology, and as such, intrinsically robust to failures and changes to working conditions (e.g., location of computational load, communication technology, and computational infrastructure). Most specifically, we argue that aggregate programming is particularly suitable for building models and simulations of complex large-scale reactive MASs. Accordingly, in this paper we describe SCAR (Scala Fields), a Scala-based API and DSL for aggregate programming, and its integration with the ALCHEMIST simulator, and usage scenarios in the context of smart mobility.

关键词： aggregate programming Scala DSL simulation

来源：评论

学校读者我要写书评

暂无评论

Predictable Self-Organization with Computational Fields 8

Predictable Self-Organization with Computational Fields

引用

2014 IEEE Eighth International Conference on Self Adaptive and Self Organizing Systems Workshops (SASOW 2014)

作者： Beal, Jacob Viroli, Mirko Raytheon BBN Technol Cambridge MA USA Univ Bologna Bologna Italy

ISBN: (纸本)9781479963782

In recent years, a number of different strands of research on self-organizing systems have come together to create a new ""aggregate programming"" approach to the engineering of distributed systems. aggregate programming is motivated by a desire to avoid the notoriously intractable ""local to global"" problem, where the system designer must predict how to control individual devices to achieve a collective goal. Instead, the designer programs an abstraction of the collective, composing ""building block"" primitives from a library of special cases where the local-to-global problem is already solved. Unifying a number of the proposed aggregate programming approaches is the notion of a ""computational field"" that maps each device in the field's domain to a local value in its range. This concept was originally developed for spatial computers, in which communication and geometric position are closely linked, but can support effective aggregate programming of many non-spatial networks as well. A mathematical foundation for such approaches has been formalized recently with a minimal ""field calculus"" that appears to be an effective unifying model, covering a wide range of aggregate programming models, both continuous (e.g., geometry-based) and discrete (e.g., graph-based). On this foundation, restricted languages can ensure various desirable properties such as scalability, self-stabilization, and robustness to perturbation. By building up a sufficiently broad collection of composable ""building block"" distributed algorithms, it is possible to enable simple and rapid development of complex distributed systems that are implicitly scalable and resilient. The ultimate aim of this line of research is to make the programming of robust distributed systems as simple and widespread as single-processor programming, thereby enabling widespread increases in the reliability, efficiency, and democracy of our technological infrastructure.

关键词： aggregate programming field calculus spatial computing programming Distributed Systems aggregates Designers Buildings Scalability Computer personnel distributed algorithms Democracy self-organization

来源：评论

学校读者我要写书评

暂无评论

aggregate Drone Monitoring of Wildfires 20

Aggregate Drone Monitoring of Wildfires

引用

作者： Audrito, Giorgio Ottina, Marco Univ Torino Dept Comp Sci Turin Italy

ISBN: (数字)9781665462976

ISBN: (纸本)9781665462976

Wildfires are an ever-increasing problem, exacerbated by the current global warming trends. Accordingly, it is becoming more and more relevant to monitor factors influencing their outbreaks and spreading, in order to both preemptively act on the most risky areas, and guide interventions in case an outbreak occurs. Different approaches have been proposed during the decades tackling this issue, which however require large datasets that are difficult and expensive to gather. In this paper, we propose to address the management of wildfires by empowering existing centralised models with a decentralised component. Leveraging dedicated monitoring drones together with smartphones held by experts and intervention corps, a decentralised system could both enhance data collection and assist interventions. As conditions near wildfires require strong fault-tolerance guarantees, we propose to develop such an application through aggregate programming, a novel approach to the resilient programming of decentralised systems.

关键词： fire prevention monitoring aggregate programming edge intelligence

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共4页 << < 1 2 3 4 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：