检索结果-南通市图书馆

Refinement modeling and verification of secure operating systems for communication in digital twins

在线全文

学校读者我要写书评

暂无评论

Digital Communications and Networks 2024年第2期10卷 304-314页

作者： zhenjiang Qian Gaofei sun Xiaoshuang Xing Gaurav Dhiman School of Computer Science and Engineering Changshu Institute of TechnologySuzhou215500China University Centre for Research and Development Department of Computer Science and EngineeringChandigarh UniversityMohali140413India Department of Computer Science and Engineering Graphic Era Deemed to be UniversityDehradun248002India

In traditional digital twin communication system testing,we can apply test cases as completely as possible in order to ensure the correctness of the system implementation,and even then,there is no guarantee that the digital twin communication system implementation is completely *** verification is currently recognized as a method to ensure the correctness of software system for communication in digital twins because it uses rigorous mathematical methods to verify the correctness of systems for communication in digital twins and can effectively help system designers determine whether the system is designed and implemented *** this paper,we use the interactive theorem proving tool Isabelle/HOL to construct the formal model of the X86 architecture,and to model the related assembly *** verification result shows that the system states obtained after the operations of relevant assembly instructions is consistent with the expected states,indicating that the system meets the design expectations.

关键词： Theorem proving Isabelle/HOL Formal verification System modeling Correctness verification

Defects and morphology engineering for constructing V_(s)-Ni_(3)S_(2)@V_(s)-Cu_(2)S nanotube heterojunction arrays toward efficient bifunctional electrocatalyst for overall water splitting

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Energy Chemistry 2024年第7期94卷 29-40页

作者： Wenyuan sun Alan Meng Lei Wang Guicun Li Jinfeng Cui Yongkai sun zhenjiang Li College of Materials Science and Engineering Qingdao University of Science and TechnologyQingdao 266042ShandongChina Key Laboratory of Optic-electric Sensing and Analytical Chemistryfor Life Science MOE College of Chemistry and Molecular EngineeringQingdao Universityof Science and TechnologyQingdao 266042ShandongChina College of Environment and Safety Engineering Qingdao University of Science and TechnologyQingdao 266042ShandongChina Qingdao Huanghai University Qingdao 266000ShandongChina College of Electromechanical Engineering Qingdao University of Science and TechnologyQingdao 266061ShandongChina

The development of highly active,stable and inexpensive electrocatalysts for hydrogen production by defects and morphology engineering remains a great ***,S vacancies-rich Ni_(3)S_(2)@Cu_(2)S nan-otube heterojunction arrays were in-situ grown on copper foam(V_(s)-Ni_(3)S_(2)@V_(s)-Cu_(2)S NHAs/CF)for efficient electrocatalytic overall water *** the merits of nanotube arrays and efficient electronic mod-ulation drived by the OD vacancy defect and 2D heterojunction defect,the resultant V_(s)-Ni_(3)S_(2)@V_(s)-Cu_(2)S NHAs/CF electrocatalyst exhibits excellent electrocatalytic activity with a low overpotential of 47 mV for the hydrogen evolution reaction(HER)at 10 mA cm^(-2) current density,and 263 mV for the oxygen evolution reaction(OER)at 50 mA cm^(-2) current density,as well as a cell voltage of 1.48 V at 10 mA cm^(-2).Moreover,the nanotube heterojunction arrays endows V_(s)-Ni_(3)S_(2)@V_(s)-Cu_(2)S NHAs/CF with outstanding stability in long-term catalytic processes,as confirmed by the continuous chronopotentiom-etry tests at current densities of 10 mA cm^(-2) for 100 h.

关键词： Nanotubearrays Heterojunction Vacancy Bifunctional electrocatalyst Overall water splitting

Stable multi-electron reaction stimulated by W doping VS_(4)for enhancing magnesium storage performance

在线全文

学校读者我要写书评

暂无评论

Journal of Energy Chemistry 2024年第2期89卷 89-98,I0004页

作者： Yuxin Tian Jiankang Chen Guofeng Wang Bing sun Alan Meng Lei Wang Guicun Li Jianfeng Huang Shiqi Ding zhenjiang Li College of Materials Science and Engineering Qingdao University of Science and TechnologyQingdao 266042ShandongChina Key Laboratory of Optic-electric Sensing and Analytical Chemistry for Life Science MOEShandong Key Laboratory of Biochemical AnalysisCollege of Chemistry and Molecular EngineeringQingdao University of Science and TechnologyQingdao 266042ShandongChina School of Material Science and Engineering International S&T Cooperation Foundation of Shaanxi ProvinceXi’an Key Laboratory of Green Manufacture of Ceramic MaterialsShaanxi University of Science and TechnologyXi’an 710021ShaanxiChina

Rechargeable magnesium batteries(RMBs)hold promise for offering higher volumetric energy density and safety features,attracting increasing research interest as the next post lithium-ion *** high performance cathode material by inducing multi-electron reaction process as well as maintaining structural stability is the key to the development and application of ***,multielectron reaction occurred in VS_(4)by simple W doping strategy.W doping induces valence of partial V as V^(2+)and V^(3+)in VS_(4)structure,and then stimulates electrochemical reaction involving multi-electrons in 0.5%*** flower-like microsphere morphology as well as rich S vacancies is also modulated by W doping to neutralize structure change in such multi-electron reaction *** fabricated 0.5%W-V-S delivers higher specific capacity(149.3 m A h g^(-1)at 50 m A g^(-1),which is 1.6 times higher than that of VS_(4)),superior rate capability(76 mA h g^(-1)at 1000 mA g^(-1)),and stable cycling performance(1500cycles with capacity retention ratio of 93.8%).Besides that,pesudocapaticance-like contribution analysis as well as galvanostatic intermittent titration technique(GITT)further confirms the enhanced Mg^(2+)storage kinetics during such multi-electron involved electrochemical reaction *** discovery provides new insights into the designing of multi-electron reaction process in cathode as well as neutralizing structural change during such reaction for realizing superior electrochemical performance in energy storage devices.

关键词： Multi-electron reaction W doping Stable structure Cathode Rechargeable magnesium batteries

Establishment of an indirect immunofluorescence assay for the detection of African swine fever virus antibodies

在线全文

学校读者我要写书评

暂无评论

Journal of Integrative Agriculture 2024年第1期23卷 228-238页

作者： Wan Wang zhenjiang Zhang Weldu Tesfagaber Jiwen Zhang Fang Li Encheng sun Lijie Tang Zhigao Bu Yuanmao Zhu Dongming Zhao State Key Laboratory for Animal Disease Control and Prevention National African Swine Fever Para-reference LaboratoryNational High Containment Facilities for Animal Diseases Control and PreventionHarbin Veterinary Research InstituteChinese Academy of Agricultural SciencesHarbin 150069China College of Veterinary Medicine Northeast Agricultural UniversityHarbin 150069China

African swine fever(ASF)continues to cause enormous economic loss to the global pig *** there is no safe and effective vaccine,accurate and timely diagnosis of ASF is essential to implement control *** immunofluorescence assay(IFA)is a gold standard serological method recommended by the World Organization for Animal Health(WOAH).In this study,we used primary fetal kidney cells to establish a wild boar cell line(BK2258)that supported the efficient replication of ASF virus(ASFV)SD/DY-I/21 and showed visible cytopathic effect(CPE).Moreover,using BK2258,we established a sensitive and specific IFA for ASFV antibody *** standardize and evaluate the performance of this assay,we used serum samples from pigs infected with the low virulent genotype I SD/DY-I/21 and genotype II HLJ/HRB1/20,and immunized with the vaccine candidate HLJ/18-7GD,field samples,and negative serum *** IFA reacted with the ASFV-positive sera and displayed bright fluorescence *** was no non-specific green fluorescence due to cellular senescence or other cell damage-causing *** to a commercial indirect enzyme-linked immunosorbent assay(iELISA),ASFV antibodies were detected 1–4 days earlier using our *** detection limits of the IFA and iELISA for the same ASFV-antibody positive serum samples were 1:25,600 and 1:6,400,respectively,indicating that the IFA is more sensitive than *** newly established IFA was highly specific and did not cross-react with sera positive for six other important porcine pathogens(i.e.,Classical swine fever virus(CSFV),Porcine reproductive and respiratory syndrome virus(PRRSV),Porcme circovirus type 2(PCV2),Pseudorabies virus(PRV),Foot-and-Mouth disease virus type O(FMDV/O),and Porcine epidemic diarrhea virus(PEDV)).This study thus provides a sensitive,specific,and reliable detection method that is suitable for the serological diagnosis of ASF.

关键词： African swine fever antibody IFA serological method

Zwitterionic ring-opening polymerization of macrocyclic ethyleneoxy-substituted carbonate:Access to cyclic PEG-like polycarbonate

在线全文

学校读者我要写书评

暂无评论

Chinese Chemical Letters 2024年第3期35卷 282-286页

作者： Jin Huang Jinwen Li Rui Yan Yuanyuan Qu Fengzhen Guo Lei Shen Can-liang Ma Jie sun zhenjiang Li Kai Guo State Key Laboratory of Materials-Oriented Chemical Engineering College of Biotechnology and Pharmaceutical EngineeringNanjing Tech UniversityNanjing 211816China Institute of Nanjing Advanced Biomaterials&Processing Equipment Lishui Economic Development ZoneNanjing 211299China

The innovation in polymer design to rival conventional polyethylene glycol(PEG)is an important approach to achieving a more sustainable ***,cyclic PEG-like polycarbonates having high molecular weight(4.4–49.5 kg/mol)were enabled through zwitterionic ring-opening polymerization(ZROP)of macrocyclic carbonates(MCs)mediated by N-heterocyclic carbene(NHC).The thermodynamic behavior of polymerization depends on the ring size of *** this process,the ZROP of 11-membered MC was driven by the change of enthalpy(ΔH_(p))which differed from the ZROP of 14-membered MC driven by the entropic change(ΔS_(p)).Cyclic polycarbonates depicted improved thermostability(T_(d5%)≥204℃)and higher glass transition temperatures(T_(g)>–40℃)in comparison to their linear analogues(T_(d5%)≤185℃,T_(g)~–50℃).In addition,the mechanism of ZROP of MC was addressed through computational study.A distinct mechanism of polymerization distinguishable from the well-known NHC-mediated ZROP of cyclic esters was revealed,where the zwitterion from nucleophilic addition to MC,*** intermediate,cannot be ring-opened probably due to the delocalization of negative charge on the carbonate group,but serves as an active center for the *** comparison to PEG,the attained polymer demonstrated comparable hydrophilic and biocompatible properties,as revealed by the results of contact angle and in vitro cytotoxicity studies,suggesting that cyclic polycarbonate hold the promise as the alternative of PEG.

关键词： Zwitterionic ring-opening polymerization Cyclic polycarbonate Macrocycles Tetrahedral intermediate NHC carbene

在线全文

学校读者我要写书评

暂无评论

视频监视前景图像估计的盲源提取方法

国防科技大学学报 2019年第1期41卷 130-141页

作者：王群薛瑞孙振江北京航空航天大学电子与信息工程学院北京100191 国防科技大学教研保障中心湖南长沙410073

在视频图像运动检测的背景消减方法中,场景图像或帧可建模为前景图像和背景图像的叠加或线性混合。然而,实际中图像的背景和前景往往相关,常用的主成分分析和独立分量分析等方法难以实现准确提取。为此,将视频图像的前景提取建模为盲源... 详细信息

在视频图像运动检测的背景消减方法中,场景图像或帧可建模为前景图像和背景图像的叠加或线性混合。然而,实际中图像的背景和前景往往相关,常用的主成分分析和独立分量分析等方法难以实现准确提取。为此,将视频图像的前景提取建模为盲源提取问题,提出了一种基于均方交叉预测误差的盲源提取方法,可以从相关的源视频图像中提取期望的前景图像,并将该方法扩展应用于基于基本模型和特征背景模型的背景消减方案中。基于人工和实际视频的实验验证了盲源提取背景消减方法的可行性和有效性。

关键词：运动检测背景消除前景分离盲源提取均方交叉预测误差

在线全文

学校读者我要写书评

暂无评论

论金世宗的法治思想与实践

政法论坛 2010年第5期28卷 89-93页

作者：孙振江辽宁工程技术大学公共管理与法学院

金世宗是中国北方历史上少数民族统治集团中较为开明、较有远见的政治家。他借鉴了中国历代帝王的治国经验,汲取海陵王暴政的深刻教训,尊崇儒学,以法治国。他的法治思想与实践主要表现在:法弊当更张,礼法结合;调平法律,宽猛相济;整饬吏... 详细信息

金世宗是中国北方历史上少数民族统治集团中较为开明、较有远见的政治家。他借鉴了中国历代帝王的治国经验,汲取海陵王暴政的深刻教训,尊崇儒学,以法治国。他的法治思想与实践主要表现在:法弊当更张,礼法结合;调平法律,宽猛相济;整饬吏治,赏罚信明;慎守令之选,严廉察之责;提倡节俭,力戒奢靡。在他的治国思想指导下,适应当时金代社会政治、经济、文化发展的需要,进行了多方面的调整和改革,并取得了显著的成效。

关键词：金世宗法治思想礼法结合宽猛相济整饬吏治

在线全文

学校读者我要写书评

暂无评论

在单面圆纬机上开发棉丙织物

针织工业 2000年第2期 22-23页

作者：孙振江天津市针织技术研究所天津300193

以适应市场需求为目标,积极开拓思路,针对性地调整产品结构,使科研与生产相结合,开发出市场对路的产品.我所根据国外客商的要求,在引进的日本产XL-3FA型、德国产S3P-172型、5623型单面圆纬机上分别试织开发了14.5 tex棉+10 tex(90 D)丙... 详细信息

以适应市场需求为目标,积极开拓思路,针对性地调整产品结构,使科研与生产相结合,开发出市场对路的产品.我所根据国外客商的要求,在引进的日本产XL-3FA型、德国产S3P-172型、5623型单面圆纬机上分别试织开发了14.5 tex棉+10 tex(90 D)丙纶、13 tex棉+8.3 tex(75 D)丙纶、18 tex棉+12.3 tex(111 D)丙纶等棉盖丙织物.其中14.5 tex棉+10 tex丙纶棉丙产品经天津保税区宇通公司推广生产坯布32000 kg,全部出口韩国,受到外商好评.现又接到客户订单,继续批量生产.

关键词：单面圆纬机棉丙织物开发

MXRA7 is involved in megakaryocyte differentiation and platelet production

在线全文

学校读者我要写书评

暂无评论

Blood Science 2023年第3期5卷 160-169页

作者： zhenjiang sun Benfang Wang Ying Shen Kunpeng Ma Ting Wang Yiqiang Wang Dandan Lin Institute of Blood and Marrow Transplantation National Clinical Research Center for Hematologic DiseasesCollaborative Innovation Center of HematologyJiangsu Institute of HematologyThe First Affiliated Hospital of Soochow UniversitySuzhou Medical CollegeSoochow UniversitySuzhou 215006China Department of Clinical Laboratory The Affiliated Jiangyin Hospital of Southeast UniversityJiangyin 214400China Wisdom Lake Academy of Pharmacy Xi’an Jiaotong-Liverpool UniversitySuzhou 215123China

Matrix remodeling is a critical process in *** biology of MXRA7,as a matrix remodeling associated gene,has still not been reported in hematopoietic *** databases showed that MXRA7 expressed in hematopoietic stem cells,suggesting that it may be involved in *** found that the amounts of megakaryocytes were lower in bone marrow and spleen from Mxra7−/−mice compared with that from wild-type ***-out of MXRA7 also reduced the amount of platelet in peripheral blood and affected the function of ***-out of MXRA7 inhibited hematopoietic stem/progenitor cells differentiate to megakaryocytes possibly through down-regulating the expression of GATA-1 and ***,knockdown of MXRA7 in MEG-01 cells could inhibit the cell proliferation and cell *** of MXRA7 inhibited the differentiation of MEG-01 cells and proplatelet formation through suppressing the ERK/MAPK signaling pathway and the expression ofβ-*** conclusion,the current study demonstrated the potential significance of MXRA7 in megakaryocyte differentiation and platelet *** novel findings proposed a new target for the treatment of platelet-related diseases,and much more investigations are guaranteed to dissect the mechanisms of MXRA7 in megakaryocyte differentiation and platelet production.

关键词： differentiation megakaryocytes MXRA7 platelet