检索结果-南通市图书馆

Journal of Systems Science & Complexity 2024年第4期37卷 1545-1560页

作者： FAN Xianrui li yongming TONG Shaocheng College of Science Liaoning University of TechnologyJinzhou 121001China

This paper studies the finite-time fuzzy adaptive output feedback resilient control problem for nonlinear cyber-physical systems(CPSs) with sensor attacks and actuator *** logic systems(FLSs) are used to approximate the unknown nonlinear functions,and a fuzzy state observer is constructed to estimate the unmeasured *** combining the Nussbaum function with the backstepping control design technique,a fuzzy adaptive resilient control scheme is designed to successfully address the effects of sensor attacks and actuator *** is proved that the controlled system is semi-global practical finite-time stability(SGPFS),and the tracking error converges to a small neighborhood of the origin in a finite time ***,the simulation and comparison results further demonstrate the effectiveness of the designed control method.

关键词： Cyber-physical systems fuzzy adaptive resilient control Nussbaum functions sensor attacks

Distributed adaptive resilient formation control for nonlinear multi-agent systems under DoS attacks

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第10期67卷 391-392页

作者： Hao WEN yongming li Shaocheng TONG College of Science Liaoning University of Technology

The cooperative control for multi-agent systems(MASs)with fixed topology [1–3] has been extensively studied recently. However, in practice, denial-of-service(DoS) attacks become an increasingly important issue due to... 详细信息

关键词： Directed graphs

A Fast Algorithm for Computing the Deficiency Number of a Mahjong Hand

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2024年

作者： Xueqing YAN yongming li Sanjiang li School of Computer Science Shaanxi Normal University School of Mathematics and Statistics Shaanxi Normal University Centre for Quantum Software and Information Faculty of Engineering and Information Technology University of Technology Sydney

The tile-based multiplayer game Mahjong is widely played in Asia and has also become increasingly popular worldwide. Face-to-face or online, each player begins with a hand of 13 tiles and players draw and discard tiles in turn until they complete a winning hand. An important notion in Mahjong is the deficiency number(*** number in Japanese Mahjong) of a hand, which estimates how many tile changes are necessary to complete the hand into a winning hand. The deficiency number plays an essential role in major decision-making tasks such as selecting a tile to discard. This paper proposes a fast algorithm for computing the deficiency number of a Mahjong hand. Compared with the baseline algorithm, the new algorithm is usually 100 times faster and, more importantly,respects the agent's knowledge about available tiles. The algorithm can be used as a basic procedure in all Mahjong variants by both rule-based and machine learning-based Mahjong AI.

关键词：

Model Checking Computation Tree Logic over Multi-Valued Decision Processes and Its Reduction Techniques

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2024年

作者： Wuniu liU Junmei WANG Qing HE yongming li The School of Mathematics and Statistics Shaanxi Normal University The School of Computer Science Shaanxi Normal University

Model checking computation tree logic(CTL) based on multi-valued possibility measures has been studied by li et al. in 2019. However, the previous work did not consider the nondeterministic choices inherent in systems represented by multi-valued Kripke structures(MvKSs). This nondeterminism is crucial for accurate system modeling, decision making, and control capabilities. To address this limitation, we draw inspiration from the generalization of Markov chains(MCs) to Markov decision processes(MDPs) in probabilistic systems. By integrating nondeterminism into MvKS, we introduce multi-valued decision processes(MvDPs) as a framework for modeling MvKSs with nondeterministic choices. We investigate the challenges of model checking over MvDPs. Verifying properties are expressed by using multi-valued computation tree logic(MvCTL) based on schedulers. Our primary objective is to leverage fixpoint techniques to determine the maximum and minimum possibilities of the system satisfying temporal properties. This allows us to identify the optimal or worst-case schedulers for decision making or control *** aim to develop reduction techniques that enhance the efficiency of model checking, thereby reducing the associated time complexity.

关键词：

Scientific exploration and hypotheses concerning the meridian system in traditional Chinese medicine

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Acupuncture and Herbal Medicine 2024年第3期4卷 283-289页

作者： Wenchuan Qi Bin He Qingxin Gu yongming li Fanrong liang School of Acupuncture-Moxibustion and Tuina Chengdu University of Traditional Chinese MedicineChengduChina Key Laboratory of Acupuncture for Senile Disease(Chengdu University of TCM) Ministry of EducationChengduChina American Traditional Chinese Medicine Society New YorkNYUSA Sichuan Clinical Medicine Research Center of Acupuncture-Moxibustion ChengduChina

The meridian theory is an important component of traditional Chinese medicine,playing a crucial role in disease diagnosis,treatment,and health *** as the media for the effects of acupuncture,moxibustion,herbal medicine,and acupressure massage,meridians exert undeniable impact on the human ***,the essence of meridians remains a topic of *** research has primarily focused on their anatomical structures,leading to numerous ***,other researchers have approached this subject from an energetic perspective,discovering information interactions within the meridian *** findings suggest that meridians possess both physical and information dimensions,indicating that a singular approach to their study is *** bridge this gap,a shift from purely structural research toward an exploration of the information aspects of meridians is *** integrating this information approach with traditional meridian theory,it may be possible to develop a new,modernized meridian theory that is aligned with contemporary concepts,making it more accessible and applicable in clinical settings.

关键词： Communication Information state Meridian essence Physical state

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

修昔底德对“雅典论题”的认识

史学史研究 2024年第2期 91-103页

作者：李永明北京师范大学档案馆北京100875

“雅典论题”是贯穿修昔底德《伯罗奔尼撒战争史》全书的一个重要主题。该论题宣称,个人和国家(群体的人)都在人性必然性的驱使之下追求统治权力和自身利益而无视正义。修昔底德在著作中从整体上揭示了“雅典论题”的真实性,但他在叙事... 详细信息

“雅典论题”是贯穿修昔底德《伯罗奔尼撒战争史》全书的一个重要主题。该论题宣称,个人和国家(群体的人)都在人性必然性的驱使之下追求统治权力和自身利益而无视正义。修昔底德在著作中从整体上揭示了“雅典论题”的真实性,但他在叙事及对事件动因分析的过程中也对“雅典论题”进行了反思和批判。修昔底德发现“雅典论题”具有根本缺陷,并包含了否定其自身的矛盾,雅典西西里远征的失败和帝国的衰落与此密切相关。

关键词：修昔底德《伯罗奔尼撒战争史》雅典论题人性正义

在线全文

学校读者我要写书评

暂无评论

西汉人体陶俑的医学研究

中华中医药学刊 2024年第6期42卷 20-28,I0005-I0007页

作者：李永明美国中医药针灸学会纽约10016

辽中医俑1号和2号的形态特征分别符合西汉文帝与景帝陵寝出土的“裸体着衣式木臂彩绘陶俑”的侍女俑和武士俑。此类陶俑制作的风格写实、体型标准、头面部雕塑呈个体化,对古代人体测量学和体表医学研究具有重要价值。实测数据表明,西汉... 详细信息

辽中医俑1号和2号的形态特征分别符合西汉文帝与景帝陵寝出土的“裸体着衣式木臂彩绘陶俑”的侍女俑和武士俑。此类陶俑制作的风格写实、体型标准、头面部雕塑呈个体化,对古代人体测量学和体表医学研究具有重要价值。实测数据表明,西汉人体俑为真人1/3缩型,代表了西汉时期标准男女成年人体。辽中医俑1、2号的还原女子身高为159 cm,男子为172.5 cm,与《内经》所述人长七尺五及近现代中国人平均身高基本一致。另外,汉俑的头身比、足身比、上下身比等数据与中国现代人也高度符合。汉俑的“同身寸”与秦汉度量寸制及《内经》的人体骨度测量数据完全一致,代表了中医针灸的“标身寸”。66个西汉“脉书”中常用的体表解剖名词大部分在汉俑体表都有雕塑表达,说明古人对人体的精准认知,以及文字和雕塑表达的一致性。体表结构专有名词在“脉书”中最常见的使用是表达疼痛的部位,这可视为中医穴位及“以痛为腧”取穴法的早期雏形。研究表明,西汉人体俑不但代表了当时的标准男女人体,也能代表现代的人体标准,同时具有广泛国际代表性,堪称中国古代人体测量的“原始标准”。因此,重建汉代经脉人体模型对传统针灸的继承、医学教育、标准化及临床应用都具有重要的意义。

关键词：辽中医俑汉陶俑裸俑人体俑简帛医书脉书经脉人针灸标准化

维普期刊数据库博看期刊

运动训练科学化:基本要素、阶段划分与推进构想

在线全文

学校读者我要写书评

暂无评论

天津体育学院学报 2024年第1期39卷 12-17,26页

作者：黎涌明上海体育大学竞技运动学院上海200438 国家体育总局体育科学研究所北京100061

运动训练科学化是运动训练实践不断提高质量和效益,实现对比赛成绩更大程度预测和控制的过程,既涉及经验向科学的迈进,也涉及科学向科学应用的延伸。实践、科学和艺术是运动训练科学化的3个基本要素,运动训练科学化可分为3个阶段,第2个... 详细信息

运动训练科学化是运动训练实践不断提高质量和效益,实现对比赛成绩更大程度预测和控制的过程,既涉及经验向科学的迈进,也涉及科学向科学应用的延伸。实践、科学和艺术是运动训练科学化的3个基本要素,运动训练科学化可分为3个阶段,第2个阶段在不断借助自然科学成果推进的同时,运动训练科学化已开启第3阶段。在第3个阶段,运动训练科学化将更大程度发挥社会科学的价值,更加注重教练员在科学应用中的作用,更加注重科学的转化与传播。我国运动训练的科学化可以从系统构建教练员培养体系、打造实践导向的科学化训练共同体、多方机构多方人员相向而行、优化体育专业人才培养体系4个方面进行推进。

关键词：训练实践训练科学教练员社会科学

在线全文

学校读者我要写书评

暂无评论

移动图书馆用户间歇性中辍行为影响因素

图书馆论坛 2024年第3期44卷 187-198页

作者：李双双李永明朱彦山东理工大学信息管理研究院

为提升移动图书馆用户持续使用行为,探究移动图书馆用户间歇性中辍行为的影响因素与形成机理,以期为移动图书馆的迭代更新提供理论依据。结合S-O-R模型与期望失验理论构建模型并设计问卷获取数据,运用偏最小二乘法对数据进行分析。结果... 详细信息

为提升移动图书馆用户持续使用行为,探究移动图书馆用户间歇性中辍行为的影响因素与形成机理,以期为移动图书馆的迭代更新提供理论依据。结合S-O-R模型与期望失验理论构建模型并设计问卷获取数据,运用偏最小二乘法对数据进行分析。结果发现系统过载、信息过载与服务过载影响感知有用性失验,系统过载与服务过载影响感知易用性失验,感知易用性与感知有用性失验使用户产生不满意心理,进而产生间歇性中辍行为,并从结论出发为移动图书馆优化提供建议。

关键词：移动图书馆间歇性中辍行为 S-O-R模型期望失验理论

在线全文

学校读者我要写书评

暂无评论

课次主观疲劳度的信效度及方法学影响因素

成都体育学院学报 2024年第1期50卷 143-151页

作者：顾正秋黎涌明上海体育大学竞技运动学院上海200438 国家体育总局体育科学研究所北京100061

课次主观疲劳度(Session Rating of Perceived Exertion,sRPE)是一种通过评价运动过程中的感知努力/疲劳程度来量化运动负荷的方法。尽管评分者一致信度不佳,但sRPE重测信度较高。sRPE在不同运动项目、性别、年龄中都有高的效度。采集... 详细信息

课次主观疲劳度(Session Rating of Perceived Exertion,sRPE)是一种通过评价运动过程中的感知努力/疲劳程度来量化运动负荷的方法。尽管评分者一致信度不佳,但sRPE重测信度较高。sRPE在不同运动项目、性别、年龄中都有高的效度。采集方式、训练分组的数量、咖啡因、环境温度、触觉、脑力疲劳和昼夜节律对sRPE都存在影响。建议在横向和纵向使用中,采用Category Ratio 10(CR 10)量表,固定运动后5~30 min内的某个时间采集运动员的主观疲劳度,并将准备活动、主课训练和整理活动全部纳入运动持续时间。对不能控制但存在影响的因素进行详细记录,并在后期分析过程中进行参考。未来研究将进一步发挥sRPE在损伤预防和表现提升中的价值。

关键词：运动强度运动负荷主观疲劳度信效度