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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,389 篇 会议
132 篇 期刊文献
73 册 图书

馆藏范围

3,592 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

2,398 篇 工学
- 1,896 篇 计算机科学与技术...
- 1,152 篇 软件工程
- 418 篇 电气工程
- 269 篇 控制科学与工程
- 199 篇 信息与通信工程
- 127 篇 机械工程
- 72 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 59 篇 电子科学与技术（可...
- 56 篇 材料科学与工程（可...
- 56 篇 交通运输工程
- 51 篇 生物工程
- 44 篇 化学工程与技术
- 40 篇 动力工程及工程热...
- 38 篇 土木工程
- 35 篇 仪器科学与技术
- 34 篇 冶金工程
672 篇 理学
- 482 篇 数学
- 106 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 73 篇 生物学
- 51 篇 化学
402 篇 管理学
- 337 篇 管理科学与工程(可...
- 148 篇 工商管理
- 81 篇 图书情报与档案管...
105 篇 教育学
- 103 篇 教育学
70 篇 医学
- 46 篇 临床医学
- 35 篇 基础医学(可授医学...
64 篇 经济学
- 64 篇 应用经济学
40 篇 法学
22 篇 文学
12 篇 农学
9 篇 艺术学
3 篇 军事学

主题

309 篇 linear programmi...
251 篇 programming
187 篇 dynamic programm...
142 篇 computer program...
118 篇 integer programm...
116 篇 optimization
109 篇 logic programmin...
86 篇 genetic programm...
82 篇 functional progr...
73 篇 computational mo...
68 篇 object oriented ...
66 篇 programming prof...
65 篇 parallel program...
56 篇 software enginee...
54 篇 costs
49 篇 mathematical mod...
48 篇 computer program...
46 篇 heuristic algori...
42 篇 artificial intel...
41 篇 computer science

机构

9 篇 univ london impe...
7 篇 inesc tec porto
6 篇 feup porto
6 篇 russian acad sci...
5 篇 c mast ubi covil...
4 篇 univ leicester l...
4 篇 vienna univ tech...
4 篇 institute of fun...
4 篇 chinese acad sci...
4 篇 university of am...
4 篇 univ nottingham ...
4 篇 beijing universi...
3 篇 weizmann inst sc...
3 篇 univ nottingham ...
3 篇 delft center for...
3 篇 international is...
3 篇 international bu...
3 篇 department of co...
3 篇 school of comput...
3 篇 univ cyprus dept...

作者

8 篇 catalao joao p. ...
6 篇 musirin ismail
5 篇 weiss gera
5 篇 marron assaf
4 篇 hirschfeld rober...
4 篇 ghani n
4 篇 katz guy
4 篇 saraswat vijay
4 篇 xiong rui
4 篇 funabiki nobuo
4 篇 fitiwi desta z.
4 篇 shi yong
4 篇 boercsoek josef
4 篇 jagadeesan radha
4 篇 gupta vineet
4 篇 michael n. young
4 篇 pesant gilles
4 篇 harel david
3 篇 muggleton stephe...
3 篇 faisal a. aldo

语言

3,510 篇 英文
56 篇 其他
26 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=7th International Conference on Functional Programming"

共 3594 条记录，以下是3301-3310 订阅

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

详细简洁

排序：

Generating stylistically consistent product form designs using interactive evolutionary parametric shape grammars

Generating stylistically consistent product form designs usi...

引用

international conference on Computer-Aided Industrial Design and Conceptual Design, CAIDCD

作者： Ho Cheong Lee Ming Xi Tang Design Technology Research Centre The Hong Kong Polytechnic University Hong Kong Hong Kong China

Interactive grammar based design systems (IGBDS) are capable of generating large numbers of alternative designs. Prior to the application of IGBDS, a set of rules should be defined based on the theoretical theories and practical experiences in designing the objects, or by analysing the existing sets of objects. However, due to the time constraints in developing theoretical theories, gaining the practical skills of experts is of qualitative in nature and stylistically inconsistent designs to be analysed, it is difficult to systematically derive a set of shape grammar rules in generating designs which fulfils specific requirements. To address this problem, this paper presents an IGBDS enhanced by evolutionary computing to evolve a set of grammar rules for product form design. In this research, the forms of a product are analysed to derive shape features in the form of shape grammar (SG) rules. the rules are then encoded as the code scripts of a genetic algorithm (GA) representation in order to generate new shape grammar rules. the parameters in GA representation are modified by genetic programming (GP) which is regulated by control planning strategies named "GP-GA-SG". the "GP-GA-SG" control planning strategy first defines ways on how the control variables in GP should modify the variables in GA representation. the "GP-GA-SG" control planning strategy then defines ways on how the control variables in GA should modify the variables in SG representation. the SG rules modified by the GA variables define a new combination of shape features for alternative designs. In this way, traditional shape grammar is extended to an interactive context in which generative and evolutionary computing methods are combined. Both product component design as well as product configuration are supported in this framework. In this paper, we describe how this framework is formulated and discuss its potentials in supporting product design, with initial examples showing how the system is intended

关键词： Product design Genetic programming Strategic planning Shape control Algorithm design and analysis Genetic algorithms Time factors Constraint theory Color Costs

来源：评论

学校读者我要写书评

暂无评论

Smart Garbage Monitoring System with Dynamic programming Model

Smart Garbage Monitoring System with Dynamic Programming Mod...

引用

international conference on Computing Methodologies and Communication (ICCMC)

作者： N. Sugitha Mirrahashini K Harish M K Devakumar G Praveen Kumar S Department of Electronics & communication Engineering Saveetha Engineering college Chennai India Department of Medical Electronics Saveetha Engineering college Chennai India

the most significant issue in cities is garbage collection. the average amount of waste a person produces daily rises as the population grows, creating severe waste management issues. Any municipality's most pressing issues are bin status monitoring, locating the shortest route, and vehicle costs. the problem's consequences result in inadequate waste monitoring and management procedures. An effective garbage collection system that periodically measures the amount of garbage in the bins is used to solve these issues. the shortest route can be determined using this bin's status. the vehicle only went to the places where the bins in the city are full. the Wi-Fi module will transmit all of the information to the municipality. the main objective of the proposed work is to create a flexible application that dynamically solve the issue of late bin clearance, poor management of bins etc. the path selection is made by using the Travelling Salesman Algorithm in the Dynamic programming approach. the sensor network is utilized to gather information regarding the garbage contents in the bins and remotely trigger the request for a cleaning process using the Internet of things. the internet is connected with microcontroller hardware using a Node-MCU device, or ESP8266, a small internet-supporting module that works as a plug-and-play module to any microcontroller. the primary objective of this system is to send information to the municipality and the mobile application regarding the status of the bin, the minimum cost path, the total travel distance, and the kind of vehicle required. this system aims to shorten travel time, save money on diesel and human resources for garbage collection, and improve waste collection and monitoring.

关键词： Waste management Wireless sensor networks Costs Microcontrollers Urban areas Sociology Mobile applications

来源：评论

学校读者我要写书评

暂无评论

Rewriting haskell strings 07

引用

Proceedings of the 9th international conference on Practical Aspects of Declarative Languages

作者： Duncan Coutts Don Stewart Roman Leshchinskiy Programming Tools Group Oxford University Computing Laboratory Computer Science & Engineering University of New South Wales

ISBN: (纸本)9783540696087

the Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict arrays with lazy evaluation. Equational transformations based on term rewriting are used to deforest intermediate ByteStrings automatically. We describe novel fusion combinators with improved expressiveness and performance over previous functional array fusion strategies. A library for ByteStrings is implemented, providing a purely functional interface, which approaches the speed of low-level mutable arrays in C.

关键词： deforestation functional programming program fusion

来源：评论

学校读者我要写书评

暂无评论

Differential evolution technique in solving HEPWM switching angles of three-phase voltage source inverter

Differential evolution technique in solving HEPWM switching ...

引用

National Proceedings Power and Energy conference (PECon)

作者： Azziddin Mohamad Razali Norazelina Kamisman Jurifa Mat Lazi Norhazilina Bahari Wahidah Abd Halim Department of Power Electronics and Drives Universiti Teknikal Malaysia Melaka (UTeM) Melaka Malaysia

ISBN: (纸本)9781509025480

this paper presents the solution for odd and even number of switching angles of harmonic elimination pulse width modulation (HEPWM). HEPWM capable to eliminate low order harmonics of inverter output voltage by solving the transcendental equation of the switching angles. the optimum switching angles are calculated using differential evolution (DE) algorithm. DE is simple and effective algorithm. the calculated switching angles applied to the three-phase voltage source inverter (VSI) and harmonic performance of output voltage are examined using MATLAB/Simulink software. the Total harmonic Distortion (thD) of line to neutral of inverter is analyzed for different number of switching angles. the simulation result showed that the low order harmonics, namely 5th, 7th, 11th, 13th, 17th, 19th, 23th was eliminated individually by N=3,4,5,6,7 and 8.

关键词： Harmonic analysis Switches Sociology Statistics Inverters Pulse width modulation Linear programming

来源：评论

学校读者我要写书评

暂无评论

the data transform programming method: An example for file processing problems 84

The data transform programming method: An example for file p...

引用

Proceedings of the 7th international conference on Software engineering

作者： C. J. Lucena R. C. B. Martins P. A. S. Veloso D. D. Cowan

ISBN: (纸本)9780818605284

this paper presents a new programming method, called the data transform programming method. In particular, we present a specialization of data transform programming to deal with file processing applications. Direct comparison is made with Jackson's approach1 by the presentation of uniform solutions to problems that cannot be solved through his basic method. the new method consists of the application of data transformations to the abstract problem statement, following the formal notions of problem reduction and problem decomposition. Data transformations are expressed in programming terms through a basic set of data type constructors.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design and simulation of key mechanism for transverse sealing of fresh food packaging machine 7

Design and simulation of key mechanism for transverse sealin...

引用

2021 7th international Forum on Manufacturing Technology and Engineering Materials, IFEMMT 2021

作者： Zheng, Zhaoqi Shi, Bingjian Mei, Wenjuan Liu, Chaoran An, Zimin Shi, Pu Wang, Ruifang Tianjin Key Lab. of Intgd. Des. and On-line Monitoring for Light Indust. and Food Mach. and Equip. College of Mechanical Engineering Tianjin University of Science and Technology Tianjin300222 China Tianjin International Joint Research and Development Center of Low-Carbon Green Process Equipment Tianjin China

In order to improve the freshness and safety of fresh food, packaging is necessary for the processing industry of agricultural products. At present, the packaging of fresh food in China is mainly manual packaging, which has high labor intensity and low production efficiency. In response to this situation, this study focused on the transverse sealing device of the fresh food packaging machine. the device completed the transverse sealing operation through the cooperation of two main mechanisms, including an up wind box and an anthropomorphic hand folding mechanism. the anthropomorphic hand folding mechanism was composed of roller, cylinder and lower wind box. this paper makes a study of design and simulation of key mechanism for transverse sealing of fresh food packaging machine, improving the completion of the transverse sealing of the packaging machine. the experiment showed that the designed structure basically satisfied the functional requirements of the fresh food packaging machine for the sealing operation of the transverse sealing device. And the optimal parameter of the air outlet of the up wind box was 640 mm2, the lower wind box of anthropomorphic hand folding mechanism was 19 air outlets with a diameter of 2 mm. © Published under licence by IOP Publishing Ltd.

关键词： Production efficiency

来源：评论

学校读者我要写书评

暂无评论

Design of Attendance Monitoring System Using RFID

Design of Attendance Monitoring System Using RFID

引用

international conference on Advanced Computing and Communication Systems (ICACCS)

作者： K. Aravindhan S.K.B. Sangeetha K. Periyakaruppan K.P. Keerthana V. SanjayGiridhar V. Shamaladevi SNS College of Engineering Coimbatore SRM Institute of Science and Technology Chennai KGiSL Institute of Technology Coimbatore

the attendance of employees was recently seen as one of the most important elements or issues in paying salaries. Various automatic identification technologies such as radio frequency identification have been more popular (RFID). A wide range of research and other applications have been produced to maximize this technology and express certain concerns. RFID is a wireless equipment that uses data move from an electronic tag, identify as RFID tag, or label for sending data to RFID reader, for the rationale of classify and pathway objects via radio waves. In addition to the programmable logic circuit, such as Arduino, the current study aims at recommending an RFID based Attendance Management System (AMS), as well as a system of information services on academic domains. the system proposed is aimed at managing the attendance system of employees with RFID tags/stickers to communicate with an Arduino UNO connecting RFID Reader/Writer module. the Arduino UNO receives authentication data, which is then sent through an Ethernet module, to Google Spreadsheets in order to store and access data in real time. the attendance system is therefore non-paper and organized because of the timestamp, the card key and the columns on the API table.

关键词： Industries Wireless communication Prototypes programming Real-time systems Remuneration Object recognition

来源：评论

学校读者我要写书评

暂无评论

BaCo: A Lightweight Java Pedagogic programming Environment

BaCo: A Lightweight Java Pedagogic Programming Environment

引用

2019 7th ICASS international conference on Management,Business and Technology Education(ICMBT 2019)

作者： Wei Wang Lina Song Wei Fan School of Science Xi'an Shiyou University

Java language is the standard platform of Internet and network programs, and it also is the development language that students of software and other computer-related majors must masterBut its syntax and abundance of constructs are still difficult for beginners to learnIn this research, we introduce a method that Java can be made more accessible to beginners, and it can improve the efficiency of teaching through a lightweight java pedagogic programming environmentthis tool is implemented as a pure java application and use just standard Java classes in Java SE API.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Real Time Localization Algorithm based on Local Linear Embedding Optimization in Mobile Sensor Networks

Real Time Localization Algorithm based on Local Linear Embed...

引用

2019 7th international conference on Machinery,Materials and Computing Technology(ICMMCT 2019)

作者： Huang Lili Department of Communication and Information Jiangxi Environmental Engineering Vocational College

Location accuracy of wireless sensor network relies on noise level and connection of non-line of ***,Location correcting algorithm based on semi-definite programming is proposed and it is based on edge-semi-definite programming;it is denoted as ESDP algorithm and it aims to increase location precision and reduce location time in severe *** algorithm is modified and robustness of ESDP algorithm in high error environment of distance measurement is increased for ESDP algorithm through quoting dithering *** algorithm handles high noise and deviation of non-line of sight through seeking low-rank *** result indicates that location precision of ESDP algorithm is better than algorithms of the same kind and calculation complexity is also reduced in environment of high noise and that most distance measurement is non-line of sight.

关键词： Wireless sensor network Location Semi-definite programming Non-line of sight Robust

来源：评论

学校读者我要写书评

暂无评论

Design and construction of infusion device analyzer

Design and construction of infusion device analyzer

引用

Biomedical Engineering international conference (BMEiCON)

作者： N. thongpance K. Roongprasert Rangsit University Mueang Pathum Thani TH

the purpose of the research aims to design and construction of infusion device analyzer. this research has adopted the principle of the standard calibration curve relationship between the digital output of the load cell to the volume of the solution at any time, and the pressure acting on the pressure sensor to the digital output of it. the designed and constructed infusion device analyzer was composed of four main parts:1) the control part consisting of micro switches for selecting the operating mode, 2) signal detection part composing of load cells, pressure sensor for measuring the volumetric and flow rate of fluid delivered from infusion devices and occlusion pressure in TV line respectively, 3) the processing part comprising of microcontroller ARM Cortex M3 with C language program and 4) the display part includes touch screen graphic - LCD color and computer interfacing via a USB port to analyze the operation of the infusion devices in the form of Trumpet Curve. the results of functional testing were compared with standard infusion devices analyzer Metron Lagu showed that the average percentage error of flow rate and occlusion pressure were 0.134 percent and 0.132 percent successively. the results of standard calibration of the flow rates by the laboratory of Calibration Services and Environmental Analysis Department, Technology Promotion Association (thailand - Japan) that has been certified by the international ISO - 17025 shown that the average uncertainty of the 95 percent confidence level and average percentage error were ±1.5 ml/hr and 1.9 percent respectively. the production cost of the prototype is 15,000 baht.

关键词： Containers Monitoring Biomedical monitoring

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共360页 << < 327 328 329 330 331 332 333 334 335 336 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：