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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

235 篇 会议
21 篇 期刊文献
7 册 图书

馆藏范围

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

日期分布

学科分类号

211 篇 工学
- 179 篇 软件工程
- 168 篇 计算机科学与技术...
- 18 篇 信息与通信工程
- 18 篇 控制科学与工程
- 15 篇 电气工程
- 5 篇 机械工程
- 4 篇 仪器科学与技术
- 4 篇 电子科学与技术（可...
- 3 篇 光学工程
- 3 篇 石油与天然气工程
- 3 篇 生物医学工程（可授...
- 3 篇 生物工程
- 2 篇 材料科学与工程（可...
- 2 篇 交通运输工程
- 2 篇 农业工程
- 2 篇 安全科学与工程
- 2 篇 网络空间安全
51 篇 理学
- 39 篇 数学
- 10 篇 统计学（可授理学、...
- 7 篇 系统科学
- 5 篇 物理学
- 5 篇 生物学
- 2 篇 化学
- 2 篇 大气科学
40 篇 管理学
- 22 篇 管理科学与工程(可...
- 20 篇 图书情报与档案管...
- 13 篇 工商管理
4 篇 经济学
- 4 篇 应用经济学
4 篇 教育学
- 4 篇 教育学
2 篇 农学
- 2 篇 作物学
1 篇 法学
1 篇 艺术学

主题

20 篇 design
19 篇 languages
19 篇 software enginee...
13 篇 computer program...
11 篇 computer program...
9 篇 object oriented ...
9 篇 algorithms
8 篇 java programming...
7 篇 feature-oriented...
7 篇 performance
7 篇 programming
7 篇 generic programm...
7 篇 programming tech...
7 篇 generative ai
7 篇 principal compon...
7 篇 code generation
6 篇 software archite...
6 篇 linear programmi...
6 篇 middleware
5 篇 component

机构

5 篇 texas a&m univ c...
3 篇 univ magdeburg d...
2 篇 univ lugano luga...
2 篇 university of co...
2 篇 orange labs maps...
2 篇 johannes kepler ...
2 篇 univ southampton...
2 篇 univ marburg d-3...
2 篇 chuyang honors c...
2 篇 kansas state uni...
2 篇 johannes kepler ...
2 篇 ecole polytech f...
2 篇 northeastern uni...
2 篇 state grid hunan...
2 篇 hunan sgit techn...
2 篇 orange labs maps...
2 篇 signalicorp port...
2 篇 mit cambridge ma...
2 篇 univ potsdam ins...
2 篇 univ nebraska de...

作者

6 篇 apel sven
6 篇 binder walter
5 篇 ansaloni danilo
5 篇 moret philippe
4 篇 kaestner christi...
4 篇 gokhale aniruddh...
4 篇 batory don
4 篇 moessenboeck han...
3 篇 hirschfeld rober...
3 篇 stefani jean-ber...
3 篇 schmitt alan
3 篇 marcus mat
3 篇 smith jacob n.
3 篇 fischer bernd
2 篇 hatcliff john
2 篇 babau jean-phili...
2 篇 judith bishop
2 篇 siek jeremy
2 篇 freeman john
2 篇 rinard martin c.

语言

248 篇 英文
11 篇 其他
4 篇 中文

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

共 263 条记录，以下是161-170 订阅

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

详细简洁

排序：

Low Complexity Tracking for Long Term Monitoring of Heart Sounds

Low Complexity Tracking for Long Term Monitoring of Heart So...

引用

30th Annual international conference of the IEEE-engineering-in-Medicine-and-Biology-Society

作者： Patangay, Abhilash Tewfik, Ahmed Univ Minnesota Minneapolis MN 55455 USA

ISBN: (纸本)9781424418145

this paper describes a novel framework for tracking heart sounds. For a given heart sound component (e.g. S1) candidate features (e.g. peaks) are mapped to states and assigned appropriate local scores. A low complexity dynamic programming based algorithm Is developed to select the largest most consistent feature from the candidate features. this algorithm is also capable of detecting multiple simultaneous features for improved noise immunity. the proposed algorithm has linear complexity with time and cubic complexity with the number of features to be tracked. Data from six swine balloon-occlusion studies are used for preliminary testing of the algorithm. the S1 amplitude and heart sound ejection time (HSET) are found to be statistically significantly correlated with changes in systolic performance due to ischemia induction.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Developing a Decision Support System for Flexibility Management in the Distribution Networks 24

Developing a Decision Support System for Flexibility Managem...

引用

24th EEEIC international conference on Environment and Electrical engineering and 8th I and CPS Industrial and Commercial Power Systems Europe, EEEIC/I and CPS Europe 2024

作者： Bragatto, Tommaso Carere, Federico Geri, Alberto Laracca, Marco MacCioni, Marco Poursoltan, Parastou Sapienza University of Rome Department of Astronautics Electric and Energy Engineering Rome Italy

ISBN: (纸本)9798350355185

In the last years, flexibility markets have been developed in Europe in order to support distribution system operators to manage their systems characterized by a high penetration of distributed generators. the proper exploitation of these market services would require optimization tools for flexibility management as well as proper forecasting tools that could reduce the uncertainty on load prediction. In this context, this work presents a decision support system for flexibility exploitation (DSSFE). In addition, the effects of random behavior of the users and the wrong knowledge of flexibility capability have been assessed. the developed algorithm has been tested on 141 IEEE case study network assuming several distributions of flexibility capabilities. the collected results show that the developed DSSFE is efficient for solving network congestions;nevertheless, conservative approaches in the optimization process are needed in order to take into account the random behavior of the users. © 2024 IEEE.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

abc: the AspectBench compiler for AspectJ 05

abc: The AspectBench compiler for AspectJ

引用

4th international conference on generative programming and component engineering, GPCE 2005

作者： Allan, Chris Avgustinov, Pavel Christensen, Aske Simon Hendren, Laurie Kuzins, Sascha Lhoták, Jennifer Lhoták, Ondřej De Moor, Oege Sereni, Damien Sittampalam, Ganesh Tibbie, Julian Programming Tools Group Oxford University United Kingdom BRICS University of Aarhus Denmark Sable Research Group McGill University Montreal Canada

abc is an extensible, optimising compiler for AspectJ. It has been designed as a workbench for experimental research in aspect-oriented programming languages and compilers. We outline a programme of research in these ... 详细信息

ISBN: (纸本)3540291385

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

GPCE'10 - Proceedings of the 2010 conference on generative programming and component engineering: Foreword

GPCE'10 - Proceedings of the 2010 Conference on Generative P...

引用

GPCE'10 - Proceedings of the 2010 conference on generative programming and component engineering 2010年 iii页

作者： Visser, Eelco Järvi, Jaakko

来源：评论

学校读者我要写书评

暂无评论

CORRECT MATCHING OF componentS WIth EXTRA-FUNCTIONAL PROPERTIES A Framework Applicable to a Variety of component Models

CORRECT MATCHING OF COMPONENTS WITH EXTRA-FUNCTIONAL PROPERT...

引用

6th international conference on Evaluation of Novel Approaches to Software engineering (ENASE)

作者： Jezek, Kamil Brada, Premek Univ West Bohemia Dept Comp Sci & Engn Univ 8 Plzen 30614 Czech Republic

ISBN: (纸本)9789898425577

A lot of current approaches attempt to enrich software systems with extra-functional properties. these attempts become remarkably important with the gradual adoption of component-based programming. Typically, extra functional properties need to be taken into account in the phase of component binding and therefore included in the process of verifying component compatibility. Although a lot of research has been done, practical usage of extra-functional properties is still rather scarce. the main problem could be in a slow adaptability of specialized research models to rapidly changing industrial needs. We have designed a solution to this issue in the form of a modular framework which provides a formally sound yet practical means to declare, assign and evaluate extra-functional properties in the context of component-based applications. One of its strengths is applicability to a variety of industrial as well as research component models. this paper describes the models and algorithms of the framework and introduces a prototype implementation proving the concept.

关键词： Software components Extra-functional properties Compatibility Inter-component binding Framework

来源：评论

学校读者我要写书评

暂无评论

GRAPH VISUALISATION IN COMPUTER-AIDED DESIGN An exploration of alternative representations for generative-components™ Symbolic View

GRAPH VISUALISATION IN COMPUTER-AIDED DESIGN <i>An explorati...

引用

16th international conference on Computer-Aided Architectural Design Research in Asia (CAADRIA)

作者： Kozlova, Karine Sheikholeslami, Roham M. Bartram, Lyn Wodbury, Robert F. Simon Fraser Univ Surrey BC Canada Amazon Seattle WA USA

ISBN: (纸本)9789881902627

In this paper we explore graph models used to illustrate the relationships between elements of designs in computer-aided design (CAD) systems. We discuss common limitations and ways to make such representations more usable and interactive. In order to study common problems of symbolic representations in CAD systems, we conducted a survey of a number of CAD applications that employ graph representations in their interface and provided comparative analysis of the properties of graph representations in these systems. As a case study we used Bentley generativecomponentsTM (GC) system - a parametric CAD application that uses graph ("symbolic") view to visualize the structure of design. We conducted series of interviews with expert GC users that revealed many limitations of the GC symbolic view. To address these limitations, we developed alternative representations of symbolic view that aim at enhancing user experience with the system and reviewed these with expert GC users. As a result of our study, we developed a set of interactive prototypes using SHriMP(1) visualization tool and Processing programming language. these provide improved ways of user interaction with symbolic representation, including better readability of the graph and, as a result, an improved support for design model analysis.

关键词： Graph visualization visual interfaces CAD systems visual interaction node-link diagrams

来源：评论

学校读者我要写书评

暂无评论

Modeling software systems

Modeling software systems

引用

SNPD 2007: 8th ACIS international conference on Software engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing

作者： Dosch, Walter Institute of Software Technology and Programming Languages University of Lübeck D-23538 Lübeck Germany

ISBN: (纸本)0769529097

the field of software engineering originally concentrated on "programming in the small" emphasizing implementation techniques. Over the last decades, software and systems engineering expanded to a comprehensive engineering discipline. Nowadays software engineering comprises requirements engineering, modeling and design, implementation and testing, installation and maintenance. Software engineering proved to be a key technology;its mastery determines the functioning of modern infrastructures and consumer products. Software development has matured from heuristic practice to an engineering discipline. In the meantime, software engineers can benefit from a solid stock of basic research addressing modeling and design techniques for sequential, concurrent, distributed, and timed systems. Software quality and reliability, security and safety, the management of change, reuse and integration pose new requirements to the practice of software engineering. A major challenge consists in integrating the developed theories into a coherent engineering framework accepted by practitioners. Software engineers face different system views described by a variety of graphical and textual formalisms. Software development must safely bridge the system views on different levels of abstraction ranging from high-level specifications to executable code. the system views center around the data model, the communication model, the state transition model, and the trace model. the data model describes the data structure in an abstract or concrete way. the communication model manifests how a component interacts with the environment by exchanging messages. the state transition model describes an abstract implementation where an input affects an update of the internal state and a possible output. the trace model characterizes the operational behaviour of the system by a set of possible runs composed of atomic actions. the lecture classifies different system models and addresses discrete interactive sys

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

GuideForce: Type-Based Enforcement of programming Guidelines 13th

GuideForce: Type-Based Enforcement of Programming Guidelines

引用

13th international conference on Software engineering and Formal Methods (SEFM)

作者： Erbatur, Serdar Hofmann, Martin Univ Munich Bavaria Germany

ISBN: (纸本)9783662492246;9783662492239

In this paper, we introduce the GuideForce project, whose aim is to develop automatic methods based on type systems and abstract interpretation that are capable of checking that programming guidelines related to secure web programming are correctly and reasonably applied. We outline the project plan and motivation and then describe a pilot study carried out with Soot, a Java-based program analysis framework. While still maintaining high accuracy and efficiency, the focus on guidelines adds a new human-oriented component to static analysis.

关键词： Program analysis Type systems Language-based security String analysis

来源：评论

学校读者我要写书评

暂无评论

Reuse of database access layer components in JEE product lines: Limitations and a possible solution (Case Study)

Reuse of database access layer components in JEE product lin...

引用

19th international conference on Software engineering and Knowledge engineering, SEKE 2007

作者： Peng, Ding Jarzabek, Stan Rajapakse, Damith C. Zhang, Hongyu Department of Computer Science School of Computing National University of Singapore Singapore Singapore Tsinghua University China

ISBN: (纸本)9781627486613

We set up an experiment to evaluate JEE as a platform for product line development. While JEE provides many useful mechanisms for reuse of common services/components, still we found that systematic across-the-board reuse in application domain-specific areas was hard. the main difficulty was the lack of a mechanism to represent groups of similar components in a generic, adaptable form. Such similar components arise as the number of variant features of a product line grows, and we need to accommodate legal combinations of variant features in components of a product line architecture. Such uncontrolled growth of similar component versions hinders productivity of reuse-based development and raises maintenance costs. In the paper, we study the manifestation of this problem in the JEE™ database access layer. Interactive Development Environments such as NetBeans or JBuilder speed up the development process, but they do not address the source of the problem, which is the lack of mechanisms to design generic components capable of accommodating variant features in various combinations. We filled this gap with a "mixed strategy" solution based on generative programming technique of XVCL applied on top of JEE. In the paper, we highlight the nature of the problems we encountered and our solution. Copyright © (2007) by Knowledge Systems Institute (KSI).

关键词： Knowledge engineering

来源：评论

学校读者我要写书评

暂无评论

7th international conference on Software Reuse, ICSR, 2002

引用

7th international conference on Software Reuse, ICSR 2002

ISBN: (纸本)9783540434832

the proceedings contain 38 papers. the special focus in this conference is on Software Reuse. the topics include: Integrating and reusing GUI-driven applications;source tree composition;layered development with(unix) dynamic libraries;concurrent execution with sequential reasoning;concepts and guidelines of feature modeling for product line software engineering;domain modeling for world wide web based software product lines with UML;enhancing component reusability through product line technology;modeling variability with the variation point model;the impact of open-source on commercial vendors;integrating reference architecture definition and reuse investment planning;control localization in domain specific translation;model reuse with metamo del-based transformations;generation of text search applications for databases;domain networks in the software development process;supporting reusable use cases;project management knowledge reuse through scenario models;adaptation of coloured petri nets models of software artifacts for reuse;improving hazard classification through the reuse of descriptive arguments;service oriented programming: a new paradigm of software reuse;an empirical user study of an active reuse repository system;towards the formalization of a reusability framework for refactoring;extending abstract factories to decouple advanced dependencies;software fortresses;the case against a grand unification theory;international workshop on reuse economics;workshop on generative programming 2002 (GP2002);industrial experience with product line approaches;workshop on software reuse and agile approaches;software architecture quality analysis methods;tutorial on practical product line scoping and modeling;generative reuse for software generation, maintenance and reengineering;building reusable test assets for a product line;architecture-centric software engineering;practical strategies and techniques for adopting software product lines;methods, techniques, and applic

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共27页 << < 13 14 15 16 17 18 19 20 21 22 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：