检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

1株芬芳镰刀菌的筛选鉴定及其提硒降镉效应

华中农业大学学报 2024年第2期43卷 99-108页

作者：陈娥杜兴媛张朝阳马世龙黄子艺陈永波杨宝红湖北省恩施土家族苗族自治州农业科学院恩施445000 华南理工大学生命科学与工程学院广州511400 湖北省地质局第二地质大队恩施445000

为解决农作物硒镉共积累难题,采用选择性培养基从高硒镉背景值的植物根际土壤(土壤硒总含量50.187 mg/kg,土壤镉总含量50.311 mg/kg)中分离、筛选获得了1株功能真菌,经鉴定为芬芳镰刀菌(Fusarium redolens),利用土壤模拟试验和盆栽试验... 详细信息

为解决农作物硒镉共积累难题,采用选择性培养基从高硒镉背景值的植物根际土壤(土壤硒总含量50.187 mg/kg,土壤镉总含量50.311 mg/kg)中分离、筛选获得了1株功能真菌,经鉴定为芬芳镰刀菌(Fusarium redolens),利用土壤模拟试验和盆栽试验测定土壤中有效硒、有效镉的变化和植物可食用部位Se含量、Cd含量,根据硒/镉富集和转运系数来评价真菌活硒抑镉的效果。土壤模拟试验结果显示,接种真菌后,活硒率与培养时间呈正相关,抑镉率与之相反;活硒率在第5天达到最高,为60.9%;抑镉率在第3天最高,为41.2%,第5天最低,为27.3%。盆栽试验结果显示,添加10^(8)cfu/mL真菌,土壤pH值比对照显著降低了0.35个单位;对碎米荠幼苗生长无不良影响,平均株高为7.4 cm,平均根长为9.6 cm,平均生物量为2.9 g,均高于对照;土壤中有效硒的含量显著提高,活硒率最高达到24.8%,而有效镉的含量显著降低,抑镉率达到24.7%;碎米荠地上/地下部分总硒含量分别增加25.6%和36.8%,总镉地上/地下部分含量分别降低32.7%和11.6%。结果表明,真菌对天然高硒镉背景值土壤具有活硒抑镉能力,且添加浓度为10^(8)cfu/mL时效果最好,有助于碎米荠的富硒降镉。

关键词：硒硒镉伴生碎米荠真菌硒镉有效性

Complexity of software trustworthiness and its dynamical statistical analysis methods

在线全文

学校读者我要写书评

暂无评论

Science in China(Series F) 2009年第9期52卷 1651-1657页

作者： ZHENG ZhiMing ma shilong LI Wei JIANG Xin WEI Wei ma LiLi TANG ShaoTing Key Laboratory of mathematics Informatics and Behavioral Semantics Ministry of Education Beihang University Beijing 100191 China State Key Laboratory of Software Development Environment Beihang University Beijing 100191 China School of mathematical Sciences Peking University Beijing 100871 China

Developing trusted softwares has become an important trend and a natural choice in the development of software technology and applications. At present, the method of measurement and assessment of software trustworthiness cannot guarantee safe and reliable operations of software systems completely and effectively. Based on the dynamical system study, this paper interprets the characteristics of be- haviors of software systems and the basic scientific problems of software trustworthiness complexity, analyzes the characteristics of complexity of software trustworthiness, and proposes to study the soft- ware trustworthiness measurement in terms of the complexity of software trustworthiness. Using the dynamical statistical analysis methods, the paper advances an invariant-measure based assessment method of software trustworthiness by statistical indices, and hereby provides a dynamical criterion for the untrustworthiness of software systems. By an example, the feasibility of the proposed dynamical statistical analysis method in software trustworthiness measurement is demonstrated using numerical simulations and theoretical analysis.

关键词： software trustworthiness trustworthiness attributes dynamical system invariant-measure

Design and Implementation of Spacecraft Automatic Test Language

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Aeronautics 2011年第3期24卷 287-298页

作者： YU Dan ma shilong State Key Laboratory of Software Development Environment Beihang University Beijing 100191 China

Spacecraft automatic test system, a comprehensive spacecraft test information system based on the various spacecraft test specifications formalized as spacecraft test language, is an important means to improve test efficiency. With the new require- ments of the multi-spacecraft test in China, the study of the spacecraft test language becomes a new challenge for spacecraft test field. In this article, a high-order spacecraft test language, China aerospace test and operation language （CATOL）, is given asso- ciated with the current test requirements; meanwhile, the structure of the language is presented. Then, for characterizing and formalizing the spacecraft processes, the syntax and operational semantics of one of the sub-languages, CATOL-PR, are defined. Finally, the prototype system of this proposed language is presented. This language will improve the specification of spacecraft test work in China and the efficiency of spacecraft testers, and promote the development in spacecraft automatic test.

关键词： spacecraft test language high-order language spacecraft automatic test operational semantics

甲烷化固定床反应器及催化剂数值模拟研究进展

在线全文

学校读者我要写书评

暂无评论

辽宁化工 2024年第8期53卷 1227-1231页

作者：马世龙王富荣宋晓锋孙正龙安萍沈阳化工大学资源化工与材料教育部重点实验室辽宁沈阳110142 沈阳化工大学化学工程学院辽宁沈阳110142

对固定床在甲烷化数值模拟方面的研究进展进行了综合评述。比较了固定床反应器中一维、二维和三维模拟方法差异。一维和二维模拟计算量小,可用于优化甲烷化工艺。三维模拟更接近真实反应器,计算结果与实验结果的误差更小,更有利于反应... 详细信息

对固定床在甲烷化数值模拟方面的研究进展进行了综合评述。比较了固定床反应器中一维、二维和三维模拟方法差异。一维和二维模拟计算量小,可用于优化甲烷化工艺。三维模拟更接近真实反应器,计算结果与实验结果的误差更小,更有利于反应器的结构优化。关注甲烷化固定床反应器传热研究,探索模拟关键点。描述了甲烷化反应器数值模拟中所使用的催化剂模型的发展,三维催化剂模型模拟能准确预测出催化剂内部反应的细节,更适合研究不同形状的催化剂对甲烷化反应的影响。推断出今后甲烷化反应器数值模拟的重点和研究方向。

关键词：数值模拟甲烷化固定床传热

维普期刊数据库博看期刊

Dynamical characteristics of software trustworthiness and their evolutionary complexity

在线全文

学校读者我要写书评

暂无评论

Science in China(Series F) 2009年第8期52卷 1328-1334页

作者： ZHENG ZhiMing ma shilong LI Wei WEI Wei JIANG Xin ZHANG ZhanLi GUO BingHui Key Laboratory of mathematics Informatics and Behavioral Semantics Ministry of Education Beihang University Beijing 100191 China State Key Laboratory of Software Development Environment Beihang University Beijing 100191 China School of mathematical Sciences Peking University Beijing 100871 China

Developing trusted softwares has become an important trend and a natural choice in the development of software technology and applications, and software trustworthiness modeling has become a prerequisite and necessary means. To discuss and explain the basic scientific problems in software trustworthiness and to establish theoretical foundations for software trustworthiness measurement, combining the ideas of dynamical system study, this paper studies evolutionary laws of software trustworthiness and the dynamical mechanism under the effect of various internal and external factors, and proposes dynamical models for software trustworthiness, thus, software trustworthiness can be considered as the statistical characteristics of behaviors of software systems in the dynamical and open environment. By analyzing two simple examples, the paper explains the relationship between the limit evolutionary behaviors of software trustworthiness attributes and dynamical system characteristics, and interprets the dynamical characteristics of software trustworthiness and their evolutionary complexity.

关键词： software trustworthiness trustworthiness attributes evolutionary complexity dynamical system

Progress in cancer therapy with functionalized Fe_(3)O_(4) nanomaterials

在线全文

学校读者我要写书评

暂无评论

Frontiers of materials Science 2023年第3期17卷 57-70页

作者： Yuhui Wang Xuanyu Liu shilong ma Xuhong He Chaiqiong Guo Ziwei Liang Yinchun Hu Yan Wei Xiaojie Lian Di Huang Department of Biomedical Engineering Research Center for Nano-biomaterials&Regenerative MedicineCollege of Biomedical EngineeringShanxi Key Laboratory of Materials Strength&Structural ImpactTaiyuan University of TechnologyTaiyuan 030024China Shanxi-Zheda Institute of Advanced materials and Chemical Engineering Taiyuan 030032China

malignant neoplasms represent a significant global health *** address the need for accurate diagnosis and effective treatment,research is underway to develop therapeutic *** oxide nanoparticles(NPs),specifically Fe_(3)O_(4) NPs have been extensively studied as potential therapeutic agents for cancer due to their unique properties including magnetic targeting,favorable biocompatibility,high magnetic response sensitivity,prolonged in vivo circulation time,stable performance,and high *** ability to be integrated with magnetic hyperthermia,photodynamic therapy,and photothermal therapy has resulted in the widespread use of Fe_(3)O_(4) NPs in cancer diagnosis and treatment,making them a popular choice for such *** methods can be employed to synthesize magnetic Fe_(3)O_(4) NPs,which can then be surface-modified with biocompatible materials or active targeting *** systems can be created by combining Fe_(3)O_(4) NPs with *** combining various therapeutic approaches,more effective biomedical materials can be *** paper discusses the synthesis of Fe_(3)O_(4) NPs and the latest research advances in Fe_(3)O_(4)-based nanotherapeutic platforms,as well as their applications in the biomedical field.

关键词： Fe_(3)O_(4)NPs cancer treatment magnetic targeting magnetic thermotherapy

一种基于P2P网络的语义Web服务发现机制

在线全文

学校读者我要写书评

暂无评论

北京航空航天大学学报 2008年第3期34卷 315-318页

作者：于冰马世龙北京航空航天大学软件开发环境国家重点实验室北京100083

针对如何高效而又准确地发现分布于各地Web服务的问题,基于P2P网络和语义描述提出一种新型服务发现机制,将服务按照语义动态地注册于由委托(broker)管理的不同节点簇,并将语义相似的节点簇组成虚拟语义网,提高了查询效率;采用反馈机制... 详细信息

针对如何高效而又准确地发现分布于各地Web服务的问题,基于P2P网络和语义描述提出一种新型服务发现机制,将服务按照语义动态地注册于由委托(broker)管理的不同节点簇,并将语义相似的节点簇组成虚拟语义网,提高了查询效率;采用反馈机制主动监测拓扑节点,和利用节点簇之间的分裂与聚合机制来保证该模型的有效性和性能.最后通过对原型系统的实现证明了该机制的合理性与有效性.

关键词：语义 P2P网络委托

基于描述逻辑DL_(RBAC)的RBAC形式化模型

在线全文

学校读者我要写书评

暂无评论

北京航空航天大学学报 2010年第11期36卷 1315-1319页

作者：马丽马世龙眭跃飞北京航空航天大学计算机学院北京100191 中国科学院计算技术研究所北京100190

提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别用描述逻辑中的概念和角色表示,并且在基本的描述逻辑语言上引入了可以表示角色的复合关系和包含关系的符... 详细信息

提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别用描述逻辑中的概念和角色表示,并且在基本的描述逻辑语言上引入了可以表示角色的复合关系和包含关系的符号,从而形式化表示出了RBAC与角色继承有关的一些关键性质和约束条件,如角色层次关系(RH,Role Hierarchy)传递性、用户角色分配关系(UA,User-Role Assignment)的继承性和权限角色分配关系(PA,Permission-Role Assignment)的继承性,以及RBAC中的静态职权分离约束和动态职权分离约束等.通过形式化地表示RBAC的继承关系及约束条件,利用描述逻辑本身的推理机制可以限制不符合访问控制策略的继承关系产生.

关键词：访问控制基于角色的访问控制描述逻辑

恩施黑猪行政村落保种促进生猪产业良性循环发展路径探索

在线全文

学校读者我要写书评

暂无评论

中国畜禽种业 2024年第9期20卷 102-108页

作者：谭德俊胡百顺陈潇飞李蓉谢骏辉杨德永李秋方马世龙马进唐霄湖北省恩施土家族苗族自治州农业科学院湖北恩施445000 湖北省恩施市芭蕉侗族乡农业服务中心湖北恩施445033

为改变恩施黑猪依托企业保种的时空局限、种群萎缩等现状,解决保种效益亏损及开发利用滞后等问题,该文研究探索利用行政村落区域实施保种,推动村集体建设恩施黑猪核心保种群、专业户建扩繁群,农户发展商品生产,创建集恩施黑猪保种、饲... 详细信息

为改变恩施黑猪依托企业保种的时空局限、种群萎缩等现状,解决保种效益亏损及开发利用滞后等问题,该文研究探索利用行政村落区域实施保种,推动村集体建设恩施黑猪核心保种群、专业户建扩繁群,农户发展商品生产,创建集恩施黑猪保种、饲养、加工、销售于一体的村落保种新模式。并利用行政村落的绿色饲料、生态环境、富裕劳力等资源,降低保种成本,打造健康品牌,提升养殖效益,不断扩大恩施黑猪饲养地域空间,促进保种和开发利用的双赢发展。

关键词：恩施黑猪行政村落品种保护开发利用良性发展