您的位置: 专家智库 > >

朱雪阳

作品数:26 被引量:198H指数:6
供职机构:中国科学院软件研究所更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术电子电信文化科学自然科学总论更多>>

文献类型

  • 19篇期刊文章
  • 4篇会议论文
  • 2篇学位论文
  • 1篇科技成果

领域

  • 24篇自动化与计算...
  • 1篇电子电信
  • 1篇建筑科学
  • 1篇文化科学
  • 1篇自然科学总论

主题

  • 7篇软件体系结构
  • 7篇体系结构
  • 6篇XYZ/AD...
  • 5篇形式化
  • 5篇XYZ/E
  • 4篇时序逻辑
  • 4篇面向对象
  • 4篇合约
  • 3篇形式化验证
  • 3篇数据库
  • 3篇体系结构描述...
  • 3篇自动机
  • 3篇描述语言
  • 3篇结构描述语言
  • 3篇UML
  • 3篇WEB服务组...
  • 3篇WEB服务
  • 2篇电梯控制
  • 2篇电梯控制系统
  • 2篇调度

机构

  • 19篇中国科学院软...
  • 8篇苏州大学
  • 6篇福州大学
  • 4篇暨南大学
  • 4篇中国科学院大...
  • 2篇中国科学院
  • 1篇复旦大学
  • 1篇重庆师范学院

作者

  • 26篇朱雪阳
  • 10篇张广泉
  • 5篇晏荣杰
  • 4篇唐稚松
  • 3篇黄永亨
  • 3篇李广元
  • 3篇戎玫
  • 2篇何亚丽
  • 2篇郭红
  • 2篇顾玉磊
  • 2篇石慧娟
  • 1篇狄浩军
  • 1篇林惠民
  • 1篇和亮
  • 1篇苏璞睿
  • 1篇郑建丹
  • 1篇杨珉
  • 1篇郭亮
  • 1篇张文辉
  • 1篇张源

传媒

  • 4篇软件学报
  • 2篇计算机研究与...
  • 2篇计算机科学
  • 1篇通信学报
  • 1篇电子学报
  • 1篇电脑与信息技...
  • 1篇计算机应用
  • 1篇重庆师范学院...
  • 1篇计算机系统应...
  • 1篇应用科学学报
  • 1篇福建电脑
  • 1篇微小型计算机...
  • 1篇中文信息
  • 1篇信息技术与网...
  • 1篇2010年全...
  • 1篇企业应用集成...
  • 1篇2014全国...
  • 1篇企业应用集成...

年份

  • 1篇2022
  • 3篇2021
  • 1篇2018
  • 2篇2015
  • 1篇2014
  • 1篇2012
  • 1篇2011
  • 1篇2010
  • 1篇2007
  • 3篇2006
  • 2篇2005
  • 1篇2004
  • 1篇2003
  • 1篇2002
  • 1篇1999
  • 4篇1998
  • 1篇1994
26 条 记 录,以下是 1-10
排序方式:
软件与网络安全研究综述被引量:76
2018年
互联网已经渗入人类社会的各个方面,极大地推动了社会进步.与此同时,各种形式的网络犯罪、网络窃密等问题频繁发生,给社会和国家安全带来了极大的危害.网络安全已经成为公众和政府高度关注的重大问题.由于互联网的大量功能和网络上的各种应用都是由软件实现的,软件在网络安全的研究与实践中扮演着至关重要的角色.事实上,几乎所有的网络攻击都是利用系统软件或应用软件中存在的安全缺陷实施的.研究新形势下的软件安全问题日益迫切.从恶意软件、软件漏洞和软件安全机制这3个方面综述了国内外研究现状,进而分析软件生态系统面临的全新安全挑战与发展趋势.
刘剑苏璞睿杨珉和亮张源朱雪阳林惠民
关键词:网络安全恶意软件软件漏洞
一种基于关系--对象的数据库模型设计研究
关系数据库不直接支持复杂的数据类型的结果,必导致在非传统的应用,特别是工程应用中采用面向对象数据库来弥补这一不足.面向对象数据库和关系数据库将在不同的应用领域支持不同的应用需求.该文首先概述面向对象的分析设计方法,再介绍...
朱雪阳
关键词:面向对象数据库关系数据库
一种面向对象数据库应用系统的设计
1998年
面向对象(OO)方法以其自身清晰、自然的风格在软件开发的各个层次已得到广泛应用,它和数据库的结合是满足数据库系统新需求的有效方法。本文结合实例阐述面向对象数据库系统(OODBS)的分析、设计,以及利用关系-对象数据库(ORDB)应用开发工具-ORSDK实现的过程。
黄永亨朱雪阳郭红
关键词:面向对象数据库应用系统
物联网应用中访问控制智能合约的形式化验证被引量:4
2021年
蓝牙、WiFi等网络技术的进步推动物联网(IoT)的发展,然而IoT在方便了人们生活的同时也存在严重的个可信任的中心节点,不适合节点分散的IoT环境。区块链及智能合约的出现为IoT应用的访问控制提供了更有效的解决方案,但用一般测试方法难以保证实现IoT应用的访问控制智能合约的正确性。针对这个问题,提出一种利用模型检测工具Verds对访问控制智能合约进行形式化验证从而保障合约正确性的方法。该方法利用状态迁移系统定义从而形成Verds的输入模型及所要验证性质,然后利用Verds验证待测性质的正确性。方法核心是Solidity合约子集到Verds输入模型的转换。对两个IoT资源访问控制智能合约的实验结果表明,该方法可以对访问控制合约的典型场景及期望性质进行验证,提升了智能合约的可靠性。
包玉龙朱雪阳张文辉张文辉赵颖琪
关键词:物联网访问控制形式化验证
基于异构多核平台的同步数据流图帕累托优化与调度被引量:3
2015年
同步数据流图被广泛用于多媒体和数字信号处理程序等流应用程序的建模。流应用程序须达到一定吞吐量才能流畅运行,利用异构多核处理器来进一步提高流应用程序的吞吐量已经成为当今嵌入式系统的发展趋势,但是提高吞吐量往往伴随着能耗的增加。为了解决这个问题,基于异构多核平台的同步数据流图系统模型,给出了求解所有能耗和吞吐量的帕累托优化点及其相应静态调度的方法。首先将系统模型转换为时间自动机网络,并将分析目标转换为时序逻辑公式;再使用实时模型检测工具UPPAAL寻找解决方案;最后对UPPAAL返回的结果进行分析,找出满足要求的调度。由于模型检测方法可对问题空间进行穷尽搜索,该方法得到的结果是精确的。该方法可帮助设计者在系统开发早期了解系统能耗和吞吐量的量化关系,有利于缩短系统的开发周期,降低开发成本。
顾玉磊朱雪阳晏荣杰张广泉
关键词:帕累托优化调度
软件体系结构形式描述研究
体系结构设计在软件开发整个过程中扮演着重要角色。工程中常用直观、半形式化的图形建模的方法对软件体系结构进行描述,但这些建模语言的缺点是语义不够精确,难以对它们所表示的模型进行分析,这一点上形式化方法可与之互补。如何结合二...
朱雪阳
关键词:软件开发软件体系结构形式化语义
文献传递
面向对象科学计算的设计被引量:1
1998年
本文基于BORLANDC++讨论面向对象科学计算的若干处理。
黄永亨朱雪阳
关键词:面向对象
如何制作多媒体光盘被引量:2
1999年
本文通过介绍《98’中国投资贸易洽谈会》宣传光盘的设计与制作,论述了制作多媒体光盘的一般过程及如何根据光盘的具体内容和用途进行设计制作。
李剑敏朱雪阳
关键词:多媒体光盘
基于时序逻辑的软件体系结构描述语言XYZ/ADL被引量:55
2003年
体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于XYZ/E的体系结构描述语言XYZ/ADL支持从高层级体系结构到低层级体系结构之间的逐步过渡.系统地阐述了XYZ/ADL的概念框架并用XYZ/E进行语义解释,介绍了如何用XYZ/ADL描述体系结构和体系结构风格.
朱雪阳唐稚松
关键词:时序逻辑软件体系结构描述语言XYZ/ADL体系结构描述语言时序逻辑语言
基于MARTE模型的系统可靠性预测被引量:2
2015年
系统的可靠性是系统的重要非功能属性之一。传统的可靠性分析在系统开发结束后进行,可能会发现由于系统开发早期的架构设计不合理而导致的问题,这时再修改系统架构并重做后继开发步骤,将会浪费大量人力和物力。如果能在开发的早期阶段,在系统模型层面进行分析并预测,则可以尽早地发现系统可靠性方面的问题并将其修复。UML是一种通用的、标准化的建模语言,MARTE是UML在嵌入式实时系统领域的扩展。提出了基于MARTE模型的系统可靠性预测方法,该方法考虑的MARTE模型包括用例图、活动图、部署图。先将MARTE模型转换为马尔可夫决策过程网络模型,再利用概率模型检测工具PRISM进行分析,得到系统可靠性的预测结果。实例研究表明,所提方法不仅能够预测系统可靠性的最大值和最小值,还能通过调整各个资源的可靠性值,考察其对系统可靠性的影响,为设计人员的进一步工作提供参考。
柴叶生朱雪阳晏荣杰张广泉
关键词:系统可靠性UML马尔可夫决策过程
共3页<123>
聚类工具0