检索结果-南通市图书馆

数学学报（中文版） 2003年第1期46卷 95-102页

作者：刘吉强廖东升罗里波北方交通大学计算机与信息技术学院北京100044 北京师范大学数学系北京100875

量词消去法已经成为计算机科学和代数模型论中最有力的研究工具之一.本文针对完全二叉树理论所独有的特性,给出了它的基本公式集,然后利用分布公式及有限覆盖证明了完全二叉树的理论可以量词消去.

关键词：完全二叉树量词消去基本公式分布公式有限覆盖

Celastrol induces ferroptosis in activated HSCs to ameliorate hepatic fibrosis via targeting peroxiredoxins and HO-1

在线全文

学校读者我要写书评

暂无评论

Acta Pharmaceutica Sinica B 2022年第5期12卷 2300-2314页

作者： Piao luo Dandan liu Qian Zhang Fan Yang Yin-Kwan Wong fei Xia Junzhe Zhang Jiayun Chen Ya Tian Chuanbin Yang Lingyun Dai Han-Ming Shen Jigang Wang Artemisinin Research Center Institute of Chinese Materia MedicaChina Academy of Chinese Medical SciencesBeijing 100700China Central People’s Hospital of Zhanjiang Zhanjiang 524037China Department of Urology the Second Clinical Medical CollegeJinan University(Shenzhen People’s Hospital)Shenzhen 518020China Integrated Chinese and Western Medicine Postdoctoral Research Station Jinan UniversityGuangzhou 510632China Faculty of Health sciences University of MacaoTaipaMacao 999078China Guangdong Provincial Key Laboratory of New Drug Screening School of Pharmaceutical SciencesSouthern Medical UniversityGuangzhou 510515China

Ferroptosis is a form of regulated cell death, characterized by excessive membrane lipid peroxidation in an iron-and ROS-dependent manner. Celastrol, a natural bioactive triterpenoid extracted from Tripterygium wilfordii, shows effective anti-fibrotic and anti-inflammatory activities in multiple hepatic diseases. However, the exact molecular mechanisms of action and the direct protein targets of celastrol in the treatment of liver fibrosis remain largely elusive. Here, we discover that celastrol exerts anti-fibrotic effects via promoting the production of reactive oxygen species(ROS) and inducing ferroptosis in activated hepatic stellate cells(HSCs). By using activity-based protein profiling(ABPP) in combination with bio-orthogonal click chemistry reaction and cellular thermal shift assay(CETSA), we show that celastrol directly binds to peroxiredoxins(PRDXs), including PRDX1, PRDX2, PRDX4 and PRDX6,through the active cysteine sites, and inhibits their anti-oxidant activities. Celastrol also targets to heme oxygenase 1(HO-1) and upregulates its expression in activated-HSCs. Knockdown of PRDX1, PRDX2,PRDX4, PRDX6 or HO-1 in HSCs, to varying extent, elevated cellular ROS levels and induced ferroptosis. Taken together, our findings reveal the direct protein targets and molecular mechanisms via which celastrol ameliorates hepatic fibrosis, thus supporting the further development of celastrol as a promising therapeutic agent for liver fibrosis.

关键词： Celastrol Ferroptosis Peroxiredoxin HO-1 Hepatic fibrosis ABPP Anti-oxidant Reactive oxygen species

A multi-agent architecture for scheduling in platform-based smart manufacturing systems

在线全文

学校读者我要写书评

暂无评论

Frontiers of Information Technology & Electronic Engineering 2019年第11期20卷 1465-1492页

作者： Yong-kui liu Xue-song ZHANG Lin ZHANG fei TAO Li-hui WANG Center for Intelligent Manufacturing Systems and Robots School of Mechano-Electronic EngineeringXidian UniversityXi'an 710071China college of computer science and Technology Jilin UniversityChangchun 130012China School of Automation science and Electrical Engineering Beihang UniversityBeijing 100191China Department of Production Engineering KTH Royal Institute of TechnologyStockholm 11428Sweden

During the past years, a number of smart manufacturing concepts have been proposed, such as cloud manufacturing, Industry 4.0, and Industrial Internet. One of their common aims is to optimize the collaborative resource configuration across enterprises by establishing platforms that aggregate distributed resources. In all of these concepts, a complete manufacturing system consists of distributed physical manufacturing systems and a platform containing the virtual manufacturing systems mapped from the physical ones. We call such manufacturing systems platform-based smart manufacturing systems (PSMSs). A PSMS can therefore be regarded as a huge cyber-physical system with the cyber part being the platform and the physical part being the corresponding physical manufacturing system. A significant issue for a PSMS is how to optimally schedule the aggregated resources. Multi-agent technology provides an effective approach for solving this issue. In this paper we propose a multi-agent architecture for scheduling in PSMSs, which consists of a platform-level scheduling multi-agent system (MAS) and an enterprise-level scheduling MAS. Procedures, characteristics, and requirements of scheduling in PSMSs are presented. A model for sched-uling in a PSMS based on the architecture is proposed. A case study is conducted to demonstrate the effectiveness of the proposed architecture and model.

关键词： Platform Smart manufacturing Multi-agent Scheduling

A mathematical analysis:From memristor to fracmemristor

在线全文

学校读者我要写书评

暂无评论

Chinese Physics B 2022年第6期31卷 1-8页

作者： Wu-Yang Zhu Yi-fei Pu Bo liu Bo Yu Ji-liu Zhou college of computer science Sichuan UniversityChengdu 610065China college of Physics and Engineering Chengdu Normal UniversityChengdu 611130China Chengdu university of Information Technology Chengdu 610225China

The memristor is also a basic electronic component,just like resistors,capacitors and *** is a nonlinear device with memory *** 2008,with HP’s announcement of the discovery of the TiO2 memristor,the new memristor system,memory capacitor(memcapacitor)and memory inductor(meminductor)were ***-order calculus has the characteristics of non-locality,weak singularity and long term memory which traditional integer-order calculus does not have,and can accurately portray or model real-world problems better than the classic integer-order *** recent years,researchers have extended the modeling method of memristor by fractional calculus,and proposed the fractionalorder memristor,but its concept is not *** paper reviews the existing memristive elements,including integer-order memristor systems and fractional-order memristor *** analyze their similarities and differences,give the derivation process,circuit schematic diagrams,and an outlook on the development direction of fractional-order memristive elements.

关键词： fractional calculus fractional-order memristor fracmemristor,memristor

Linked Open Data Query Based on Natural Language

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2017年第2期26卷 230-235页

作者： liu Jie LI Wei luo Liming ZHOU Jianshe HAN Xu SHI Jinsheng college of Information Engineering Capital Normal University Beijing Advanced Innovation Center for Imaging Technology Capital Normal University

Linked open data(LOD) supports the SPARQL query strongly.A translation system from the natural language query to the SPARQL query based on the syntax rules is *** a natural language query,a parsing method is proposed to represent the query intention and construct the corresponding query *** algorithms for obtaining and instantiating triple patterns are designed based on the rules.A mapping method for different types of graph nodes is lastly proposed to improve the *** experiments based on test data from QALD-4 are *** with the other systems,our system is more easy and effective,and evaluation results are outstanding in the field of unsupervised learning.

关键词： SPARQL conversion SPARQL query Query parsing Dependency parsing Linked open data(LOD)

An Interpretable CNN for the Segmentation of the Left Ventricle in Cardiac MRI by Real-Time Visualization

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

computer Modeling in Engineering & sciences 2023年第5期135卷 1571-1587页

作者： Jun liu Geng Yuan Changdi Yang Houbing Song Liang luo Robotics Institute School of Computer ScienceCarnegie Mellon UniversityPittsburghPA15217USA Department of Electrical&computer Engineering College of EngineeringNortheastern UniversityBostonMA02115USA Security and Optimization for Networked Globe Laboratory(SONG Lab) Embry-Riddle Aeronautical UniversityDaytona BeachFL32114USA School of computer science and Engineering University of Electronic Science and Technology of ChinaChengdu610054China

The interpretability of deep learning models has emerged as a compelling area in artificial intelligence *** safety criteria for medical imaging are highly stringent,and models are required for an ***,existing convolutional neural network solutions for left ventricular segmentation are viewed in terms of inputs and ***,the interpretability of CNNs has come into the *** medical imaging data are limited,many methods to fine-tune medical imaging models that are popular in transfer models have been built using massive public Image Net datasets by the transfer learning ***,this generates many unreliable parameters and makes it difficult to generate plausible explanations from these *** this study,we trained from scratch rather than relying on transfer learning,creating a novel interpretable approach for autonomously segmenting the left ventricle with a cardiac *** enhanced GPU training system implemented interpretable global average pooling for graphics using deep *** deep learning tasks were *** included data management,neural network architecture,and *** system monitored and analyzed the gradient changes of different layers with dynamic visualizations in real-time and selected the optimal deployment *** results demonstrated that the proposed method was feasible and efficient:the Dice coefficient reached 94.48%,and the accuracy reached 99.7%.It was found that no current transfer learning models could perform comparably to the ImageNet transfer learning *** model is lightweight and more convenient to deploy on mobile devices than transfer learning models.

关键词： Interpretable graphics training visualization image segmentation left ventricle CNNs global average pooling

Task Offloading Optimization for AGVs with Fixed Routes in Industrial IoT Environment

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

china Communications 2023年第5期20卷 302-314页

作者： Peng liu Zifu Wu Hangguan Shan fei Lin Qi Wang Qingshan Wang School of computer science and Technology Hangzhou Dianzi UniversityHangzhou 310018China HDU-ITMO Joint Institute Hangzhou Dianzi UniversityHangzhou 310018China college of Information science and Electronic Engineering Zhejiang UniversityHangzhou 310027China Hefei university of Technology School of MathematicsHefei 230009China

In order to solve the delay requirements of computing intensive tasks in industrial Internet of things,edge computing is moving from theoretical research to practical *** servers(ESs)have been deployed in factories,and on-site auto guided vehicles(AGVs),besides doing their regular transportation tasks,can partly act as mobile collectors and distributors of computing data and *** AGVs may offload tasks to the same ES if they have overlapping path segments,resource allocation conflicts are *** this paper,we study the problem of efficient task offloading from AGVs to ESs,along their fixed *** propose a multi-AGV task offloading optimization algorithm(MATO),which first uses the weighted polling algorithm to preliminarily allocate tasks for individual AGVs based on load balancing,and then uses the Deep Q-Network(DQN)model to obtain the updated offloading strategy for the AGV *** simulation results show that,compared with the existing methods,the proposed MATO algorithm can significantly reduce the maximum completion time of tasks and be stable under various parameter settings.

关键词： industrial Internet of Things task offloading optimization auto guided vehicles reinforcement learning

在线全文

学校读者我要写书评

暂无评论

基于人脸识别的智能视频监控报警系统设计

电子质量 2024年第1期 32-36页

作者：刘玉蕾李永锋付麦霞周飞河南工业大学信息科学与工程学院河南郑州450001

随着计算机技术和图像处理技术的不断发展,智能视频监控的重要性日益显现。但是传统报警系统效率低、误码率高,安全性相对不足。立足于现代住宅防盗的实际需要,提出了利用Python语言、 OpenCV技术和软件工程的设计思想,实现一款基于人... 详细信息

随着计算机技术和图像处理技术的不断发展,智能视频监控的重要性日益显现。但是传统报警系统效率低、误码率高,安全性相对不足。立足于现代住宅防盗的实际需要,提出了利用Python语言、 OpenCV技术和软件工程的设计思想,实现一款基于人脸检测识别的自动报警系统设计,可以安全识别人脸信息,从而判断是用户还是陌生人入侵,达到入侵检测和自动报警的功能。

关键词：目标检测人脸识别视频监控 Python

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

变风量空调系统模糊PID控制的仿真

江苏大学学报（自然科学版） 2005年第4期26卷 364-368页

作者：齐学义蔡艾江吴疆吴江刘鹏飞兰州理工大学流体动力及控制学院甘肃兰州730050 新疆天富热电股份有限公司新疆石河子832000 兰州理工大学石油化工学院甘肃兰州730050

针对目前变风量(VAV)空调系统参数整定困难,将模糊控制和常规PID控制相结合,提出一种基于模糊控制规则的模糊PID控制方法及模糊PID控制器的设计思路,并将其应用于VAV空调室温控制中.通过与常规PID控制器的室温控制仿真曲线比较表明:当... 详细信息

针对目前变风量(VAV)空调系统参数整定困难,将模糊控制和常规PID控制相结合,提出一种基于模糊控制规则的模糊PID控制方法及模糊PID控制器的设计思路,并将其应用于VAV空调室温控制中.通过与常规PID控制器的室温控制仿真曲线比较表明:当条件变化时,模糊PID室温控制实现了参数在线自整定,取得了较好的控制效果;模糊PID控制动态响应快,控制精度高,超调量小,具有较强的鲁棒性;所需送风量更接近实际负荷的需要,达到了既舒适又节能的效果.

关键词： VAV空调室温控制模糊PID控制仿真

From beasts to bytes:Revolutionizing zoological research with artificial intelligence

在线全文

学校读者我要写书评

暂无评论

Zoological Research 2023年第6期44卷 1115-1131页

作者： Yu-Juan Zhang Zeyu luo Yawen Sun Junhao liu Zongqing Chen Chongqing Key Laboratory of Vector Insects Chongqing Key Laboratory of Animal BiologyCollege of Life ScienceChongqing Normal UniversityChongqing 401331China School of Mathematical sciences Chongqing Normal UniversityChongqing 401331China Chongqing National Center for Applied mathematics Chongqing Normal UniversityChongqing 401331China

Since the late 2010s,Artificial Intelligence(AI)including machine learning,boosted through deep learning,has boomed as a vital tool to leverage computer vision,natural language processing and speech recognition in revolutionizing zoological *** review provides an overview of the primary tasks,core models,datasets,and applications of AI in zoological research,including animal classification,resource conservation,behavior,development,genetics and evolution,breeding and health,disease models,and ***,we explore the challenges and future directions of integrating AI into this *** on numerous case studies,this review outlines various avenues for incorporating AI into zoological research and underscores its potential to enhance our understanding of the intricate relationships that exist within the animal *** we build a bridge between beast and byte realms,this review serves as a resource for envisioning novel AI applications in zoological research that have not yet been explored.

关键词： Animal science Data extraction Classification model Behavior analysis Biomolecular sequences analysis