检索结果-南通市图书馆

Formal verification technique for grid service chain model and its application

在线全文

学校读者我要写书评

暂无评论

Science in China(Series F) 2007年第1期50卷 1-20页

作者： XU Ke wang yuexuan WU Cheng Automation Department Tsinghua University Beijing 100084 China

Ensuring the correctness and reliability of large-scale resource sharing and complex job processing Is an Important task for grid applications. From a formal method perspective, a grid service chain model based on state PI calculus Is proposed In this work as the theoretical foundation for the service composition and collaboration in grid. Following the Idea of the Web Service Resource Framework （WSRF）, state PI calculus enables the life-cycle management of system states by associating the actions in the original PI calculus with system states. Moreover, model checking technique is exploltad for the design-time and run-time logical verification of grid service chain models. A grid application scenario of the dynamic analysis of material deformation structure is also provided to show the effectiveness of the proposed work.

关键词： grid grid service chain formal method model checking state Pi calculus

Mask Distillation Network for Conjunctival Hyperemia Severity Classification

在线全文

学校读者我要写书评

暂无评论

Machine Intelligence Research 2023年第6期20卷 909-922页

作者： Mingchao Li Kun Huang Xiao Ma yuexuan wang Wen Fan Qiang Chen School of Computer Science and Engineering Nanjing University of Science and TechnologyNanjing210094China Department of Ophthalmology The First Affiliated Hospital with Nanjing Medical UniversityNanjing210029China

To achieve automatic,fast and accurate severity classification of bulbar conjunctival hyperemia severity,we proposed a novel prior knowledge-based framework called mask distillation network(MDN).The proposed MDN consists of a segmentation network and a classification network with teacher-student *** segmentation network is used to generate a bulbar conjunctival mask and the classification network divides the severity of bulbar conjunctival hyperemia into four *** the classification network,we feed the original image and the image with the bulbar conjunctival mask into the student and teacher branches respectively,and an attention consistency loss and a classification consistency loss are used to keep a similar learning mode for these two *** design of“different input but same output”,named mask distillation(MD),aims to introduce the regional prior knowledge that“bulbar conjunctival hyperemia severity classification is only related to the bulbar conjunctiva region”.Extensive experiments on 5117 anterior segment images have proven the effectiveness of mask distillation technology:1)The accuracy of the MDN student branch is 3.5%higher than that of a single optimal baseline network and 2%higher than that of the baseline network combination.2)In the test phase,only the student branch is needed,and no additional segmentation network is *** framework only takes 0.003 s to classify a single image,achieving the fastest speed in all the methods we compared.3)Compared with a single baseline network,the attention of both teacher and student branches in the MDN has been intuitively improved.

关键词： Mask distillation(MD) conjunctiva hyperemia attention mechanism severity classification deep learning

L3SN: A Level-Based, Large-Scale, Longevous Sensor Network System for Agriculture Information Monitoring

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Wireless Sensor Network 2010年第9期2卷 655-660页

作者： Yongcai wang yuexuan wang Xiao Qi Liwen Xu Jinbiao Chen Guanyu wang 不详

We developed L3SN, a scalable, longevous, adaptive, and internet accessible wireless sensor network system for agriculture information monitoring, which is meticulously designed to meet the requirement of thousands hectares coverage, years of time monitoring and the adverse environment. The system architecture, the agriculture sensor device, the mesh protocol, and the web-based information processing platform are introduced. We also presented some implementation experience. The mesh protocol (LayerMesh) is highlighted, in which “stair scheduling” and “distributed dynamic load-balancing” are proposed to response the scalability, longevity and adaptivity requirements. We believe the design of L3SN is useful to many other large-scale, longevous applications such as hydrologic monitoring, geological monitoring etc.

关键词： Wireless Sensor Network Agriculture Information Monitoring Large-scale Longevity Adaptivity

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

企业档案信息资源文化价值开发研究与思考

档案学研究 2020年第1期 119-121页

作者：王玥瑄中国铁路沈阳局集团有限公司档案馆

本文旨在研究企业档案在其文化属性下作为资源开发的含义、内容和实践探索。以中国铁路沈阳局集团公司为例,研究企业文化在一个传统老国企改革转型期所发挥的积极作用。思考新视角下企业档案工作的定位、档案人员的责任以及档案信息文... 详细信息

本文旨在研究企业档案在其文化属性下作为资源开发的含义、内容和实践探索。以中国铁路沈阳局集团公司为例,研究企业文化在一个传统老国企改革转型期所发挥的积极作用。思考新视角下企业档案工作的定位、档案人员的责任以及档案信息文化价值开发对企业发展的重要意义。

关键词：企业档案信息资源文化价值文化建设

球囊扩张式冠脉支架扩张变形机理数值模拟方法

在线全文

学校读者我要写书评

暂无评论

机械工程学报 2008年第1期44卷 102-108页

作者：倪中华王跃轩程洁东南大学机械工程学院南京210096

研究支架耦合扩张过程三维数值分析的弹塑性大变形基本理论和耦合接触处理算法,采用更新拉格朗日方法,基于动力虚功率原理,给出支架耦合扩张变形的动力显式算法有限元列式和求解步骤。研究支架耦合扩张过程数值模拟关键技术,提出适合支... 详细信息

研究支架耦合扩张过程三维数值分析的弹塑性大变形基本理论和耦合接触处理算法,采用更新拉格朗日方法,基于动力虚功率原理,给出支架耦合扩张变形的动力显式算法有限元列式和求解步骤。研究支架耦合扩张过程数值模拟关键技术,提出适合支架耦合扩张的有限元建模方法,重点研究支架压握收缩、自由扩张和与血管接触的耦合扩张全过程有限元模拟中的几何建模、材料模型选取、网格划分、边界条件、载荷定义、接触处理等关键技术。阐述冠脉支架样件在试验测试平台上进行实物扩张试验过程,并将试验测试数据与支架扩张数值模拟获得的数据进行分析比较,结果表明支架数值模拟与实物扩张试验之间的误差在许可范围之内,从而证明所建立的支架耦合扩张过程三维数值分析方法是合理的。为支架的优化设计及其扩张过程的有限元模拟提供有力的支持。

关键词：血管支架耦合扩张数值模拟体外试验

在线全文

学校读者我要写书评

暂无评论

设备网格服务链共享技术与方法研究

华中科技大学学报（自然科学版） 2005年第Z1期33卷 15-17页

作者：王跃宣吴澄倪晚成清华大学自动化系国家CIMS工程技术研究中心北京100084

设备网格服务链的可靠性和高效性是构建设备网格的关键.提出了一种设备网格服务链共享技术与方法;给出了一种设备网格服务组织模型和柔性设备网格服务链模型;建立了设备网格服务链共享系统.结果表明,在设备网格环境下,设备网格服务链共... 详细信息

设备网格服务链的可靠性和高效性是构建设备网格的关键.提出了一种设备网格服务链共享技术与方法;给出了一种设备网格服务组织模型和柔性设备网格服务链模型;建立了设备网格服务链共享系统.结果表明,在设备网格环境下,设备网格服务链共享技术与方法能大大提高设备资源的协同共享和互操作的能力.

关键词：设备网格服务链协同互操作

在线全文

学校读者我要写书评

暂无评论

设备网格溯源服务的应用

清华大学学报（自然科学版） 2008年第7期48卷 1225-1228页

作者：殷杰王跃宣胡美枝吴澄清华大学自动化系北京100084 清华大学计算机科学与技术系北京100084

为解决设备网格中资源动态变化造成的实验重现的困难,引入溯源服务。溯源服务以Web服务形式存在,记录设备网格内实验过程中诸如服务调用时间、服务请求者、服务提供者及用户评价等重要信息,形成溯源信息。为提高用户的满意程度,使用模... 详细信息

为解决设备网格中资源动态变化造成的实验重现的困难,引入溯源服务。溯源服务以Web服务形式存在,记录设备网格内实验过程中诸如服务调用时间、服务请求者、服务提供者及用户评价等重要信息,形成溯源信息。为提高用户的满意程度,使用模糊变量来描述用户对其实验结果的评价,将溯源信息用于设备池的设备选择算法,增加令用户满意的服务质量好的仪器设备的使用率。实验结果表明:相对于随机调度算法,基于溯源信息的设备选择算法使得用户满意程度达80%。

关键词：计算机网络设备网格设备池溯源调度

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

面向病人个性化需求的血管支架快速设计系统

东南大学学报（自然科学版） 2006年第6期36卷 946-950页

作者：倪中华程洁王跃轩陈功东南大学机械工程学院南京211189

在分析个性化血管支架特点的基础上,建立了面向病人个性化需求的医用血管支架快速设计系统的功能体系结构和工作流程,并对实现系统功能所涉及的血管病变部位数据获取、血管支架快速设计方法等关键技术进行了研究.在Pro/E W ildfire环境... 详细信息

在分析个性化血管支架特点的基础上,建立了面向病人个性化需求的医用血管支架快速设计系统的功能体系结构和工作流程,并对实现系统功能所涉及的血管病变部位数据获取、血管支架快速设计方法等关键技术进行了研究.在Pro/E W ildfire环境下,利用其二次开发工具Pro/Toolkit,融合血管病变部位数据获取技术,建立了基于支架三维标准库和实例推理技术的支架选型、支架快速参数化设计的支架快速设计集成系统.该系统实用性强、效率高,能大幅缩短支架产品开发周期.

关键词：个性化血管支架快速设计数据获取体系结构

在线全文

学校读者我要写书评

暂无评论

医用血管支架生物力学性能分析方法研究

东南大学学报（自然科学版） 2005年第2期35卷 216-221页

作者：王跃轩易红倪中华顾兴中东南大学机械工程系南京210096

介绍了医用血管支架的应用背景和研究现状,在比较国内外研究成果的基础上,将血管支架生命周期划分为设计与制造、支架扩张植入过程和植入后有效期 3个阶段,并对各个阶段的特点进行了详细论述;阐述了在支架生命周期中应用有限元技术进行... 详细信息

介绍了医用血管支架的应用背景和研究现状,在比较国内外研究成果的基础上,将血管支架生命周期划分为设计与制造、支架扩张植入过程和植入后有效期 3个阶段,并对各个阶段的特点进行了详细论述;阐述了在支架生命周期中应用有限元技术进行支架设计的研究思路;针对支架植入时的扩张过程进行实例分析,例证了应用有限元法进行支架设计研究的分析方法;提出了支架体外扩张实验研究的解决方案,为血管支架扩张过程的有限元模拟提供有力的实验支持.

关键词：医用血管支架支架生命周期体外扩张非线性有限元