中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共5条，第1-5条

帮助

条数/页：排序方式：
	Output Tracking of Boolean Control Networks 期刊论文 OAI收割 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2020, 卷号: 65, 期号: 6, 页码: 2730-2735 作者: Zhang, Xiao; Wang, Yuanhua; Cheng, Daizhan \| 收藏 \| 浏览/下载：42/0 \| 提交时间：2020/09/23 Controllability Indexes Trajectory Open loop systems Artificial neural networks Tracking loops Control theory Boolean control network (BCN) control invariant subset output tracking semitensor product (STP) set controllability
	High-order corrections of neutron neutron scattering cross-section by renormalized hybrid loop-chain propagator in isospin space 期刊论文 OAI收割 MODERN PHYSICS LETTERS A, 2015, 卷号: 30, 期号: 16, 页码: 1550084 作者: Wen, H; Li, FY; Fang, ZY 收藏 \| 浏览/下载：21/0 \| 提交时间：2016/11/21 Neutron-neutron scattering isospin-SU(2) invariant coupling model hybrid loop-chain propagator differential cross-section radiative correction
	Electroweak measurements in electron positron collisions at W-boson-pair energies at LEP 期刊论文 OAI收割 PHYSICS REPORTS-REVIEW SECTION OF PHYSICS LETTERS, 2013, 卷号: 532, 期号: 4, 页码: 119-244 作者: ALEPH Collaboration; DELPHI Collaboration; OPAL Collaboration; LEP Electroweak Working Grp 收藏 \| 浏览/下载：20/0 \| 提交时间：2015/12/02 OF-MASS ENERGIES TOP-QUARK MASS CARLO EVENT GENERATOR HADRONIC Z-DECAYS INVARIANT YFS EXPONENTIATION ANOMALOUS MAGNETIC-MOMENT (UN)STABLE W+W-PRODUCTION FERMION-LOOP SCHEME COLOR DIPOLE MODEL LEADING ORDER QCD
	generating algorithms plus loop invariants by formal derivation 会议论文 OAI收割 7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16, Shi Haihe; Du Dawei; Xue Jinyun \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/06/13 MergeSort algorithm formal development process formal specification insertion sort loop invariant nonrecursive algorithmic solution provably correct algorithmic program program control structures program verification sorting
	Conformal affine Toda fields on loop algebra: A(2)((2)) case 期刊论文 OAI收割 COMMUNICATIONS IN THEORETICAL PHYSICS, 2001, 卷号: 35, 页码: 435-440 作者: Chao, L; Yang, ZY \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2018/05/31 conformal invariant loop algebra Toda R-matrix