咨询与建议

限定检索结果

文献类型

  • 290 篇 期刊文献
  • 10 篇 会议

馆藏范围

  • 300 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 256 篇 工学
    • 147 篇 计算机科学与技术...
    • 86 篇 电气工程
    • 79 篇 信息与通信工程
    • 77 篇 控制科学与工程
    • 68 篇 软件工程
    • 64 篇 材料科学与工程(可...
    • 59 篇 电子科学与技术(可...
    • 56 篇 机械工程
    • 27 篇 力学(可授工学、理...
    • 27 篇 仪器科学与技术
    • 27 篇 网络空间安全
    • 21 篇 动力工程及工程热...
    • 18 篇 生物医学工程(可授...
    • 11 篇 化学工程与技术
    • 11 篇 生物工程
    • 10 篇 水利工程
    • 10 篇 环境科学与工程(可...
    • 9 篇 建筑学
    • 9 篇 航空宇航科学与技...
  • 200 篇 理学
    • 123 篇 数学
    • 63 篇 物理学
    • 26 篇 天文学
    • 20 篇 生物学
    • 18 篇 化学
    • 13 篇 系统科学
    • 11 篇 地球物理学
    • 9 篇 海洋科学
  • 60 篇 管理学
    • 45 篇 管理科学与工程(可...
    • 15 篇 图书情报与档案管...
  • 12 篇 医学
  • 9 篇 农学
  • 8 篇 法学
    • 8 篇 社会学
  • 6 篇 经济学
  • 3 篇 教育学
  • 3 篇 军事学
  • 2 篇 哲学
  • 2 篇 艺术学
  • 1 篇 文学
  • 1 篇 历史学

主题

  • 7 篇 symbolic computa...
  • 6 篇 符号计算
  • 5 篇 blockchain
  • 5 篇 computation
  • 4 篇 simulation
  • 4 篇 model-based diag...
  • 4 篇 equation
  • 4 篇 精确解
  • 3 篇 deep learning
  • 3 篇 image
  • 3 篇 semi-supervised ...
  • 3 篇 online learning
  • 3 篇 numerical simula...
  • 3 篇 theory
  • 3 篇 system
  • 3 篇 symbolic
  • 3 篇 exact solutions
  • 3 篇 extension rule
  • 3 篇 perturbation
  • 3 篇 federated learni...

机构

  • 32 篇 college of compu...
  • 22 篇 key laboratory o...
  • 15 篇 key laboratory o...
  • 13 篇 college of compu...
  • 6 篇 key laboratory o...
  • 4 篇 key laboratory o...
  • 4 篇 key laboratory o...
  • 3 篇 university of ch...
  • 3 篇 school of mathem...
  • 3 篇 college of compu...
  • 3 篇 key laboratory o...
  • 3 篇 school of physic...
  • 3 篇 key laboratory o...
  • 3 篇 school of mathem...
  • 2 篇 key lab for envi...
  • 2 篇 school of mathem...
  • 2 篇 school of comput...
  • 2 篇 key laboratory f...
  • 2 篇 school of comput...
  • 2 篇 department of en...

作者

  • 9 篇 dantong ouyang
  • 7 篇 zhang shugong
  • 4 篇 xi-ming li
  • 4 篇 quan liu
  • 3 篇 白成林
  • 3 篇 hai jin
  • 3 篇 lei zhang
  • 3 篇 liming zhang
  • 3 篇 qiming fu
  • 3 篇 jiang xue
  • 3 篇 yonggang zhang
  • 3 篇 ji-hong ouyang
  • 3 篇 bo yang
  • 3 篇 li zhe
  • 2 篇 rui wang
  • 2 篇 周运清
  • 2 篇 jian wang
  • 2 篇 wang jing
  • 2 篇 hui wang
  • 2 篇 xin zhou

语言

  • 297 篇 英文
  • 3 篇 中文
检索条件"机构=Open Lab for Symbolic Computation and Knowledge Engineering"
300 条 记 录,以下是281-290 订阅
排序:
Model Checking Workflow Net Based on Petri Net
收藏 引用
Wuhan University Journal of Natural Sciences 2006年 第5期11卷 1297-1301页
作者: ZHOU Conghua CHEN Zhenyu School of Computer Science and Telecommunicationengineering Jiangsu University Zhenjiang 212013 JiangsuChina School of Computer Science and engineering Southeast University Nanjing 210096 Jiangsu China
The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with computation Tree Logic (CTL) allows us to verify the soundness with symbolic model checkers. Therefore t... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Science Letters:A simplified MMSE-based iterative receiver for MIMO systems
收藏 引用
Journal of Zhejiang University-Science A(Applied Physics & engineering) 2009年 第10期10卷 1389-1394页
作者: Yuan YANG Hai-lin ZHANG State Key lab of lntegrated Services Networks Xidian University Xi 'an 710071 China Datang Linktech Infosystem Co. Ltd Beijing 100191 China
A simplified minimum mean square error(MMSE) detector is proposed for joint detection and decoding of multi-ple-input multiple-output(MIMO) *** matrix inversion lemma and the singular value decomposition(SVD) of the c... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Oscillating multidromion excitations in higher-dimensional nonlinear lattice with intersite and external on-site potentials using symbolic computation
收藏 引用
Chinese Physics B 2014年 第1期23卷 98-107页
作者: B. Srividya L. Kavitha R. Ravichandran D. Gopi Department of Physics Periyar University Salem 636 011 India Department of Physics K.S.R. College of Engineering Tiruchengode 637 215 India Centre for Nanoscience and Nanotechnology Periyar University Salem 636 011 India Department of Chemistry Periyar University Salem 636 011 India
We show by an extensive method of quasi-discrete multiple-scale approximation that nonlinear multi-dimensional lattice waves subjected to intersite and external on-site potentials are found to be governed by (N+ 1 ... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Computing the Determinant of a Matrix with Polynomial Entries by Approximation
收藏 引用
Journal of Systems Science & Complexity 2018年 第2期31卷 508-526页
作者: QIN Xiaolin SUN Zhi LENG Tuo FENG Yong Department of Mathematics Sichuan University Chengdu 610064 China Chengdu Institute of Computer Applications Chinese Academy of Sciences Chengdu 610041 China Chengdu Institute of Computer Applications Chinese Academy of Sciences Chengdu 610041 China. School of Computer engineering and Science Shanghai University Shanghai 200444 China.
与 univariate 和 multivariate 多项式条目计算一个矩阵的决定因素在地的科学计算并且设计经常产生。这份报纸建议一个有效算法用混合符号、数字的计算与多项式条目计算一个矩阵的决定因素。算法为解决 Vandermonde 系统与错误控制依... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Higher-Order WHEP Solutions of Quadratic Nonlinear Stochastic Oscillatory Equation
收藏 引用
engineering(科研) 2013年 第5期5卷 57-69页
作者: Mohamed A. El-Beltagy Amnah S. Al-Johani Department of Applied Mathematics College of Science Northern Borders University Arar KSA College of Home Economics Northern Borders University Arar KSA Department of engineering Mathematics & Physics Engineering Faculty Cairo University Giza Egypt
This paper introduces higher-order solutions of the quadratic nonlinear stochastic oscillatory equation. Solutions with different orders and different number of corrections are obtained with the WHEP technique which u... 详细信息
来源: 维普期刊数据库 维普期刊数据库 评论
A Method to Obtain Complex Transfer Functions of Four Order DC-DC Converters
收藏 引用
Journal of Energy and Power engineering 2016年 第10期10卷 615-622页
作者: Josep M. Vails Marti Pedro M. Gil Izco Department of Electrical and Electronic engineering Public University of Navarra (UPNA) Campus of Arrosadla-Pamplona Navarra 31006 Spain
来源: 维普期刊数据库 维普期刊数据库 评论
Boundary Control of PDEs and Applications to Turbulent Flows and Flexible Structures
Boundary Control of PDEs and Applications to Turbulent Flows...
收藏 引用
第25届中国控制会议
作者: Miroslav Krstic Andrey Smyshlyaev Rafael Vazquez Department of Mechanical and Aerospace engineering University of California at San Diego La JollaCA 92093-0411 USA Department of Mechanical and Aerospace engineering University of California at San Diego La JollaCA 92093-0411 USA Department of Mechanical and Aerospace engineering University of California at San Diego La JollaCA 92093-0411 USA
<正>We present a tutorial overview of new methods for designing feedback controllers for infinite-dimensional systems controlled from the boundary. Such problems arise in turbulent flow control, chemical process con... 详细信息
来源: cnki会议 评论
Performance comparison and parametric study on spiral groove gas film face seals
收藏 引用
Science China(Physics,Mechanics & Astronomy) 2004年 第Z1期47卷 29-36页
作者: LIU Yuchuan, SHEN Xinmin, XU Wanfu & WANG ZhiliState Key laboratory of Tribology, Tsinghua University, Beijing 100084, China School of Mechanical engineering and Automation, Beijing University of Aeronautics and Astronautics, Beijing 100083, China Lubrication Technology Research Center, Shenyang Institute of Technology, Shenyang 110015, China Tsing Hua Univ State Key Lab Tribol Beijing 100084 Peoples R China Beijing Univ Aeronaut & Astronaut Sch Mech Engn & Automat Beijing 100083 Peoples R China Shenyang Inst Technol Lubricat Technol Res Ctr Shenyang 110015 Peoples R China
Several spiral groove gas film face seals (SGFS) with different layouts are compared quantitatively to analyze their merits and faults and application behaviors. In addition, a parametric study on downstream mode SGFS... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Localized characteristics of lump and interaction solutions to two extended Jimbo–Miwa equations
收藏 引用
Chinese Physics B 2020年 第12期29卷 174-180页
作者: 尹宇航 陈思佳 吕兴 Department of Mathematics Beijing Jiaotong UniversityBeijing 100044China Beijing laboratory of National Economic Security Early-warning engineering Beijing Jiaotong UniversityBeijing 100044China
We focus on the localized characteristics of lump and interaction solutions to two extended Jimbo–Miwa *** on the Hirota bilinear method and the test function method,we construct the exact solutions to the extended e... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Nucleon-pair approximation with uncoupled representation
收藏 引用
Chinese Physics C 2021年 第5期45卷 129-140页
作者: 雷杨 路毅 赵玉民 School of National Defense Science and Technology Southwest University of Science and TechnologyMianyang 621010China College of Physics and engineering Qufu Normal UniversityQufu 273165China Shanghai Key laboratory of Particle Physics and Cosmology School of Physics and AstronomyShanghai Jiao Tong UniversityShanghai 200240China Collaborative Innovation Center of IFSA(CICIFSA) Shanghai Jiao Tong UniversityShanghai 200240China
In this paper,we propose an approach to nucleon-pair approximation(NPA)with m-scheme bases,in which the collective nucleon pairs are represented in terms of antisymmetric matrices,and commutations between nucleon pair... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论