检索结果-南通市图书馆

Fuzzy Semantics of Contract Language

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Applied Mathematics 2016年第5期7卷 422-439页

作者： hengyang wu Yixiang Chen Information Engineer College Hangzhou Dianzi University Hangzhou China MoE Engineering Center for Software/Hardware Co-Design Technology and Application

In this paper, we focus on investigation of the predicate transformer semantics of the contract language introduced by Back and von Wright in their book titled as “Refinement Calculus: A Systematic Introduction” (Springer-Verlag, New York, 1998) in the framework of fuzziness. In order to define fuzzy operations, i.e., fuzzy logic connectives, we take into account implicator → and its associated based on residuated lattice theory. Based on these basic fuzzy operations, we introduce the angelic and demonic updates of fuzzy relations. They are the basis of fuzzy predicate transformers in the sense of that any strongly monotone fuzzy predicate transformer can be represented as the sequential composition of the angelic and demonic updates. Together with the standard strong negation , we set up the duality between the angel and demon. The fuzzy predicate transformers semantics of contract statements is established and a simple example of contract statements is given.

关键词： Contract Language Formal Semantics Residuated Lattice Fuzzy Predicate Transformers

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

城市交通流协调模糊控制模型

济南大学学报（自然科学版） 2015年第4期29卷 256-262页

作者：叶文斌吴恒洋王振辉华东师范大学软件学院上海200062 杭州电子科技大学信息工程学院浙江杭州310018

针对交通路口拥堵问题,提出基于神经网络与协调模糊控制相结合的数学模型。该模型首先通过BP神经网络输出各种路况信息,然后将这些信息以模糊隶属函数表示,进而通过模糊推理控制规则推导出控制策略。与已有模型相比,该模型采用OBD设备,... 详细信息

针对交通路口拥堵问题,提出基于神经网络与协调模糊控制相结合的数学模型。该模型首先通过BP神经网络输出各种路况信息,然后将这些信息以模糊隶属函数表示,进而通过模糊推理控制规则推导出控制策略。与已有模型相比,该模型采用OBD设备,能够实时捕捉车辆信息,而且考虑较多的路况信息,更符合实际情况。仿真结果表明,该模型能通过动态分配信号灯时间,有效降低交通路口拥堵风险。

关键词：智能信号灯神经网络协调模糊控制实时

在线全文

学校读者我要写书评

暂无评论

施用氮肥对温州蜜柑产量和品质的影响

土壤学报 1998年第1期35卷 124-128页

作者：刘运武湖南省衡阳市农科所 421101

红壤丘岗坡地桔园，在施用有机肥和磷钾肥的基础上，施用不同量的氮肥后，土壤pH值随着施氮量的增加而下降，呈线性负相关（r=-0．905）。不同施氮量对柑桔产量的影响具有极显著的差异。施氮后，土壤速效氮、磷、钾和叶片氮、磷、钾含... 详细信息

红壤丘岗坡地桔园，在施用有机肥和磷钾肥的基础上，施用不同量的氮肥后，土壤pH值随着施氮量的增加而下降，呈线性负相关（r=-0．905）。不同施氮量对柑桔产量的影响具有极显著的差异。施氮后，土壤速效氮、磷、钾和叶片氮、磷、钾含量与产量呈显著或极显著线性相关。土壤速效氮磷钾与叶片氮、磷、钾含量也呈显著或极显著的线性相关。1986—1991年6年的分析结果表明，柑桔除总酸量与施氮量呈极显著负相关（r一-0．918）外，转化糖、还原糖、维生素C与施氮量均呈线性正相关，因此，施用氮肥能提高柑桔品质。

关键词：氮肥温州蜜柑营养产量品质

Chronic stress as an emerging risk factor for the development and progression of glioma

在线全文

学校读者我要写书评

暂无评论

Chinese Medical Journal 2024年第4期137卷 394-407页

作者： Lan Yi Xiang Lin Xiaoling She Wei Gao Minghua wu Institute of Cytology and Genetics The Hengyang Key Laboratory of Cellular Stress BiologyHunan Province Cooperative Innovation Center for Molecular Target New Drug StudyHengyang Medical SchoolUniversity of South ChinaHengyangHunan 421001China Department of Pathology The Second Xiangya HospitalCentral South UniversityChangshaHunan 410011China Key Laboratory of Carcinogenesis and Cancer Invasion of Ministry of Education Cancer Research InstituteCentral South UniversityChangshaHunan 410008China NHC Key Laboratory of Carcinogenesis Xiangya HospitalCentral South UniversityChangshaHunan 410008China

Gliomas tend to have a poor prognosis and are the most common primary malignant tumors of the central nervous *** with patients with other cancers,glioma patients often suffer from increased levels of psychological stress,such as anxiety and *** stress(CS)is thought to impact glioma ***,because of the complex mechanisms underlying CS and variability in individual tolerance,the role of CS in glioma remains *** review suggests a new proposal to redivide the stress system into two *** activity is dominant ***-signaling molecules produced by the neuroendocrine system are dominant *** discuss the underlying molecular mechanisms by which CS impacts *** pharmacological treatments are also summarized from the therapeutic perspective of CS.

关键词： Chronic stress Glioma Microbiota-gut-brain axis Neuroendocrine system Stress system Neural circuit

Robust structured total least squares algorithm for passive location

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2015年第5期26卷 946-953页

作者： Hao wu Shuxin Chen Yihang Zhang hengyang Zhang Juan Ni Information and Navigation College Air Force Engineering University Unit 94303 of PLA

A new approach called the robust structured total least squares(RSTLS) algorithm is described for solving location inaccuracy caused by outliers in the single-observer passive location. It is built within the weighted structured total least squares(WSTLS)framework and improved based on the robust estimation ***, the improved Danish weight function is proposed according to the robust extremal function of the WSTLS, so that the new algorithm can detect outliers based on residuals and reduce the weights of outliers automatically. Finally, the inverse iteration method is discussed to deal with the RSTLS problem. Simulations show that when outliers appear, the result of the proposed algorithm is still accurate and robust, whereas that of the conventional algorithms is distorted seriously.

关键词： passive location structured total least squares robust estimation equivalent weight function

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

气浮活塞优化设计及其径向承载力试验研究

机电工程 2024年第3期41卷 392-399,454页

作者：李想吴洁陆阳勇黄凯周恒扬刘磊钱鹏飞江苏大学机械工程学院江苏镇江212013 浙江联宜电机有限公司浙江金华322100

对于气缸的高精度伺服控制而言,从根本上消除摩擦力具有重要的意义。气浮活塞是气浮无摩擦气缸的重要构成部件。在气缸的运行过程中,气浮活塞的径向承载力不足会引发活塞与缸筒内壁接触,致使气体润滑失效。为了提高无摩擦气缸中气浮活... 详细信息

对于气缸的高精度伺服控制而言,从根本上消除摩擦力具有重要的意义。气浮活塞是气浮无摩擦气缸的重要构成部件。在气缸的运行过程中,气浮活塞的径向承载力不足会引发活塞与缸筒内壁接触,致使气体润滑失效。为了提高无摩擦气缸中气浮活塞的径向承载性能,期望在实现更大承载力的前提下尽量减少耗气量,采用有限元仿真与试验相结合的方法,开展了气浮活塞径向承载力的研究工作。首先,采用Fluent软件仿真分析了供气压力、偏心率和节流孔直径等参数对气浮活塞径向承载力和耗气量的影响;然后,在综合考量后,优选出了气浮活塞的节流孔径,并以此加工出了气浮活塞样机;最后,为了测试实际情况下不同供气压力和偏心状态下的气浮活塞的径向承载能力,设计并搭建了一套以气浮无摩擦气缸作为加载装置的高精度径向承载力检测装置。研究结果表明:从定性的角度上看,仿真和试验结果趋势一致;从定量的角度上看,试验结果与仿真结果的吻合度在90%以上。该研究可为采用Fluent软件仿真研究气浮活塞径向承载力的准确性提供依据,为后续仿真模型的修正提供一定的指导。

关键词：气压传动无摩擦气缸 Fluent仿真优化气体润滑供气压力节流孔直径偏心率

Disulfiram:A novel repurposed drug for cancer therapy

在线全文

学校读者我要写书评

暂无评论

Chinese Medical Journal 2024年第12期137卷 1389-1398页

作者： Min Zeng Baibei wu Wenjie Wei Zihan Jiang Peiqiang Li Yuanting Quan Xiaobo Hu Department of Biochemistry and Molecular Biology School of Basic MedicineHengyang Medical SchoolUniversity of South ChinaHengyangHunan 421001China The Key Laboratory of Ecological Environment and Critical Human Diseases Prevention of Hunan Province Department of Education Hengyang Medical SchoolUniversity of South ChinaHengyangHunan 421001China Institute of Biochemistry of hengyang Medical School University of South ChinaHengyangHunan 421001China

Cancer is a major global health *** therapeutic strategies can prolong patients’survival and reduce the costs of *** repurposing,which identifies new therapeutic uses for approved drugs,is a promising approach with the advantages of reducing research costs,shortening development time,and increasing efficiency and ***(DSF),a Food and Drug Administration(FDA)-approved drug used to treat chronic alcoholism,has a great potential as an anticancer drug by targeting diverse human *** studies show the antitumor effects of DSF,particularly the combination of DSF and copper(DSF/Cu),on a wide range of cancers such as glioblastoma(GBM),breast cancer,liver cancer,pancreatic cancer,and *** this review,we summarize the antitumor mechanisms of DSF/Cu,including induction of intracellular reactive oxygen species(ROS)and various cell death signaling pathways,and inhibition of proteasome activity,as well as inhibition of nuclear factor-kappa B(NF-κB)***,we highlight the ability of DSF/Cu to target cancer stem cells(CSCs),which provides a new approach to prevent tumor recurrence and ***,DSF/Cu inhibits several molecular targets associated with drug resistance,and therefore it is becoming a novel option to increase the sensitivity of chemo-resistant and radio-resistant *** of DSF/Cu may shed light on its improved application to clinical tumor treatment.

关键词： Disulfiram Aldehyde dehydrogenase Reactive oxygen species Proteasome activity Cancer stem cells Drug resistance

Theoretical design of polyazole based ligands for the separation of Am(Ⅲ)/Eu(Ⅲ)

在线全文

学校读者我要写书评

暂无评论

Chinese Chemical Letters 2024年第8期35卷 406-412页

作者： Lingling Su Qunyan wu Congzhi Wang Jianhui Lan Weiqun Shi School of Nuclear Science and Technology University of South ChinaHengyang 421001China Laboratory of Nuclear Energy Chemistry Institute of High Energy PhysicsChinese Academy of SciencesBeijing 100049China

The extraction of radioactive minor actinides(An(Ⅲ))from lanthanides(Ln(Ⅲ))is an extremely impor-tant step in nuclear waste *** ligands with high-performance actinide-selectivity re-mains an essential *** works have reported that some polyazole based ligands exhibit good An(Ⅲ)/Ln(Ⅲ)separation ***,we first evaluated the effects of different polyazole side chains on the Am(Ⅲ)/Eu(Ⅲ)selectivity by exploring three pyridine-derived polyazole ligands L^(1),L^(2)and L^(3)with 1,2,4-triazole,1,2,3-triazole,and pyrazole side chains,respectively,using scalar relativistic theoretical *** coordination structures,bonding properties and thermodynamic behaviors of AmL(NO_(3))_(3)and EuL(NO_(3))_(3)complexes were investigated,which clarifies that the side chains do affect the electronic structure of ligand and its selectivity for Am(Ⅲ)/Eu(Ⅲ)***,L^(1)with 1,2,4-triazole side chains exhibited the highest selectivity for Am(Ⅲ)over Eu(Ⅲ)while the lowest complexation ability for metal ions among the three pyridine-derived polyazole ***,we designed a new ligand L^(4)con-taining 1,2,4-triazole side chains and a preorganized phenanthroline ***,such a new ligand was verified to show stronger complexation ability and higher selectivity for Am(Ⅲ)/Eu(Ⅲ)ions than L^(1).This work clarifies the complexation nature of polyazole based ligands with Am(Ⅲ)/Eu(Ⅲ)ions and provides design strategies for highly efficient polyazole based ligands for An(Ⅲ)/Ln(Ⅲ)separation.

关键词： Solvent extraction Am(Ⅲ)/Eu(Ⅲ)separation Polyazole based ligands Design strategy Density functional theory

微创经皮LCP钢板内固定治疗四肢骨折的效果观察

在线全文

学校读者我要写书评

暂无评论

大医生 2020年第2期5卷 54-56页

作者：武恒洋王旭东王路王宝胜倪同伟盐城市第六人民医院江苏盐城224000

目的探讨微创经皮LCP钢板内固定治疗四肢骨折的临床效果。方法选取江苏省盐城市第六人民医院2018年1月至2019年1月收治的55例四肢骨折患者作为研究对象,按照入院时间先后顺序分为观察组(n=28)和对照组(n=27)。对照组采用常规切开复位内... 详细信息

目的探讨微创经皮LCP钢板内固定治疗四肢骨折的临床效果。方法选取江苏省盐城市第六人民医院2018年1月至2019年1月收治的55例四肢骨折患者作为研究对象,按照入院时间先后顺序分为观察组(n=28)和对照组(n=27)。对照组采用常规切开复位内固定术,观察组采用微创经皮LCP钢板内固定。比较2组患者治疗优良率、骨折愈合时间、术中出血量、VAS评分、并发症发生率等指标。结果观察组患者治疗优良率为96.43%,高于对照组的74.07%(P<0.05);观察组患者骨折愈合时间、术中出血量、VAS评分、并发症发生率均低于对照组(P<0.05)。结论采用微创经皮LCP钢板内固定治疗四肢骨折,更利于患者功能恢复,降低并发症的发生率,值得临床推广应用。

关键词：微创锁定加压钢板内固定四肢骨折