Disciplines / Research questions
信息科学
54 个研究主题 · 169 个问题
太赫兹脉冲波前整形3 个问题
Operating limits of flying-focus two-color terahertz generation: high drive power, focal ranges beyond the dephasing length, and scaled drivers
Scaling limits of field-level terahertz spatiotemporal wave synthesis in random scattering media
Full nonlinear-response tensor, microscopic efficiency mechanisms, and collective-enhancement limits of split-ring-resonator nonlinear metasurface terahertz emitters
太赫兹生物分子光谱学——生命之谜的窗口2 个问题
太阳能电池提高光子能量利用率及转换效率的问题3 个问题
Valley-matched carrier extraction for a practical hot-carrier (valley-photovoltaic) solar cell
Completing the parameter map of the De Vos–Szymańska–Badescu down-conversion solar-cell model: non-radiative recombination, concentration, band-gap ordering, and non-ideal anti-reflection coatings
Practical carrier multiplication for photovoltaics: can materials engineering make multiple electron-hole pairs per photon outcompete phonon cooling and Auger losses?
网络科学的基本问题4 个问题
Existence of equilibrium games and resistance to cascading attacks in networks
Analytical theory of the stretched-exponential coverage law for multiple random walkers on scale-free networks
Statistical and Computational Limits of Single-Community Search with Side Information in Stochastic Block Models
Analytic tractability of generalized hypergeometric network ensembles: closed-form or scalable moments and null distributions for the multivariate Wallenius adjacency distribution under arbitrary dyadic propensities
网络体系结构的优化问题3 个问题
Online, Multi-Layer, and Multi-Operator Extensions of the HSDRAN Hierarchical Software-Defined RAN Distributed Optimization Framework
Submodularity of the placement value function in multi-dimensional VNF placement and resource allocation (multi-VPRA)
Certifiable action-space compression and surrogate-guided search guarantees for deep reinforcement learning network topology optimization
微电子的纳米时代7 个问题
Stable and reliable negative-capacitance gating in sub-10 nm ferroelectric Si junctionless transistors: robustness, process window, endurance, and model generalization
Scaling limits and generality of asymmetrical metal-contact scaling in MoS2 field-effect transistors
Generalizing the electrostatic scale-length theory of two-dimensional field-effect transistors beyond the subthreshold zero-charge limit
Robustness and experimental observability of giant resonant spin transfer torque in atomically thin magnetic bilayer tunnel junctions
Memristive or capacitive? The physical origin of d.c. current spikes in sol-gel TiO₂ memristors and the missing quantitative memristor–capacitance device model
Scaling analog on-chip unsupervised learning with multi-state memristive synapses to large, practical neuromorphic arrays (Serb et al. 2016 scaling agenda)
Predictive modeling of resistance, capacitance, and delay in nanoscale on-chip interconnects (including alternative conductors) for routing and architecture design
微纳精密测量仪器中的精度控制问题1 个问题
微型飞行器控制问题5 个问题
Onboard power, sensing, and computation autonomy for sustained closed-loop flight of insect-scale flapping-wing microrobots
Real-time full-envelope model predictive control of a highly flexible micro air vehicle: lateral-directional maneuverability versus passive gust rejection
Stability, robustness, and systematic parameter selection for the intelligent S-plane controller for micro unmanned aerial vehicles
Closed-Loop Controlled and Untethered Flight of Electromagnetically Actuated Insect-Scale Flapping-Wing Micro Robots
Extending hybrid quaternion attitude control of an underactuated flapping-wing aerial vehicle to practical autonomy: aggressive regimes, onboard sensing, a priori tuning, energy benchmarking, and tailless configurations
未来网络交换机理2 个问题
The safe operational envelope for bufferless optical packet switching versus electronic packet switching in delay-sensitive 5G networks
Deployment-grade assessment of Segment Switching in single-buffer AWGR photonic HPC networks: device-level validation, robustness at scale, control-plane implementation, and buffering energy/cost trade-offs
稀磁半导体——内禀磁性的物理机理?4 个问题
Microscopic mechanism of intrinsic room-temperature ferromagnetism in individual Co-doped ZnO dilute magnetic semiconductor nanostructures
Apparent Curie temperature and nanoscale phase coexistence at the carrier-localization boundary of (Ga,Mn)As
Origin and quantitative description of high-temperature intrinsic ferromagnetism in heavily Fe-doped GaAs layers
Origin of room-temperature ferromagnetism in Cr-doped CdMnCrTe: mechanism and Cr charge states
旋翼飞行机器人高机动自主飞行控制2 个问题
Coupling learned aerodynamic dynamics with saturation-limited flight control: cascaded attitude-loop and actuation-constrained MPC interaction and extrapolation limits for Neural-Fly-style agile flight in strong winds
Robustness margins for neural-augmented agile flight control: quantifying admissible control-dependent model discrepancy under Lipschitz-constrained neural feedback
在体活体细胞三维实时探测与表征1 个问题
知识的自动发现5 个问题
Automatic Verification of Autonomous Scientific Discovery: Independent Re-Execution and Validation of AI-Generated Experimental Claims at Scale
Open-domain automated hypothesis discovery in the natural sciences: jointly achieving novelty, validity, and reliable model-generated feedback beyond the TOMATO/MOOSE social-science setting
Tractable faithful realization of the information-theoretic min–max objective in principle-guided multi-agent scientific discovery (the PiFlow objective–algorithm gap)
A sound validation methodology for literature-based discovery: separating genuine new knowledge from already-public knowledge
Completing the derivable-discovery loop: automated discovery of scientific laws from data under incomplete background theory, with abductive axiom repair, automated axiom acquisition, scalable reasoning, and integrated optimal experimental design (AI-Descartes open problems)
自动编程:如何让计算机自动地从需求规约生成软件2 个问题
Modular system synthesis beyond bounded soundness: unbounded mechanically checked correctness, scalability, and flexible orchestration of synthesized implementations and implementation-agnostic specifications (the MOSS open problems)
Witness-producing model-based projections for SMT synthesis with uncomputable symbols beyond EUF and linear arithmetic
自然语言处理8 个问题
A sharp criterion for criticality in probabilistic context-free grammars: which grammars produce power-law mutual-information decay?
Robust anaphora and coreference resolution within logical-form representations in neural semantic parsing for task-oriented dialogue
Correct translation of idiomatic and non-compositional expressions by neural machine translation: targeted resources and mechanisms to close the figurative-language gap
Faithful and scalable process verification of full chain-of-thought reasoning in domains without deterministic verifiers
Can think tokens bridge the complexity gap? A rigorous complexity-theoretic account of reasoning models' ability to exceed per-inference transformer computation
Sufficiency of standard pretraining objectives for genuine, generalizable logical reasoning in large language models
Does tag-based structured-reasoning training help or harm non-reasoning tasks? Generality of MAX-Flow and LCS reward fine-tuning beyond reasoning domains
Sound Extension of the Predicate-Enumeration-Aggregation (PEA) Framework Beyond Finite Domains
Fermat 原理之谜5 个问题
Extending Fermat's principle of least time for ray refraction at uniformly moving interfaces: dispersive media, general incidence geometry, and interfaces between two uniformly moving media
Fermat-type stationarity of closed light curves: extending the circular null-path/travel-time correspondence beyond stationary axisymmetric black-hole spacetimes
Robustness of least-time dominance for the propagation amplitude of a finite-mass spin-0 particle at an interface between two media
Equivalence of Fermat's principle and Snell's law in heterogeneous lossy anisotropic media
Cumulative growth and observability of QED vacuum-polarization corrections to light propagation in curved spacetime (the pile-up problem of quantum gravitational optics)