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

第41届中国控制会议

作者： Zhi Li Hongsheng Qi School of Mathematical Sciences University of Chinese Academy of Sciences Key Laboratory of Systems and Control Institute of Systems ScienceAcademy of Mathematics and Systems ScienceChinese Academy of Sciences

ISBN: (数字)9789887581536

ISBN: (纸本)9781665482561

In this paper,we investigate the counting complexity of reachability problem for Boolean control networks(BCNs) by Boolean counting constraint satisfaction problem(#CSP).We prove that the counting complexity of a class of Boolean#CSP by using Post's lattice in universal algebra is#P-complete,and further use it to classify the counting complexity of M-reachability problem(#M-RP) when M=***,we prove that #M-RP is #P-complete.

关键词： #CSP Boolean control Network Counting Complexity Reachability

来源：评论

学校读者我要写书评

暂无评论

Matrix Recovery from Permutations: An Algebraic Geometry Approach

Matrix Recovery from Permutations: An Algebraic Geometry App...

引用

2023 IEEE International Symposium on Information Theory, ISIT 2023

作者： Tsakiris, Manolis C. Chinese Academy of Sciences Key Laboratory of Mathematics Mechanization Academy of Mathematics and Systems Science Beijing China

ISBN: (纸本)9781665475549

We prove that a generic matrix of bounded rank is uniquely recoverable - up to a permutation of its rows and columns - from an arbitrary permutation of its entries. This can be viewed as an extension of the existing unlabeled sensing theory, from linear spaces, to spaces of matrices of bounded rank. Our result is derived using machinery from commutative algebra and algebraic geometry, developed in a self-contained fashion. © 2023 IEEE.

关键词： Matrix algebra

来源：评论

学校读者我要写书评

暂无评论

Regularization by transport noises for 3D MHD equations

引用

science China mathematics 2023年第6期66卷 1375-1394页

作者： Dejun Luo Key Laboratory of Random Complea Structures and Data Science Academy of Mathematics and Systems ScienceChinese Academy of SciencesBeijing 100190China School of Mathematical Sciences University of Chinese Academy of SciencesBeijing 100049China

We consider the problem of regularization by noises for the three-dimensional magnetohydrodynamical(3D MHD) equations. It is shown that in a suitable scaling limit, the multiplicative noise of transport type gives rise to bounds on the vorticity fields of the fluid velocity and magnetic fields. As a result, if the noise intensity is big enough, then the stochastic 3D MHD equations admit a pathwise unique global solution for large initial data with high probability.

关键词： magnetohydrodynamical equation vorticity well-posedness regularization by noises transport noise

来源：评论

学校读者我要写书评

暂无评论

The exactness of the l_(1)penalty function for a class of mathematical programs with generalized complementarity constraints

引用

Fundamental Research 2024年第6期4卷 1459-1464页

作者： Yukuan Hu Xin Liu State Key Laboratory of Scientific and Engineering Computing Academy of Mathematics and Systems ScienceChinese Academy of SciencesBeijing 100190China University of Chinese Academy of Sciences Beijing 100049China

In a mathematical program with generalized complementarity constraints(MPGCC),complementarity relation is imposed between each pair of variable *** includes the traditional mathematical program with complementarity constraints(MPCC)as a special *** account of the disjunctive feasible region,MPCC and MPGCC are generally difficult to *** l_(1)penalty method,often adopted in computation,opens a way of circumventing the *** it remains unclear about the exactness of the l_(1)penalty function,namely,whether there exists a sufficiently large penalty parameter so that the penalty problem shares the optimal solution set with the original *** this paper,we consider a class of MPGCCs that are of multi-affine objective *** problem class finds applications in various fields,e.g.,the multi-marginal optimal transport problems in many-body quantum physics and the pricing problems in network *** first provide an instance from this class,the exactness of whose l_(1)penalty function cannot be derived by existing *** then establish the exactness results under rather mild *** results cover those existing ones for MPCC and apply to multi-block contexts.

关键词： Mathematical program with generalized complementarity constraints l_(1)penalty function Exact penalty Multi-affine objective function Error bound

来源：评论

学校读者我要写书评

暂无评论

Modelling international tourism efficiency in China

引用

Journal of systems science and Information 2025年

作者： Yuanxiang AI Shouyang WANG Lizhi XU School of Economics and Management University of Chinese Academy of Sciences State Key Laboratory of Mathematical Sciences Academy of Mathematics and Systems ScienceChinese Academy of Sciences Center for forecasting Science Academy of Mathematics and Systems Science Chinese Academy of Sciences Tourism College Beijing Union University

Efficient cross-border tourism flows are a critical dimension of a country's economic integration into the global economy. This paper introduces an innovative application of the Stochastic Frontier Gravity Model(SFGM) to analyze and measure international tourism efficiency. By integrating natural determinants(e.g., geographical distance, economic size, and price indices) with man-made factors(e.g., social, political, economic, and policy preferences), the study provides a comprehensive framework for assessing tourism efficiency relative to theoretical gravity frontier levels. The findings reveal that, while China has achieved approximately 80% of its tourism potential on average, significant inefficiencies persist, particularly across different origin countries and regions. The study highlights the complementary relationship between human and goods flows, emphasizing the importance of cultural proximity and trade intensity in reducing inefficiencies. Furthermore, it demonstrates the robustness of the SFGM framework in capturing the dynamic and uneven patterns of tourism efficiency over time. By addressing gaps in the application of SFGM to tourism research, this paper advances the theoretical and methodological understanding of tourism efficiency and provides actionable policy recommendations for enhancing China's tourism market integration.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A pretrained transformer model for decoding individual glucose dynamics from continuous glucose monitoring data

引用

National science Review 2025年第5期12卷 362-381页

作者： Yurun Lu Dan Liu Zhongming Liang Rui Liu Pei Chen Yitong Liu Jiachen Li Zhanying Feng Lei M.Li Bin Sheng Weiping Jia Luonan Chen Huating Li Yong Wang Center for Excellence in Mathematical Sciences National Center for Mathematics and Interdisciplinary Sciences Hua Loo-Keng Center for Mathematical Sciences Key Laboratory of Management Decision and Information System Academy of Mathematics and Systems ScienceChinese Academy of Sciences School of Mathematics University of Chinese Academy of SciencesChinese Academy of Sciences Department of Endocrinology and Metabolism Shanghai Sixth People's Hospital Affiliated to Shanghai Jiao Tong University School of MedicineShanghai Diabetes InstituteShanghai Clinical Center for Diabetes Shanghai Key Laboratory of Diabetes Mellitus Key Laboratory of Systems Health Science of Zhejiang Province School of Life ScienceHangzhou Institute for Advanced StudyUniversity of Chinese Academy of Sciences BGI-Research School of Mathematics South China University of Technology Department of Statistics Department of Biomedical Data Science Bio-X ProgramStanford University Department of Computer Science and Engineering Shanghai Jiao Tong University State Key Laboratory of Cell Biology Center for Excellence in Molecular Cell Science Shanghai Institute of Biochemistry and Cell Biology Chinese Academy of Sciences Guangdong Institute of Intelligence Science and Technology Pazhou Laboratory (Huangpu)

Continuous glucose monitoring(CGM) technology has grown rapidly to track real-time blood glucose levels and trends with improved sensor accuracy. The ease of use and wide availability of CGM will facilitate safe and effective decision making for diabetes management. Here, we developed an attention-based deep learning model, CGMformer, pretrained on a well-controlled and diverse corpus of CGM data to represent individual's intrinsic metabolic state and enable clinical applications. During pretraining, CGMformer encodes glucose dynamics including glucose level, fluctuation, hyperglycemia, and hypoglycemia into latent space with self-supervised learning. It shows generalizability in imputing glucose value across five external datasets with different populations and metabolic states(MAE = 3.7 mg/d L). We then fine-tuned CGMformer towards a diverse panel of downstream tasks in the screening of diabetes and its complications using task-specific data, which demonstrated a consistently boosted predictive accuracy over direct fine-tuning on a single task(AUROC = 0.914 for type 2 diabetes(T2D) screening and 0.741 for complication screening). By learning an intrinsic representation of an individual's glucose dynamics,CGMformer classifies non-diabetic individuals into six clusters with elevated T2D risks, and identifies a specific cluster with lean body-shape but high risk of glucose metabolism disorders, which is overlooked by traditional glucose measurements. Furthermore, CGMformer achieves high accuracy in predicting an individual's postprandial glucose response with dietary modelling(Pearson correlation coefficient = 0.763)and helps personalized dietary recommendations. Overall, CGMformer pretrains a transformer neural network architecture to learn an intrinsic representation by borrowing information from a large amount of daily glucose profiles, and demonstrates predictive capabilities fine-tuned towards a broad range of downstream applications, holding promise for the ear

关键词： pretrained model diabetes continuous glucose monitoring glucose dynamics

来源：评论

学校读者我要写书评

暂无评论

Explicit construction of minimum bandwidth rack-aware regenerating codes

引用

science China(Information sciences) 2022年第7期65卷 267-268页

作者： Liyang ZHOU Zhifang ZHANG Key Laboratory of Mathematics Mechanization Academy of Mathematics and Systems ScienceChinese Academy of Sciences School of Mathematical Sciences University of Chinese Academy of Sciences

Dear editor, Erasure codes are increasingly adopted in modern storage systems (such as Windows Azure Storage [1] and Facebook storage [2]) to ensure fault-tolerant storage with low redundancy. Meanwhile, efficient repair of node failures becomes a central issue in coding for distributed storage. The repair efficiency is usually measured by the repair bandwidth which is the amount of data transmitted from the helper nodes during the repair process.

关键词： regenerating code rack-aware storage clustered storage repair bandwidth erasure code

来源：评论

学校读者我要写书评

暂无评论

The controllability of Quantum-Classical Hybrid systems 43

The Controllability of Quantum-Classical Hybrid Systems

引用

43rd Chinese control Conference, CCC 2024

作者： Xie, Siao Yu, Shanping Xi, Zairong Institute of Systems Science Academy of Mathematics and Systems Science Chinese Academy of Sciences Key Laboratory of Systems and Control Beijing100190 China University of Chinese Academy of Sciences School of Mathematical Sciences Beijing100081 China Beijing Institute of Technology School of Cyberspace Science and Technology Beijing100081 China

ISBN: (纸本)9789887581581

The classical noise is unavoided in the real world. In what way classical part impact quantum dynamics and whether classical part impact controllability of quantum system have become problems. To figure out these two problems, we focus on a specific hybrid system which is both quasi-free and Markov. Because of its quasi-free property, the hybrid system comprising an open quantum system and a classical stochastic process possesses a distinct transformation formula that determines its dynamical semigroup. All these discussions are described by Weyl operators which also constitue the observable space. The controllability of reduced quantum system is first discussed, given its likely Lindblad form. The drift term is consisted of both classical information and quantum information. By adding classical control term in drift term, the controllability is analyzed using LARC(Lie Algebra Rank Condition). We discover that the reduced quantum system is fully controllable under certain controls. When we take classical information as a control, the reduced quantum system is fully controllable without external input. And the same conclusions hold in hybrid system. © 2024 Technical Committee on control Theory, Chinese Association of Automation.

关键词： controllability

来源：评论

学校读者我要写书评

暂无评论

The TAO of Blockchain Intelligence for Intelligent Web 3.0

引用

IEEE/CAA Journal of Automatica Sinica 2023年第12期10卷 2183-2186页

作者： Juanjuan Li Fei-Yue Wang IEEE the State Key Laboratory of Multimodal Artificial Intelligence Systems Institute of AutomationChinese Academy of SciencesBeijing 100190China the State Key Laboratory for Management and Control of Complex Systems Chinese Academy of SciencesBeijing 100190China Faculty of Innovation Engineering Macao University of Science and TechnologyMacao 999078China

WE are in an exciting new intelligent era where various Web 3.0 systems emerge and flourish.[1]–[3].In this new epoch,the collaboration of data and knowledge,humans and machines,actual and virtual worlds is undergoing an unprecedented diversification and community-driven transformation,unveiling an open future full of boundless ***,the value of dispersed data extends far beyond passive storage and application.

关键词： Web TAO knowledge

来源：评论

学校读者我要写书评

暂无评论

Bridging the Gap Between Probabilistic Logical Networks and Stochastic Logical Networks 41

Bridging the Gap Between Probabilistic Logical Networks and ...

引用

第41届中国控制会议

作者： Changxi Li Zhen Wu Xiao Zhang School of Mathematics Shandong University National Center for Mathematics and Interdisciplinary Sciences & the Key Laboratory of Systems and Control Academy of Mathematics and Systems ScienceChinese Academy of Sciences

ISBN: (数字)9789887581536

ISBN: (纸本)9781665482561

The logical network is a framework that describes finite-valued networked *** can be applied to many fields,such as Boolean networks,networked evolutionary games,opinion dynamics,and finite automatons,to name but a few.A new kind of logical network,called the stochastic logical network,is proposed in this *** with probabilistic logical networks,stochastic logical networks can describe more extensive uncertain ***,we prove that a stochastic logical network can be modeled as a non-homogeneous Markov chain under independent conditions and a homogeneous Markov chain under conditionally independent conditions,***,a consistency condition is proposed for the non-equivalence between the independent model and the conditionally independent *** paper proves that a stochastic logical network can be modeled as a homogeneous Markov chain using a power-reducing operator,only under the consistency ***,connections between probabilistic logical networks and stochastic logical networks are *** is proved that a probabilistic logical network is a special case of stochastic logical ***,we point out that the reason why the transition matrix of the probabilistic logical network can be obtained using the power-reducing operator is that the probabilistic logical network satisfies the consistency condition.

关键词： Logical network Algebraic state-space representation Conditional independence Consistency condition Semitensor product of matrices

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：