林荣德
作品数: 18被引量:34H指数:3
  • 所属机构:华侨大学数学科学学院
  • 所在地区:福建省 泉州市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

陈东晓
作品数:8被引量:29H指数:3
供职机构:华侨大学数学科学学院
研究主题:布尔矩阵 多尺度 下近似 二阶微分方程 粗糙集
杨翔翔
作品数:37被引量:66H指数:5
供职机构:华侨大学
研究主题:肋片 传热 非稳态 边值条件 传热研究
谢小贤
作品数:11被引量:38H指数:4
供职机构:华侨大学数学科学学院
研究主题:数字水印 多小波变换 布尔矩阵 奇异值分解 线性代数
陈应生
作品数:15被引量:18H指数:3
供职机构:华侨大学数学科学学院
研究主题:HAUSDORFF测度 正解 周期解 多尺度 不动点理论
黄建新
作品数:6被引量:19H指数:2
供职机构:华侨大学数学系
研究主题:体系结构 KALMAN滤波 计算机视觉 COM+ 分布式事务
移动界程演算及模型检测应用的关键问题研究
近10年来,以界程演算(Mobile Ambients)为代表移动进程演算模型已成为移动计算形式化理论的研究热点,但相对于理论研究方面的丰富成果,模型实用化方面研究相对较少,特别是将界程演算实际应用于移动计算系统的核心程...
林荣德
文献传递
具有行为观察的移动界程演算空间逻辑被引量:1
2011年
界程逻辑中的并发模态副词是观察进程交互行为的关键因素之一,但引入并发模态副词又会导致模型检测的不可判定性.针对这一问题,提出了可判定的、描述移动界程演算进程的空间结构和行为性质的应用界程逻辑.该逻辑定义了空间模态词和行为模态词来直接观察移动进程的空间性质和潜在交互行为性质,并定义了不动点公式来刻画进程的递归性质.为了证明逻辑公式的指称语义的正确性,引入了性质集的概念并证明两者之间的一致性.最后给出了使用应用界程逻辑公式来描述一个资源传输系统在时间和空间上的行为性质的实例.
陈江林荣德
多尺度集值决策信息系统被引量:4
2022年
集值信息系统中的对象的属性值多值化,可以实现对复杂信息更全面的刻画.在传统的集值信息系统中,每个属性只有一个尺度.但在具体应用中,人们往往需要在不同的尺度上处理和分析数据.为此,将多尺度信息系统的粒度转换函数引入集值信息系统中,建立多尺度集值信息系统的理论框架,并讨论该系统的不同尺度间信息粒、粗糙集的关系.在此基础上,建立多尺度集值决策信息系统的粒计算模型,并讨论该模型不同尺度间协调性的传递性质.最后,讨论了协调和不协调的多尺度集值决策信息系统的最优尺度选择方法.所提出的改进型多尺度决策信息系统的粒计算模型,在理论分析和实际应用中具有一定的价值.
陈应生李进金林荣德陈东晓黄哲煌
关键词:粒计算粗糙集多尺度
基于可伸缩的分布式结构的通用WWW信息发布与管理平台
2003年
文中介绍了采用CORBA/DCOM组件管理代理和通用化的软件设计方案,建立了一种基于可伸缩的分布式结构的通用WWW信息发布与管理平台。对实现可伸缩和分布结构的软硬件系统结构模式,以及系统安全管理策略提出了解决方法。
林荣德
关键词:信息管理信息发布平台
移动进程的蛰伏性及空间逻辑被引量:2
2009年
界程逻辑(Ambient Logic)定义了一个示范性的空间逻辑来描述移动界程演算中移动进程的空间性质。然而在某些移动计算系统中,界程逻辑对移动进程空间性质的描述粒度是不够的。分析移动进程的蛰伏性质,用蛰伏和活跃来描述移动进程的存在状态,由此给出一种界程逻辑的扩展,称为状态空间逻辑。该逻辑能够描述移动进程的蛰伏性,进而更细粒度地刻画进程空间性质,且其在移动界程演算上的满足性是可判定的。同时还给出了状态空间逻辑公式的形式解释和蛰伏空间公式的逻辑推导规则。
林荣德奚建清郭玉彬
关键词:空间逻辑
基于COM/COM+的多进程数据共享接口被引量:3
2003年
在COM /COM +组件技术的应用中 ,由多个组件接口对象共享一个数据空间带来了对共享数据的并发控制及提高其性能的问题。本文通过对COM /COM +的同步机制的分析 ,指出在不同情况下数据共享池设置及其访问接口设计应注意的问题 ,并借助阅读者 /写入者问题为例 ,提出数据共享池接口组件的设计方案。
林荣德
关键词:多线程同步COM+中间件系统软件
多变因素条件下延伸表面传热通用数值分析计算的研究被引量:1
1997年
研究各种形式肋片在辐射-对流-导热的联合作用下,以及变热特性参数条件时稳态与非稳态传热的通用数学物理模型和数值计算方法,考虑了辐射与整体肋片传热计算的耦合问题.
林荣德杨翔翔
关键词:传热肋片辐射换热
基于可辨识集消解策略的覆盖决策系统约简算法
2020年
通过分析覆盖决策系统中的协调覆盖集与对象的可辨识集之间的关系,提出覆盖相对于可辨识集簇的辨识重要度和辨识影响度所构成的覆盖辨识能力,以及覆盖对可辨识集簇进行消解操作的概念。给出一种算法从可辨识集簇中提取最大辨识能力的覆盖,并用该覆盖对可辨识集簇进行逐次消解迭代计算,高效地将可辨识集簇完全消解来得到约简覆盖集。最后给出的UCI数据集上的约简实验结果表明了算法的有效性。
林荣德李进金陈东晓黄建新施晗娟
一种面向多应用集成的授权安全服务平台
2004年
本文介绍一种支持多个应用系统集成环境下的统一用户授权管理平台————授权安全服务平台(ASSP)。文中通过对ASSP的体系结构、应用系统内的用户访问控制与权限控制服务的关系、权限的通用表示形式和与应用系统集成框架的描述,指出了要实现多应用系统的用户授权分布化,授权策略统一化;做到平台与具体的应用无关性、平台与与具体的权限约束策略无关性,并支持应用系统内部的权限约束策略与业务逻辑之间的相对独立性等,所需要重点解决的技术问题和相应的解决方法。
林荣德
关键词:ASSP访问控制权限控制
One-Stop服务的高校电子政务系统的构建被引量:1
2003年
提出一种基于 One- Stop服务的高校电子政务系统的体系结构 .它使用三层瘦客户 /服务器模式 ,对所有客户提供统一的入口界面 ,以及可以自定义服务功能 ,因而能够实现不同部门之间的事务协作处理 .同时 ,探讨基于 XML和
黄建新林荣德
关键词:体系结构XML