丁湘陵
- 作品数：18 被引量：19H指数：2
- 供职机构：怀化学院电气与信息工程学院更多>>
- 发文基金：湖南省教育厅科研基金湖南省科技计划项目更多>>
- 相关领域：自动化与计算机技术电子电信农业科学更多>>
- 一种无线智能插座控制器
- 一种无线智能插座控制器，由无线遥控器子电路板和插座主控制器两部分组成，无线遥控器子电路板由微控制器一、红外人体检测电路、无线发送电路、键盘和电源组成；插座主控制器由微控制器二、无线接收电路、电流检测电路、定时电路、继电器...
- 杨恒玲贺达江瞿军肖景朱俊标丁湘陵
- 文献传递
- UML包与B结合的形式化建模研究
- 2010年
- 分析UML和B相互转化的难点后,提出一种既克服转化难点又能得到简单证明义务的建模机制:选择包作为交互替换的UML实体去说明一个B组件和包的完整类图到一个单独B组件的转化映射,同时结合实例加以说明该机制的可行性.
- 丁湘陵王志刚
- 关键词：UML
- 智能空调节能控制设备
- 一种智能空调节能控制设备，用户卡包括微控制器电路一、无线发射电路和电源电路，用户卡内部存储唯一的用户信息，以固定时间间隔通过无线发射电路进行发射；参数设置卡包含微控制器电路二、无线发射电路和电源电路，通过参数设置卡设置空...
- 贺达江朱俊标肖景杨恒玲瞿军丁湘陵
- 文献传递
- 基于B语言的构件精化开发方法
- 2007年
- 本文采用B语言抽象机操作和扩充的事件机制，通过对构件行为规约形式化定义，然后用精化规则对构件行为规约逐步精化，直到可执行程序，最后给出了一个简单例子。
- 丁湘陵王志刚
- 关键词：形式化精化B语言抽象机
- 非对称光学图像加密系统的已知公钥攻击被引量：2
- 2014年
- 为了破解基于相位截断傅里叶变换的非对称光学图像加密系统,提出一种已知公钥的攻击方法,并通过理论分析和实验仿真进行了研究。结果表明,在已知公钥的攻击下,攻击者可通过获取通用解密密钥恢复基于相位截断傅里叶变换的非对称光学图像加密系统的明文,并取得了较好的破解效果。在整个攻击的实施过程中,除了公开的加密密钥,无需额外的资源,同时攻击难度大大降低,因此更具实际意义。
- 丁湘陵袁倩张乐冰
- 关键词：信息光学密码分析学
- 6～12V电池供电的低功耗遥控器供电电路
- 本实用新型为一种6～12V电池供电的低功耗遥控器供电电路。包括供电通断控制电路、按键检测电路及供电自锁电路，供电通断控制电路由三极管、三个电阻和稳压块构成，实现电路的电源控制，按键的一端接电阻，按键的五个出端分别接到对应...
- 贺达江瞿军杨恒玲肖景朱俊标丁湘陵
- 文献传递
- 基于B方法的体系结构描述语言的精化研究
- 2012年
- 通过分析B方法和软件体系结构描述语言各自的特点,提出了一种使两者无缝集成的精化开发方法:首先定义精化约束和规则保证在精化过程中模型系统的一致性;然后对ABC/ADL复合构件和复杂连接子使用定义的精化约束和规则逐步精化,直到可执行程序,最后给出实例加以说明该方法的可行性.
- 丁湘陵
- 关键词：体系结构描述语言B方法精化形式化
- 多播路由协议分析比较研究
- 2008年
- IP多播技术已经提出很多的协议,而且有不少已经应用于路由器和Internet网络.详细分析多播路由协议,并对所分析的协议进行比较,最后对多播路由协议技术的进一步研究进行了展望.
- 丁湘陵
- 关键词：IP多播多播组路由协议
- 面向CBSD的软件体系结构六视图模型研究
- 2007年
- 基于构件的软件开发是在一定构件模型的支持下,复用构件库中的一个或多个软件构件,通过组合构件来构造应用软件系统的开发过程。但是,目前CBSD仅仅在实现层次上支持构件交互,缺乏一套系统的方法来指导整个开发过程。对此,文章提出了一种面向CBSD的软件体系结构六视图模型,为系统的设计与实现提供参考模型和技术指导,并将其运用到图书馆系统的设计中。
- 丁湘陵
- 关键词：软件体系结构UML视图
- 基于B方法的体系结构描述语言的形式化研究被引量：2
- 2013年
- 通过分析B方法和软件体系结构描述语言ABC/ADL各自的特点,提出了一种两者结合的形式化方法。该方法利用B方法扩充的事件机制,定义软件体系结构描述语言的构件和连接子观察模型、行为规约和约束规约,并给出了规约实例,从而使得基于B方法的ABC/ADL能够形式化描述软件体系结构的结构和行为。
- 丁湘陵王志刚
- 关键词：体系结构描述语言B方法形式化
