杨捷
- 作品数：24 被引量：30H指数：4
- 供职机构：华南理工大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金教育部科学技术研究重点项目更多>>
- 相关领域：自动化与计算机技术文学经济管理化学工程更多>>
- 电聚合驱动的噻吩聚合物带隙和手性调控及其在光电应用的研究
- 由于聚噻吩及其衍生物的光电特性、高度稳定性和易于修改结构的特性，聚噻吩及其衍生物在涉及光电转化的应用中备受研究者们的关注。研究者们通过对聚噻吩进行改性，可以让其应用于光电器件的制备、光电催化产氢、电化学传感分析和光电化学...
- 杨捷
- 关键词：聚噻吩电化学聚合
- 一种嵌入式实时系统软件的形式化开发方法
- 杨捷
- 关键词：嵌入式实时系统体系结构描述语言形式化方法
- 磁带库随机I/O缓冲调度算法的性能
- 2007年
- 为了提高磁带设备的在线存储效率,提出了一种磁带库缓冲调度算法.该算法采用磁盘驱动器做缓存,将磁带库设备虚拟为逻辑块设备使用.同时,提出了主动写回以及读预取方法,将磁带库的随机读写操作顺序化,以改善系统随机读写性能.文中还对算法性能进行了详细分析,并利用仿真方法对算法进行了测试,结果证明系统集合I/O和单I/O响应时间能够得到明显改善.
- 吴涛杨捷
- 关键词：磁带存储数据预取
- 嵌入式实时软件需求规格说明的原型化检测方法
- 2001年
- 提出了一个检测嵌入式实时软件需求规格说明的方法 .该方法将原型化方法 ,可执行的需求描述语言和动画显示集成为一体 ,并可模拟执行嵌入式实时软件的需求规格说明 .此外 ,也阐述了这个方法的基本原理和某些实现方法 .最后 ,讨论了这个方法及相关的支持环境的特点 .
- 王敏毋国庆朱立松郑鹏杨捷
- 关键词：嵌入式实时软件原型化方法软件开发
- 基于进程代数的软件体系结构安全模型的建立方法
- 本发明公开了一种基于进程代数的软件体系结构安全模型的建立方法，包括：1）创建软件体系结构的流图；2）在软件体系结构的流图基础上，采用进程代数作为形式化描述语言对各个软件体系结构要素进行定义；3）对被定义的软件体系结构进行...
- 韩昊杨捷李金星夏彬伟
- 文献传递
- 根据用户行为网上导航的方法被引量：5
- 2005年
- 随着因特网的成长,网络浏览使人们从本地或远程更方便地获取各种信息.网页数量的疯狂增长已经使得用户面对庞大的数据群无所适从,急需导航技术的帮助.一个新的马尔可夫链模型被引入用来跟踪所有团体成员的网页访问活动,并且推荐一些有用站点,引导人们更有效率地浏览网站.还提出一个基于半形式化过程描述的数据搜集算法,来获得有用数据,以推导出最好结果,并在原型系统中分析了代理服务器上的访问日志,对该算法进行描述.
- 杨捷毋国庆
- 关键词：数据挖掘网络导航数据搜集马尔可夫链
- 基于静态插装和约束求解的整数漏洞检测
- 2014年
- 以C源码为研究对象,提出了一种基于静态插装和约束求解的整数漏洞检测方法.首先在C源码中可能的整数漏洞点前面插装检测代码,同时定位可能导致整数漏洞的输入源,并将其标记为符号变量.之后将静态插装后的源码编译成可执行代码,并进行(符号和具体执行的)混合执行.在动态执行的过程中,通过对插装代码对应的符号约束进行求解,可以检测整数漏洞是否存在,以及获得当整数漏洞存在时符号变量相应的具体取值.进一步地,通过对从程序入口点到整数漏洞点所经过路径上的所有条件跳转约束进行求解,获得引导程序到达整数漏洞点时符号变量相应的具体取值.结合两者可以辅助生成触发漏洞的输入用例.基于CVE(通用漏洞披露)通告的实验表明本系统能够成功检测到相应漏洞.
- 张帆张聪徐明迪杨捷
- 关键词：程序插装漏洞检测
- 一种增强电子商务协议安全性的形式化分析方法
- 2009年
- 本文用半规则实体代表参与协议并为其利益驱动协议的实体,基于此设想给出一种在串空间模型中的形式化方法。引入Hash和Diffie-Hellman Exchange的案例,在模型中加入半规则串和半规则节点。最后,找到一种对因特网密钥交换(IKE)协议的攻击。
- 杨捷毋国庆左保河齐德昱
- 关键词：串空间TLSIKE
- 一种基于web服务的移动客户端应用程序自定制方法
- 本发明公开了一种基于web服务的移动客户端应用程序自定制方法，包括制作web服务定制网页；用户打开PC端web服务生成器后，在网页中框选感兴趣的web控件；Web服务生成器对Web控件分析后自动生成对应的web服务的部署...
- 尚楚涵杨捷韩昊邵一峰
- 文献传递
- 基于Xscale架构嵌入式系统的物理层设计及底层软件设计
- 本论文研究内容来源于嵌入式项目组关于某嵌入式应用平台的开发。该嵌入式应用平台能够运行操作系统和嵌入式数据库，具有以太网接入及USB通信能力。该应用平台的开发采用了32位嵌入式处理器，并且移植了Linux操作系统，无论从硬...
- 杨捷
- 关键词：嵌入式系统物理层嵌入式开发平台嵌入式数据库非接触卡以太网接入
- 文献传递
