咨询与建议

限定检索结果

文献类型

  • 2,011 篇 期刊文献
  • 1,885 篇 会议
  • 32 篇 学位论文
  • 4 篇 资讯

馆藏范围

  • 3,932 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,542 篇 工学
    • 1,689 篇 计算机科学与技术...
    • 829 篇 电气工程
    • 679 篇 软件工程
    • 429 篇 信息与通信工程
    • 209 篇 控制科学与工程
    • 148 篇 电子科学与技术(可...
    • 105 篇 交通运输工程
    • 104 篇 机械工程
    • 74 篇 土木工程
    • 49 篇 石油与天然气工程
    • 36 篇 建筑学
    • 34 篇 仪器科学与技术
    • 28 篇 测绘科学与技术
    • 26 篇 生物工程
    • 24 篇 力学(可授工学、理...
    • 24 篇 材料科学与工程(可...
    • 24 篇 动力工程及工程热...
    • 22 篇 环境科学与工程(可...
  • 1,193 篇 理学
    • 989 篇 数学
    • 108 篇 物理学
    • 79 篇 生物学
    • 67 篇 系统科学
    • 58 篇 统计学(可授理学、...
    • 12 篇 化学
  • 614 篇 管理学
    • 586 篇 管理科学与工程(可...
    • 80 篇 工商管理
    • 16 篇 图书情报与档案管...
  • 116 篇 经济学
    • 86 篇 应用经济学
    • 23 篇 理论经济学
  • 41 篇 医学
    • 17 篇 临床医学
  • 29 篇 农学
  • 13 篇 法学
  • 10 篇 教育学
  • 9 篇 文学
  • 6 篇 艺术学
  • 3 篇 军事学

主题

  • 3,932 篇 integer linear p...
  • 225 篇 linear programmi...
  • 223 篇 optimization
  • 169 篇 routing
  • 162 篇 costs
  • 114 篇 processor schedu...
  • 113 篇 heuristic algori...
  • 92 篇 scheduling
  • 90 篇 computer science
  • 89 篇 bandwidth
  • 85 篇 energy consumpti...
  • 79 篇 algorithm design...
  • 77 篇 testing
  • 75 篇 cost function
  • 74 篇 resource managem...
  • 71 篇 optical fiber ne...
  • 71 篇 constraint optim...
  • 71 篇 computational mo...
  • 71 篇 delay
  • 70 篇 telecommunicatio...

机构

  • 12 篇 xidian univ sch ...
  • 11 篇 macau univ sci &...
  • 11 篇 naval postgradua...
  • 10 篇 duke univ dept e...
  • 9 篇 kyoto univ grad ...
  • 9 篇 southwest jiaoto...
  • 8 篇 nanyang technol ...
  • 8 篇 kyoto univ grad ...
  • 7 篇 beijing jiaotong...
  • 7 篇 tech univ munich...
  • 6 篇 macau univ sci &...
  • 6 篇 wright state uni...
  • 6 篇 polytech bari de...
  • 6 篇 department of el...
  • 6 篇 kyoto univ kyoto
  • 6 篇 kyoto university...
  • 6 篇 consejo nacl inv...
  • 6 篇 univ massachuset...
  • 6 篇 department of el...
  • 5 篇 new jersey inst ...

作者

  • 27 篇 oki eiji
  • 18 篇 li zhiwu
  • 15 篇 dao thanh hai
  • 14 篇 sato takehiro
  • 13 篇 de sousa amaro
  • 12 篇 santos dorabella
  • 11 篇 fanti maria pia
  • 11 篇 delorme xavier
  • 10 篇 hanzalek zdenek
  • 10 篇 eiji oki
  • 9 篇 maria pia fanti
  • 9 篇 picelli renato
  • 9 篇 dolgui alexandre
  • 9 篇 mangini agostino...
  • 9 篇 tomiyama hiroyuk...
  • 9 篇 gouveia luis
  • 8 篇 dauzere-peres st...
  • 8 篇 soumya j.
  • 8 篇 righini giovanni
  • 8 篇 gomes teresa

语言

  • 3,610 篇 英文
  • 291 篇 其他
  • 24 篇 中文
  • 3 篇 土耳其文
  • 2 篇 葡萄牙文
  • 1 篇 西班牙文
检索条件"主题词=integer linear programming"
3932 条 记 录,以下是71-80 订阅
排序:
Power Minimization for Dual- and Triple-Supply Digital Circuits via integer linear programming
收藏 引用
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES 2009年 第9期E92A卷 2318-2325页
作者: Ahn, Ki-Yong Kyung, Chong-Min Korea Adv Inst Sci & Technol Sch Elect Engn & Comp Sci Taejon South Korea
This paper proposes an integer linear programming (ILP)-based power minimization method by partitioning into regions, first, with three different V-DD's(PM3V), and, secondly, with two different V-DD's(PM2V). T... 详细信息
来源: 评论
IntSat: integer linear programming by conflict-driven constraint learning
收藏 引用
OPTIMIZATION METHODS & SOFTWARE 2024年 第1期40卷 169-196页
作者: Nieuwenhuis, Robert Oliveras, Albert Rodriguez-Carbonell, Enric Univ Politecn Cataluna Dept Comp Sci Barcelona Spain
State-of-the-art SAT solvers are nowadays able to handle huge real-world instances. The key to this success is the Conflict-Driven Clause-Learning (CDCL) scheme, which encompasses a number of techniques that exploit t... 详细信息
来源: 评论
On-line verification of initial-state opacity by Petri nets and integer linear programming
收藏 引用
ISA TRANSACTIONS 2019年 93卷 108-114页
作者: Cong, Xuya Fanti, Maira Pia Mangini, Agostino Marcello Li, Zhiwu Xidian Univ Sch Electromech Engn 2 South Taibai Rd Xian 710071 Shaanxi Peoples R China Polytech Bari Dept Elect & Informat Engn I-70125 Bari Italy Macau Univ Sci & Technol Inst Syst Engn Taipa Macao Peoples R China
This paper deals with a problem related to the observability of discrete event systems: the initial-state opacity. Given a set of system states (the secret), a system observation is called initial-state opaque if an a... 详细信息
来源: 评论
New integer linear programming approaches for course timetabling
收藏 引用
COMPUTERS & OPERATIONS RESEARCH 2008年 第7期35卷 2209-2233页
作者: Boland, Natashia Hughes, Barry D. Merlot, Liam T. G. Stuckey, Peter J. Univ Melbourne Dept Math & Stat Melbourne Vic 3010 Australia Quantm Melbourne Vic 3000 Australia Univ Melbourne Dept Comp Sci & Software Engn Melbourne Vic 3010 Australia
The most complete form of academic timetabling problem is the population and course timetabling problem. In this problem, there may be multiple classes of each subject, and the decision on which students are to consti... 详细信息
来源: 评论
DNA solution of integer linear programming
收藏 引用
APPLIED MATHEMATICS AND COMPUTATION 2005年 第1期170卷 626-632页
作者: Wang, SY Yang, AM Shanxi Univ Dept Math Taiyuan 030006 Shanxi Peoples R China
The integer linear programming is an NP-complete problem. In this paper, a detailed discussion is given of DNA algorithms for the DNA solution of the integer linear programming. (c) 2005 Elsevier Inc. All rights reser... 详细信息
来源: 评论
VOLTAGE CONTROL USING A COMBINED integer linear-programming AND RULE-BASED APPROACH
收藏 引用
IEEE TRANSACTIONS ON POWER SYSTEMS 1992年 第2期7卷 744-752页
作者: HSU, YY HO, KL LIANG, CC LAI, TS BIJWE, PR KOTHARI, DP TAIWAN POWER CO DEPT SYST OPERAT TAIPEI TAIWAN INDIAN INST TECHNOL NEW DELHI 110029 INDIA
Voltage control of Taiwan Power Company is investigated using a nile-based expert system. The developed expert system, which is implemented on a personal computer, is written using the artificial intelligence language... 详细信息
来源: 评论
Discovering workflow nets using integer linear programming
收藏 引用
COMPUTING 2018年 第5期100卷 529-556页
作者: van Zelst, S. J. van Dongen, B. F. van der Aalst, W. M. P. Verbeek, H. M. W. Eindhoven Univ Technol Dept Math & Comp Sci POB 513 NL-5600 MB Eindhoven Netherlands
Process mining is concerned with the analysis, understanding and improvement of business processes. Process discovery, i.e. discovering a process model based on an event log, is considered the most challenging process... 详细信息
来源: 评论
A Global Optimal Gaussian Mixture Reduction Approach Based on integer linear programming
收藏 引用
CHINESE JOURNAL OF ELECTRONICS 2013年 第4期22卷 763-768页
作者: Zhu Hongyan Zhai Qiaozhu Xi An Jiao Tong Univ Sch Elect & Informat Engn Xian 710049 Peoples R China Xi An Jiao Tong Univ Minist Educ Key Lab Intelligent Networks & Network Secur Xian 710049 Peoples R China
In many applications, the Gaussian mixture serves as an important probabilistic representation of the system state. A global optimal Gaussian mixture reduction (GMR) approach based on integer linear programming (ILP) ... 详细信息
来源: 评论
A method to improve integer linear programming problem with branch-and-bound procedure
收藏 引用
APPLIED MATHEMATICS AND COMPUTATION 2006年 第2期179卷 484-493页
作者: Chan, Din-Yuen Ku, Cheng-Yuan Li, Ming-Chai Natl Chung Cheng Univ Dept Informat Management Chiayi 62117 Taiwan Natl Chia Yi Univ Dept Comp Sci & Informat Engn Chiayi 62117 Taiwan
integer linear programming (ILP) problems are harder to solve than linear programming (LP) problems. It doesn't work if try to round off the results of LP problems and claim they are the optimum solution. The bran... 详细信息
来源: 评论
CDPath: Cooperative Driver Pathways Discovery Using integer linear programming and Markov Clustering
收藏 引用
IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS 2021年 第4期18卷 1384-1395页
作者: Yang, Ziying Yu, Guoxian Guo, Maozu Yu, Jiantao Zhang, Xiangliang Wang, Jun Shandong Univ Sch Software Jinan 250101 Peoples R China Beijing Univ Civil Engn & Architecture Sch Elect & Informat Engn Beijing 100044 Peoples R China North West A&F Univ Coll Informat Engn Xianyang Shaanxi Peoples R China King Abdullah Univ Sci & Technol Comp Elect & Math Sci & Engn Div Thuwal Saudi Arabia
Discovering driver pathways is an essential task to understand the pathogenesis of cancer and to design precise treatments for cancer patients. Increasing evidences have been indicating that multiple pathways often fu... 详细信息
来源: 评论