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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

492 篇 会议
29 篇 期刊文献
24 册 图书

馆藏范围

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

日期分布

学科分类号

382 篇 工学
- 347 篇 计算机科学与技术...
- 220 篇 软件工程
- 60 篇 控制科学与工程
- 40 篇 电气工程
- 22 篇 信息与通信工程
- 11 篇 电子科学与技术（可...
- 9 篇 机械工程
- 9 篇 建筑学
- 8 篇 力学（可授工学、理...
- 8 篇 土木工程
- 8 篇 生物医学工程（可授...
- 7 篇 材料科学与工程（可...
- 7 篇 交通运输工程
- 5 篇 仪器科学与技术
- 5 篇 生物工程
- 4 篇 化学工程与技术
113 篇 理学
- 93 篇 数学
- 13 篇 系统科学
- 12 篇 统计学（可授理学、...
- 10 篇 物理学
- 10 篇 生物学
29 篇 管理学
- 17 篇 管理科学与工程(可...
- 12 篇 图书情报与档案管...
- 8 篇 工商管理
12 篇 医学
- 10 篇 基础医学(可授医学...
- 10 篇 临床医学
- 7 篇 药学(可授医学、理...
4 篇 经济学
- 4 篇 应用经济学
4 篇 法学
- 4 篇 社会学
4 篇 教育学
- 4 篇 教育学
2 篇 农学

主题

86 篇 logic programmin...
24 篇 computer circuit...
20 篇 fuzzy logic
15 篇 programming
15 篇 mathematical log...
15 篇 logics and meani...
14 篇 semantics
14 篇 artificial intel...
13 篇 programming lang...
12 篇 linear programmi...
12 篇 programming tech...
11 篇 software enginee...
10 篇 logic gates
9 篇 genetic programm...
9 篇 formal logic
9 篇 logic
9 篇 algebra
9 篇 functional progr...
8 篇 web services
7 篇 programmable log...

机构

3 篇 cwi p.o. box 940...
2 篇 sri int menlo pk...
2 篇 huelva universit...
2 篇 department of co...
2 篇 trinity coll dub...
2 篇 ctr wiskunde & i...
2 篇 computer science...
2 篇 hanoi univ techn...
2 篇 department of me...
2 篇 università di pi...
2 篇 applied mathemat...
2 篇 fujitsu laborato...
2 篇 dept. of informa...
2 篇 industrial depar...
2 篇 department of ma...
2 篇 department of el...
2 篇 univ munich inst...
2 篇 faculty of elect...
2 篇 univ kent canter...
2 篇 vienna univ tech...

作者

3 篇 osorio m
2 篇 riedl l
2 篇 ortiz m
2 篇 yu yong
2 篇 kurz a
2 篇 casadei roberto
2 篇 kahl wolfram
2 篇 schobbens pierre...
2 篇 hennicker r
2 篇 ray oliver
2 篇 le van hung
2 篇 kifer michael
2 篇 bidoit m
2 篇 lin ying
2 篇 zhao na
2 篇 moto-oka t.
2 篇 stehr mark-olive...
2 篇 zhang xuan
2 篇 pianini danilo
2 篇 jaffar joxan

语言

537 篇 英文
7 篇 其他
1 篇 中文

检索条件"任意字段=4th International Conference on Algebraic and Logic Programming"

共 545 条记录，以下是511-520 订阅

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

详细简洁

排序：

Research on construction technology of equipment support information integration platform

Research on construction technology of equipment support inf...

引用

international conference on Computer Science & Education (ICCSE)

作者： Min Zhu Huazhang Liu Shaoli Fan Department of Strategic Missile Engineering Naval Aeronautical and Astronautical University Yantai China

Because of the different function of various departments and agencies, a large number of different, isolated, heterogeneous information systems are set up in equipment support informatization construction at present. this status become the bottleneck to restrict the construction of equipment support informatization. Abandoning these information systems and redevelopment new systems will result in a great waste of resources. A common database middleware is established. A middle layer between system business logic, common component service and data source is built. the differences of a variety of heterogeneous data sources are shielded. Equipment support information integration platform is constructed. Information integration is realized on the basis of the existing information systems.

关键词： Formal languages Personnel Computer science Computer science education Information systems Databases Middleware Communications technology Information technology programming

来源：评论

学校读者我要写书评

暂无评论

programming and testing a PLC to control a scalable industrial plant in remote way

Programming and testing a PLC to control a scalable industri...

引用

Experiment@ international conference (exp.at)

作者： Marco Márquez Andrés Mejías Reyes Herrera José Manuel Andújar Huelva University Spain

ISBN: (纸本)9781538608111

this paper presents a scalable industrial plant which puts plug and label to bottles. It is controlled by a commercial programmable logic controller (PLC). To do that, the plant has two conveyor belts. the first one goes from the origin to the place where the plug is put to the bottle and the second one goes from that place to where the label is put (the end of the route). the element which puts the plug is virtual, implemented using augmented reality (AR) techniques, and the labeler is a real element. Moreover, the plant is a combination of real and virtual elements. the presented plant is accessed from internet (both the PLC to be programmed and the plant to test the control program). It has been proposed to make a practical class in several subjects at the University of Huelva.

关键词： Plugs Belts Augmented reality Remote laboratories Engineering education

来源：评论

学校读者我要写书评

暂无评论

Parameter Identification of Composite Load Model Based on Bayesian Optimization

Parameter Identification of Composite Load Model Based on Ba...

引用

Electrical Engineering and Control Technologies (CEECT), conference on

作者： Sirui Tang Yunche Su Xinwei Du Chuan Yuan Bo Li Fang Liu Yang Liu Wei Chen State Grid Sichuan Economic Research Institute State Grid Corporation of China Chengdu China

ISBN: (纸本)9781665499002

Load modeling has a great impact on the analysis, operation, and planning of power systems. Using the composite load model (CLM) as the model structure, parameter identification is a major challenge in load modeling. Measurement-based parameter identification of CLM can be expressed as a complex optimization problem with differential-algebraic equations (DAEs)-based dynamic constraints. Conventional population-based evolutionary programming algorithms are computationally intensive as the fitness evaluation has to be carried out exhaustively for all the individuals. To enhance the computation efficiency in load modelling. In this paper, Bayesian optimization is proposed. Case studies are presented to demonstrate the effectiveness of the proposed Bayesian optimization method. Comparing with the conventional particle swarm optimization, the proposed Bayesian optimization can significantly reduce the computation time as fewer times of time-domain simulation-based fitness evaluation is needed. But both algorithms can achieve similar performance on the estimation accuracy.

关键词： Parameter estimation Computational modeling Power system dynamics programming Mathematical models Bayes methods Planning

来源：评论

学校读者我要写书评

暂无评论

Towards a Framework for Designing, Deploying and Executing Semantic Web Service-Based Process

Towards a Framework for Designing, Deploying and Executing S...

引用

international conference on Wireless Communications, Networking and Mobile Computing (WiCom)

作者： Hong-Hua Cao Shi Ying Hua Cui Yang Xiao State Key Lab of Software Engineering Wuhan University Wuhan China

Complex service-oriented enterprise application needs compose Web services to satisfy user specific requirements. Several approaches have been proposed to fulfill this need. However, those approaches and their runtime infrastructure are weak in providing flexible features such as dynamism and adaptability, which are needed in mobile networks and wireless scenarios. A semantic programming language - SPL and an integrated framework - SPLDE are proposed. the SPL is designed for integrating and orchestrating Web services, which is equipped with service role to decouple the static binding relation between business process and its participants. the concept of rule is also introduced in SPL to separate business decision from business logic to satisfy varying user requirements in evolving environment. the proposed SPLDE framework is used to design and execute business process based on semantic Web services with SPL language, which tries to offer an effective systematic solution for development and execution of service-oriented software system.

关键词： Semantic Web Web services logic Service oriented architecture Software systems Computer languages Software engineering XML Automation Runtime

来源：评论

学校读者我要写书评

暂无评论

Ontology Modeling of Assembly Processes and Systems using Semantic Web Services

Ontology Modeling of Assembly Processes and Systems using Se...

引用

IEEE international conference on Industrial Informatics (INDIN)

作者： Ivan M. Delamer Jose L. Martinez Lastra Institute of Production Engineering Tampere University of Technology Tampere Finland

the reported work is motivated by the need to rapidly (re)configure manufacturing systems in order to cope with high product mix and frequent new product introduction. One of the current obstacles for achieving systems that are rapidly reconfigurable is the need for manual reprogramming of software elements. Service-oriented architecture has been proposed as a potential technology facilitator to improve the reconfigurability of distributed manufacturing systems. However, a technology gap is identified in the development of service orchestration and choreography models and in the matchmaking of services, which still require manual (re)programming. this paper proposes the use of semantic Web services to overcome this shortcoming, and describes the required components of an ontology used to create semantically-enriched service descriptions. the reported ontology is tailored for the manufacturing domain of assembly.

关键词： Ontologies Assembly systems Semantic Web Manufacturing systems Manufacturing industries Service oriented architecture Manuals Electronics industry Control systems Reconfigurable logic

来源：评论

学校读者我要写书评

暂无评论

Simulation of PLC ladder logic programming for an automated glass bottle molding and refilling plant

Simulation of PLC ladder logic programming for an automated ...

引用

4th Smart Cities Symposium (SCS 2021)

作者： M. M. Khan O. M. A. Shawareb R. Palaniappan V. Vijean F. G. Nabi A. H. A. Shawareb N. K. Khan Department of Mechatronics Engineering College of Engineering AMA International University Bahrain Faculty of Electronics Engineering Technology Universiti Malaysia Perlis Malaysia Industrial department of Engineering and management University of the Punjab Lahore Pakistan

Automation has been gaining interest in every branch today. the reason for the popularity of automation in industries today is due to its capability to reduce labour cost, reduce material wastage, increase the production quantity, to improve the quality of the product and to reduce idle time in manufacturing industry. In this work, an industrial process of glass molding and filling operation is simulated using the Fiddle PLC simulator. GRAFCET based modelling of discrete event is used in developing the PLC ladder logic program for the industrial process. the proposed method reduces labour cost by 40%, Increases production value by 55%, and reduces material wastage by 20% compared to manual operation. the proposed GRAFCET based model was found to be reliable, efficient, and accurate in performing the control sequence of the glass molding and filling operation. In future, it is proposed to develop the HMI (human machine interface) and the corresponding hardware will be developed for the same application.

关键词： bottles control engineering computing discrete event simulation filling glass industry glass products industrial control logic programming moulding programmable controllers

来源：评论

学校读者我要写书评

暂无评论

Smart Load Optimisation Overload And Short Circuit Fault Monitoring using Programmable logic Controller & SCADA

Smart Load Optimisation Overload And Short Circuit Fault Mon...

引用

Soft Computing for Security Applications (ICSCSA), international conference on

作者： Debraj Bhowmick Hrushikesh V. Adling Amol B. Kawade Dipesh Pardeshi Department of Electrical Engineering Sanjivani College of Engineering Kopargaon A.Nagar India

ISBN: (数字)9798331515720

ISBN: (纸本)9798331515737

this research presents a real-time automatic control system for ensuring reliable power supply in distributed generation systems. Leveraging Programmable logic Controllers (PLCs) and Supervisory Control and Data Acquisition (SCADA), the system prioritizes and dynamically switches loads based on available power sources. By utilizing ladder logic for PLC programming and SCADA for centralized monitoring, the system effectively manages power distribution and minimizes manual intervention. Demonstrated in industrial settings, this approach enhances operational efficiency and reliability, particularly in regions prone to power outages.

关键词： Power supplies Programmable logic devices SCADA systems Power distribution Real-time systems Power grids Circuit faults Security Sustainable development Monitoring

来源：评论

学校读者我要写书评

暂无评论

Probabilistic Planning of Transmission Network Considering Operational Flexibility of Power System

Probabilistic Planning of Transmission Network Considering O...

引用

Smart Power & Internet Energy Systems (SPIES), international conference on

作者： Jianjie Li Ping Li Peng Li Junshao Guo Mingqiang Wang Binzhou Electric Company Binzhou China Key Laboratory of Power System Intelligent Dispatch and Control Ministry of Education Shandong University Jinan China

the uncertainties about equipment failure will bring great challenges to the operation of transmission network. therefore, it is important for transmission network to possess sufficient flexibility to accommodate the fluctuation of load and deal with unit failures. this paper proposes a probabilistic planning model of transmission network considering operational flexibility, which makes decision-making optimization for transmission network planning and reduces the influence of uncertainties about equipment failure. Moreover, the proposed model introduces the probability and expectation of up-flexibility-not-supplied (UFNS) and expected-energy-not-supplied (EENS), then uses penalty cost to quantify them, which enhances the reliability and economy of transmission network planning. Furthermore, the absolute value linearization method is used to linearize the expectation of UFNS and EENS, which greatly improves the calculation efficiency. the proposed model is solved using the CPLEX solver in General algebraic Modeling System (GAMS). the practicality of model is verified by the IEEE-RTS system.

关键词： Uncertainty Fluctuations Probabilistic logic Software Planning Power system reliability Software reliability

来源：评论

学校读者我要写书评

暂无评论

Constraining interference in an object-based design method 4th

引用

4th international Joint conference on the theory and Practice of Software Development, TAPSOFT 1993

作者： Jones, C.B. Department of Computer Science Manchester University M13 9PL United Kingdom

ISBN: (纸本)9783540566106

this paper is the first of a series which are intended to contribute to tractable development methods for concurrent programs by exploring ways in which object-based language concepts can be used to provide a compositional development method for concurrent programs. the property of a (formal) development method which gives the development process the potential for productivity is compositionality;interference is what makes it difficult to find compositional development methods for concurrent systems. this paper shows how object-based concepts can be used to provide a designer with control over interference;it also proposes a transformational style of development (for systems with limited interference) in which concurrency is introduced only in the final stages of design. the essential idea here is to show that certain object graphs limit interference. A companion paper discusses the problems of interference more fully and shows how a suitable logic can be used to reason about those systems where interference plays an essential role. there again, concepts are used in the design notation which are taken from object-oriented languages since they offer control of granularity and way of pinpointing interference. A third paper is in preparation which defines the semantics of the object-based design notation. © Springer-Verlag Berlin Heidelberg 1993.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

An Analysis Tool for Execution of BPEL Services

An Analysis Tool for Execution of BPEL Services

引用

IEEE international conference on e-Commerce Technology (CEC)

作者： Ariane Gravel Xiang Fu Jianwen Su Department of Computer Science University of California Santa Barbara USA CIS School Georgia Southwestern State University USA

BPEL is used for specifying Web services. In spite of numerous recent efforts in both statically analyzing service specifications and support for service execution, there is still an urgent need for quality assurance for BPEL services in two aspects: (1) lack of tools, techniques to aid under-standing BPEL service specifications and execution in order to make informed decisions about the correctness of its observed functionality, (2) maneuverability in exploring a service execution to identify the source of an erroneous service. In this paper, we develop an Execution Analysis tool for BPEL (EA4B) to address both aspects. EA4B defines an execution log for BPEL. EA4B can read the execution log for post-execution debugging or for near real-time monitoring. EA4B provides an interactive GUI and can walk-through its execution. In addition, EA4B can be integrated with static analysis tools such as WSAT: Error traces generated by WSAT are translated to log files and visually displayed. EA4B provides an execution analysis tool to ease the understanding of a BPEL service and aid in development and debugging tasks.

关键词： Debugging Monitoring Switches Quality assurance Graphical user interfaces logic Visualization Web services programming Application software

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共55页 << < 46 47 48 49 50 51 52 53 54 55 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：