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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

261 篇 会议
21 篇 期刊文献
9 册 图书

馆藏范围

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

日期分布

学科分类号

221 篇 工学
- 185 篇 软件工程
- 177 篇 计算机科学与技术...
- 22 篇 控制科学与工程
- 18 篇 电气工程
- 16 篇 信息与通信工程
- 8 篇 机械工程
- 7 篇 安全科学与工程
- 6 篇 生物医学工程（可授...
- 6 篇 生物工程
- 5 篇 电子科学与技术（可...
- 5 篇 交通运输工程
- 4 篇 光学工程
- 4 篇 材料科学与工程（可...
- 4 篇 航空宇航科学与技...
- 4 篇 网络空间安全
- 3 篇 仪器科学与技术
- 3 篇 化学工程与技术
- 1 篇 力学（可授工学、理...
48 篇 理学
- 36 篇 数学
- 7 篇 系统科学
- 6 篇 生物学
- 5 篇 物理学
- 5 篇 化学
- 2 篇 统计学（可授理学、...
41 篇 管理学
- 25 篇 管理科学与工程(可...
- 23 篇 图书情报与档案管...
- 9 篇 工商管理
10 篇 教育学
- 10 篇 教育学
- 2 篇 心理学(可授教育学...
1 篇 法学
- 1 篇 社会学
1 篇 农学
1 篇 医学
1 篇 艺术学

主题

23 篇 software enginee...
21 篇 design
19 篇 languages
11 篇 computer program...
11 篇 computer program...
10 篇 object oriented ...
9 篇 algorithms
8 篇 performance
8 篇 programming
8 篇 programming tech...
8 篇 code generation
7 篇 feature-oriented...
7 篇 automatic progra...
7 篇 java
7 篇 optimization
7 篇 generic programm...
7 篇 middleware
6 篇 generative progr...
6 篇 component
6 篇 software archite...

机构

4 篇 texas a&m univ c...
3 篇 univ alberta dep...
3 篇 school of space ...
3 篇 univ magdeburg d...
2 篇 univ lugano luga...
2 篇 college of telec...
2 篇 university of co...
2 篇 orange labs maps...
2 篇 johannes kepler ...
2 篇 institute of sys...
2 篇 univ southampton...
2 篇 shanghai yanding...
2 篇 univ marburg d-3...
2 篇 kansas state uni...
2 篇 department of in...
2 篇 johannes kepler ...
2 篇 ecole polytech f...
2 篇 school of inform...
2 篇 northeastern uni...
2 篇 sixty-third rese...

作者

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 篇 schaeffer j
3 篇 schmitt alan
3 篇 marcus mat
3 篇 smith jacob n.
3 篇 szafron d
3 篇 cassou damien
3 篇 fischer bernd
2 篇 yuehui chen
2 篇 yang yuan
2 篇 javad marzbanrad
2 篇 hatcliff john
2 篇 guddat j

语言

278 篇 英文
13 篇 其他
1 篇 中文

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

共 291 条记录，以下是171-180 订阅

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

详细简洁

排序：

4th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems, DAIS 2003 held as a joint event in federation with 6th IFIP WG 6.1 international conference on Formal Methods for Open Object-based Distributed Systems, FMOODS 2003

4th IFIP WG 6.1 International Conference on Distributed Appl...

引用

4th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems, DAIS 2003 held as a joint event in federation with 6th IFIP WG 6.1 international conference on Formal Methods for Open Object-based Distributed Systems, FMOODS 2003

ISBN: (纸本)3540205292

the proceedings contain 27 papers. the special focus in this conference is on Distributed applications and interoperable systems. the topics include: Towards a framework for self-adaptive component-based applications;a scheme for the introduction of 3rd party, application-specific adaptation features in mobile service provision;towards a composition framework for non-orthogonal non-functional properties;meta-programming middleware for distributed object computing;middleware support for resource-constrained software deployment;rational server selection for mobile agents;facilitating the portability of user applications in grid environments;negotiation as a generic component coordination primitive;a flexible framework for making components transactional;a security architectural approach for risk assessment using multi-agent systems engineering;middleware support for non-repudiable transactional information sharing between enterprises;adaptable access control policies for medical information systems;a flexible mechanism for optimized component attribute caching;a variable cache consistency protocol for mobile systems using time locks;building applications which make progress in an inconsistent world;hand-over video cache policy for mobile users;planning for network-aware paths;integrating the unreliable multicast Inter-ORB protocol in mjaco;a system of relay and translation gateways for communication among heterogeneous agents in ad hoc wireless environments;scalable location management for context-aware systems and a context ontology language to enable contextual interoperability.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Study on a MEMS CAD system based on SolidWorks

Study on a MEMS CAD system based on SolidWorks

引用

6th international conference on e-engineering and Digital Enterprise Technology

作者： Zhang, C. F. Lu, D. J. Jiang, Z. D. Xi An Jiao Tong Univ State Key Lab Mfg Syst Engn Xian 710049 Peoples R China Xian Technol Univ Sch Mech & Elect Engn Xian 710032 Peoples R China

ISBN: (纸本)9780878494705

To enable desianers to construct geometric models of MEMS devices in a straightforward environment and get mask and process flow automatically, a 3D MEMS CAD system for surface micromachined devices is proposed based on traditional design software - SolidWorks. With Application programming Interfaces (APIs) of SolidWorks, component modules and databases of the system are developed with Visual Basic, such as geometric model design module, mask and process flow generation module, process simulation module. 3D feature database and material database. their development method is discussed in this paper. A practical example shows that surface micromachined devices can be designed efficiently in the system without tedious fabrication process.

关键词： micro-electro-mechanical system SolidWorks CAD system Application programming Interface mask process flow

来源：评论

学校读者我要写书评

暂无评论

AOP++: A generic aspect-oriented programming framework in C++ 05

AOP++: A generic aspect-oriented programming framework in C+...

引用

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

作者： Yao, Zhen Zheng, Qi-Long Chen, Guo-Liang National High Performance Computing Center at Hefei Department of Computer Science and Technology University of Science and Technology of China Hefei Anhui 230027 China

ISBN: (纸本)3540291385

this paper presents AOP++, a generic aspect-oriented programming framework in C++. It successfully incorporates AOP with object-oriented programming as well as generic programming naturally in the framework of standard C++. It innovatively makes use of C++ templates to express pointcut expressions and match join points at compile time. It innovatively creates a full-fledged aspect weaver by using template metaprogramming techniques to perform aspect weaving. It is notable that AOP++ itself is written completely in standard C++, and requires no language extensions. With the help of AOP++, C++ programmers can facilitate AOP with only a little effort. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Teaching programming Amid the Digital Churn: Guidelines and Curriculum for a Laboratory 9th

Teaching Programming Amid the Digital Churn: Guidelines and ...

引用

9th international conference on Learning and Collaboration Technologies (LCT) Held as Part of the 24th international conference on Human-Computer Interaction (HCII)

作者： Tezza, Dante Abbott, Ben St Marys Univ San Antonio TX 78228 USA

ISBN: (纸本)9783031056574;9783031056567

In the modern and digital society, the importance of software development is undeniable. therefore, educating the next generation of software developers is crucial. However, learning how to program is challenging, and research on improving programming pedagogy is essential. Adding a laboratory component to programming courses can enhance the education. In this work, we first elicited requirements and guidelines for an introductory programming lab curriculum based on a literature review and feedback by instructors with years of experience. these included the use of (1) current and adequate tools, (2) collaborative learning environment, (3) formative assessment, (4) appropriate assignments for the target audience, (5) pedagogical innovations, and (6) to prepare students to be lifelong learners of the subject. Following, we present a curriculum for an introductory undergraduate programming lab based on the Raspberry Pi platform. It teaches students how to program following software development best practices and integrate software and hardware through a series of cyber-physical assignments, including developing a rover vehicle. We successfully piloted the curriculum with 30 students, and we present the highly positive feedback provided by them. Although the course was based on the C programming language, the underlying foundation on programming principles will allow students to apply the concepts in any language. Furthermore, this curriculum is not intended to be a one-size-fits-all approach to programming education. However, it can be a strong starting point for readers to tailor it to fit their audience, school needs, and student learning outcomes.

关键词： Curriculum Education engineering education programming Software

来源：评论

学校读者我要写书评

暂无评论

Study on semi-finished ship structural components assembly sequence optimization

Study on semi-finished ship structural components assembly s...

引用

international conference on Natural Computation

作者： Jin, Chaoguang Wang, Yunlong Zhang, Wenhao Lin, Yan School of Naval Architecture Engineering Dalian University of Technology Dalian China

ISBN: (纸本)9781424459612

Ship is a huge system, assembled by the millions of components, and ship building process is a more complicated systematic project. Assembly is an important part during the building process because assembly sequence has a direct impact on the shipbuilding cycle, assembly quality and construction cost. therefore it is significant to study the ship assembly sequence optimization for reducing shipbuilding cycle and improving the quality. According to the characteristics of real ship building process and the requirements of assembly sequence optimization, Ship structural components disassembly interference matrix was also generated based on component interference conditions. And then the model of assembly sequence optimization is build based on ant colony algorithm(ACO). Finally, using CATIA three-dimensional modeling software, taking double bottoms section of a bulk carrier as an example, based on the ACO, a reasonable assembly sequence was generated with the ship structural components optimizing programming. © 2010 IEEE.

关键词： Ships

来源：评论

学校读者我要写书评

暂无评论

Towards Understanding Rust in the Era of AI for Science at an Ecosystem Scale 6

Towards Understanding Rust in the Era of AI for Science at a...

引用

6th international conference on Communications, Information System and Computer engineering, CISCE 2024

作者： Xu, Bo Hefei National Research Center Institute of Advanced Technology University of Science and Technology of China Physical Sciences at the Microscale New Cornerstone Science Laboratory Department of Chemistry Hefei230026 China

ISBN: (纸本)9798350353174

Rust is an emerging programming language that provides both memory and thread safety like Java, and runtime efficiency like C/C++, by introducing a number of novel language features such as ownership, borrowing, explicit lifetime, and unsafe. these novel features make Rust a promising safe system language to build infrastructures in AI for science, where both security and performance are indispensable. However, there are no prior empirical studies of Rust language feature usage at the ecosystem scale, and such a study is important not only for guiding future language evolution but also for identifying research opportunities and challenges. In this paper, to fill the gap, we present the first comprehensive empirical study of Rust language feature usage at the ecosystem scale, by analyzing all registered 9,683 science-related crates in the Rust community's crate registry, with a novel tool RInsight we created. the empirical results give important insights, such as: 1) the dominated language features in all crates are functional ones (66.67%), which presents evidence that Rust is essentially a functional language pragmatically, but does NOT support the claim that 'Rust is a safe dialect of C';and 2) the unsafe feature is not used at an as high ratio as the prior study reported and is continuously dropping since 2018. We present the implications of these empirical findings and future research challenges to promote future research. © 2024 IEEE.

关键词： component empirical study Rust secure programming for science

来源：评论

学校读者我要写书评

暂无评论

Slicing based on web scrapped concurrent component 6th

Slicing based on web scrapped concurrent component

引用

6th international conference on Information System Design and Intelligent Applications, INDIA 2019

作者： Pujari, Niharika Ray, Abhishek Singh, Jagannath School of Computer Engineering KIIT Deemed to Be University BhubaneswarOdisha India

ISBN: (纸本)9789811553998

In this paper, we have proposed an algorithm for dynamic slicing of concurrent COPs that consist of multiple threads. In order to portray the concurrent COP effectively, an intermediate representation graph called concurrent component-oriented dependency graph (CCmDG) is developed based on the dependencies among all the edges. the intermediate representation graph developed for component-oriented programs consists of system dependence graph (SDG) for individual components, along with that some new dependence edges are introduced that are used to connect each system dependency graph to the interface. Based on the intermediate graph created in first step, a dynamic slicing algorithm is proposed for undertaken case study for the concurrent component-oriented program. the resultant is a graph marking and unmarking the executed nodes in concurrent components dynamic slicing (CCmDS) appropriately during run-time. © Springer Nature Singapore Pte Ltd 2021.

关键词： Concurrent component-oriented programming Dynamic slicing thread connect edge (TCE) Web scrapping

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

the Cost of Simplicity: Understanding Datacenter Scheduler programming Abstractions 24

The Cost of Simplicity: Understanding Datacenter Scheduler P...

引用

15th ACM/SPEC international conference on Performance engineering (ICPE)

作者： Lasa, Aratz Manterola Talluri, Sacheendra De Matteis, Tiziano Iosup, Alexandru WarpStream Labs Chicago IL 60612 USA Vrije Univ Amsterdam Amsterdam Netherlands

ISBN: (纸本)9798400704444

Schedulers are a crucial component in datacenter resource management. Each scheduler offers different capabilities, and users use them through their APIs. However, there is no clear understanding of what programming abstractions they offer, nor why they offer some and not others. Consequently, it is difficult to understand their differences and the performance costs imposed by their APIs. In this work, we study the programming abstractions offered by industrial schedulers, their shortcomings, and their related performance costs. We propose a general reference architecture for scheduler programming abstractions. Specifically, we analyze the programming abstractions of five popular industrial schedulers, understand the differences in their APIs, and identify the missing abstractions. Finally, we carry out exemplary experiments using trace-driven simulation demonstrating that an API extension, such as container migration, can improve total execution time per task by 81%, highlighting how schedulers sacrifice performance by implementing simpler programming abstractions. All the relevant software and data artifacts are publicly available at https://***/atlarge- research/quantifying- api- design.

关键词： cloud scheduler API design performance

来源：评论

学校读者我要写书评

暂无评论

A remaining useful life prediction method based on LSTM-DCGAN for aero-engines 6

A remaining useful life prediction method based on LSTM-DCGA...

引用

6th international conference on Mechanical, Electric, and Industrial engineering, MEIE 2023

作者： Shan, Yibing Xiao, Lei Ma, Baiteng College of Mechanical Engineering Donghua University Shanghai201620 China

Turbofan engine is a key component in aerospace. Its health condition determines whether an aircraft can operate reliably. However, it is difficult to predict the remaining useful life (RUL) precisely because of the characteristics of complex operating conditions and various failure modes. To predict the RUL more accurately and make full use of the advantages of neural networks, a RUL prediction model based on a long short-term memory network (LSTM) and deep convolutional generative adversarial network (DCGAN) is proposed and called LSTM-DCGAN in this paper. In the proposed LSTM-DCGAN, DCGAN is used to obtain knowledge of the training dataset, then the generator after pretraining in the DCGAN is attached after an LSTM network for further feature extraction. the effectiveness of the proposed LSTM-DCGAN is validated on the C-MAPSS aero-engine degradation dataset and compared with other methods. © Published under licence by IOP Publishing Ltd.

关键词： Long short-term memory

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共30页 << < 14 15 16 17 18 19 20 21 22 23 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：