检索结果-南通市图书馆

程序语言中基于Fibrations理论的索引共归纳数据类型

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

计算机科学与探索 2016年第10期10卷 1482-1492页

作者：苗德成奚建清戴经国韶关学院信息科学与工程学院华南理工大学软件学院

传统范畴论与共代数等方法在分析语义行为与描述共归纳规则方面存在不足,应用Fibrations理论对程序语言中索引共归纳数据类型(indexed co-inductive data type,ICDT)进行了研究。通过基变换构造索引Fibration,建立索引Fibration的等式... 详细信息

传统范畴论与共代数等方法在分析语义行为与描述共归纳规则方面存在不足,应用Fibrations理论对程序语言中索引共归纳数据类型(indexed co-inductive data type,ICDT)进行了研究。通过基变换构造索引Fibration,建立索引Fibration的等式函子与商函子等工具,应用伴随性质与保持等式的提升深入分析ICDT的语义行为;以此为基础,构造ICDT上参数化的共递归操作,在Fibrations理论框架内抽象描述具有普适意义的共归纳规则,并以实例分析简要介绍Fibrations理论在ICDT中的应用。与传统研究方法相比,Fibrations理论具有简洁的描述性与灵活的扩展性,可以精确分析ICDT的语义行为,具有高度的抽象性且不依赖特定的计算环境,描述了ICDT具有普适意义的共归纳规则。

关键词：语义行为共归纳规则基变换提升共递归

Fibrations理论在索引归纳数据类型语法构造中的应用

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2017年第4期53卷 70-74,134页

作者：苗德成奚建清刘新盛韶关学院信息科学与工程学院华南理工大学软件学院解放军防空兵学院弹炮一体系

应用Fibrations理论对索引归纳数据类型的语法构造进行了研究。提出了索引fibration及其真值与内涵函子的定义,构造了索引与代数范畴,利用折叠函数与伴随函子等工具构造了索引范畴中一类相对复杂的索引归纳数据类型,辅以实例进行了简要... 详细信息

应用Fibrations理论对索引归纳数据类型的语法构造进行了研究。提出了索引fibration及其真值与内涵函子的定义,构造了索引与代数范畴,利用折叠函数与伴随函子等工具构造了索引范畴中一类相对复杂的索引归纳数据类型,辅以实例进行了简要分析,并通过相关工作的论述指出了Fibrations理论研究方法的优势。

关键词：语法构造索引归纳数据类型 Fibrations理论范畴提升

膝关节置换术对膝单间室骨性关节炎患者关节功能恢复的影响

在线全文

学校读者我要写书评

暂无评论

影像科学与光化学 2022年第3期40卷 655-658页

作者：林小平苗德成李亚伟南京中医药大学附属连云港医院骨伤科江苏连云港222000

本研究探讨膝关节置换术在膝单间室骨性关节炎治疗中的应用价值。选取膝单间室骨性关节炎患者103例,根据手术方式分为对照组(n=53)和观察组(n=50),对照组给予单髁置换术,观察组给予膝关节置换术,观察两组手术时间、术中出血量等。观察... 详细信息

本研究探讨膝关节置换术在膝单间室骨性关节炎治疗中的应用价值。选取膝单间室骨性关节炎患者103例,根据手术方式分为对照组(n=53)和观察组(n=50),对照组给予单髁置换术,观察组给予膝关节置换术,观察两组手术时间、术中出血量等。观察组手术时间、住院时间明显长于对照组,术中出血量明显多于对照组(P0.05),观察组术后24 h血清白细胞介素-6(IL-6)和C反应蛋白(CRP)明显高于对照组(P0.05);观察组和对照组并发症发生率比较,差异无统计学意义(P>0.05)。膝关节置换术在膝单间室骨性关节炎治疗中有较好的效果,但其存在创伤大、出血量多等缺点。

关键词：膝关节置换术膝单间室骨性关节炎临床效果

在线全文

学校读者我要写书评

暂无评论

出口压力容器制造的检验控制

一重技术 2010年第4期 59-61页

作者：苗得成杨涛中国第一重型机械集团公司核电石化事业部助理工程师辽宁大连116113

介绍ASME U、U2标准证书对出口压力容器产品质量控制要求及实施方法,重点介绍焊接工艺流程图以及过程控制表的制作要点。

关键词： ASMEU证书 U2证书检验流程图过程控制表

在线全文

学校读者我要写书评

暂无评论

基于范畴论的形式语言模型建模方法研究

计算机应用与软件 2015年第4期32卷 19-23页

作者：苗德成奚建清苏锦钿韶关学院数学与信息科学学院广东韶关512005 华南理工大学计算机科学与工程学院广东广州510640

形式语言模型转换的语义一致性与其形式系统完备性分析是当前形式语言理论尚未有效解决的难题。针对形式语言模型的应用需求与研究现状,建立形式文法模型及其形式语言模型,应用范畴论方法构建具有普适意义的形式文法模型范畴与形式语言... 详细信息

形式语言模型转换的语义一致性与其形式系统完备性分析是当前形式语言理论尚未有效解决的难题。针对形式语言模型的应用需求与研究现状,建立形式文法模型及其形式语言模型,应用范畴论方法构建具有普适意义的形式文法模型范畴与形式语言模型范畴。在形式语言族模型的形式化理论框架内,用与特定形式语言无关的范畴论方法研究形式语言模型转换的语义一致性。初步分析形式系统的完备性,通过与形式语言理论主要研究方法的比对论证了范畴论方法的优势,为形式语言模型的范畴论方法研究提供一个便利、高效的形式化理论框架。

关键词：模型形式语言范畴论语义一致性完备性

High temperature superconductor Na_(2)B_(2)H stabilized by hydrogen intercalation under ambient pressure

在线全文

学校读者我要写书评

暂无评论

Science China(Physics,Mechanics & Astronomy) 2024年第11期67卷 141-148页

作者： Wendi Zhao Defang Duan Zhengtao Liu Zihao Huo Shumin Guo decheng An Maosheng miao Tian Cui State Key Laboratory of Superhard Materials Key Laboratory of Material Simulation Methods&Software of Ministry of EducationCollege of PhysicsJilin UniversityChangchun 130012China Department of Chemistry and Biochemistry California State UniversityNorthridgeCalifornia 91330USA Department of Earth Science University of CaliforniaSanta BarbaraCalifornia 93106USA Institute of High Pressure Physics School of Physical Science and TechnologyNingbo UniversityNingbo 315211China

Hydrogenated metal borides have attracted much attention due to their potential high-temperature ***,we propose a new strategy for hydrogen intercalation tuning the stability and superconductivity of the boron honeycomb sublattice,and predict an unprecedented layered compound Na_(2)B_(2)H,which hosts excellent ***,the superconducting transition temperature(Tc)of Na_(2)B_(2)H reaches 42 K at ambient *** Tcvalue can be further increase to 63 K under 5%biaxial tensile *** excellent superconductivity originates from the strong electron-phonon coupling between theσ-bonding bands near the Fermi level and the B-B stretching optical E *** interstitial electron localization and crystal orbitals of the H-intercalated Na ion layer well match the boron honeycomb lattice and act as a chemical template to stabilize the B ***,the introduction of hydrogen tuned the Fermi level,and the coupling vibration of Na and H ions effectively enhanced the dynamic stability of the ***_(2)B_(2)H represents a new family of layered high-temperature superconductors,and the strategy of stabilizing the honeycomb boron sublattice via chemical template hosts great potential for application to more layered compounds.

关键词： superconductivity hydrogenation metal borides electron-phonon coupling

Multi-Scale Damage Model for Quasi-Brittle Composite Materials

在线全文

学校读者我要写书评

暂无评论

Computer Modeling in Engineering & Sciences 2020年第3期122卷 997-1014页

作者： decheng Feng Key Laboratory of Concrete and Prestressed Concrete Structures of the Ministry of Education Southeast UniversityNanjing211189China. The Jiangsu Institution of Engineers Nanjing210019China.

In the present paper,a hierarchical multi-scale method is developed for the nonlinear analysis of composite materials undergoing heterogeneity and *** from the homogenization theory,the energy equivalence between scales is *** accompanied with the energy based damage model,the multi-scale damage evolutions are resolved by homogenizing the energy scalar over the *** macroscopic behaviors described by the multi-scale damage evolutions represent the mesoscopic heterogeneity and damage of the composites.A rather simple structure made from particle reinforced composite materials is developed as a numerical *** agreement between the fullscale simulating results and the multi-scale simulating results demonstrates the capacity of the proposed model to simulate nonlinear behaviors of quasi-brittle composite materials within the multi-scale framework.

关键词： Energy integration multi-scale damage evolution nonlinearity composites quasi-brittle materials

Energy-Dissipative and Soften Resistant Hydrogels Based on Chitosan Physical Network: From Construction to Application

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Chemistry 2022年第17期40卷 2118-2134页

作者： Yanyu Yang decheng Wu College of Materials Science and Engineering Zhengzhou UniversityZhengzhouHenan450001 China Department of Biomedical Engineering Southern University of Science and TechnologyShenzhenGuangdong518055 China

In spite of biological tissue-like peculiarity,multifarious functionalities and great application prospect,the low mechanics and soften behavior of hydrogels still retain a problem to be addressed for repetitive weight-bearing fields of flexible electronics,actuators,substitutions of soft tissues,wound dressing,wearable or implantable *** to the distinct combination of diversity,reversibility and impressive disruption-reconstruction capacity,the chitosan physical cross-links can server as recoverable“sacrificial bonds”to construct multifarious energy-dissipative and anti-soften hydrogels and further broaden their diversified *** this review,we summarized the gelation mechanisms of chitosan physical networks and highlighted the chitosan physical network based hydrogels in rational design,construction principle,and structure and performance *** recent progress in functional hydrogels for flexible electronics and biomaterials was systematically ***,the review will provide comprehensive guidelines on the design principle,performance modulation and functionality construction of energy-dissipative and soften resistant hydrogels.

关键词： Gels Physicalcross-Links Mechanical properties Functionality Sensors

Design materials based on simulation results of silicon induced segregation at AlSi10Mg interface fabricated by selective laser melting

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Materials Science & Technology 2020年第11期42卷 145-155页

作者： Yuchengji Chaofang Dong decheng Kong Xiaogang Li Beijing Advanced Innovation Center for Materials Genome Engineering Key Laboratory for Corrosion and Protection(MOE)Institute for Advanced Materials and TechnologyUniversity of Science and Technology BeijingBeijing 100083China

AlSi10Mg fabricated by selective laser melting(SLM)had a unique network-like silicon-rich structure,and the mechanism for its formation was explained by molecular dynamics(MD)*** effects of the silicon-rich phase and Mg-containing structure on corrosion were studied by first-principles *** to the simulations,corrosion resistant materials were designed,samples with laser powers of 150 W,200 W and 250 W were *** results indicated that a local thermal gradient during laser printing caused Si segregation,and the rapid cooling rate lead to a large number of subgrains,which assisted *** difference in potential caused galvanic corrosion,and a structure with low work function in the molten pool caused *** corrosion resistance of materials processed with a high laser power increased.

关键词： AlSi10Mg Selective laser melting Atomistic simulation Material design Segregation Corrosion