公共文化服务平台

杨秋辉: 作品数：53 被引量：162H指数：8; 供职机构：四川大学更多>>; 发文基金：四川省应用基础研究计划项目国家自然科学基金新世纪高等教育教学改革工程更多>>; 相关领域：自动化与计算机技术文化科学航空宇航科学技术自然科学总论更多>>

合作作者

多处理器实时系统可调度性分析的UPPAAL模型被引量：18: 2015年; 随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作.可调度性是实时系统正确性的一项关键性质.它表示系统必须满足的一些时间要求.传统的可调度性分析方法结论保守或者不完备,为了避免这些方法的缺陷,提出使用模型检测的方法来实现可调度性分析.提出了一个用于多处理器实时系统可调度性分析的模板,将与系统可调度性相关的部分包括实时任务、运行平台和调度管理模块都用时间自动机建模,并使用UPPAAL验证可调度的性质是否总被满足.符号化模型检测方法被用于推断可调度性,但是由于秒表触发的近似机制,符号化模型检测方法不能用于证明系统不可调度.作为补充,统计模型检测方法被用于估算系统不可调度的概率,并在系统不可调度时生成反例.此外,在系统可调度时,通过统计模型检测方法获取一些性能相关的信息.; 代声馨洪玫郭兵杨秋辉黄蔚徐保平; 关键词：可调度性 UPPAAL 时间自动机

一种基于图像区域贡献度的DNN模糊测试方法: 本发明涉及一种基于图像区域贡献度的DNN模糊测试方法。方法包括5个步骤：(1)根据图像区域贡献度选择出初始种子集合；(2)根据种子被模糊次数从种子集合中选择出一个种子图像；(3)根据区域贡献度大小对该图像区域依次进行对抗...; 杨秋辉刘巧韵

基于状态检测的TCP应用服务端安全测试: 2005年; 针对由API函数实现的TCP协议不具安全性,以及常规安全检测仅对连接初始状态进行安全测试的局限性,提出基于连接的全程状态监控的安全测试方法:1)提出了基于全程的连接监控和检测的方法,以改善系统的安全性;2)运用有限状态机的理论和方法对TCP协议进行分析,并结合状态转移序列的安全路径和临界循环路径以及时钟检测技术,提出了TCP服务端的安全测试模型;3)给出形式化描述和验证机制,在形式化定义的基础上,分析了检测方法的正确性;4)设计了TCP服务端的安全状态检测算法,进行了相应的试验验证。基于全程状态检测的安全测试对于中间过程中的安全攻击有很好的检测效果。; 金虎李志蜀杨秋辉李奇; 关键词：TCP协议有限自动机

嵌入式软件内存泄露检测方法研究被引量：9: 2013年; 动态内存分配为C/C++语言编程人员提供了极大的灵活性,但同时也带来了一个潜在的严重问题——内存泄露。与桌面系统相比,嵌入式系统处理能力弱、内存空间小、运行时间长,如果在程序运行期间发生内存泄露,将导致系统崩溃,造成不可预料的后果,因此需要在开发调试阶段尽早检测出造成内存泄露的代码。提出了一种基于动态检测技术和程序插装技术的嵌入式软件内存泄露分布式检测方法。该方法的实现思想是当程序在目标机运行时,插装代码自动截获内存操作函数,收集内存操作相关信息并把收集到的信息发送到服务器端处理,实现了嵌入式系统内存泄露的准确检测。实验结果证明,由于采用分布式技术进行信息处理,内存泄露检测效率得到了很大的提升。; 张鹏杨秋辉李海怒; 关键词：嵌入式软件动态检测分布式检测

一种基于代码变更和测试历史的测试用例优先级排序方法: 本发明涉及一种基于代码变更和测试历史的测试用例优先级排序方法。首先采用深度学习方法，分别为两类测试用例构建缺陷预测模型；再通过类间关系图选择出受代码变更影响的源代码，选择出这些代码的测试用例和最近执行发现缺陷的测试用例，...; 杨秋辉张李政李兴佳

用线性规划求解工程混合料最优配料问题被引量：10: 2005年; According to the real requirement of mix design in highway engineering,as well as considering the optimal economic problem,we build a mathematical model.The main solution steps using the tool of "Pro-gramming Solution"which is supported by Excel are introduced.Finally the estimation in technical and eco-nomic aspect about the result of the proposed model is analyzed.The main advantage is that we build a linear programming mathematical model which object function aims to obtain lower cost of mixture.The result is precise and can be obtained easily by using Excel,so the operator can have not the ability of programming.; 杨秋辉游志胜樊鸿柯勇; 关键词：降低生产成本混合料配合比公路工程

基于单机排序问题的降落飞机分组排序方法被引量：16: 2004年; 为使单跑道降落飞机排序结果在实际操作时可行、简单,首先限制同一航路段上的飞机按照先来先服务的原则排序,在最终的排序中,其拓扑次序不变;其次提出了将飞机分组排序的思想,对同一航路段上刚好满足最小安全间隔的飞机做为一个飞机组参与排序。使用1|chains|∑wjcj做为排序模型,通过求解各飞机链的ρ因子可以快速得到排序结果。将本方法用于对双流国际机场和其它几个机场的实际航迹数据进行计算,得到的排序序列完全符合实际管制需要,具有很高的推广应用价值。; 杨秋辉游志胜洪玫; 关键词：空中交通流量管理飞机排序单机排序问题加权总完工时间

一种回归测试中测试用例优先级排序方法: 本发明涉及一种回归测试中的测试用例优先级排序方法。首先根据测试用例的文本主题和覆盖率相似性对测试用例进行聚类；再用最大化代码覆盖率、历史执行失败率和最小化执行时间作为目标，使用多目标优化算法结合聚类结果对测试用例进行排序...; 杨秋辉刘巧韵潘春霞; 文献传递

OO代数——一个面向对象的数据库的基本查询模型被引量：1: 1996年; 本文提出了一个面向对象的数据库系统的基本查询模型——ＯＯ代数，它具有关系代数相似的形式，具有封闭性和远比关系代数强得多的表达能力。文中首先给出了面向对象的数据库系统的数据结构的一种形式化描述－ＯＳＧ，然后ＯＯ代数的五种基本运算：并、差、类间连接、类内选择及广义投影被一一定义。; 庄成三杨秋辉杜中军; 关键词：查询模型面向对象数据库

开放式XML数据的质量分析方法被引量：4: 2013年; 针对商业智能系统,研究了在集成开放式XML数据时,对XML文档进行质量保证的问题。通过度量测量和质量分析评价这两个步骤,并结合给出的XML数据质量的计算公式,得出XML文档的质量指数。使得XML源数据的质量在集成到商业智能系统前可以被预先评估,降低了商业智能系统集成Web中XML数据时的风险,增加了系统数据的可维护性。通过实验验证,证明了质量分析方法的正确性和合理性。; 张光渝杨秋辉詹聪郭鑫宇阙舒; 关键词：商业智能系统 XML数据