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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

277 篇 会议
23 篇 期刊文献
7 册 图书

馆藏范围

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

日期分布

学科分类号

232 篇 工学
- 190 篇 软件工程
- 176 篇 计算机科学与技术...
- 17 篇 电气工程
- 17 篇 信息与通信工程
- 16 篇 控制科学与工程
- 11 篇 机械工程
- 11 篇 生物医学工程（可授...
- 8 篇 生物工程
- 6 篇 光学工程
- 6 篇 化学工程与技术
- 4 篇 土木工程
- 4 篇 交通运输工程
- 3 篇 力学（可授工学、理...
- 3 篇 材料科学与工程（可...
- 3 篇 电子科学与技术（可...
- 3 篇 建筑学
- 3 篇 水利工程
54 篇 理学
- 39 篇 数学
- 9 篇 物理学
- 9 篇 统计学（可授理学、...
- 8 篇 系统科学
- 7 篇 生物学
- 4 篇 化学
40 篇 管理学
- 23 篇 管理科学与工程(可...
- 19 篇 图书情报与档案管...
- 10 篇 工商管理
6 篇 医学
- 5 篇 基础医学(可授医学...
- 5 篇 临床医学
- 4 篇 药学(可授医学、理...
5 篇 教育学
- 5 篇 教育学
2 篇 经济学
1 篇 艺术学

主题

22 篇 software enginee...
21 篇 design
20 篇 languages
13 篇 computer program...
10 篇 algorithms
10 篇 computer program...
9 篇 object oriented ...
8 篇 performance
7 篇 feature-oriented...
7 篇 generative adver...
7 篇 linear programmi...
7 篇 generic programm...
7 篇 middleware
6 篇 principal compon...
6 篇 code generation
5 篇 aspect oriented ...
5 篇 automatic progra...
5 篇 optimization
5 篇 logic programmin...
5 篇 analytical model...

机构

4 篇 texas a&m univ c...
3 篇 univ magdeburg d...
2 篇 school of electr...
2 篇 fudan univ sch c...
2 篇 univ lugano luga...
2 篇 university of co...
2 篇 orange labs maps...
2 篇 johannes kepler ...
2 篇 school of comput...
2 篇 univ southampton...
2 篇 univ marburg d-3...
2 篇 fraunhofer inst ...
2 篇 univ leicester d...
2 篇 kansas state uni...
2 篇 johannes kepler ...
2 篇 univ newcastle u...
2 篇 ecole polytech f...
2 篇 school of vehicl...
2 篇 northeastern uni...
2 篇 orange labs maps...

作者

7 篇 apel sven
6 篇 binder walter
5 篇 ansaloni danilo
5 篇 moret philippe
4 篇 kaestner christi...
4 篇 batory don
4 篇 moessenboeck han...
3 篇 stefani jean-ber...
3 篇 schmitt alan
3 篇 marcus mat
3 篇 smith jacob n.
3 篇 fischer bernd
2 篇 hatcliff john
2 篇 pataki norbert
2 篇 babau jean-phili...
2 篇 pistikopoulos en
2 篇 bozinis na
2 篇 aniruddha gokhal...
2 篇 siek jeremy
2 篇 freeman john

语言

294 篇 英文
12 篇 其他
1 篇 法文

检索条件"任意字段=7th International Conference on Generative Programming and Component Engineering"

共 307 条记录，以下是211-220 订阅

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

详细简洁

排序：

Formal Aspects of component Software 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： José Proença Markus Lumpe

this book constitutes the thoroughly revised selected papers from the 14th international conference on Formal Aspects of component Software, FACS 2017, held in Braga, Portugal, in October 2017.

ISBN: (数字)9783319680347

ISBN: (纸本)9783319680330

this book constitutes the thoroughly revised selected papers from the 14th international conference on Formal Aspects of component Software, FACS 2017, held in Braga, Portugal, in October 2017.

关键词： Software engineering programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Logics and Meanings of Programs Algorithm Analysis and Problem Complexity the Computing Profession

来源：评论

学校读者我要写书评

暂无评论

theoretical Aspects of Petri Nets Decomposition Based on Invariants and Hypergraphs 8

引用

FTRA 8th international conference on Multimedia and Ubiquitous engineering (MUE)

作者： Wisniewski, Remigiusz Stefanowicz, Lukasz Bukowiec, Arkadiusz Lipinski, Jakub Univ Zielona Gora Inst Comp Engn & Elect PL-65417 Zielona Gora Poland

ISBN: (纸本)9783642549007;9783642548994

Two methods of Petri nets decomposition into State Machine components (SMCs) are shown in the paper. the first one bases on the well-known algorithm of place invariants (p-invariants) calculation. the second method applies hypergraph theory and computation of exact transversals. the aim of the paper is theoretical analysis of the effectiveness of presented methods. We show, that despite the high popularity, the achieved results generated by p-invariants are not always correct and spurious components ought to be eliminated. Furthermore, the effectiveness of the application of hypergraphs into Petri net decomposition is analysed.

关键词： Petri net decomposition State Machine component (SMC) linear programming p-invariant hypergraph exact transversal

来源：评论

学校读者我要写书评

暂无评论

components and generative programming (invited paper) 7

引用

Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering

作者： Krzysztof Czarnecki Ulrich W. Eisenecker DaimlerChrysler AG Research and Technology Ulm Germany Univ. of Applied Sciences Heidelberg Germany

ISBN: (纸本)9783540665380

this paper is about a paradigm shift from the current practice of manually searching for and adapting components and their manual assembly to generative programming, which is the automatic selection and assembly of components on demand. First, we argue that the current OO technology does not support reuse and configurability in an effective way. then we show how a system family approach can aid in defining reusable components. Finally, we describe how automate the assembly of components based on configuration knowledge. We compare this paradigm shift to the introduction of interchangeable parts and automated assembly lines in the automobile *** also illustrate the steps necessary to develop a product line using a simple example of a car product line. We present the feature model of the product line, develop a layered architecture for it, and automate the assembly of the components using a generator. We also discuss some design issues, applicability of the approach, and future development.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A software component model with spatial and temporal compositions for grid infrastructures

A software component model with spatial and temporal composi...

引用

14th international Euro-Par conference on Parallel Computing

作者： Bouziane, Hinde Lilia Perez, Christian Priol, thierry INRIA IRISA F-35042 Rennes France

ISBN: (纸本)9783540854500

Grids are very complex and volatile infrastructures that exhibit parallel and distributed characteristics. To harness their complexity as well as the increasing intricacy of scientific applications, modern software engineering practices are needed. As of today, two major programming models dominate: software component models that are mainly based on a spatial composition and service oriented models with their associated workflow languages promoting a temporal composition. this paper tends to unity these two forms of composition into a coherent spatio-temporal software component model while keeping their benefits. To attest the validity of the proposed approach, we describe how the Grid component model, as defined by the CoreGRID Network of Excellence, and the Askalon-AGWL workflow language have been adapted.

关键词： Complex networks

来源：评论

学校读者我要写书评

暂无评论

Proposing Novel High-Performance Compounds by Nested VAEs Trained Independently on Different Datasets 35th

Proposing Novel High-Performance Compounds by Nested VAEs Tr...

引用

35th international conference on Industrial, engineering and Other Applications of Applied Intelligent Systems (IEA/AIE)

作者： Osakabe, Yoshihiro Asahara, Akinori Hitachi Ltd Res & Dev Grp Tokyo Japan

ISBN: (纸本)9783031085307;9783031085291

Materials informatics (MI), which uses artificial intelligence and data analysis techniques to improve the efficiency of materials development, is attracting interests from industry. One of its main applications is the rapid development of novel high-performance compounds. Recently, several deep generative models have been utilized to suggest candidate compounds that are expected to satisfy the desired performance. However, it is practically difficult to obtain sufficient amount of experimental data to train such models. thus, the authors proposed a deep generative model with nested two variational autoencoders (VAEs). the outer VAE learns the structural features of compounds using large-scale public data, while the inner VAE learns the relationship between the latent variables of the outer VAE and the properties from small-scale experimental data. To generate high performance compounds beyond the range of the training data, the authors also proposed a loss function that amplifies the correlation between a component of latent variables of the inner VAE and material properties. the results indicated that this loss function contributes to improve the probability of generating high-performance candidates. Furthermore, as a result of verification test with an actual customer in chemical industry, it was confirmed that the proposed method is effective in reducing the number of experiments to 1/4 compared to a conventional method.

关键词： Variational Autoencoder Deep generative model Automatic compounds design Materials informatics

来源：评论

学校读者我要写书评

暂无评论

Reconciling interface design and software design: Towards "system-oriented design" 12

Reconciling interface design and software design: Towards "s...

引用

24th conference on Ergonomie, Interaction Homme-Machine et Ingenierie Systemes, Ergo'IHM 2012 - 24th conference on Ergonomics, Human-Computer Interaction and Systems engineering, Ergo'IHM 2012

作者： Chatty, Stéphane Université de Toulouse - ENAC 7 avenue Edouard Belin 31055 Toulouse Cedex France

ISBN: (纸本)9781450318464

Object-Oriented design has failed to avoid a rift between interface design and software design, because the messages used in object-Oriented poorly describe the interactions between between users and their environment. By relying on process theories and interactive component programming, one can propose a common language between designers : that of systemoriented design, in which they all describe interfaces between systems and design new systems. ©2012 ACM 978-1-4503-1846-4/12/10.$15.00.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Fundamentalist functional programming 08

Fundamentalist functional programming

引用

Proceedings of the 7th international conference on generative programming and component engineering

作者： Erik Meijer Microsoft Research Redmond WA USA

ISBN: (纸本)9781605582672

In 1984, John Hughes wrote a seminal paper titled, "Why Functional programming Matters," in which he eloquently explained the value of pure and lazy functional programming. Due to the increasing importance of the Web and the introduction of many-core machines, in the quarter of a century since the paper was written, the problems associated with imperative languages and their side effects have become increasingly evident. this talk argues that fundamentalist functional programming-that is, radically eliminating all side effects from programming languages, including strict evaluation-is what it takes to conquer the concurrency and parallelism dragon. Programmers must embrace pure, lazy functional programming "all the way"-with all effects apparent in the type system of the host language using monads. A radical paradigm shift is the answer, but does that mean that all current programmers will be lost along the way? Fortunately not! By design, LINQ is based on monadic principles, and the success of LINQ proves that the world does not fear the monads.

关键词： pure functional programming monads lazy evaluation linq concurrency

来源：评论

学校读者我要写书评

暂无评论

ALI: An extensible Architecture Description Language for industrial applications

ALI: An extensible Architecture Description Language for ind...

引用

15th IEEE international conference and Workshop on engineering of Computer-Based Systems

作者： Bashroush, R. Spence, I. Kilpatrick, P. Brown, T. J. Gilani, W. Fritzsche, M. Queens Univ Belfast Sch Elect Elect Engn & Comp Sci Belfast BT7 1NN Antrim North Ireland CEC SAP Res Belfast Antrim North Ireland

ISBN: (纸本)9780769531410

While Architecture Description Languages (ADLs) have gained wide acceptance in the research community as a means of describing system designs, the uptake in industry has been slower than might have been expected. A contributory cause may be the perceived lack of flexibility and, as yet, the limited tool support. this paper describes ALI, a new ADL that aims to address these deficiencies by providing a rich, extensible and flexible syntax for describing component interface types and the use of patterns and meta-information. these enhanced capabilities are intended to encourage more widespread industrial usage.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Automatically Generating Front-End Source Code Method for Complex Table Structures Based on Vue

Automatically Generating Front-End Source Code Method for Co...

引用

2023 7th international conference on Electrical, Mechanical and Computer engineering (ICEMCE)

作者： Xiangfei She Beibei Bian School of Computer Technology and Engineering Changchun Institute of Technology Changchun China

In enterprise software development, component-based front-end page technology is becoming increasingly important. However, traditional manual component-based programming is difficult to adapt to increasingly complex enterprise data table structures. this can lead to a large workload and slow down the development process. To address this issue, this paper proposes a method for automatically generating front-end source code for complex table structures based on Vue (AGT-Complex). this method uses hierarchical data structure recognition and expression to identify complex Excel table structures. It then forms a semantic mapping between business data tables and front-end program tables. Finally, it can generate code based on Vue components. Experimental results show that this method is effective and can greatly improve development efficiency. It can be used to develop complex data software with a high degree of automation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Synergy between component-based and generative approaches 7

引用

Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering

作者： Stan Jarzabek Peter Knauber National Univ. of Singapore Singapore Germany Fraunhofer Institute for Experimental Software Engineering Kaiserslautern Germany

ISBN: (纸本)9783540665380

Building software systems out of pre-fabricated components is a very attractive vision. Distributed component Platforms (DCP) and their visual development environments bring this vision closer to reality than ever. At the same time, some experiences with component libraries warn us about potential problems that arise in case of software system families or systems that evolve over many years of changes. Indeed, implementation level components, when affected by many independent changes, tend to grow in both size and number, impeding reuse. In this paper, we analyze in detail this effect and propose a program construction environment, based on generative techniques, to help in customization and evolution of component-based systems. this solution allows us to reap benefits of DCPs during runtime and, at the same time, keep components under control during system construction and evolution. In the paper, we describe such a construction environment for component-based systems that we built with a commercial generator and illustrate its features with examples from our domain engineering project. the main lesson learnt from our project is that generative techniques can extend the strengths of the component-based approach in two important ways: Firstly, generative techniques automate routine component customization and composition tasks and allow developers work more productively, at a higher abstraction level. Secondly, as custom components with required properties are generated on demand, we do not need to store and manage multiple versions of components, components do not overly grow in size, helping developers keep the complexity of an evolving system under control.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共31页 << < 18 19 20 21 22 23 24 25 26 27 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：