检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

计算最大无基集的多项式时间算法

计算机工程 2011年第11期37卷 181-183页

作者：魏昆鹏王以松贵州大学计算机科学与信息学院贵阳550025

以无基集为基础,结合最大无基集的定义,提出一个多项式时间算法。算法给定一个逻辑程序P和它的一个解释I,求得一个作用在P和I上单调算子的最小不动点,并将该最小不动点中的元素从逻辑程序P的Herbrand基中删去得到一个集合A,集合A即为关... 详细信息

以无基集为基础,结合最大无基集的定义,提出一个多项式时间算法。算法给定一个逻辑程序P和它的一个解释I,求得一个作用在P和I上单调算子的最小不动点,并将该最小不动点中的元素从逻辑程序P的Herbrand基中删去得到一个集合A,集合A即为关于I的最大无基集。实验结果证明了该算法的正确性及复杂性。

关键词：逻辑程序良基模型最大无基集多项式

Thermoanaerobacter sp. X514嗜热脂肪酶LipTX的异源表达与酶学性质研究

在线全文

学校读者我要写书评

暂无评论

现代食品科技 2016年第11期32卷 91-97页

作者：魏涛杨昆鹏郏未未毛多斌郑州轻工业学院食品与生物工程学院河南郑州450002

本文克隆表达了来源于嗜热细菌Thermoanaerobacter sp.X514的嗜热脂肪酶Lip TX基因(Teth514_0029),利用亲和层析纯化了脂肪酶Lip TX,并详细研究了该脂肪酶的酶学性质。采用PCR技术扩增脂肪酶Lip TX基因,克隆到载体p ET15b中,构建重组载... 详细信息

本文克隆表达了来源于嗜热细菌Thermoanaerobacter sp.X514的嗜热脂肪酶Lip TX基因(Teth514_0029),利用亲和层析纯化了脂肪酶Lip TX,并详细研究了该脂肪酶的酶学性质。采用PCR技术扩增脂肪酶Lip TX基因,克隆到载体p ET15b中,构建重组载体p ET15b-Lip TX;将重组载体转入大肠杆菌BL21(DE3)中并利用IPTG诱导表达目的蛋白,经70℃热处理和Ni-NTA亲和层析两步纯化,得到纯化的重组酶。SDS-PAGE结果表明,脂肪酶Lip TX分子量为28 ku。酶学性质研究表明,该酶最适反应温度和pH分别为70℃和7.5;通过水解底物特异性和动力学实验,发现LipTX可以水解不同长链酰基(C_8-C_(12))的对硝基苯酚酯底物,对硝基苯酚癸酸酯是该酶最适合底物;同时该酶能够水解链长在C_4到C_(16)范围的三甘油酯底物,其中以甘油三丁酸酯为底物的酶活力最高。该酶对非极性有机溶剂(甲醇、乙醇、丙酮、DMF、DMSO和正己烷和氯仿)和变性剂(SDS、Tween-20和Triton X-100)具有较强的抗性,因此在生物催化和有机化学合成中具有广阔的开发应用前景。

关键词：嗜热酶脂肪酶克隆表达酶学性质

在线全文

学校读者我要写书评

暂无评论

多维反滤回灌井室内稳定流试验研究

岩土工程学报 2017年第2期39卷 327-333页

作者：李旺林尹志远刘占磊魏鹏昆何家鹏济南大学山东济南250002 济南市热力工程公司山东济南250100 河海大学江苏南京210098

反滤回灌井是山东胶东半岛地下水回灌中常用的回灌设施,它由普通回灌井和回灌池组成。在分析现有反滤回灌井存在问题的基础上,设计了一组回灌量大,又能防淤积、防低水位污水回灌、抗水流冲刷的多维反滤回灌井,给出了单井回灌量的理论计... 详细信息

反滤回灌井是山东胶东半岛地下水回灌中常用的回灌设施,它由普通回灌井和回灌池组成。在分析现有反滤回灌井存在问题的基础上,设计了一组回灌量大,又能防淤积、防低水位污水回灌、抗水流冲刷的多维反滤回灌井,给出了单井回灌量的理论计算公式和计算参数;同时,研制了室内稳定流回灌试验装置,进行了普通回灌井、现有反滤回灌井和多维反滤回灌井的室内稳定流试验研究,得出结论:1同现有反滤回灌井相比,多维反滤回灌井的单井回灌量增加了370%~420%;2多维回灌井口的形状影响单井回灌量,在过水断面面积相同的情况下,圆形多维回灌井口的单井回灌量最大;3初次回灌试验中,单井回灌量最大,随回灌试验次数增加,单井回灌量逐渐减小,并趋向于稳定;4单井回灌量与多维回灌井口过水断面开孔率是一个非线性的关系,20%的过水断面开孔率是适宜的。研究成果对于提高反滤回灌井的回灌能力和定量计算单井回灌量具有重要的现实意义。

关键词：反滤回灌井多维回灌试验单井回灌量稳定流

Electrochemical conversion of methane to bridge the gap in the artificial carbon cycle

在线全文

学校读者我要写书评

暂无评论

Journal of Energy Chemistry 2025年第1期100卷 286-308页

作者： Yuhao peng Yuefeng Song Ihar Razanau Juanxiu Xiao wei Xiao Di Hu Guoxiong Wang College of Chemistry and Molecular Sciences Hubei Key Laboratory of Electrochemical Power Sources Wuhan University State Key Laboratory of Catalysis Dalian National Laboratory for Clean Energy iChEM (Collaborative Innovation Center of Chemistry for Energy Materials) Dalian Institute of Chemical Physics Chinese Academy of Sciences Laboratory of Physical-Chemical Technologies SSPA Scientific and Practical Materials Research Centre of NAS of Belarus State Key Laboratory of Marine Resources Utilization in South China Sea Collaborative Innovation Center of Marine Science and Technology School of Marine Science and Engineering Hainan University Department of Chemical and Environmental Engineering University of Nottingham Ningbo China

Methane, an abundant one-carbon（C1） resource, is extensively used in the industrial production of vital fuels and value-added chemicals. However, current industrial methane conversion technologies are energy-and carbon-intensive, mainly due to the high activation energy required to break the inert C–H bond, low selectivity, and problematic side reactions, including CO2emissions and coke deposition. Electrochemical conversion of methane（ECM） using intermittent renewable energy offers an attractive solution, due to its modular reactor design and operational flexibility across a broad spectrum of temperatures and pressures. This review emphasizes conversion pathways of methane in various reaction systems, highlighting the significance and advantages of ECM in facilitating a sustainable artificial carbon cycle. This work provides a comprehensive overview of conventional methane activation mechanisms and delineates the complete pathways of methane conversion in electrolysis contexts. Based on surface/interface chemistry, this work systematically analyzes proposed reaction pathways and corresponding strategies to enhance ECM efficiency towards various target products, including syngas, hydrocarbons, oxygenates, and advanced carbon materials. The discussion also encompasses opportunities and challenges for the ECM process, including insights into ECM pathways, rational electrocatalyst design, establishment of benchmarking protocols, electrolyte engineering, enhancement of CH4conversion rates, and minimization of CO2emission.

关键词： Methane Electrochemical conversion Reaction mechanism Catalyst design Electrode Electrocatalysis

一种基于等效线性化的非平稳随机动力响应分析的显式迭代算法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

动力学与控制学报 2017年第3期15卷 262-267页

作者：李雪平王坤魏鹏苏成华南理工大学土木与交通学院亚热带建筑科学国家重点实验室广州510000

提出了一种基于等效线性化法的非平稳随机动力响应分析的显式迭代算法.首先根据等效线性化法把非线性系统转化为离散的线性系统,然后应用Newmark-β积分方法,推导出各个离散时刻的时域显式迭代公式,进而可以快速得到非线性系统的随机动... 详细信息

提出了一种基于等效线性化法的非平稳随机动力响应分析的显式迭代算法.首先根据等效线性化法把非线性系统转化为离散的线性系统,然后应用Newmark-β积分方法,推导出各个离散时刻的时域显式迭代公式,进而可以快速得到非线性系统的随机动力响应,最后用一个非线性的范德波尔系统和一个杜芬系统受非平稳随机荷载的算例验证了该算法的计算精度和计算效率.

关键词：非线性系统非平稳随机等效线性化显式迭代算法

Engineered Cancer Nanovaccines:A New Frontier in Cancer Therapy

在线全文

学校读者我要写书评

暂无评论

Nano-Micro Letters 2025年第2期17卷 134-168页

作者： Yijie Wang Congrui Liu Chao Fang Qiuxia peng Wen Qin Xuebing Yan kun Zhang Central Laboratory and Department of Medical Ultrasound Sichuan Academy of Medical SciencesSichuan Provincial People’s HospitalSchool of MedicineUniversity of Electronic Science and Technology of ChinaNo.32West Second SectionFirst Ring RoadChengdu 610072People’s Republic of China Department of Stomatology and Central Laboratory School of MedicineShanghai Tenth People’s HospitalTongji UniversityNO.301 Yan‑Chang‑Zhong RoadShanghai 200072People’s Republic of China Jiangsu Provincial Innovation and Practice Base for Postdoctors Suining People’s HospitalAffiliated Hospital of Xuzhou Medical UniversityNo.2Bayi West RoadSuiningXu Zhou 221000Jiangsu ProvincePeople’s Republic of China

Vaccinations are essential for preventing and treating disease,especially cancer nanovaccines,which have gained considerable interest recently for their strong anti-tumor immune *** can prompt the immune system to generate antibodies and activate various immune cells,leading to a response against tumor tissues and reducing the negative effects and recurrence risks of traditional chemotherapy and *** enhance the flexibility and targeting of vaccines,nanovaccines utilize nanotechnology to encapsulate or carry antigens at the nanoscale level,enabling more controlled and precise drug delivery to enhance immune *** nanovaccines function by encapsulating tumor-specific antigens or tumor-associated antigens within *** small size of these nanomaterials allows for precise targeting of T cells,dendritic cells,or cancer cells,thereby eliciting a more potent anti-tumor *** this paper,we focus on the classification of carriers for cancer nanovaccines,the roles of different target cells,and clinically tested cancer nanovaccines,discussing strategies for effectively inducing cytotoxic T lymphocytes responses and optimizing antigen presentation,while also looking ahead to the translational challenges of moving from animal experiments to clinical trials.

关键词： Cancer nanovaccines Immunotherapy Nanobiotechnology Immune targets Signaling pathway

在线全文

学校读者我要写书评

暂无评论

LU-ReNet植物叶片分割与计数模型

计算机工程与设计 2022年第2期43卷 553-559页

作者：邹龙王以松魏昆鹏彭啟文王玮王运乾贵州大学计算机科学与技术学院贵州贵阳550025 贵州大学公共大数据国家重点实验室贵州贵阳550025 中国移动通信集团设计院有限公司河南郑州450003

为完成一种植物叶片分割与计数模型LU-ReNet,利用Xception module和CoordConv改进模型编码器,通过改进的ReNet模型并参照Unet模型结构将CNN和RNN结合在一起。在CVPPP的A1、A2、A3基准数据集上,LU-ReNet模型取得了0.95的平均F1-score、95.54%的平均前景-背景Dice(FBD%)、0.95的平均召回率和1.91的平均计数差分绝对值(|Dic|)。在A2基准数据集上,该模型表现超越大部分最新算法。实验结果表明,该网络在拥有高分割准确率的同时具有良好的泛化能力。

关键词：叶片分割植物表型深度神经网络卷积神经网络叶片计数

在线全文

学校读者我要写书评

暂无评论

带函数的正规逻辑程序设计系统(英文)

贵州大学学报（自然科学版） 2009年第2期26卷 61-66页

作者：王以松魏昆鹏贵州大学计算机科学与技术学院贵州贵阳550025

带函数的回答集程序设计(FASP)允许在正规逻辑程序中嵌入函数符号,描述了这个系统fasp的设计与实现。其基本思想是把简单函数和原子当成变量,程序的Clark完备化和环公式约束处理(CSP)中的约束,然后通过已有的CSP求解器来计算其CSP例的解... 详细信息

带函数的回答集程序设计(FASP)允许在正规逻辑程序中嵌入函数符号,描述了这个系统fasp的设计与实现。其基本思想是把简单函数和原子当成变量,程序的Clark完备化和环公式约束处理(CSP)中的约束,然后通过已有的CSP求解器来计算其CSP例的解。ASP的测试用例也可通过fasp应用于CSP中。我们用汉密尔顿回路问题和N-皇后问题测试了该系统,并与其它系统进行了比较,实验结果表明,fasp对N-皇后问题有较好的效率。

关键词：人工智能逻辑程序回答集函数

在线全文

学校读者我要写书评

暂无评论

简单单调约束逻辑程序的良基语义研究

计算机工程与设计 2013年第6期34卷 2180-2184页

作者：常万军郭祖华魏昆鹏河南机电高等专科学校计算机科学与技术系河南新乡453000 贵州大学计算机科学与信息学院贵州贵阳550025

在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性。分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑... 详细信息

在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性。分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑程序等价展开为与其等价的正规逻辑程序,以求展开后的逻辑程序中的给定算子的最小不动点为切入,给出了简单单调约束逻辑程序的交替不动点的良基模型。论证了文中提出的简单单调约束逻辑程序良基模型定义的合理性,说明把约束逻辑程序转化为正规逻辑程序是可行的。

关键词：逻辑程序简单单调约束逻辑回答集稳定模型良基语义