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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

397 篇 会议
236 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

448 篇 工学
- 279 篇 计算机科学与技术...
- 209 篇 软件工程
- 98 篇 信息与通信工程
- 89 篇 控制科学与工程
- 49 篇 电子科学与技术（可...
- 42 篇 机械工程
- 41 篇 电气工程
- 37 篇 生物工程
- 34 篇 交通运输工程
- 17 篇 安全科学与工程
- 16 篇 仪器科学与技术
- 16 篇 化学工程与技术
- 16 篇 生物医学工程（可授...
- 15 篇 光学工程
- 12 篇 动力工程及工程热...
- 12 篇 网络空间安全
- 9 篇 材料科学与工程（可...
217 篇 理学
- 151 篇 数学
- 44 篇 系统科学
- 41 篇 生物学
- 38 篇 统计学（可授理学、...
- 26 篇 物理学
- 13 篇 化学
137 篇 管理学
- 89 篇 管理科学与工程(可...
- 64 篇 图书情报与档案管...
- 33 篇 工商管理
23 篇 法学
- 21 篇 社会学
14 篇 医学
- 11 篇 基础医学(可授医学...
- 10 篇 临床医学
9 篇 经济学
- 9 篇 应用经济学
3 篇 农学
2 篇 文学

主题

27 篇 petri nets
24 篇 feature extracti...
16 篇 web services
16 篇 training
13 篇 support vector m...
11 篇 data mining
10 篇 roads
10 篇 optimization
10 篇 graph neural net...
10 篇 computational mo...
10 篇 algorithm design...
9 篇 conferences
9 篇 accuracy
9 篇 synchronization
9 篇 mathematical mod...
8 篇 throughput
8 篇 laboratories
8 篇 schedules
8 篇 mapreduce
8 篇 wireless sensor ...

机构

121 篇 key laboratory o...
86 篇 department of co...
71 篇 the key laborato...
55 篇 key laboratory o...
32 篇 key laboratory o...
19 篇 department of el...
14 篇 department of co...
14 篇 department of co...
14 篇 shanghai artific...
13 篇 the key laborato...
13 篇 key laboratory o...
13 篇 department of el...
11 篇 key laboratory o...
11 篇 school of softwa...
10 篇 school of engine...
10 篇 the key laborato...
10 篇 ieee
9 篇 key laboratory o...
9 篇 school of electr...
9 篇 school of electr...

作者

37 篇 changjun jiang
37 篇 jiang changjun
34 篇 zhou mengchu
24 篇 mengchu zhou
21 篇 cheng wang
20 篇 zhao junqiao
19 篇 yan chungang
19 篇 ding zhijun
18 篇 ye chen
17 篇 li maozhen
17 篇 wang cheng
17 篇 miao duoqian
16 篇 wang hanli
15 篇 chungang yan
13 篇 liu xiwei
13 篇 fuqiang liu
12 篇 xiwei liu
12 篇 xiang-yang li
12 篇 zhijun ding
11 篇 liu guanjun

语言

597 篇 英文
27 篇 中文
13 篇 其他

检索条件"机构=the Key Laboratory of Embedded System and Service Computing"

共 634 条记录，以下是231-240 订阅

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

详细简洁

排序：

service on demand of transportation information grid system model and analysis based on TCPN

Service on demand of transportation information grid system ...

引用

2012 International Conference on Computer Science and Electronics Engineering, ICCSEE 2012

作者： Li, Jingxia Zhao, Huijuan Wu, Guodong School of Information and Computer Science Anhui Agricultural University Hefei Anhui Province China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China Information College Shanghai Ocean University Shanghai China

ISBN: (纸本)9780769546476

Along with the application and popularity of transportation information grid system, users become more and more, original configuration can't meet actual demand. In this paper we establish timed colored Petri net process model for service On Demand process, which is one of the main service provided by the system. Through simulating increasing users and the amount of processes waiting for service On Demand request, we analysis request response time change, and provide beneficial reference for extension of system configuration. © 2012 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

A polynomial algorithm to performance analysis of concurrent systems via petri nets and ordinary differential equations

A polynomial algorithm to performance analysis of concurrent...

引用

作者： Ding, Zuohua Zhou, Yuan Zhou, Meng Chu Laboratory of Intelligent Computing and Software Engineering Zhejiang Sci-Tech University Hangzhou310018 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai200092 China Department of Electrical and Computer Engineering New Jersey Institute of Technology NewarkNJ07102-1982 United States

In this paper, a new method is proposed to evaluate the performance of concurrent systems. A concurrent system consisting of multiple processes that communicate via message passing mechanisms is modeled by a Petri net, which is in turn represented by a set of ordinary differential equations (ODEs) of a restricted type. The equations describe the system state changes, and the solutions, also called state measures, can be used for the performance analysis such as estimating response time, throughput and efficiency. This method can avoid a state explosion problem encountered by the conventional methods based on Continuous-Time Markov Chains. Its application to an IBM business system is given as an example. © 2004-2012 IEEE.

关键词： Ordinary differential equations

来源：评论

学校读者我要写书评

暂无评论

Traffic sign classification base on latent dirichlet allocation 1

引用

6th International Conference on Frontier computing, FC 2017

作者： Song, Lei Liu, Zheyuan Zhang, Xiaoteng Duan, Huixian Liu, Na Dai, Jie The Third Research Institute of the Ministry of Public Security Shanghai China The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China Shanghai International Technology and Trade United Co. Ltd Shanghai China

ISBN: (数字)9789811073984

ISBN: (纸本)9789811073977

Traffic sign classification is a significant issue in the intelligent vehicle domain, which helps vehicles to follow the traffic rules and ensure the safety. Feature selection and description are very important and difficult for classification. In this paper, a novel traffic sign classification method is proposed which is based on the Latent Dirichlet Allocation (LDA) model. Feature topics are modeled based on various traffic signs by the LDA automatically. And traffic signs captured onboard are classified according to the modeled features. The experiment results show the efficiency of our work. © 2018, Springer Nature Singapore Pte Ltd.

关键词： Traffic signs

来源：评论

学校读者我要写书评

暂无评论

Finite-time Cluster Synchronization of Complex Networks With Time-Varying Delays

Finite-time Cluster Synchronization of Complex Networks With...

引用

第28届中国控制与决策会议

作者： Xiwei Liu Shaohua Li Department of Computer Science and Technology Tongji University The Key Laboratory of Embedded System and Service Computing Ministry of Education

ISBN: (纸本)9781467397155

In this paper,we study the finite-time cluster synchronization of complex networks with time *** are two different types of time-varying delays in the network:the internal time delay and the coupling ***'s more,we assume that coupling time-varying delays exist only between nodes in different clusters,while no delay happens between nodes in the same cluster,which is more consistent with the real *** on the Lyapunov stability theorem,sufficient conditions are derived to guarantee the realization of the finite-time cluster ***,numerical simulations are provided to support the obtained theoretical results.

关键词： Complex network Cluster synchronization Finite-time Time-varying delays

来源：评论

学校读者我要写书评

暂无评论

Lag Quasi-synchronization of Nonlinear Coupled Networks via Aperiodically Intermittent Pinning Control

Lag Quasi-synchronization of Nonlinear Coupled Networks via ...

引用

第27届中国控制与决策会议

作者： Xiwei Liu Ying Liu Department of Computer Science and Technology Tongji Universityand with the Key Laboratory of Embedded System and Service ComputingMinistry of Education

ISBN: (纸本)9781479970186

The lag quasi-synchronization of nonlinear coupled networks with time-varying delay in the presence of parameter mismatches by using aperiodically intermittent pinning control is investigated in this *** paper has two main differences with previous works:one is that the type of the intermittent pinning control is aperiodic while that in previous works is periodic;the other is that the coupling function we choose is *** utilizing the aperiodically intermittent pinning control idea,we pin the coupled networks by a simple controller to achieve the lag *** sufficient criteria are obtained to guarantee lag *** last,some simulations are presented to verify the correctness of the obtained theoretical results.

关键词： Aperiodic Intermittent Lag Nonlinear coupling Quasi-synchronization

来源：评论

学校读者我要写书评

暂无评论

Pinning Control of Complex Networks With Unbounded Time-Varying Delays

Pinning Control of Complex Networks With Unbounded Time-Vary...

引用

第27届中国控制与决策会议

作者： Xiwei Liu Yuan Xu Department of Computer Science and Technology Tongji Universityand with the Key Laboratory of Embedded System and Service ComputingMinistry of Education

The pinning control problem of directed complex dynamical networks with unbounded time-varying delays is investigated in this *** related works investigate the synchronization without any external control;while in this paper,external pinning control is added on the network,and this is the main difference between this paper and previous *** order to realize the synchronization,we design a simple controller to pin the *** sufficient criteria are deduced from the method of linear matrix inequality(LMI).Finally,the correct of our theoretical results is verified by numerical examples.

关键词： Complex networks Pinning control Synchronization Time-varying Unbounded delay

来源：评论

学校读者我要写书评

暂无评论

DAG-Aware Joint Task Scheduling and Cache Management in Spark Clusters

DAG-Aware Joint Task Scheduling and Cache Management in Spar...

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： Yinggen Xu Liu Liu Zhijun Ding The Key Lab of Embedded System and Service Computing Tongji University Shanghai China

ISBN: (数字)9781728168760

ISBN: (纸本)9781728168777

Data dependency, often presented as directed acyclic graph (DAG), is a crucial application semantics for the performance of data analytic platforms such as Spark. Spark comes with two built-in schedulers, namely FIFO and Fair scheduler, which do not take advantage of data dependency structures. Recently proposed DAG-aware task scheduling approaches, notably GRAPHENE, have achieved significant performance improvements but paid little attention to cache management. The resulted data access patterns interact poorly with the built-in LRU caching, leading to significant cache misses and performance degradation. On the other hand, DAG-aware caching schemes, such as Most Reference Distance (MRD), are designed for FIFO scheduler instead of DAG-aware task *** this paper, we propose and develop a middleware Dagon, which leverages the complexity and heterogeneity of DAGs to jointly execute task scheduling and cache management. Dagon relies on three key mechanisms: DAG-aware task assignment that considers dependency structure and heterogeneous resource demands to reduce potential resource fragmentation, sensitivity-aware delay scheduling that prevents executors from long waiting for tasks insensitive to locality, and priority-aware caching that makes the cache eviction and prefetching decisions based on the stage priority determined by DAG-aware task assignment. We have implemented Dagon in Apache Spark. Evaluation on a testbed shows that Dagon improves the job completion time by up to 42% and CPU utilization by up to 46% respectively, compared to GRAPHENE plus MRD.

关键词： Task analysis Delays Sparks Data analysis Graphene Complexity theory Sensitivity

来源：评论

学校读者我要写书评

暂无评论

Research on Practical Implementation of Binary Arithmetic Coding with Forbidden Symbol for Error Resilience

Research on Practical Implementation of Binary Arithmetic Co...

引用

2011 International Conference on Frontiers in Computer Education(ICFCE 2011)

作者： Wei Zhang Feng Cen Fanglai Zhu The Key Laboratory of Embedded System and Service Computing Ministry of Education Department of Control Science & Engineering Tongji University

Arithmetic coding is a widely applied compression tool with superior coding efficiency to other entropy coding methodsHowever, it suffers from the error resilience and complexityIn this paper, the integer implementation of binary arithmetic coding with forbidden symbol for error resilience is studiedCoding redundancies for employing different quantization coefficients in probability representation and cost effective backtracking distance in bits for maximum a posteriori(MAP) decoding are studied in depthWe observe that the optimal quantization coefficients are independent of forbidden symbol and the probabilities of source and the cost effective backtracking distance is related to the source entropy and the given forbidden symbol probabilitiesSuch observations are also demonstrated by extensive experiments.

关键词： Arithmetic coding Forbidden symbol Error resilience MAP

来源：评论

学校读者我要写书评

暂无评论

Synchronization of Multi-Weighted and Directed Network Under Pinning Impulsive Control

Synchronization of Multi-Weighted and Directed Network Under...

引用

Chinese Automation Congress (CAC)

作者： Xiaohan Hu Xiwei Liu Tongji University Shanghai China Key Laboratory of Embedded System and Service Computing Tongji University Shanghai China

ISBN: (纸本)9781665426480

In this paper, multi-weighted and directed complex dynamic networks (MWDCDNs) under the control of hybrid impulses are analyzed. Two cases are considered. In the first case, impulses can be only applied on one fixed node. In the other case, impulses are applied on different nodes according to whether they are synchronized or de-synchronized in MWDCDNs with unbounded time delay. By limiting impulsive interval and Chebyshev distance between the normalized left eigenvectors (NLEVec) of multiple coupling matrices corresponding to the zero eigenvalue, we obtain some criteria for the synchronization of MWDCNs. Some numerical simulation are also given.

关键词： Couplings Sufficient conditions Limiting Automation Delay effects Chebyshev approximation Numerical simulation

来源：评论

学校读者我要写书评

暂无评论

Information Security Evaluation by Information Flow Analysis Based on Stochastic Petri Nets

Information Security Evaluation by Information Flow Analysis...

引用

2024 IEEE International Conference on systems, Man, and Cybernetics, SMC 2024

作者： Tu, Hanqian Xiang, Dongming Lin, Wang Liu, Guanjun Zhejiang Sci-Tech University Department of Computer Science and Technology Hangzhou310018 China Shanghai Electronic Transactions and Information Service Collaborative Innovation Center Tongji University Key Laboratory of Embedded System and Service Computing Ministry of Education Department of Computer Science Shanghai201804 China

ISBN: (纸本)9781665410205

The Petri-net-based information flow analysis offers an effective approach for detecting information leakage by the concept of non-interference. Although the related studies propose efficient solutions, they lack quantitative evaluation on information leakage. In this paper, we propose a novel method for quantitative evaluation of information security based on stochastic labeled Petri nets (SLPNs) and information flow analysis. Specifically, we introduce four different levels of security metrics, and provide a methodology for evaluating the information security. Furthermore, a case study is presented to show the feasibility of our method. © 2024 IEEE.

关键词： Information leakage

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共64页 << < 20 21 22 23 24 25 26 27 28 29 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：