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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

86 篇 会议
36 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

82 篇 工学
- 56 篇 计算机科学与技术...
- 49 篇 软件工程
- 23 篇 控制科学与工程
- 20 篇 信息与通信工程
- 11 篇 电气工程
- 10 篇 电子科学与技术（可...
- 7 篇 动力工程及工程热...
- 7 篇 化学工程与技术
- 7 篇 生物工程
- 6 篇 机械工程
- 5 篇 光学工程
- 3 篇 力学（可授工学、理...
- 3 篇 仪器科学与技术
- 3 篇 建筑学
- 3 篇 交通运输工程
52 篇 理学
- 36 篇 数学
- 10 篇 系统科学
- 9 篇 化学
- 9 篇 统计学（可授理学、...
- 8 篇 物理学
- 7 篇 生物学
21 篇 管理学
- 17 篇 管理科学与工程(可...
- 7 篇 工商管理
- 7 篇 图书情报与档案管...
3 篇 法学
- 2 篇 社会学
3 篇 教育学
- 3 篇 教育学
3 篇 农学
- 3 篇 作物学
3 篇 医学
- 3 篇 基础医学(可授医学...
- 3 篇 临床医学
2 篇 经济学
- 2 篇 应用经济学

主题

4 篇 task analysis
4 篇 semantics
4 篇 analytical model...
4 篇 training
3 篇 software enginee...
3 篇 natural language...
3 篇 face recognition
3 篇 data models
3 篇 multi agent syst...
2 篇 software systems
2 篇 conferences
2 篇 reinforcement le...
2 篇 support vector m...
2 篇 deep learning
2 篇 simulation
2 篇 state feedback
2 篇 automation
2 篇 target tracking
2 篇 java
2 篇 convolution

机构

7 篇 national enginee...
6 篇 the state key la...
6 篇 state key labora...
5 篇 national enginee...
4 篇 college of compu...
4 篇 state key lab. f...
3 篇 school of advanc...
3 篇 school of comput...
3 篇 xiangjiang lab
3 篇 international sc...
3 篇 state key lab. o...
3 篇 school of contro...
3 篇 peng cheng labor...
3 篇 networking and i...
3 篇 key lab. of soft...
3 篇 key laboratory o...
3 篇 state key lab. f...
3 篇 key lab. of soft...
3 篇 school of electr...
2 篇 school of mathem...

作者

10 篇 xie guangming
10 篇 wang chen
8 篇 guangming xie
8 篇 chen wang
5 篇 li shuai
4 篇 xuechen zhao
4 篇 feng xie
4 篇 song lei
4 篇 shuai li
4 篇 xia weiguo
4 篇 liu jin
4 篇 bin zhou
3 篇 peichang shi
3 篇 sun jinan
3 篇 zhang wensheng
3 篇 chen guangyi
3 篇 zhou bin
3 篇 penghui ma
3 篇 lei tian
3 篇 yang jianying

语言

115 篇 英文
5 篇 中文
2 篇 其他

检索条件"机构=Key Lab. of Software Engineering for Complex Systems"

共 122 条记录，以下是31-40 订阅

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

详细简洁

排序：

An algebraic approach to mechanical tabu search algorithm generation

An algebraic approach to mechanical tabu search algorithm ge...

引用

IEEE International Conference on Progress in Informatics and Computing (PIC)

作者： Zheng, Yujun Shi, Haihe Xue, Jinyun Provincial Key Lab. of High-Performance Computing Jiangxi Normal University Nanchang China Beijing Systems Engineering Institute of Equipments Beijing China Institute of Software Chinese Academy of Sciences Beijing China

ISBN: (纸本)9781424467860

Traditional approaches to apply tabu search method typically require formulating an algorithmic structure for each individual problem. Based on algebraic specifications, the paper presents a unified and mechanical framework for implementing tabu search algorithms for combinatorial optimization problems. We define a generalized specification using high-order functions to describe search strategies, from which efficient algorithms can be generated for concrete problems by data type refinement and functional refinement. We also extend the framework for multi-objective problems by enriching specification behaviors. Our approach achieves a high level of abstraction and mechanization without losing performance. ©2010 IEEE.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Fast double-parallel image processing based on FPGA

Fast double-parallel image processing based on FPGA

引用

IEEE International Conference on Vehicular Electronics and Safety

作者： Li, Ye Yao, Qingming Tian, Bin Xu, Wencong State Key Lab. of Intelligent Control and Management of Complex Systems Institute of Automation Chinese Academy of Sciences Beijing 100190 China School of Mechanical Electrical and Information Engineering Shandong University Weihai 264209 China

ISBN: (纸本)9781457705762

Due to FPGA's flexibility and parallelism, it is popular for accelerating image processing. In this paper, a double-parallel architecture based on FPGA has been exploited to speed up median filter and edge detection tasks, which are essential steps during image processing. The double-parallel scheme includes an image-level parallel and an operation-level parallel. The image-level parallel is a high-level parallel which divides one image into different parts and processes them concurrently. The operation-level parallel, which is embedded in each image-level parallel thread, fully explores every parallel part inside the concrete algorithms. The corresponding design is based on a DE2 Development Board which contains a CYCLONE II FPGA device. Meanwhile, the same task has also been implemented on PC and DSP for performance comparison. Despite the fact that operating frequencies of used PC and DSP are much higher than FPGA's, FPGA costs less time per computed image than both of them. By taking advantage of the double-parallel technique, the speed/frequency ratio of FPGA is 202 times faster than PC and 147 times faster than DSP. Finally, a detailed discussion about different platforms is conducted, which analyzes advantages and disadvantages of used computing platforms. This paper reveals that the proposed double-parallel scheme can dramatically speed up image processing methods even on a low-cost FPGA platform with low frequency and limited resources, which is very meaningful for practical applications. © 2011 IEEE.

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

A class of uncertain pendulum-like systems with several nonlinearities

A class of uncertain pendulum-like systems with several nonl...

引用

2007 American Control Conference, ACC

作者： Lu, Pingli Yang, Ying Huang, Lin Department of Mechanics and Aerospace Technology College of Engineering Peking University Beijing 100871 China State Key Lab. for Turbulence and Complex Systems Department of Mechanics and Aerospace Technology Peking University Beijing 100871 China

ISBN: (纸本)1424409888

This paper considers the existence of cycles of the second kind in uncertain pendulum-like systems with several nonlinearities. Based on Kalman-Yakubovich-Popov (KYP) lemma, which establishes the equivalence between frequency domain inequalities(FDIs) and linear matrix inequalities(LMIs), LMI conditions guaranteeing the existence of cycles of the second kind for such nonlinear systems under parameter uncertainties are established. In virtue of the results, an interesting conclusion is reached that synthesis problem ensuring the existence of cycles of the second kind for such uncertain nonlinear system can be converted into synthesis problem for a system without uncertainties. A practical example about synchronous machine demonstrates the validity of the present approach. © 2007 IEEE.

关键词： Linear matrix inequalities

来源：评论

学校读者我要写书评

暂无评论

Efficient Mobile Deployment of Lightweight CNN-Transformer Model for Crop Disease Diagnosis in Smart Agriculture 4

Efficient Mobile Deployment of Lightweight CNN-Transformer M...

引用

4th Asia Conference on Information engineering, ACIE 2024

作者： Lv, Zirong China University of Geosciences Hubei Key Lab. of Adv. Control and Intelligent Automation for Complex Systems Engineering Research Center of Intelligent Technology for Geo-Exploration Ministry of Education School of Automation Wuhan China

ISBN: (纸本)9798350371925

Crop disease diagnosis is of great significance for crop yield and agricultural production. Deep learning methods have become a major research direction for solving crop disease diagnosis. However, recent studies have shown that deploying complex neural network models on mobile devices poses a significant challenge to mobile hardware performance. To address this issue, this paper proposes a lightweight network model based on the Transformer and deploys it on mobile devices. Compared to other lightweight network models, our approach significantly reduces computational complexity using Transformer modules and exhibits a particular advantage in recognition accuracy. It achieves a recognition rate of 97.76% for ten categories of tomato diseases, while the model size is only 3.86 MB. Furthermore, we deploy the model on embedded devices and apply it to tomato crop recognition, enabling farmers to monitor crop conditions in real-time and realizing smart agriculture. © 2024 IEEE.

关键词： Deep learning

来源：评论

学校读者我要写书评

暂无评论

Evolution of Cooperation in Snowdrift Game with Multi-Memory Mechanism 42

Evolution of Cooperation in Snowdrift Game with Multi-Memory...

引用

42nd Chinese Control Conference, CCC 2023

作者： Liu, Yaojun Liu, Xingwen Tashi, Nyima College of Electrical Engineering Southwest Minzu University Lab. of Complex Systems & Intelligent Control Key Lab. of Electronic Information of State Ethnic Affairs Commission Sichuan Chengdu610225 China Engineering Research Center for Tibetan Information Processing School of Information Science and Technology Tibet University Lhasa850000 China

ISBN: (纸本)9789887581543

Cooperative behavior has been of great concern in evolutionary game researches because of its important role in social life and natural evolution. Since memory can greatly influence the emergence of cooperative behavior, memory-based research on evolutionary games has proliferated in recent years. In the present paper, inspired by the well-known 'Stanford marshmallow experiment' (SME), we proposed a multi-memory mechanism in Snowdrift game (SDG) on spatial lattice networks whose core lies in what follows: Players are divided into two groups according to individual self-control;different memory lengths are set by group and by time in a single realization. The simulation results show that our proposed mechanism promotes cooperation level of the considered evolutionary game. More specifically, as memory length increases to an intermediate length, the cooperation level increases as well. For mechanism with short memory length, the effect of population structure is obvious and small values of adjusting factor can intensively facilitate high-frequency cooperative behavior. These findings may be helpful to understand the connection between population heterogeneity and the emergence of high cooperation. © 2023 Technical Committee on Control Theory, Chinese Association of Automation.

关键词： Behavioral research

来源：评论

学校读者我要写书评

暂无评论

Success factors in Mobile Social Networking application development: Case study of instagram 14

Success factors in Mobile Social Networking application deve...

引用

29th Annual ACM Symposium on Applied Computing, SAC 2014

作者： Peng, Rong Sun, Dong Tsai, Wei-Tek State Key Lab. of Software Engineering School of Computer Wuhan University Wuhan City Hubei Province 470032 China School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ 85287 United States

ISBN: (纸本)9781450324694

The distinguished features of mobile computing bring both opportunities and challenges to the development of Mobile Social Networking (MSN) applications. Learning the successful experiences from existing MSN applications is valuable to both industry and academy. The paper aims at identifying the success factors of Instagram, a well-known MSN application. By performing a historical case study, rapid development and reaction, continuous focus on system scalab.lity on demand, and creating a good external environment are regarded as the three important success factors. To achieve those success factors, 1) using existing mature Open Source software (OSS) extensively and consulting resident experts at websites when necessary are the secrets to develop and react to new requirements rapidly;2) monitoring the status of the system by tools and focusing on scalab.lity in both architecture design and detail optimization are vital to guarantee the system scalab.e on demand;and 3) creating appropriate social networks for different type of stakeholders using right popular social media tools is important to create a good external environment effectively. Based on these insights, the development methodology of Instagram has been extracted, that can be used to guide the MSN application development. At the end, the validation, reliability and generalizability of the information gathered from the case study are discussed thoroughly. Copyright 2014 ACM.

关键词： Computer software reusability

来源：评论

学校读者我要写书评

暂无评论

Improving the accuracy of object tracking in three dimensional WSNs using Bayesian estimation methods

Improving the accuracy of object tracking in three dimension...

引用

International Workshop on Wireless Network Algorithm and Theory

作者： Du, Junzhao Mao, Lei Liu, Hui Wu, Bo Guo, Deke Software Engineering Institute Xidian University Xi'an 710071 Shannxi China State Key Lab. of ISN Xidian University Xi'an 710071 Shannxi China Key Lab. of C4ISR Technology College of Information Systems and Management National University of Defense Technology Changsha 410073 Hunan China

ISBN: (纸本)9780769543222

Target tracking plays a critical role in the applications of wireless sensor networks. In this paper, we propose a target tracking algorithm based on Bayesian estimation, the key steps involved in the algorithm include target detection based on a probabilistic model, preliminary localization using the two-stage target locating algorithm, further prediction adopting Bayesian estimation. Simulation results show that our simple and effective algorithm can accurately track the target and save much energy during the tracking process of a moving target. © 2010 IEEE.

关键词： Target tracking

来源：评论

学校读者我要写书评

暂无评论

Automated reasoning with goal tree models for software quality requirements

Automated reasoning with goal tree models for software quali...

引用

36th Annual IEEE International Computer software and Applications Conference Workshops, COMPSACW 2012

作者： Wei, Bo Jin, Zhi Zowghi, Didar Yin, Bin Academy of Math and Systems Science Chinese Academy of Sciences Beijing China Key Lab. of High Confidence Software Technology Peking University Beijing China Faculty of Engineering and IT University of Technology Sydney NSW Australia

ISBN: (纸本)9780769547589

Implementation of software quality requirements is critical for producing high-quality softwares. High-level quality requirements are usually refined stepwise by different low-level quality requirements, until some potential functional design alternatives are identified. An important question is how design alternatives can be effectively selected to satisfice the quality requirements. This paper focuses on the satisficing statuses of nodes in the quality requirements goal tree models, and presents an automated reasoning technique to select design alternatives. The final satisficing status of quality requirements can be obtained provided that the satisficing statuses of design alternatives are assigned. Existing approaches propose reasoning approaches which do not support efficient identification if many design alternatives and candidate solutions may exist. Our work provides an alternative approach to identify what is the acceptable design decision in a timely manner. A case study is also presented to illustrate our proposed automated reasoning approach. © 2012 IEEE.

关键词： Automation

来源：评论

学校读者我要写书评

暂无评论

Hybrid earliest deadline first /preemption threshold scheduling for real-time systems

Hybrid earliest deadline first /preemption threshold schedul...

引用

Proceedings of 2004 International Conference on Machine Learning and Cybernetics

作者： He, Dong-Zhi Wang, Fei-Yue Li, Wei Zhang, Xiang-Wen Key Lab. Complex Syst./Intell. Sci. Institute of Automation Chinese Academy of Sciences Beijing 100080 China Department of Systems Engineering University of Arizona Tucson AZ 85721 United States

ISBN: (纸本)0780384032

As embedded systems geting increasingly complex, preemption overheads become a serious load problem for many microchip-based application specific systems, and sometimes may even jeopardize the system schedulab.lity. This paper presents a dynamic preemption threshold scheduling (DPT) that integrates preemption threshold scheduling into the earliest deadline first The DPT scheduling can effectively reduce context switching by threads assignment and changing task dynamic preemption threshold at runtime. Meanwhile, because the algorithm is based on dynamic scheduling, it can achieve higher processor utilization with relatively low costs in preemption switching and memory requirements. The DPT scheduling can also perfectly schedule a mixed task set with preemptive and non-preemptive tasks, and subsumes both as special cases.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Domain-adaptive Graph based on Post-hoc Explanation for Cross-domain Hate Speech Detection

Domain-adaptive Graph based on Post-hoc Explanation for Cros...

引用

International Conference on Tools for Artificial Intelligence (ICTAI)

作者： Yushan Jiang Bin Zhou Xuechen Zhao Jiaying Zou Feng Xie Liang Li School of Computer National University of Defence Technology Changsha China Key Lab. of Software Engineering for Complex Systems National University of Defence Technology Changsha China

Hate speech detection is hampered by the scarcity and topical and lexical biases of annotated data, leading to poor generalization. It is imperative to devise a cross-domain approach to solve this problem. The ability to learn transferable knowledge is critical for cross-domain hate speech detection. In this work, We propose a domain-adaptive dependency graph method based on post-hoc explanation (DPDG). We extract post-hoc explanations from fine-tuned BERT classifiers as the importance score for hate representation. Based on these, we construct in-domain graph and cross-domain graph to better learn in-domain hate representation and adapt to the target domain respectively. Finally, we use interactive GCN blocks to interactively and adaptively learn and adjust the domain adaptive graph representation. The results of cross-domain experiments on multiple domains show that our proposed model outperforms competitive baselines in cross-domain hate speech detection.

关键词： Weight measurement Adaptation models Analytical models Image edge detection Hate speech Neural networks Natural languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共13页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：