检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种面向动态软件体系结构的在线演化方法

软件学报 2006年第6期17卷 1360-1371页

作者：余萍马晓星吕建陶先平计算机软件新技术国家重点实验室(南京大学)

为适应计算环境和用户需求在系统运行期间的变化,满足软件系统进行动态演化的需求,提出面向动态软件体系结构的在线演化方法,设计并实现了一种运行时刻的软件体系结构元模型,将原先运行时刻不可见的体系结构设计信息具体化为显式的体系... 详细信息

为适应计算环境和用户需求在系统运行期间的变化,满足软件系统进行动态演化的需求,提出面向动态软件体系结构的在线演化方法,设计并实现了一种运行时刻的软件体系结构元模型,将原先运行时刻不可见的体系结构设计信息具体化为显式的体系结构实体,并与系统实现及系统规约之间保持因果关联.元模型的演化可通过反射实现对运行系统的修改和对规约的更新,所有演化行为都在良定义的体系结构元模型的指导下规范地进行,保证了演化前后系统的一致性、完整性和演化的可追溯性.基于该方法开发了可视化支撑平台Artemis-ARC系统,支持构件和服务的设计、开发、集成及动态演化,并通过简单的应用实例展示了在线演化的效果.

关键词：动态软件体系结构在线演化反射一致性完整性追溯性

在线全文

学校读者我要写书评

暂无评论

一个机载软件需求形式化建模与分析实例研究

软件学报 2022年第5期33卷 1652-1673页

作者：胡军吕佳润王立松康介祥王辉高忠杰南京航空航天大学计算机科学与技术学院江苏南京211106 软件新技术与产业化协同创新中心江苏南京210007 中国航空无线电电子研究所软件部上海200233

现代民机机载软件系统的功能与复杂度在快速增长的同时还必须满足更严格的安全标准,使得在机载软件需求层级必须进行诸如一致性、完整性等分析与验证成为重要的挑战.工作基于一个自主设计实现的面向机载软件自然语言需求形式化建模与分... 详细信息

现代民机机载软件系统的功能与复杂度在快速增长的同时还必须满足更严格的安全标准,使得在机载软件需求层级必须进行诸如一致性、完整性等分析与验证成为重要的挑战.工作基于一个自主设计实现的面向机载软件自然语言需求形式化建模与分析工具平台(ART)展开对座舱显控软件子系统(EICAS)需求的建模与分析,包括:ART工具平台所采用的变量关系(VRM)理论模型、平台架构和平台工具链,基于多范式的需求一致性、完整性形式化分析方法,EICAS系统的条目化初始自然语言需求的形式化建模和需求模型的自动化分析过程,如:需求条目的预处理、规范化处理、需求模型自动生成以及多范式分析等;给出了工程需求实例研究的经验总结和思考.

关键词：机载软件形式化建模变量关系模型自然语言需求建模形式化方法

Fungal diversity notes 1277-1386:taxonomic and phylogenetic contributions to fungal taxa

在线全文

学校读者我要写书评

暂无评论

Fungal Diversity 2020年第5期104卷 1-266页

作者： Hai-Sheng Yuan Xu lu Yu-Cheng Dai Kevin D.Hyde Yu-He Kan Ivana Kušan Shuang-Hui He Ning-Guo liu V.Venkateswara Sarma Chang-lin Zhao Bao-Kai Cui Nousheen Yousaf Guangyu Sun Shu-Yan liu Fang Wu Chuan-Gen lin Monika C.Dayarathne Tatiana Baptista Gibertoni lucas B.Conceição Roberto Garibay-Orijel Margarita Villegas-Ríos Rodolfo Salas-lizana Tie-Zheng Wei Jun-Zhi Qiu Ze-Fen Yu Rungtiwa Phookamsak Ming Zeng Soumitra Paloi Dan-Feng Bao Pranami DAbeywickrama De-Ping Wei Jing Yang Ishara S.Manawasinghe Dulanjalee Harishchandra Rashika S.Brahmanage Nimali Ide Silva Danushka S.Tennakoon Anuruddha Karunarathna Yusufjon Gafforov Dhandevi Pem Sheng-Nan Zhang Andrél.C.Mde Azevedo Santiago Jadson Diogo Pereira Bezerra Bálint Dima Krishnendu Acharya Julieta Alvarez-Manjarrez Ali H.Bahkali Vinod K.Bhatt Tor Erik Brandrud Timur S.Bulgakov E.Camporesi Ting Cao Yu-Xi Chen Yuan-Yuan Chen Bandarupalli Devadatha Abdallah M.Elgorban long-Fei Fan Xing Du liu Gao Camila Melo Gonçalves luis F.P.Gusmão Naruemon Huanraluek Margita Jadan Ruvishika S.Jayawardena Abdul Nasir Khalid Ewald langer Diogo X.lima Nelson Correia de lima-Júnior Carla Rejane Sousa de lira Jian-Kui(Jack)liu Shun liu Saisamorn lumyong Zong-long luo Neven Matočec M.Niranjan joséRibamar Costa Oliveira-Filho Viktor Papp Eduardo Pérez-Pazos Alan J.l.Phillips Peng-lei Qiu Yihua Ren Rafael F.Castañeda Ruiz Kamal C.Semwal Karl Soop Carlos A.Fde Souza Cristina Maria Souza-Motta li-Hua Sun Meng-le Xie Yi-Jian Yao Qi Zhao li-Wei Zhou CAS Key laboratory of Forest Ecology and Management Institute of Applied EcologyChinese Academy of SciencesShenyang 110164People’s Republic of China University of the Chinese Academy of Sciences Beijing 100049People’s Republic of China School of Ecology and Nature Conservation Beijing Advanced Innovation Center for Tree Breeding By Molecular DesignBeijing Forestry UniversityBeijing 100083People’s Republic of China CAS Key laboratory for Plant Diversity and Biogeography of East Asia Kunming Institute of BotanyChinese Academy of ScienceKunming 650201YunnanPeople’s Republic of China Centre of Excellence in Fungal Research Mae Fah Luang UniversityChiang Rai 57100Thailand School of Science Mae Fah Luang UniversityChiang Rai 57100Thailand Mushroom Research Foundation 128 M.3 Ban Pa Deng T.Pa PaeA.Mae TaengChiang Mai 50150Thailand East and Central Asia Regional Office World Agroforestry Centre(ICRAF)Kunming 650201YunnanChina Ruđer BoškovićInstitute Bijenička cesta 5410000 ZagrebCroatia Faculty of Agriculture Natural Resources and EnvironmentNaresuan UniversityPhitsanulok 65000Thailand Department of Biotechnology School of Life SciencesPondicherry UniversityR.V.NagarKalapetPondicherry 605014India College of Biodiversity Conservation Southwest Forestry UniversityKunming 650224People’s Republic of China Department of Botany Govt.College UniversityKatchery RoadLahorePakistan State Key laboratory of Crop Stress Biology in Arid Areas and College of Plant Protection Northwest A&F UniversityYanglingShaanxiPeople’s Republic of China laboratory of Plant Pathology College of Plant ProtectionJilin Agricultural UniversityChangchun 130118Jilin ProvincePeople’s Republic of China Centro de Biociências Departamento de MicologiaUniversidade Federal de PernambucoCidade UniversitáriaAvenida da Engenharia s/nRecifePernambuco 50740-600Brazil Departamento de Ciências Biológicas Universidade Estadual de Feira de SantanaAv.Transnordestina s/nNovo HorizonteFeira de SantanaBA 44036-900Brazil l

This is the twelfth contribution to the Fungal Diversity Notes series on fungal taxonomy,based on materials collected from many countries which were examined and described using the methods of morphology,anatomy,and strain culture,combined with DNA sequence analyses.110 taxa are described and illustrated,including five new genera,92 new species,eight new combinations and other taxonomic contributions(one new sequenced species,one new host and three new records)which are accommodated in 40 families and 1 incertae sedis in *** new genera are Amyloceraceomyces,Catenuliconidia,Hansenopezia,Ionopezia and *** new species are Amyloceraceomyces angustisporus,Amylocorticium ellipsosporum,Arthrinium sorghi,Catenuliconidia uniseptata,Clavulina sphaeropedunculata,Colletotrichum parthenocissicola,Coniothyrium triseptatum,Cortinarius indorusseus,***,***,***,***,Diaporthe pimpinel-lae,Dictyosporella guizhouensis,Diplodia torilicola,Fuscoporia marquesiana,***,Hansenopezia decora,Helicoarcta-tus thailandicus,Hirsutella hongheensis,Humidicutis brunneovinacea,lentaria gossypina,***,lycoperdon lahorense,***,Magnopulchromyces scorpiophorus,Moelleriella gracilispora,Neodevriesia manglicola,Neodidymelliopsis salvia,***,Neoroussoella magnoliae,Neottiella gigaspora,Ophiosphaerella chiangraiensis,Phaeotremella yunnanensis,Podosphaera yulii,Rigidoporus juniperinus,Rhodofomitopsis pseudofeei,Russula benghalensis,Scleroramularia vermispora,Scytinopogon minisporus,Sporormurispora paulsenii,Thaxteriellopsis obliqus,Tomentella asiae-orientalis,***,***,***,***,***,***,***,***,***-nocystidiata,***,***,***,***,***,***,***,***,***,***,***,***,***,***,***,

关键词： 110 taxa Agaricomycetes Ascomycota Basidiomycota Mucoromycota New combinations New genera New species Phylogeny Taxonomy

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

面向实时应用的深度学习研究综述

软件学报 2020年第9期31卷 2654-2677页

作者：张政馗庞为光谢文静吕鸣松王义东北大学计算机科学与工程学院智慧系统实验室辽宁沈阳110819

深度学习算法和GPU算力的不断进步,正促进着人工智能技术在包括计算机视觉、语音识别、自然语言处理等领域得到广泛应用.与此同时,深度学习已经开始应用于以自动驾驶为代表的安全攸关领域.但是,近两年接连发生了几起严重的交通事故表明... 详细信息

深度学习算法和GPU算力的不断进步,正促进着人工智能技术在包括计算机视觉、语音识别、自然语言处理等领域得到广泛应用.与此同时,深度学习已经开始应用于以自动驾驶为代表的安全攸关领域.但是,近两年接连发生了几起严重的交通事故表明,深度学习技术的成熟度还远未达到安全攸关应用的要求.因此,对可信人工智能系统的研究已经成为了一个热点方向.对现有的面向实时应用的深度学习领域的研究工作进行了综述,首先介绍了深度学习技术应用于实时嵌入式系统所面临的关键设计问题;然后,从深层神经网络的轻量化设计、GPU时间分析与任务调度、CPU+GPU SoC异构平台的资源管理、深层神经网络与网络加速器的协同设计等多个方面对现有的研究工作进行了分析和总结;最后展望了面向实时应用的深度学习领域进一步的研究方向.

关键词：深度学习深层神经网络实时系统时间分析实时调度共享资源冲突

在线全文

学校读者我要写书评

暂无评论

基于开放逻辑R反驳计算的访问控制策略精化

软件学报 2015年第6期26卷 1534-1556页

作者：吴迎红黄皓吕庆伟曾庆凯张迪明计算机软件新技术国家重点实验室(南京大学) 江苏南京210046

策略精化是解决分布式应用访问控制策略配置复杂性的重要方法,现有精化技术给出了策略分层描述和逐层精化的方法,但处理策略之间关联问题的能力不足.基于精化树描述策略和策略关联,基于叶结点策略冲突判断,采用开放逻辑R反驳计算分析精... 详细信息

策略精化是解决分布式应用访问控制策略配置复杂性的重要方法,现有精化技术给出了策略分层描述和逐层精化的方法,但处理策略之间关联问题的能力不足.基于精化树描述策略和策略关联,基于叶结点策略冲突判断,采用开放逻辑R反驳计算分析精化树策略关联属性,能够消解策略冲突同时保证策略互斥、组合、访问路径协同、精化映射等关联正确,并能够按序消解不同类型策略冲突、自由取舍相冲突的策略.实验与分析计算性能表明,该方法符合Saa S平台客户应用系统策略精化需求.

关键词：访问控制 SaaS 策略精化策略冲突分析开放逻辑 R反驳计算

在线全文

学校读者我要写书评

暂无评论

交互式进化计算的适应值噪声及收敛鲁棒性

软件学报 2007年第9期18卷 2183-2193页

作者：郝国生史有群黄永青吕俊怀郭广颂徐州师范大学计算机科学与技术学院江苏徐州221116 东华大学计算机科学与技术学院上海200052 中国矿业大学信息与电气工程学院

噪声是影响进化计算(evolutionary computation,简称EC)算法性能的一个重要因素.对于传统EC中的噪声,已有许多研究成果,但交互式进化计算(interactive evolutionary computation,简称IEC)的噪声研究成果却较少.首先回顾了传统EC中噪声... 详细信息

噪声是影响进化计算(evolutionary computation,简称EC)算法性能的一个重要因素.对于传统EC中的噪声,已有许多研究成果,但交互式进化计算(interactive evolutionary computation,简称IEC)的噪声研究成果却较少.首先回顾了传统EC中噪声的定义、来源、类型及各种处理噪声的方法;其次,从IEC的理性用户观点出发,研究了IEC的适应值噪声及收敛鲁棒性.其中,空间的映射关系、个体间的占优关系以及IEC的收敛等是研究收敛鲁棒性的两个定理(强条件定理和弱条件定理)的基础.这两个定理表明,理性用户条件下的噪声不会影响算法全局收敛性.在这两个定理的基础上进一步得出了如下结论:有效的适应度尺度变换是弱条件定理的一部分,IEC中"真"适应值是用户偏好等.并以不满足弱条件定理,即破坏算法收敛性为依据,给出了IEC中适应值噪声的狭义定义.实验进一步验证了这两个定理.上述结论为进一步研究IEC作了必要的铺垫.

关键词：进化计算噪声鲁棒占优收敛

在线全文

学校读者我要写书评

暂无评论

网络安全态势认知融合感控模型

软件学报 2016年第8期27卷 2099-2114页

作者：刘效武王慧强吕宏武禹继国张淑雯曲阜师范大学信息科学与工程学院山东日照276826 哈尔滨工程大学计算机科学与技术学院黑龙江哈尔滨150001

为了分析网络威胁的演化趋势,并探讨安全态势的自主感知和调控问题,将跨层结构和认知环融入模型的设计,提出一种基于融合的网络安全态势认知感控模型,增强网络安全系统的层间交互和认知能力.在分析模型组件及其功能的基础上,利用多源融... 详细信息

为了分析网络威胁的演化趋势,并探讨安全态势的自主感知和调控问题,将跨层结构和认知环融入模型的设计,提出一种基于融合的网络安全态势认知感控模型,增强网络安全系统的层间交互和认知能力.在分析模型组件及其功能的基础上,利用多源融合算法得到各异质传感器对网络安全事件的准确决策,结合对安全事件威胁等级和威胁因子关系的推演,克服威胁因子获取过程中需处理网络组件间复杂隶属关系的不足,从而提出包含服务级、主机级和网络级的层次化态势感知方法,提高对网络威胁的表达能力.而且通过对态势感知曲线的分析,搭建离散计算和连续控制之间的桥梁,形成闭环反馈控制结构,解决安全态势自感知和自调控的问题.仿真实验结果表明:基于融合的网络安全态势认知感控模型及方法能够融合异质安全数据,动态感知威胁的演化趋势,并具有一定的自主调控能力,达到了认知感控的研究目的,为监控和管理网络提供了新的方法和手段.

关键词：网络安全态势感知认知计算多源融合量化感知认知调控

levels of Empathy among Dental Students in Five Chilean Universities

在线全文

学校读者我要写书评

暂无评论

Health 2016年第1期8卷 32-41页

作者： Víctor Patricio Díaz-Narváez Aracelis Calzadilla Núñez Doris Carrasco Alex Bustos Alejandro Zamorano Henry Silva Elizabeth lópez Tagle Joyce Hubermann Robert Utsman Alejandro Reyes Reyes Faculty of Dentistry Universidad San Sebastián Santiago Chile Universidad Autónoma de Chile Santiago Chile Department of Child and Adolescent Psychiatry Felix Bulnes Hospital Santiago Chile Department of Restorative Dentistry School of Dentistry Universidad de Concepción Concepción Chile Department of Prevention and Public Health Faculty of Dentistry Universidad de Concepción Concepción Chile School of Dentistry Universidad Finis Terrae Santiago Chile School of Dentistry Universidad Andrés Bello Santiago Chile School of Dentistry Faculty of Medicina-Clínica Alemana Universidad del Desarrollo Santiago Chile School of Health Sciences Universidad Latinoamericana de Ciencia y Tecnología (ULACIT) San José Costa Rica School of Psychology Universidad Santo Tomas Concepción Chile

Aim: To compare empathic levels among dental students of five Dental Faculties in Chile. Material and Methods: Empathic orientation of dental students was measured using the Jefferson Scale of Physician Empathy, the Spanish version for students (S version), validated in Chile and culturally adapted to dental students. The data were compared using analysis of variance trifactorial (model III) and by a discriminant analysis. Results: It was found that differences exist between universities empathic orientation, courses, and gender. Conclusions: The results showed a great variability of empathetic guidance values on the factors studied. Discriminant test confirm the similarity and differences found among faculties from the data matrix provided by the scale used. It is not possible in this investigation to explain the variability found.

关键词： Empathy Jefferson Scale of Physician Empathy Empathic levels Empathy Components

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

恶意代码演化与溯源技术研究

软件学报 2019年第8期30卷 2229-2267页

作者：宋文纳彭国军傅建明张焕国陈施旅空天信息安全与可信计算教育部重点实验室(武汉大学) 湖北武汉430072 武汉大学国家网络安全学院湖北武汉430072

恶意代码溯源是指通过分析恶意代码生成、传播的规律以及恶意代码之间衍生的关联性,基于目标恶意代码的特性实现对恶意代码源头的追踪.通过溯源可快速定位攻击来源或者攻击者,对攻击者产生一定的震慑打击作用,具有遏制黑客攻击、完善网... 详细信息

恶意代码溯源是指通过分析恶意代码生成、传播的规律以及恶意代码之间衍生的关联性,基于目标恶意代码的特性实现对恶意代码源头的追踪.通过溯源可快速定位攻击来源或者攻击者,对攻击者产生一定的震慑打击作用,具有遏制黑客攻击、完善网络安全保障体系的重要作用和价值.近年来,网络安全形势愈加严峻,归类总结了学术界和产业界在恶意代码溯源领域的研究工作,首先揭示了恶意代码的编码特性以及演化特性,并分析这些特性与溯源的关系;然后,分别从学术界和产业界对恶意代码的溯源技术和研究进行梳理,同时对每个溯源阶段的作用以及影响程度进行了讨论,并对目前恶意代码的溯源对抗手段进行分析;最后讨论了恶意代码溯源技术面对的挑战和未来的发展趋势.

关键词：恶意代码溯源演化对抗家族聚类恶意代码检测