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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,066 篇 会议
63 册 图书
9 篇 期刊文献

馆藏范围

1,138 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

705 篇 工学
- 567 篇 计算机科学与技术...
- 479 篇 软件工程
- 135 篇 信息与通信工程
- 131 篇 控制科学与工程
- 99 篇 电气工程
- 71 篇 生物工程
- 64 篇 机械工程
- 55 篇 动力工程及工程热...
- 52 篇 电子科学与技术（可...
- 45 篇 交通运输工程
- 38 篇 生物医学工程（可授...
- 31 篇 化学工程与技术
- 25 篇 安全科学与工程
- 23 篇 土木工程
- 22 篇 光学工程
- 22 篇 石油与天然气工程
391 篇 理学
- 277 篇 数学
- 78 篇 生物学
- 63 篇 物理学
- 58 篇 统计学（可授理学、...
- 57 篇 系统科学
- 32 篇 化学
192 篇 管理学
- 138 篇 管理科学与工程(可...
- 80 篇 工商管理
- 68 篇 图书情报与档案管...
34 篇 经济学
- 34 篇 应用经济学
33 篇 教育学
- 33 篇 教育学
28 篇 法学
26 篇 医学
- 24 篇 基础医学(可授医学...
- 24 篇 临床医学
- 23 篇 药学(可授医学、理...
13 篇 农学
1 篇 艺术学

主题

51 篇 software enginee...
50 篇 programming
47 篇 linear programmi...
40 篇 software enginee...
31 篇 dynamic programm...
30 篇 artificial intel...
24 篇 integer programm...
23 篇 computer communi...
22 篇 optimization
21 篇 programming lang...
19 篇 machine learning
18 篇 logics and meani...
17 篇 computer science
17 篇 heuristic algori...
16 篇 computational mo...
16 篇 students
16 篇 software
15 篇 costs
15 篇 programming tech...
13 篇 object oriented ...

机构

7 篇 college of energ...
6 篇 school of electr...
5 篇 college of elect...
5 篇 school of scienc...
5 篇 information engi...
4 篇 school of comput...
4 篇 school of vehicl...
4 篇 china electric p...
4 篇 school of cyber ...
3 篇 school of electr...
3 篇 school of electr...
3 篇 school of transp...
3 篇 department of co...
3 篇 college of infor...
3 篇 school of inform...
3 篇 state key labora...
3 篇 department of co...
3 篇 nanjing universi...
3 篇 shanghai maritim...
3 篇 polytechnic inst...

作者

4 篇 meikang qiu
3 篇 wang hui
3 篇 miller james
3 篇 gong peizhu
3 篇 wang junxiang
3 篇 xigang yuan
3 篇 batra salil
3 篇 salil batra
3 篇 mekruksavanich s...
3 篇 jitpattanakul an...
3 篇 liu jin
3 篇 wu zhongdai
3 篇 mengjie zhang
2 篇 yin jianbing
2 篇 heinz stefan
2 篇 seniman
2 篇 li cheng
2 篇 saraswat sudhir
2 篇 duo liu
2 篇 cheng wang

语言

1,114 篇 英文
21 篇 其他
5 篇 中文

检索条件"任意字段=7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023"

共 1138 条记录，以下是51-60 订阅

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

详细简洁

排序：

Proceedings of the 7th conference on Computing Education Practice, CEP 2023

Proceedings of the 7th Conference on Computing Education Pra...

引用

7th conference on Computing Education Practice, CEP 2023

ISBN: (纸本)9781450398220

the proceedings contain 9 papers. the topics discussed include: an online marking, feedback and moderation tool for computer science higher education courses;using a virtual computing lab to teach programming at a distance;how to learn a new language: a novel introductory programming course;engaging students in threat thinking with the cyber security cinema;data science course design for a large-scale cohort using individual project-based learning;introducing modelling and code comprehension from the first days of an introductory programming class;exploring student perceptions and expectations of cyber security;an alternative supervision model for postgraduate projects: a course-specific approach;and research-led active learning sessions in cyber security through research paper reading.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Algorithm for the Cutting-Lines-Oriented Steel Plate Yard Outbound Problem 7

A Hybrid Algorithm for the Cutting-Lines-Oriented Steel Plat...

引用

7th international conference on Automation, Control and Robots, ICACR 2023

作者： Wu, Lebao Jiang, Zuhua Li, Minghao Shanghai Jiao Tong University School of Mechanical Engineering Shanghai China Jiangsu China

ISBN: (纸本)9798350302882

this paper considers the outbound operation of the steel plate yard oriented to the cutting lines in shipbuilding. According to the daily cutting plan, the yard should arrange the outbound order of cutting plates and the relocation strategy for the blocking plates. the objective of this problem is to minimize the makespan of the outbound and cutting operations. A hybrid algorithm composed of two parts is introduced to solve this problem. In the first part, two heuristics are proposed to decide the outbound order. And the second part is a mixed integer programming model determining the relocation strategy. the experiment based on the actual cutting data is conducted to show the performance of the proposed method. © 2023 IEEE.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Duck testing enhancements for automated validation of student programmes: How to automatically test the quality of implementation of students' programmes 7

Duck testing enhancements for automated validation of studen...

引用

7th international conference on Computer Supported Education, CSEDU 2015

作者： Herout, Pavel Brada, Premysl Department of Computer Science and Engineering University of West Bohemia Plzen Czech Republic

ISBN: (纸本)9789897581076

this article deals with the issue how to test the quality of novice programmers' software assignments. this problem is becoming serious due to the hundreds of students in the introductory courses of programming. the article discusses the motivation for using quality of implementation tests of students' programmes, their principles and a practical solution. So called "duck tests" are used for this type of validation. A combination of a framework Duckapter, JUnit library and own programmes constitutes the practical solution. It is represented by a self-contained tool which is freely at disposal. the described tool has been used for three years in the elementary course of object oriented programming based on the Java programming language, alongside three other tools used for automatic validation of students projects. the article discusses the experience gained from its use and the effects on student's programming skills.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

INDUSTRIAL MODELING AND programming LANGUAGE (IMPL) FOR COMPLEX DATA ANALYTICS AND DECISION-MAKING PROBLEMS 16

INDUSTRIAL MODELING AND PROGRAMMING LANGUAGE (IMPL) FOR COMP...

引用

16th international conference on Computer Graphics, Visualization, Computer Vision and Image Processing, CGVCVIP 2022, 8th international conference on Connected Smart Cities, CSC 2022, 7th international conference on Big Data Analytics, Data Mining and Computational Intelligence, BigDaCI 2022, and 11th international conference on theory and Practice in Modern Computing, TPMC 2022 - Held at the 16th Multi conference on Computer science and Information Systems, MCCSIS 2022

作者： Menezes, Brenno Kelly, Jeffrey Elsherif, Munier Franzoi, Robert Division of Engineering Management College of Science and Engineering Hamad Bin Khalifa University Qatar Foundation Education City LAS Building Doha Qatar Industrial Algorithms Limited. Toronto Canada Department of Chemical Engineering Faculty of Engineering University of Tripoli Tripoli Libya

ISBN: (纸本)9789898704429

the Industrial Modeling and programming Language (IMPL) is a sophisticated computational system for tackling large-scale and complex-scope data analytics and decision-making problems in the engineering and operations research fields. Although the software provides both scalar-based (e.g., MATLAB) and set-based modeling (GAMS, AIMMS, AMPL, MOSEL, OPL) as found in most of the modeling programming languages (MPL), IMPL is mainly built as ad hoc and specialized proprietary industrial software platform (closed-source). this is made by built-in structured- and semantic-based modeling that rely on the Unit-Operation-Port-State Superstructure (UOPSS) constructs (for the structure) and Quantity-Logic-Quality Phenomena (QLQP) concepts (for the semantics). Besides the data analytics package included in the IMPL-DATA version, this mathematical programming language enables the modeling and solving of industrial-scale discrete, nonlinear, and dynamic optimization, estimation, and simulation problems found in both the batch and continuous process industries. IMPL's data analytics (DA) includes several functions to concatenate, substitute, sort, cluster, regress, etc., datasets in order to categorize, reduce, track, etc., the given data. IMPL's decision-making (DM) is suitable to support the modeling and solving of design, planning, scheduling, coordinating production, process, operations, optimization, and control problems as well as parameter identification, estimation, and data reconciliation problems. IMPL includes links to various community and commercial LP, QP, MILP and NLP solvers. To summarize, IMPL may be considered as a confluence with the scientific disciplines of applied engineering, management, information and computer science, statistical and data science. © MCCSIS *** rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Prediction and key computer programming of mechanical properties of hot rolled plate based on BP neural network

Prediction and key computer programming of mechanical proper...

引用

7th IEEE/IFIP international conference on Embedded and Ubiquitous Computing, EUC 2009

作者： Zou, Qinghua Chen, Li Xiong, Naixue Zou, Shengzhong Wang, Chuanbing School of Mechanical and Electronic Engineering Wuhan university of Science and Engineering China Department of Computer Science Georgia State University Atlanta GA 30303 United States School of Computer Science and Engineering Wuhan University of Technology Wuhan China

ISBN: (纸本)9780769538235

Based on the theory of artificial neural network,BP algorithm is used for the training of networks,and the relationship between the controlling parameters in hot rolling (temperature, rolling press, chemical composition, cooling rate, etc) and the parameters of mechanical properties is established, key computer programming has been determined. the calculation results are in good agreement with the experimental results. © 2009 IEEE.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Optimized Model and Algorithm for Scheduling Turnaround Routes of Electric Multiple Units 23

Optimized Model and Algorithm for Scheduling Turnaround Rout...

引用

23rd IEEE international conference on High Performance Computing and Communications, 7th IEEE international conference on Data science and Systems, 19th IEEE international conference on Smart City and 7th IEEE international conference on Dependability in Sensor, Cloud and Big Data Systems and Applications, HPCC-DSS-SmartCity-DependSys 2021

作者： Wang, Zhongkai Shi, Tianyun Zhang, Weijiao Wang, Hui Institute of Computing Technologies China Academy of Railway Sciences Beijing China China Academy of Railway Sciences Science and Technology R & D Department Beijing China

ISBN: (纸本)9781665494571

With the development of China railway high-speed, the total operation mile of the network is making China the world's largest. Routing scheme is the basis for the operation of EMUs, of great significance in improving the efficiency of EMUs and to reduce maintenance cost. On the premise of train operating chart of the high-speed railway, this paper established an integer programming model for scheduling routes of EMUs, with the requirement of EMUs type, quantity for EMUs, servicing time, and time-space subsequent conditions as the operational constraints, with both mileage and time limit regulated by the inspection standard of EMU level-1 as the maintenance constraints, and with the least quantity of routes of EMUs as the objective function. this paper took the problem of 62 pairs of trains for Wu-Guang high-speed railway as an example and put forward a modified MAX-MIN Ant System to solve the model above. the result showed that the model and the solving algorithm could meet the demand of the route scheduling optimization problem. © 2021 IEEE.

关键词： Integer programming Standards organizations Transportation Organizations Maintenance engineering Inspection Routing

来源：评论

学校读者我要写书评

暂无评论

7^th international Special Session on Current Trends in Numerical Simulation for Parallel engineering Environments: New Directions and Work-in-Progress (ParSim 2008)

7<i><SUP>th</SUP></i> International Special Session on Curre...

引用

15th European Parallel-Virtual-Machine-and-Message-Passing-Interface-Users-Group Meeting (PVM/MPI)

作者： Trinitis, Carsten Schulz, Martin Tech Univ Munich Inst Informat LRR D-8000 Munich Germany Ctr Appl Sci Comp Lawrence Livermore Natl Lab Livemore CA USA

ISBN: (纸本)9783540874744

In today's world, the use of parallel programming and architectures is essential for simulating practical problems in engineering and related disciplines. Remarkable progress in CPU architecture (multi- and manycore, SMT, transactional memory, virtualization support, etc.), system scalability, and interconnect technology continues to provide new opportunities, as well as new challenges for both system architects and software developers. these trends are paralleled by progress in parallel algorithms, simulation techniques, and software integration from multiple disciplines. In its 7^th year ParSim continues to build a bridge between computer science and the application disciplines and to help with fostering cooperations between the different fields. In contrast to traditional conferences, emphasis is put on the presentation of up-to-date results with a shorter turn-around time. this offers the unique opportunity to present new aspects in this dynamic field and discuss them with a wide, interdisciplinary audience. the EuroPVM/MPI conference series, as one of the prime events in parallel computation, serves as an ideal surrounding for ParSim. this combination enables the participants to present and discuss their work within the scope of both the session and the host conference. © 2008 Springer-Verlag Berlin Heidelberg.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Streamlining the agile documentation process test-case driven documentation demonstration for the XP2006 conference

引用

7th international conference on Extreme programming and Agile Processing in Software engineering

作者： Brolund, Daniel Ohlrogge, Joakim Agical AB Sweden

ISBN: (纸本)3540350942

In far too many software projects the value of the documentation delivered is not high enough to motivate the effort spent to write it. An outdated document can be as misleading as a good, up to date one can be helpful. this demonstration will show how unit tests complemented with descriptive comments can be used to generate documentation that is constantly up to date. It is demonstrated by example how both the static and dynamic features of a software system can be salvaged with very little effort to be presented to a bigger audience as relevant, readable documentation.

关键词： Computer science

来源：评论

学校读者我要写书评

暂无评论

Product and process architectures for integrating agile and plan-driven methods

Product and process architectures for integrating agile and ...

引用

7th international conference on eXtreme programming and Agile Processes in Software engineering: Tutorials, Workshops, Activities, and Keynote Speeches

作者： Boehm, Barry Computer Science Department USC Center for Software Engineering United States

No abstract available

关键词：

来源：评论

学校读者我要写书评

暂无评论

Fe.g.: An Animated Flowchart with Example to Teach the Algorithm based Courses in engineering 7

Fe.g.: An Animated Flowchart with Example to Teach the Algor...

引用

7th IEEE international conference on Technology for Education (T4E)

作者： Dol, Sunita M. Walchand Inst Technol CSE Dept Solapur India

ISBN: (纸本)9781467395090

Fe.g. is an animated flowchart which can be used for algorithm based subjects. In Fe.g., first the working of algorithm is demonstrated with the help of animated flowchart and then the step by step working of algorithm with the help of example. So this activity is considered for the subject System programming of third Year Computer science and engineering. One group pre-test pots-test model is considered to test the effectiveness of this activity. the results are also explained in this paper.

关键词： Fe.g.(Animated Flowchart with example) System programming Bloom's Taxonomy Pre-test Post-test t-Test

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共114页 << < 2 3 4 5 6 7 8 9 10 11 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：