这里所列的文章是所有专刊文章,供读者方便阅读。
章毅,吕嘉仪,兰星,薛健.结合面部动作单元感知的三维人脸重建算法.
2024,35(5):1-16
强薇,杜宇,李信金,范向民,苏闻,陈海波,孙伟,田丰.多模态特征分析的帕金森病辅助诊断方法.
2024,35(5):1-16
王睿琦,程皓楠,叶龙.分层特征编解码驱动的视觉引导立体声生成方法.
2024,35(5):1-11
陈浩楠,朱映映,赵骏骐,田奇.基于多模态关系建模的三维形状识别方法.
2024,35(5):1-12
赵恩源,宋宁,聂婕,王鑫,郑程予,魏志强.面向遥感视觉问答的尺度引导融合推理网络.
2024,35(5):1-17
余凯,宾燚,郑自强,杨阳.基于条件语义增强的文本到图像生成.
2024,35(5):1-15
孙上荃,任文琦,操晓春.事件融合与空间注意力和时间记忆力的视频去雨网络.
2024,35(5):1-15
姚涵涛,余璐,徐常胜.视觉语言模型引导的文本知识嵌入的小样本增量学习.
2024,35(5):1-19
尹梦冉,梁美玉,于洋,曹晓雯,杜军平,薛哲.面向跨模态检索的查询感知双重对比学习网络.
2024,35(5):1-13
管泽礼,杜军平,薛哲,王沛文,潘圳辉,王晓阳.基于强化联邦图神经网络的个性化公共安全突发事件检测方法.
2024,35(4):0-0
赵文竹,袁冠,张艳梅,乔少杰,王森章,张雷.多视角融合的时空动态图卷积网络城市交通流量预测.
2024,35(4):0-0
钱鸿,舒翔,孙天祥,邱锡鹏,周爱民.基于动态批量评估的绿色无梯度优化方法研究.
2024,35(4):0-0
杨宏宇,马建辉,侯旻,沈双宏,陈恩红.基于多模态对比学习的代码表征增强预训练方法.
2024,35(4):0-0
田青,孙灿宇,储奕.基于自适应权重的多源部分域适应.
2024,35(4):0-0
刘鑫,景丽萍,于剑.基于多样真实任务生成的鲁棒小样本分类方法.
2024,35(4):0-0
闫涛,高浩轩,张江峰,钱宇华,张临垣.一种分组并行的轻量化实时微观三维形貌重建方法.
2024,35(4):0-0
李晴,汪启昕,李子遇,祝志远,张诗皓,牟浩南,杨文婷,邬霞.神经网络结构搜索在脑数据分析领域的研究进展.
2024,35(4):0-0
陈奕宇,霍静,丁天雨,高阳.元强化学习研究综述.
2024,35(4):0-0
王帆,韩忠义,苏皖,尹义龙.局部一致性主动学习的源域无关开集域自适应.
2024,35(4):0-0
周植,张丁楚,李宇峰,张敏灵.面向开集识别的稳健测试时适应方法.
2024,35(4):0-0
高宏,陈华钧,赵翔,李瑞轩.知识赋能的信息系统专题前言.
2023,34(10):4437-4438
毕鑫,聂豪杰,赵相国,袁野,王国仁.面向知识图谱约束问答的强化学习推理技术.
2023,34(10):4565-4583
陈子睿,王鑫,王晨旭,张少伟,闫浩宇.面向时间感知的知识超图链接预测.
2023,34(10):4533-4547
孙泽群,崔员宁,胡伟.基于链接实体回放的多源知识图谱终身表示学习.
2023,34(10):4501-4517
方阳,谭真,陈子阳,肖卫东,张玲玲,田锋.用于冷启动推荐的异质信息网络对比元学习.
2023,34(10):4548-4564
刘康正,赵峰,金海.FS-Net: 面向时序知识图谱推理的频次统计网络.
2023,34(10):4518-4532
邴睿,袁冠,孟凡荣,王森章,乔少杰,王志晓.多视图对比增强的异质图结构学习方法.
2023,34(10):4477-4500
乔少杰,杨国平,于泳,韩楠,覃晓,屈露露,冉黎琼,李贺.QA-KGNet: 一种语言模型驱动的知识图谱问答模型.
2023,34(10):4584-4600
赵英伏,金福生,李荣华,秦宏超,崔鹏,王国仁.自注意力超图池化网络.
2023,34(10):4463-4476
张贺,夏鑫,蒋振鸣,祝立明,李宣东.AI软件系统工程化技术与规范专题前言.
2023,34(9):3939-3940
杨焱景,毛润丰,谭睿,沈海峰,荣国平.源码处理场景下人工智能系统鲁棒性验证方法.
2023,34(9):4018-4036
吉顺慧,胡黎明,张鹏程,戚荣志.基于稀疏扰动的对抗样本生成方法.
2023,34(9):4003-4017
龚磊,孙新雨,张昱,张燕咏,吉建民,华蓓.嵌入路网图模型的自动驾驶场景描述语言.
2023,34(9):3981-4002
包航宇,殷康璘,曹立,李世宁,孙永敬,尹汇锋,汤汝鸣,侯岳,王士强,裴丹,杨晓勤,王立新.智能运维的实践: 现状与标准化.
2023,34(9):4069-4095
李功源,刘博涵,杨雨豪,邵栋.可信人工智能系统的质量属性与实现: 三级研究.
2023,34(9):3941-3965
葛建,虞慧群,范贵生,唐锏浩,黄子杰.面向智能计算框架的即时缺陷预测.
2023,34(9):3966-3980
李志星,余跃,王涛,蔡孟栾,王怀民.TensorFlow开源软件社区中贡献修订的实证研究.
2023,34(9):4056-4068
王昱颖,张敏,杨晶然,徐晟恺,陈仪香.深度学习模型中的公平性研究.
2023,34(9):4037-4055
蔡少伟,陈振邦,王戟,詹博华,赵永望.约束求解与定理证明专题前言.
2023,34(8):3465-3466
李静,欧阳丹彤,叶育鑫.强表达描述逻辑本体的后继式公理定位研究.
2023,34(8):3574-3586
章乐平,赵永望,王布阳,李悦欣,冯潇潇.L4虚拟内存子系统的形式化验证.
2023,34(8):3527-3548
万新熠,徐轲,曹钦翔.针对教学场景的ZFC集合论Coq形式化.
2023,34(8):3549-3573
于忠祺,张小禹,李建文.基于不可满足核的近似逼近可达性分析.
2023,34(8):3467-3484
曾凡浪,常瑞,许浩,潘少平,赵永望.基于精化的TrustZone多安全分区建模与形式化验证.
2023,34(8):3507-3526
李硕川,王赞,马明旭,陈翔,赵英全,王海弛,王昊宇.GC-MCR:有向图约束指导的并发缺陷检测方法.
2023,34(8):3485-3506
董云卫,刘关俊,毛晓光.形式化方法与应用专题前言.
2023,34(7):2979-2980
鲁法明,唐梦凡,包云霞,曾庆田,李彦成.目标导向的多线程程序UAF漏洞预测方法.
2023,34(7):3043-3063
李腾飞,孙军峰,吕新军,陈祥,刘静,孙海英,何积丰.基于SMT的区域控制器同步反应式模型的形式化验证.
2023,34(7):3080-3098
杜一德,洪伟疆,陈振邦,王戟.面向未解释程序的合作验证方法.
2023,34(7):3116-3133
陆旭,于斌,段振华,王德奎,陈矗,崔进.智能规划中面向简单偏好的高效求解方法.
2023,34(7):3099-3115
马春燕,吕炳旭,叶许姣,张雨.基于LLVM Pass的复杂嵌套循环自动并行化框架.
2023,34(7):3022-3042
赵庆晔,王豫,李宣东.安全的混成系统神经网络控制器生成与验证.
2023,34(7):2981-3001
苏杰,杨祖超,田聪,段振华.基于约束依赖图的并发程序模型检测工具.
2023,34(7):3064-3079
夏春艳,黄松,郑长友,张清睿,王宇,魏瑀皓.自动驾驶交叉路口测试场景建模及验证方法.
2023,34(7):3002-3021
向剑文,郑征,申文博,常瑞,田聪.软件可信性与供应链安全前沿进展专题前言.
2023,34(6):2507-2508
张鑫雨,晋武侠,刘靖雯,范铭,刘烃.结合情节挖掘的软件实体演化耦合分析方法.
2023,34(6):2562-2585
毛天宇,王星宇,常瑞,申文博,任奎.面向Java语言生态的软件供应链安全分析技术.
2023,34(6):2628-2640
吴慧慧,张亚楠,侯刚,渡边政彦,王洁,孔维强.基于凸优化的无人驾驶汽车转向角安全性验证.
2023,34(6):2586-2605
胡雨涛,王溯远,吴月明,邹德清,李文科,金海.基于图神经网络的切片级漏洞检测及解释方法.
2023,34(6):2543-2561
吴月明,齐蒙,邹德清,金海.图卷积网络的抗混淆安卓恶意软件检测.
2023,34(6):2526-2542
王立敏,卜磊,马乐之,于笑丰,沈宁国.基于指标依赖模型构建与监控的攻击检测方法.
2023,34(6):2641-2668
周纯英,曾诚,何鹏,张龑.GKCI:改进的基于图神经网络的关键类识别方法.
2023,34(6):2509-2525
宋雪萌,聂礼强,申恒涛,田奇,黄华.融合预训练技术的多模态学习研究专题前言.
2023,34(5):1997-1999
姚暄,高君宇,徐常胜.基于自监督图对比学习的视频问答方法.
2023,34(5):2083-2100
殷炯,张哲东,高宇涵,杨智文,李亮,肖芒,孙垚棋,颜成钢.视觉语言预训练综述.
2023,34(5):2000-2023
宋井宽,曾鹏鹏,顾嘉扬,朱晋宽,高联丽.基于视觉区域聚合与双向协作的端到端图像描述生成.
2023,34(5):2152-2169
刘慧,李珊珊,高珊珊,邓凯,徐岗,张彩明.预训练模型特征提取的双对抗磁共振图像融合网络研究.
2023,34(5):2134-2151
吕天根,洪日昌,何军,胡社教.多模态引导的局部特征选择小样本学习方法.
2023,34(5):2068-2082
刘天义,吴祖煊,陈静静,姜育刚.面向视觉语言理解与生成的多模态预训练方法.
2023,34(5):2024-2034
孙泽龙,杨国兴,温静远,费楠益,卢志武,文继荣.基于多域VQGAN的文本生成国画方法研究.
2023,34(5):2116-2133
石泽男,陈海鹏,张冬,申铉京.预训练驱动的多模态边界感知视觉Transformer.
2023,34(5):2051-2067
李宗霖,张盛平,刘杨,张兆心,张维刚,黄庆明.基于多级残差映射器的文本驱动人脸图像生成和编辑.
2023,34(5):2101-2115
王成济,苏家威,罗志明,曹冬林,林耀进,李绍滋.基于虚拟属性学习的文本-图像行人检索方法.
2023,34(5):2035-2050
杜小勇,杨晓春,童咏昕.大数据治理的理论与技术专题前言.
2023,34(3):1007-1009
张媛媛,李书缘,史烨轩,周南,徐毅,许可.面向数据联邦的安全多方θ-连接算法.
2023,34(3):1109-1125
梁峥,王宏志,戴加佳,邵心玥,丁小欧,穆添愉.预训练语言模型实体匹配的可解释性.
2023,34(3):1087-1108
丁小欧,李映泽,王晨,王宏志,李昊轩.兼顾行列的时序数据质量规则发现.
2023,34(3):1065-1086
乔连鹏,侯会文,王国仁.属性公平的异质信息网络上的社区搜索算法.
2023,34(3):1277-1291
彭锦峰,申德荣,寇月,聂铁铮.基于多视角的多类型错误全面检测方法.
2023,34(3):1049-1064
覃浩,王平辉,张若非,覃遵颖.基于宽容训练和隐私保护的快速监控视频检索模型.
2023,34(3):1292-1309
赵东明,邱圆辉,康瑞,宋韶旭,黄向东,王建民.面向聚合查询的Apache IoTDB物理元数据管理.
2023,34(3):1027-1048
庞俊,刘小琪,谷峪,王鑫,赵宇海,张晓龙,于戈.基于多粒度注意力网络的知识超图链接预测.
2023,34(3):1259-1276
高珊,袁宛竹,卢卫,王兰,张静,杜小勇.面向列语义识别的共现属性交互模型构建与优化.
2023,34(3):1010-1026
乔少杰,林羽丰,韩楠,杨国平,李贺,袁冠,毛睿,元昌安,Louis Alberto GUTIERREZ.基于贡献度证明共识机制的去中心化联邦学习框架.
2023,34(3):1148-1167
屠要峰,牛家浩,王德政,高洪,徐进,洪科,阳方.面向开放大数据环境的动态数据保护系统.
2023,34(3):1213-1235
符鹏涛,罗来龙,郭得科,赵翔,李尚森,王怀民.跳跃滤波:一种面向大数据治理的动态数据摘要设计.
2023,34(3):1193-1212
陈璐,郭宇翔,葛丛丛,郑白桦,高云君.基于联邦学习的跨源数据错误检测方法.
2023,34(3):1126-1147
邢春晓,王鑫,张勇,于戈.智慧信息系统新技术专题前言.
2022,33(10):3529-3530
石乐昊,寇月,申德荣,聂铁铮,李冬.面向HIN基于多视角嵌入融合的推荐方法.
2022,33(10):3619-3634
李博涵,向宇轩,封顶,何志超,吴佳骏,戴天伦,李静.融合知识感知与双重注意力的短文本分类模型.
2022,33(10):3565-3581
歹杰,李青山,褚华,周洋涛,杨文勇,卫彪彪.突破智慧教育:基于图学习的课程推荐系统.
2022,33(10):3656-3672
张宁豫,谢辛,陈想,邓淑敏,叶宏彬,陈华钧.基于知识协同微调的低资源知识图谱补全方法.
2022,33(10):3531-3545
朱向荣,吴鸿祜,胡伟.FactChain:一个基于区块链的众包知识融合系统.
2022,33(10):3546-3564
汪萌,张勇东,俞俊,张伟.融合媒体环境下的媒体内容分析与信息服务技术专题前言.
2022,33(9):3137-3138
王雪,李占山,陈海鹏.显著性引导及不确定性监督的深度编解码网络.
2022,33(9):3165-3179
刘茂福,施琦,聂礼强.基于视觉关联与上下文双注意力的图像描述生成方法.
2022,33(9):3210-3222
吴福祥,程俊.基于自编码器生成对抗网络的可配置文本图像编辑.
2022,33(9):3139-3151
李群,肖甫,张子屹,张锋,李延超.基于空时变换网络的视频摘要生成.
2022,33(9):3195-3209
田加林,徐行,沈复民,申恒涛.基于跨模态自蒸馏的零样本草图检索.
2022,33(9):3152-3164
张广朋,张冬明,张菁,王川宁,王立冬,邹学强.基于数据合成和度量学习的台标检测与识别.
2022,33(9):3180-3194
陈立前,孙猛.形式化方法与应用专题前言.
2022,33(8):2753-2754
陆寅,秦树东,郭鹏,董云卫.软硬件综合AADL可靠性建模及分析方法.
2022,33(8):2995-3014
邹沫,谢昊彤,魏卓然,陈海波.基于锁耦合遍历算法的文件系统终止性验证.
2022,33(8):2980-2994
陈涛清,范广生,尹帮虎,陈立前,王戟.基于抽象解释的函数内联过程间分析优化方法.
2022,33(8):2964-2979
何雷锋,刘关俊.模拟实时系统的点区间优先级时间Petri网与TCTL验证.
2022,33(8):2947-2963
骆翔宇,黄欣玥,古天龙,苏开乐,陈祖希,郑黎晓.基于时态测试器的实时分支时态逻辑模型检测.
2022,33(8):2930-2946
林开鹏,梅国泉,林望,丁佐华.基于深度学习和反例制导的循环程序秩函数生成.
2022,33(8):2918-2929
王超,吕毅,吴鹏,贾巧雯.TSO内存模型下限界可线性化的可判定性研究.
2022,33(8):2896-2917
赵颖琪,朱雪阳,李广元,包玉龙.智能合约的时间约束模式及其形式化验证.
2022,33(8):2875-2895
包冬庆,葛宁,翟树茂,张莉.基于消息传递关系网络的布尔可满足性预测.
2022,33(8):2839-2850
陈小颖,祝义,赵宇,王金永.面向CPS时空约束的资源建模及其安全性验证方法.
2022,33(8):2815-2838
米钧日,张苗苗,安杰,杜博闻.运用时间分类树的确定单时钟时间自动机学习.
2022,33(8):2797-2814
赵樱,谭锦豪,李国强.基于基本并行进程的异步通信程序的验证方法.
2022,33(8):2782-2796
陆旭,于斌,田聪,段振华.一种利用非确定规划的LTL合成方法.
2022,33(8):2769-2781
于斌,陆旭,田聪,段振华,张南.面向SQLite3数据库API调用序列的并行运行时验证方法.
2022,33(8):2755-2768
明仲,张立军,秦胜潮.智能系统的分析和验证专题前言.
2022,33(7):2365-2366
丁佳,许智武.基于Rectified Adam和颜色不变性的对抗迁移攻击.
2022,33(7):2525-2537
赵恒军,李权忠,曾霞,刘志明.安全强化学习算法及其在CPS智能控制中的应用.
2022,33(7):2538-2561
马舒岑,史建琦,黄滟鸿,秦胜潮,侯哲.基于最小不满足核的随机森林局部解释性分析.
2022,33(7):2447-2463
郑烨,施晓牧,刘嘉祥.基于多路径回溯的神经网络验证方法.
2022,33(7):2464-2481
王艳,侯哲,黄滟鸿,史建琦,张格林.基于概率模型检查的树模型公平性验证方法.
2022,33(7):2482-2498
沐燕舟,王赞,陈翔,陈俊洁,赵静珂,王建敏.采用多目标优化的深度学习测试优化方法.
2022,33(7):2499-2524
曹钦翔,詹博华,赵永望.定理证明理论与应用专题前言.
2022,33(6):2113-2114
张博闻,金钊,王捍贫,曹永知.一种基于分离逻辑的块云存储系统验证工具.
2022,33(6):2264-2287
陈善言,关永,施智平,王国辉.机器人碰撞检测方法形式化.
2022,33(6):2246-2263
麻莹莹,陈钢.基于Coq的矩阵代码生成技术.
2022,33(6):2224-2245
严升,郁文生,付尧顺.基于Coq的杨忠道定理形式化证明.
2022,33(6):2208-2223
靳翠珍,张倩颖,马雨薇,李希萌,王国辉,施智平,关永.基于精化的可信执行环境内存隔离机制验证.
2022,33(6):2189-2207
王小兵,寇蒙莎,李春奕,赵亮.支持索引式的PPTL定理证明器的实现.
2022,33(6):2172-2188
石正璞,崔敏,谢果君,陈钢.多旋翼飞控推进子系统的Coq形式化验证.
2022,33(6):2150-2171
郭昊,曹钦翔.步进索引模型下的语义及其形式化.
2022,33(6):2127-2149
江南,汪吕蒙,张晓瞳,何炎祥.机械化验证一个高效的迭代数据流求解算法.
2022,33(6):2115-2126
杨珉,张超,宋富,张源.系统软件安全专题前言.
2022,33(6):1959-1960
邢颖,钱晓萌,管宇,章世豪,赵梦赐,林婉婷.一种采用对抗学习的跨项目缺陷预测方法.
2022,33(6):2097-2112
杨松涛,陈凯翔,王准,张超.面向缓解机制评估的自动化信息泄露方法.
2022,33(6):2082-2096
李广威,袁挺,李炼.开源CC++静态软件缺陷检测工具实证研究.
2022,33(6):2061-2081
凌振,杨彦,刘睿钊,张悦,贾康,杨明.基于Toast重复绘制机制的口令攻击技术.
2022,33(6):2047-2060
谈心,杨悉瑜,曹家俊,张源.基于深度学习的Linux内核引用计数字段识别方法.
2022,33(6):2030-2046
李明煜,夏虞斌,陈海波.面向SGX2代新型可信执行环境的内存优化系统.
2022,33(6):2012-2029
徐浩然,王勇军,黄志坚,解培岱,范书珲.基于前馈神经网络的编译器测试用例生成方法.
2022,33(6):1996-2011
方浩然,郭帆,李航宇.TaintPoint:使用活跃轨迹高效挖掘污点风格漏洞.
2022,33(6):1978-1995
于银菠,刘家佳,慕德俊.反例引导的C代码空间流模型检测方法.
2022,33(6):1961-1977
汤恩义,江贺,陈俊洁,李必信,唐滨.领域软件工程专题前言.
2022,33(5):1527-1528
王璐,霍其恩,李青山,王展,姜宇轩.基于并行搜索优化的指控系统自适应决策方法.
2022,33(5):1774-1799
冷林珊,刘爽,田承霖,窦淑洁,王赞,张梅山.预训练增强的代码克隆检测技术.
2022,33(5):1758-1773
唐泽,李传艺,葛季栋,骆斌.基于对象类型的API补全方法.
2022,33(5):1736-1757
钱巨,王寅,程浩,韦正现.基于场景模型的DDS架构一体化舰船任务系统测试.
2022,33(5):1711-1735
蒋竞,苗萌,赵丽娴,张莉.软件问答社区的问题删除预测方法.
2022,33(5):1699-1710
丁艳茹,张艳梅,姜淑娟,袁冠,王荣存,钱俊彦.面向类集成测试序列生成的强化学习研究.
2022,33(5):1674-1698
胡军,吕佳润,王立松,康介祥,王辉,高忠杰.一个机载软件需求形式化建模与分析实例研究.
2022,33(5):1652-1673
于旭,何亚东,杜军威,王昭哲,江峰,巩敦卫.一种结合显式特征和隐式特征的开发者混合推荐算法.
2022,33(5):1635-1651
杨慧文,崔展齐,陈翔,贾明华,郑丽伟,刘建宾.基于软件度量的Solidity智能合约缺陷预测方法.
2022,33(5):1587-1611
袁天昊,吉顺慧,张鹏程,蔡涵博,戴启印,叶仕俊,任彬.针对黑盒智能语音软件的对抗样本生成方法.
2022,33(5):1569-1586
张杨,东春浩,刘辉,葛楚妍.基于预训练模型和多层次信息的代码坏味检测方法.
2022,33(5):1551-1568
张健,周乃春,李明,刘杰,陈江涛,向栋,金韬.面向航空航天领域的工业CFD软件研发设计.
2022,33(5):1529-1550
陈恩红,李宇峰,邹权.面向开放场景的鲁棒机器学习专刊前言.
2022,33(4):1153-1155
杨佳鑫,杜军平,邵蓥侠,李昂,奚军庆.面向知识产权的科技资源画像构建方法.
2022,33(4):1439-1450
许新征,常建英,丁世飞.基于StarGAN和类别编码器的图像风格转换.
2022,33(4):1516-1526
刘艳芳,李文斌,高阳.特征演化的置信-加权学习方法.
2022,33(4):1315-1325
李绍园,韦梦龙,黄圣君.利用标注者相关性的深度生成式众包学习.
2022,33(4):1274-1286
汪云云,孙顾威,赵国祥,薛晖.基于自监督知识的无监督新集域适应学习.
2022,33(4):1170-1182
曹刘娟,匡华峰,刘弘,王言,张宝昌,黄飞跃,吴永坚,纪荣嵘.双标签监督的几何约束对抗训练.
2022,33(4):1218-1230
陈加略,姜远.基于标记因果顺序挖掘的多标记分类方法.
2022,33(4):1267-1273
张熠玲,杨燕,周威,欧阳小草,胡节.CMvSC: 知识迁移下的深度一致性多视图谱聚类网络.
2022,33(4):1373-1389
王晨阳,任一,马为之,张敏,刘奕群,马少平.ReChorus: 综合高效易扩展的轻量级推荐算法框架.
2022,33(4):1430-1438
梁星星,马扬,冯旸赫,张驭龙,张龙飞,廖世江,刘忠.基于预测编码的样本自适应行动策略规划.
2022,33(4):1477-1500
刘晓琳,白亮,赵兴旺,梁吉业.基于多阶近邻融合的不完整多视图聚类算法.
2022,33(4):1354-1372
吕建成,叶庆,田煜鑫,韩军伟,吴枫.类脑超大规模深度神经网络系统.
2022,33(4):1412-1429
李耀仟,李才子,刘瑞强,司伟鑫,金玥明,王平安.面向手术器械语义分割的半监督时空Transformer网络.
2022,33(4):1501-1515
朱鹏飞,张琬迎,王煜,胡清华.考虑多粒度类相关性的对比式开放集识别方法.
2022,33(4):1156-1169
王帆,韩忠义,尹义龙.伪标签不确定性估计的源域无关鲁棒域自适应.
2022,33(4):1183-1199
谢娟英,吴肇中.基于可辨识矩阵的完全自适应2D特征选择算法.
2022,33(4):1338-1353
赵辉,王红军,彭博,龙治国,李天瑞.基于随机近邻嵌入的判别性特征学习.
2022,33(4):1326-1337
陇盛,陶蔚,张泽东,陶卿.基于AdaGrad的自适应NAG方法及其最优个体收敛性.
2022,33(4):1231-1243
张仕,赖会霞,肖如良,潘淼鑫,张路路,陈伟林.开放环境多分布特性的局部敏感哈希检索方法.
2022,33(4):1200-1217
孙林,秦小营,徐久成,薛占熬.基于K近邻和优化分配策略的密度峰值聚类算法.
2022,33(4):1390-1411
乔少杰,韩楠,岳昆,易玉根,黄发良,元昌安,丁鹏,Louis Alberto GUTIERREZ.基于数据场聚类的共享单车需求预测模型.
2022,33(4):1451-1476
李国良,于戈,杨俊,范举.数据库系统新型技术专题前言.
2022,33(3):771-773
李书缘,季与点,史鼎元,廖旺冬,张利鹏,童咏昕,许可.面向多方安全的数据联邦系统.
2022,33(3):1111-1127
周旭,翁同峰,杨志邦,李博仁,张吉,李肯立.面向大规模二部图的分布式Tip分解算法.
2022,33(3):1043-1056
刘睿诚,张俊晨,罗永平,金培权.面向非易失内存的异构索引.
2022,33(3):832-848
吕卫锋,郑志明,童咏昕,张瑞升,魏淑越,李卫华.基于大数据的分布式社会治理智能系统.
2022,33(3):931-949
赵泓尧,赵展浩,杨皖晴,卢卫,李海翔,杜小勇.内存数据库并发控制算法的实验研究.
2022,33(3):867-890
李盼盼,宋韶旭,王建民.时间序列对称模式挖掘.
2022,33(3):968-984
余翔,柴成亮,张辛宁,汤南,孙佶,李国良.AlphaQO:鲁棒的学习型查询优化器.
2022,33(3):814-831
刘瑞奇,李博扬,高玉金,李长升,赵恒泰,金福生,李荣华,王国仁.新型分布式计算系统中的异构任务调度框架.
2022,33(3):1005-1017
刘艺菲,王宁,王志刚,谷峪,魏志强,张啸剑,于戈.混洗差分隐私下的多维类别数据的收集与分析.
2022,33(3):1093-1110
崔鹏杰,袁野,李岑浩,张灿,王国仁.RGraph:基于RDMA的高效分布式图数据处理系统.
2022,33(3):1018-1042
乔少杰,杨国平,韩楠,屈露露,陈浩,毛睿,元昌安,Louis Alberto GUTIERREZ.基于树型门控循环单元的基数和代价估计器.
2022,33(3):797-813
岳晓飞,史岚,赵宇海,季航旭,王国仁.面向Flink迭代作业的动态资源分配策略.
2022,33(3):985-1004
俞自生,李瑞远,郭阳,蒋忠元,鲍捷,郑宇.基于键值存储的分布式时序相似性搜索方法.
2022,33(3):950-967
魏星达,陆放明,陈榕,陈海波,臧斌宇.基于NVM和HTM的低时延事务处理.
2022,33(3):849-866
屠要峰,陈河堆,王涵毅,闫宗帅,孔鲁,陈兵.NUMA感知的持久内存存储引擎优化设计.
2022,33(3):891-908
李海翔,李晓燕,刘畅,杜小勇,卢卫,潘安群.数据库管理系统中数据异常体系化定义与分类.
2022,33(3):909-930
屠要峰,陈小强,周士俊,卞福升,吴非,陈兵.Geno:基于代价的异构融合查询优化器.
2022,33(3):774-796
刘俊鹏,黄锴宇,李玖一,宋鼎新,黄德根.基于多覆盖模型的神经机器翻译.
2022,33(3):1141-1152
许召召,申德荣,聂铁铮,寇月.融合信息增益比和遗传算法的混合式特征选择算法.
2022,33(3):1128-1140
郭兵,王泉,邓庆绪,陈铭松,张凯龙.泛在嵌入式智能系统专题前言.
2021,32(8):2377-2378
邹敏辉,周俊龙,孙晋,汪成亮.基于木马的方式增强RRAM计算系统的安全性.
2021,32(8):2457-2468
郭镇北,李福亮,梁博成,张小瑞,孙磊.一种基于功率调控的WiFi Direct节能优化机制.
2021,32(8):2439-2456
邵明莉,曹鹗,胡铭,章玥,陈闻杰,陈铭松.面向优先车辆感知的交通灯优化控制方法.
2021,32(8):2425-2438
杨世贵,王媛媛,刘韦辰,姜徐,赵明雄,方卉,杨宇,刘迪.基于强化学习的温度感知多核任务调度.
2021,32(8):2408-2424
龚成,卢冶,代素蓉,刘方鑫,陈新伟,李涛.一种超低损失的深度神经网络量化压缩方法.
2021,32(8):2391-2407
刘立,朱健成,韩光洁,毕远国.基于1D-CNN联合特征提取的轴承健康监测与故障诊断.
2021,32(8):2379-2390
孙家昶,李会元.国产复杂异构高性能数值软件的研制与测试专题前言.
2021,32(8):2287-2288
徐顺,王武,张鉴,姜金荣,金钟,迟学斌.面向异构计算的高性能计算算法与软件.
2021,32(8):2365-2376
孙乔,黎雷生,赵海涛,赵慧,吴长茂.SW26010众核任务并行调度系统及其嵌套并行算法应用.
2021,32(8):2352-2364
刘芳芳,王志军,汪荃,吴丽鑫,马文静,杨超,孙家昶.国产异构系统上的HPCG并行算法及高效实现.
2021,32(8):2341-2351
孙乔,孙家昶,马文静,赵玉文.面向异构计算机平台的HPL方案.
2021,32(8):2329-2340
水超洋,于献智,王银山,谭光明.国产异构系统上HPL的优化与分析.
2021,32(8):2319-2328
黎雷生,杨文浩,马文静,张娅,赵慧,赵海涛,李会元,孙家昶.复杂异构计算系统HPL的优化.
2021,32(8):2307-2318
蔡雨,孙成国,杜朝晖,刘子行,康梦博,李双双.异构HPL算法中CPU端高性能BLAS库优化.
2021,32(8):2289-2306
陈俊洁,汤恩义,何啸,马晓星.面向非确定性的软件质量保障方法与技术专题前言.
2021,32(7):1923-1925
安冬冬,刘静,陈小红,孙海英.不确定环境下hCPS系统的形式化建模与动态验证.
2021,32(7):1999-2015
李玫,高庆,马森,张世琨,胡文蕙,张兴明.面向代码相似性检测的相似哈希改进方法.
2021,32(7):2242-2259
牛长安,葛季栋,唐泽,李传艺,周宇,骆斌.基于指针生成网络的代码注释自动生成模型.
2021,32(7):2142-2165
王璐,李青山,吕文琪,张河,李昊.基于事件关系保障识别质量的自适应分析方法.
2021,32(7):1978-1998
周小莉,赵建华.基于偶然正确性概率的回归测试选择方法.
2021,32(7):2103-2117
徐海燕,姜瑛.针对复杂用户评论的代码质量属性判断.
2021,32(7):2183-2203
姜淑娟,张旭,王荣存,黄颖,张艳梅,薛猛.基于路径分析和信息熵的错误定位方法.
2021,32(7):2166-2182
张献,贲可荣,曾杰.基于代码自然性的切片粒度缺陷预测方法.
2021,32(7):2219-2241
高凤娟,王豫,周金果,徐安孜,王林章,吴荣鑫,张川,苏振东.高精度的大规模程序数据竞争检测方法.
2021,32(7):2039-2055
李念语,陈正胤,刘坤,焦文品.一种基于分层适应逻辑的自适应系统实现框架.
2021,32(7):1957-1977
贾修一,张文舟,李伟湋,黄志球.基于变分自编码器的异构缺陷预测特征表示方法.
2021,32(7):2204-2218
田聪,邓玉欣,姜宇.形式化方法与应用专题前言.
2021,32(6):1579-1580
麻莹莹,马振威,陈钢.基于Coq的分块矩阵运算的形式化.
2021,32(6):1882-1909
王颖,王冰青,关永,李晓娟,王瑞.面向ROS的差分模糊测试方法.
2021,32(6):1867-1881
王小兵,杨潇钰,舒新峰,赵亮.面向MSVL的智能合约形式化验证.
2021,32(6):1849-1866
陆芝浩,王瑞,孔辉,关永,施智平.Ptolemy离散事件模型形式化验证方法.
2021,32(6):1830-1848
芦倩,李晓娟,关永,王瑞,施智平.面向数据流的ROS2数据分发服务形式建模与分析.
2021,32(6):1818-1829
姚广宇,张南,田聪,段振华,刘灵敏,孙风津.芯片开发功能验证的形式化方法.
2021,32(6):1799-1817
陈小颖,祝义,赵宇,王金永.面向CPS时空性质验证的混成AADL建模与模型转换方法.
2021,32(6):1779-1798
谷晓松,魏恒峰,乔磊,黄宇.支持乱序执行的Raft协议.
2021,32(6):1748-1778
刘霄,章昭辉,魏子明,王鹏伟.个体交互行为的平滑干预模型.
2021,32(6):1733-1747
韩宁,李希萌,张倩颖,王国辉,施智平,关永.以太坊中间语言的可执行语义.
2021,32(6):1717-1732
张捷,田聪,段振华.基于污染变量关系图的Android应用污点分析工具.
2021,32(6):1701-1716
鲁法明,郑佳静,包云霞,曾庆田,段华,王晓宇.基于锁增广分段图的多线程程序死锁检测.
2021,32(6):1682-1700
陆寅,秦树东,习乐琪,董云卫.面向AADL模型的存储资源约束可调度性分析.
2021,32(6):1663-1681
苏卓,王东艳,杨镒箫,张明睿,姜宇,孙家广.基于分支标记的数据流模型的代码生成方法.
2021,32(6):1647-1662
马智,乔磊,杨孟飞,李少峰.面向SPARC处理器架构的操作系统异常管理验证.
2021,32(6):1631-1646
郝宗寅,鲁法明.Petri网的反向展开及其在程序数据竞争检测的应用.
2021,32(6):1612-1630
邝砾,施如意,赵雷浩,张欢,高洪皓.大粒度Pull Request描述自动生成.
2021,32(6):1597-1611
张协力,祝跃飞,顾纯祥,陈熹.C2P:基于Pi演算的协议C代码形式化抽象方法和工具.
2021,32(6):1581-1596
张贺,王忠杰,陈连平,彭鑫.面向持续软件工程的微服务架构技术专题前言.
2021,32(5):1229-1230
贺祥,刘磊,涂志莹,徐晓飞.多版本共存的微服务系统自适应演化方法.
2021,32(5):1341-1359
晋武侠,钟定洪,张宇云,杨名帆,刘烃.基于多源特征空间的微服务可维护性评估.
2021,32(5):1322-1340
尤勇,汪浩,任天,顾胜晖,孙佳林.一种监控系统的链路跟踪型日志数据的存储设计.
2021,32(5):1302-1321
李杉杉,荣国平,高邱雅,邵栋.一种优化的数据流驱动的微服务化拆分方法.
2021,32(5):1284-1301
崔海涛,章程,丁翔,曹伶俐,杨耘.面向微服务架构的开发组织适应性评估框架.
2021,32(5):1256-1283
殷康璘,杜庆峰.基于混沌工程的微服务韧性风险识别和分析.
2021,32(5):1231-1255
潘敏学,魏峻,崔展齐.面向领域的软件系统构造与质量保障专题前言.
2021,32(4):887-888
蔡婷,林晖,陈武辉,郑子彬,余阳.区块链赋能的高效物联网数据激励共享方案.
2021,32(4):953-972
沈琦,钱莹,邹艳珍,伍仕骏,谢冰.融合代码与文档的软件功能特征挖掘方法.
2021,32(4):1023-1038
曹英魁,孙泽宇,邹艳珍,谢冰.一种结构信息增强的代码修改自动转换方法.
2021,32(4):1006-1022
张梦寒,杜德慧,张铭茁,张雷,王耀,周文韬.时空轨迹数据驱动的自动驾驶场景元建模方法.
2021,32(4):973-987
高凤娟,王豫,司徒凌云,王林章.基于深度学习的混合模糊测试方法.
2021,32(4):988-1005
边寒,陈小红,金芝,张民.基于环境建模的物联网系统TAP规则生成方法.
2021,32(4):934-952
宗喆,杨志斌,袁胜浩,周勇,Jean-Paul BODELEIX,Mamoun FILALI.安全关键异构软件混合建模及代码生成方法.
2021,32(4):904-933
杨文华,周宇,黄志球.基于反例确认的CPS不确定性模型校准.
2021,32(4):889-903
钟文康,葛季栋,陈翔,李传艺,唐泽,骆斌.面向神经机器翻译系统的多粒度蜕变测试.
2021,32(4):1051-1066
周小莉,赵建华.基于偶然正确性概率的错误定位技术.
2021,32(4):1039-1050
陈雷,王宏志,童咏昕,高宏.支撑人工智能的数据管理与分析技术专刊前言.
2021,32(3):601-603
张文涛,苑斌,张智鹏,崔斌.图嵌入算法的分布式优化与实现.
2021,32(3):636-649
李晓光,魏思齐,张昕,杜岳峰,于戈.LFKT:学习与遗忘融合的深度知识追踪模型.
2021,32(3):818-830
邓哲也,张铭.用于表格事实检测的图神经网络模型.
2021,32(3):753-762
谢贵才,段磊,蒋为鹏,肖珊,徐一凡.多尺度时序依赖的校园公共区域人流量预测.
2021,32(3):831-844
刘宝珠,王鑫,柳鹏凯,李思卓,张小旺,杨雅君.KGDB:统一模型和语言的知识图谱数据库管理系统.
2021,32(3):781-804
沈志宏,赵子豪,王华进,刘忠新,胡川,周园春.PandaDB:一种异构数据智能融合管理系统.
2021,32(3):763-780
钮泽平,李国良.数据库内AI模型优化.
2021,32(3):622-635
李长升,闵齐星,成雨蓉,袁野,王国仁.捕获局部语义结构和实例辨别的无监督哈希.
2021,32(3):742-752
金连源,李国良.基于人工智能方法的数据库智能诊断.
2021,32(3):845-858
高菲,宋韶旭,王建民.多区间速度约束下的时序数据清洗方法.
2021,32(3):689-711
史鼎元,王晏晟,郑鹏飞,童咏昕.面向企业数据孤岛的联邦排序学习.
2021,32(3):669-688
吴安彪,袁野,马玉亮,王国仁.时序图节点嵌入策略的研究.
2021,32(3):650-668
康驻关,金福生,王国仁.基于Motif聚集系数与时序划分的高阶链接预测方法.
2021,32(3):712-725
杨东华,邹开发,王宏志,王金宝.基于Seq2Seq模型的SparQL查询预测.
2021,32(3):805-817
姜山,丁治明,朱美玲,严瑾,徐馨润.面向时空图建模的图小波卷积神经网络模型.
2021,32(3):726-741
武延军,陈海波,包云岗,李玲.系统软件前沿进展专题前言.
2020,31(10):2981-2982
娄文启,王超,宫磊,周学海.一种神经网络指令集扩展与代码映射机制.
2020,31(10):3074-3086
梁冠宇,武延军,吴敬征,赵琛.面向操作系统可靠性保障的开源软件供应链.
2020,31(10):3056-3073
张鸿骏,武延军,张珩,张立波.一种适应GPU的混合访问缓存索引框架.
2020,31(10):3038-3055
李鼎基,糜泽羽,吴保东,陈逊,赵永望,丁佐华,陈海波.基于跨虚拟机零下陷通信的加速器虚拟化框架.
2020,31(10):3019-3037
徐梦炜,刘渊强,黄康,刘譞哲,黄罡.面向移动终端智能的自治学习系统.
2020,31(10):3004-3018
高凤娟,王豫,陈天骄,司徒凌云,王林章,李宣东.基于污点分析的数组越界缺陷的静态检测方法.
2020,31(10):2983-3003
陈晋音,陈治清,郑海斌,沈诗婧,苏蒙蒙.基于PSO的路牌识别模型黑盒对抗攻击方法.
2020,31(9):2785-2801
蔺一帅,李青山,陆鹏浩,孙雨楠,王亮,王颖芝.智能仓储货位规划与AGV路径规划协同优化算法.
2020,31(9):2770-2784
韦璠,宋云飞,邵明莉,刘天,陈小红,王祥丰,陈铭松.利用特征融合和整体多样性提升单模型鲁棒性.
2020,31(9):2756-2769
许瑞,谷守珍,沙行勉,诸葛晴凤,石亮,高思远.面向多读/写头磁畴壁存储器的优化研究.
2020,31(9):2723-2740
张雯雯,许天予,章玥,郑孝遥.SDN数据平面软件一致性测试用例生成方法.
2020,31(9):2709-2722
李德光,郭兵,张瑞玲,马友忠,任祯琴,赵旭鸽,谭庆,李君科.基于视觉显著性的AMOLED显示器多区域功耗优化.
2020,31(9):2741-2755
张展,张宪琦,左德承,付国栋.面向边缘计算的目标追踪应用部署策略研究.
2020,31(9):2691-2708
张亮,刘智宇,曹晶瑛,沈沛意,蒋得志,梅林,朱光明,苗启广.扫地机器人增强位姿融合的Cartographer算法及系统实现.
2020,31(9):2678-2690
易星辰,魏恒峰,黄宇,乔磊,吕建.PaxosStore中共识协议TPaxos的推导、规约与精化.
2020,31(8):2336-2361
李小平,乌尼日其其格,马世龙,吕江花.高阶类型化可验证应用系统体系结构建模及案例.
2020,31(8):2309-2335
李璜华,李凌,赵宇,王生原,李翔宇.一种包解析器硬件配置描述语言及其编译结构.
2020,31(8):2285-2308
姜菁菁,乔磊,杨孟飞,杨桦,刘波.基于Coq的操作系统任务管理需求层建模及验证.
2020,31(8):2375-2387
李亚男,邓玉欣,刘静.基于Coq的Paxos形式化建模与验证.
2020,31(8):2362-2374
谭锦豪,李国强.基本并行进程活性的限界模型检测.
2020,31(8):2388-2403
王帅,王维莹,陈师哲,金琴.基于全局和局部信息的视频记忆度预测.
2020,31(7):1969-1979
陈健,白琮,马青,郝鹏翼,陈胜勇.面向细粒度草图检索的对抗训练三元组网络.
2020,31(7):1933-1942
高明达,孙玉宝,刘青山,邵晓雯.联合姿态先验的人体精确解析双分支网络模型.
2020,31(7):1959-1968
杨婉香,严严,陈思,张小康,王菡子.基于多尺度生成对抗网络的遮挡行人重识别方法.
2020,31(7):1943-1958
马超,吴伟.马尔可夫信息物理系统拒绝服务攻击安全控制.
2020,31(6):1672-1680
魏晓敏,董泽乾,肖明睿,田聪.基于AADL的失效概率分配及安全性评估方法.
2020,31(6):1654-1671
赵梦瑶,陈小红,孙海英,刘静,陈良育,周庭梁.轨道交通联锁领域特定语言的形式化.
2020,31(6):1638-1653
毛新军,杨硕,黄裕泓,王硕.自主机器人多智能体软件架构及伴随行为机制.
2020,31(6):1619-1637
王豫,高凤娟,马可欣,司徒凌云,王林章,陈碧欢,刘杨,赵建华,李宣东.垂悬指针检测与防御方法.
2020,31(6):1600-1618
杜德慧,管春琳,王耀,郭童.基于SHML的CPS行为建模及仿真.
2020,31(6):1587-1599
赵永望,刘杨,王戟.系统软件构造与验证技术专题前言.
2020,31(5):1241-1242
郭建,丁继政,朱晓冉.嵌入式实时操作系统内核混合代码的自动化验证框架.
2020,31(5):1353-1373
纪业,魏恒峰,黄宇,吕建.CRDT协议的TLA+描述与验证.
2020,31(5):1332-1352
王微微,李奕超,赵瑞莲,李征.Web应用前后端融合的遗传算法并行化测试用例生成.
2020,31(5):1314-1331
郑炜,陈军正,吴潇雪,陈翔,夏鑫.基于深度学习的安全缺陷报告预测方法实证研究.
2020,31(5):1294-1313
董攀,丁滟,江哲,黄辰林,范冠男.基于TEE的主动可信TPM/TCM设计与实现.
2020,31(5):1392-1405
刘筱珊,袁正恒,陈小红,陈铭松,刘静,周庭梁.区域控制器的安全需求建模与自动验证.
2020,31(5):1374-1391
王淑栋,尹文静,董玉坤,张莉,刘浩.面向顺序存储结构的数据流分析.
2020,31(5):1276-1293
李战怀,于戈,杨晓春.人工智能赋能的数据管理、分析与系统专刊前言.
2020,31(3):597-599
蔡磊,朱燕超,郭庆兴,张召,金澈清.面向区块链的高效物化视图维护和可信查询.
2020,31(3):680-694
张青博,王斌,崔宁宁,宋晓旭,秦婧.基于注意力机制的规范化矩阵分解推荐算法.
2020,31(3):778-793
赵超,王腾江,刘士军,潘丽,嵇存.融合选择提取与子类聚类的快速Shapelet发现算法.
2020,31(3):763-777
高远宁,叶金标,杨念祖,高晓沨,陈贵海.基于中间层的可扩展学习索引技术.
2020,31(3):620-633
丁小欧,于晟健,王沐贤,王宏志,高宏,杨东华.基于相关性分析的工业时序数据异常检测.
2020,31(3):726-747
邱涛,王斌,舒昭维,赵智博,宋子文,钟延辉.面向关系数据库的智能索引调优方法.
2020,31(3):634-647
郑皎凌,乔少杰,舒红平,应广华,Louis Alberto GUTIERREZ.面向多维稀疏数据仓库的欺诈销售行为挖掘.
2020,31(3):710-725
郭嘉琰,李荣华,张岩,王国仁.基于图神经网络的动态网络异常检测算法.
2020,31(3):748-762
李梁,吴刚,王国仁.面向数据特征的内存跳表优化技术.
2020,31(3):663-679
赖永炫,张璐,杨帆,卢卫,王田.基于时空相关属性模型的公交到站时间预测算法.
2020,31(3):648-662
孙琛琛,申德荣,李玉坤,肖迎元,马建红.时间约束的实体解析中记录对排序研究.
2020,31(3):695-709
李国良,周煊赫.轩辕:AI原生数据库系统.
2020,31(3):831-844
张奕韬,万常选,刘喜平,江腾蛟,刘德喜,廖国琼.基于PSP_HDP主题模型的非结构化经济指标挖掘.
2020,31(3):845-865
陈碧毅,黄玲,王昌栋,景丽萍.融合显式反馈与隐式反馈的协同过滤推荐算法.
2020,31(3):794-805
荣国平,白晓颖,岳涛.面向DevOps的软件工程新技术专题前言.
2019,30(10):3054-3055
钟陈星,李杉杉,张贺,章程.限界上下文视角下的微服务粒度评估.
2019,30(10):3227-3241
王春晖,金芝,赵海燕,刘璘,张伟,崔牧原.人机协作的用户故事场景提取与迭代演进.
2019,30(10):3186-3205
胡甜媛,姜瑛.体现使用反馈的APP软件用户评论挖掘.
2019,30(10):3168-3185
陆一飞,潘敏学,张天,王林章,李宣东.面向安卓应用建模的IFML扩展.
2019,30(10):3148-3167
金泽锋,张佑文,叶文华,张贺,邵栋.面向完整价值交付的文档DevOps应用研究.
2019,30(10):3127-3147
贾一荻,刘璘.中文非功能需求描述的识别与分类方法研究.
2019,30(10):3115-3126
谢肖飞,李晓红,陈翔,孟国柱,刘杨.基于符号执行与模糊测试的混合测试方法.
2019,30(10):3071-3089
黄璜,张贺,邵栋.自动化工具对中国DevOps实践的影响.
2019,30(10):3056-3070
田丰,喻纯.自然人机交互新进展专题前言.
2019,30(10):2925-2926
谭宇彤,周旭峰,孔令芝,王醒策,武仲科,税午阳,付艳,周明全,Vladimir KORKHOV,Luciano Paschoal GASPARY.面向肌电信号的虚拟现实提线木偶动画研究.
2019,30(10):2964-2985
陶建华,杨明浩,王志良,班晓娟,解仑,汪云海,曾琼,王飞,王红迁,刘斌,韩志帅,潘航,陈文拯.无菌条件非接触式多通道自然交互手术环境.
2019,30(10):2986-3004
程时伟,沈哓权,孙凌云,胡屹凛.多用户眼动跟踪数据的可视化共享与协同交互.
2019,30(10):3037-3053
王志勇,王从艺,张子豪,袁铭择,夏时洪.一种无标记的身体与面部运动同步捕获方法.
2019,30(10):3026-3036
程时伟,周桃春,唐智川,范菁,孙凌云,朱安杰.CNN实现的运动想象脑电分类及人-机器人交互.
2019,30(10):3005-3016
黄培恺,喻纯,史元春.基于空中手势的跨屏幕内容分享技术研究.
2019,30(10):2942-2953
潘嘉铖,韩东明,郭方舟,郑文庭,于金辉,陈为.面向比特币交易网络的拓扑结构可视探索方法.
2019,30(10):3017-3025
潘志庚,刘荣飞,张明敏.基于模糊综合评价的疲劳驾驶检测算法研究.
2019,30(10):2954-2963
李念龙,黄进,田丰,戴国忠,王宏安.ICOMDT:一个面向动态任务的交互计算模型.
2019,30(10):2927-2941
于戈,牛保宁,金澈清.区块链数据管理专题前言.
2019,30(9):2569-2570
焦通,申德荣,聂铁铮,寇月,李晓华,于戈.区块链数据库:一种可查询且防篡改的数据库.
2019,30(9):2671-2685
贾大宇,信俊昌,王之琼,郭薇,王国仁.存储容量可扩展区块链系统的高效查询模型.
2019,30(9):2655-2670
王璞巍,杨航天,孟佶,陈晋川,杜小勇.面向合同的智能合约的形式化定义及参考实现.
2019,30(9):2608-2619
黄建华,夏旭,李忠诚,李建华,郑红.基于动态授权的信任度证明机制.
2019,30(9):2593-2607
刘敖迪,杜学绘,王娜,李少卓.基于区块链的大数据访问控制机制.
2019,30(9):2636-2654
谭海波,周桐,赵赫,赵哲,王卫东,张中贤,盛念祖,李晓风.基于区块链的档案数据保护与共享方法.
2019,30(9):2620-2635
张帆,徐明迪,赵涵捷,张聪,刘小丽,胡方宁.软件实时可信度量:一种无干扰行为可信性分析方法.
2019,30(8):2268-2286
李文婷,汪定,王平.无线传感器网络下多因素身份认证协议的内部人员攻击.
2019,30(8):2375-2391
王文琦,汪润,王丽娜,唐奔宵.面向中文文本倾向性分类的对抗样本生成方法.
2019,30(8):2415-2427
刘明达,拾以娟,陈左宁.基于区块链的分布式可信网络连接架构.
2019,30(8):2314-2336
杜瑞忠,李明月,田俊峰,吴万青.基于倒排索引的可验证混淆关键字密文检索方案.
2019,30(8):2362-2374
徐林宏,郭建胜,崔竞一,李明明.Piccolo算法的相关密钥-不可能差分攻击.
2019,30(8):2349-2361
谭良,宋敏.基于Duplication Authority的TPM2.0密钥迁移协议.
2019,30(8):2287-2313
唐奔宵,王丽娜,汪润,赵磊,陈青松.基于Laplace机制的普适运动传感器侧信道防御方案.
2019,30(8):2392-2414
李明明,郭建胜,崔竞一,徐林宏.Midori-64算法的截断不可能差分分析.
2019,30(8):2337-2348
朱凯,毋国庆,吴理华,袁梦霆.有关时间自动机重置的若干问题的计算复杂性.
2019,30(7):2033-2051
杨康,王瑞,关永,李晓娟,施智平,Xiaoyu SONG.具有多传感器的CPS系统的攻击检测.
2019,30(7):2018-2032
康跃馨,甘元科,王生原.同步数据流语言可信编译器Vélus与L2C的比较.
2019,30(7):2003-2017
杨志斌,袁胜浩,谢健,周勇,陈哲,薛垒,Jean-Paul BODEVIX,Mamoun FILALI.一种同步语言多线程代码自动生成工具.
2019,30(7):1980-2002
罗晨霞,王瑞,关永,李晓娟,施智平,Xiaoyu SONG.面向实时数据的CPS一体化建模方法.
2019,30(7):1966-1979
安杰,张苗苗.基于实时自动机的连续时段演算的验证.
2019,30(7):1953-1965
丁如江,李国强.非交互式Petri网可覆盖性验证的高效实现.
2019,30(7):1939-1952
乌尼日其其格,李小平,马世龙,吕江花,张思卿.高阶类型化软件体系结构建模和验证及案例.
2019,30(7):1916-1938
李轶,蔡天训,樊建峰,吴文渊,冯勇.基于SVM的多项式循环程序秩函数生成.
2019,30(7):1903-1915
斯雪明,陈文光.区块链与数字货币技术专题前言.
2019,30(6):1575-1576
王震,范佳,成林,安红章,郑海彬,牛俊翔.可监管匿名认证方案.
2019,30(6):1705-1720
杨亚涛,蔡居良,张筱薇,袁征.基于SM9算法可证明安全的区块链隐私保护方案.
2019,30(6):1692-1704
徐蜜雪,苑超,王永娟,付金华,李斌.拟态区块链——区块链安全解决方案.
2019,30(6):1681-1691
李春晓,陈胜,郑龙帅,左春,蒋步云,梁赓.响应式许可链基础组件——RepChain.
2019,30(6):1670-1680
王秀利,江晓舟,李洋.应用区块链的数据访问控制与共享模型.
2019,30(6):1661-1669
乔蕊,曹琰,王清贤.基于联盟链的物联网动态数据溯源机制.
2019,30(6):1614-1631
朱建明,丁庆洋,高胜.基于许可链的SWIFT系统分布式架构.
2019,30(6):1594-1613
朱立,俞欢,詹士潇,邱炜伟,李启雷.高性能联盟区块链技术研究.
2019,30(6):1577-1593
申富饶,李戈.智能化软件新技术专刊前言.
2019,30(5):1203-1205
章晓芳,朱灿.代码坏味对软件演化影响的实证研究.
2019,30(5):1422-1437
倪友聪,吴瑞,杜欣,叶鹏,李汪彪,肖如良.基于频繁模式挖掘的GCC编译时能耗演化优化算法.
2019,30(5):1269-1287
时宇岑,印莹,赵宇海,张斌,王国仁.基于多开发者社区的用户推荐算法.
2019,30(5):1561-1574
张洋,王涛,吴逸文,尹刚,王怀民.基于嵌入模型的混合式相关缺陷关联方法.
2019,30(5):1407-1421
陈琪,张莉,蒋竞,黄新越.一种基于支持向量机和主题模型的评论分析方法.
2019,30(5):1547-1560
王锐光,吴际,刘超,杨海燕.基于维修日志的飞机设备故障原因判别方法.
2019,30(5):1375-1385
周风顺,王林章,李宣东.C/C++程序缺陷自动修复与确认方法.
2019,30(5):1243-1255
唐爽,王亚沙,赵俊峰,王江涛,夏丁.基于本体推理的终端用户数据查询构造方法.
2019,30(5):1532-1546
王丰,王亚沙,赵俊峰,崔达.一种基于迭代的关系模型到本体模型的模式匹配方法.
2019,30(5):1510-1521
张天伦,陈荣,杨溪,祝宏玉.基于代价极速学习机的软件缺陷报告分类方法.
2019,30(5):1386-1406
卜依凡,刘辉,李光杰.一种基于深度学习的上帝类检测方法.
2019,30(5):1359-1374
宋利,刘靖.基于SOM神经网络的二阶变异体约简方法.
2019,30(5):1464-1480
汪昕,陈驰,赵逸凡,彭鑫,赵文耘.基于深度学习的API误用缺陷检测.
2019,30(5):1342-1358
凌春阳,邹艳珍,林泽琦,谢冰,赵俊峰.基于图嵌入的软件项目源代码检索方法.
2019,30(5):1481-1497
马春燕,李尚儒,王慧朝,张磊,张涛.敏感变量和感知机结合的测试预言生成方法.
2019,30(5):1450-1463
周鹏,武延军,赵琛.可微分抽象机混合编程系统.
2019,30(5):1224-1242
刘志伟,邢永旭,于澔,李涛,张晓东.企业级海量代码的检索与管理技术.
2019,30(5):1498-1509
王甜甜,许家欢,王克朝,苏小红.示例演化驱动的学生程序自动修复.
2019,30(5):1256-1268
朱亚伟,左志强,王林章,李宣东.C程序内存泄漏智能化检测方法.
2019,30(5):1330-1341
何柳柳,杨羊,李征,赵瑞莲.面向持续集成测试优化的强化学习奖励机制.
2019,30(5):1438-1449
倪超,陈翔,刘望舒,顾庆,黄启国,李娜.基于特征迁移和实例迁移的跨项目缺陷预测方法.
2019,30(5):1308-1329
蒋树强,刘青山,孙立峰,李波.多媒体数据的知识关联与理解专题前言.
2019,30(4):865-866
王子愉,袁春,黎健成.利用可分离卷积和多级特征的实例分割.
2019,30(4):954-961
包仁达,庾涵,朱德发,黄少飞,孙瑶,刘偲.基于区域敏感生成对抗网络的自动上妆算法.
2019,30(4):896-913
马苗,王伯龙,吴琦,武杰,郭敏.视觉场景描述及其效果评价.
2019,30(4):867-883
卓昀侃,綦金玮,彭宇新.跨媒体深层细粒度关联学习方法.
2019,30(4):884-895
段立娟,武春丽,恩擎,乔元华,张韵东,陈军成.基于小波域的深度残差网络图像超分辨率算法.
2019,30(4):941-953
黄树成,张瑜,张天柱,徐常胜,王直.基于条件随机场的深度相关滤波目标跟踪算法.
2019,30(4):927-940
孔颉,孙权森,徐晖,刘亚洲,纪则轩.基于仿射不变离散哈希的遥感图像多目标分类.
2019,30(4):914-926
樊文飞,王国仁,王朝坤.智能数据管理与分析技术专刊前言.
2019,30(3):495-497
祁丹蕊,宋韶旭,王建民.两两比较模型的Why-not问题解释及排序.
2019,30(3):620-647
竺俊超,王朝坤.复杂条件下的社区搜索方法.
2019,30(3):552-572
冯宁,郭晟楠,宋超,朱琪超,万怀宇.面向交通流量预测的多组件时空图卷积网络.
2019,30(3):759-769
王鑫,徐强,柴乐乐,杨雅君,柴云鹏.大规模RDF图数据上高效率分布式查询处理.
2019,30(3):498-514
裴伟,许晏铭,朱永英,王鹏乾,鲁明羽,李飞.改进的SSD航拍目标检测方法.
2019,30(3):738-758
徐梓荐,叶盛,张孝.分布式异构数据库数据同步工具.
2019,30(3):684-699
张东月,周丽华,吴湘云,赵丽红.基于网格耦合的数据流聚类.
2019,30(3):667-683
李忠飞,杨雅君,王鑫.基于规则的最短路径查询算法.
2019,30(3):515-536
齐志鑫,王宏志,周雄,李建中,高宏.劣质数据上代价敏感决策树的建立.
2019,30(3):604-619
江佳伟,符芳诚,邵蓥侠,崔斌.面向高维特征和多分类的分布式梯度提升树.
2019,30(3):784-798
段旭良,郭兵,沈艳,申云成,董祥千,张洪.基于时效规则的数据修复方法.
2019,30(3):589-603
门慧超,王波涛.面向通用模型的高可用性步态周期分析方法.
2019,30(3):700-717
王金艳,刘陈,傅星珵,罗旭东,李先贤.差分隐私的数据流关键模式挖掘方法.
2019,30(3):648-666
邓诗卓,王波涛,杨传贵,王国仁.CNN多位置穿戴式传感器人体活动识别.
2019,30(3):718-737
冯冰清,胡绍林,郭栋,钟晓歌,李佩钰.基于角色发现的动态信息网络结构演化分析.
2019,30(3):537-551
施晋,毛嘉莉,金澈清.时空依赖的城市道路旅行时间预测.
2019,30(3):770-783
成雨蓉,王国仁,李博扬,袁野.基于事件的社交网络上的双边偏好稳态规划.
2019,30(3):573-588
燕彩蓉,周灵杰,张青龙,李晓林.因子分解机模型的宽度和深度扩展研究.
2019,30(3):822-844
王建民,刘建勋.面向智能制造的业务过程管理与服务技术专题前言.
2018,29(11):3239-3240
俞东进,王娇娇,柳诚飞.基于协作模式的工作流最优员工分配方法.
2018,29(11):3340-3354
李鸿超,刘建勋,曹步清,石敏.融合多维信息的主题自适应Web API推荐方法.
2018,29(11):3374-3387
徐啸,金涛,王建民.基于优化主题模型的临床路径挖掘.
2018,29(11):3295-3305
黄华,彭蓉,冯在文.基于数据集分割的云工作流模型库并行检索方法.
2018,29(11):3241-3259
周业茂,李忠金,葛季栋,李传艺,周筱羽,骆斌.移动云计算中基于延时传输的多目标工作流调度.
2018,29(11):3306-3325
林雷蕾,周华,代飞,朱锐,李彤.一种从无“aba”模式的日志中挖掘2度循环的方法.
2018,29(11):3278-3294
袁友伟,鲍泽前,俞东进,李万清.云环境下基于多目标的多科学工作流调度算法.
2018,29(11):3326-3339
孙晋永,古天龙,闻立杰,钱俊彦,刘华东.基于行为特征的语义工作流修正算法.
2018,29(11):3260-3277
章振杰,张元鸣,徐雪松,高飞,肖刚.基于动态匹配网络的制造服务组合自适应方法.
2018,29(11):3355-3373
张以文,项涛,郭星,贾兆红,何强.基于SOM神经网络的服务质量预测.
2018,29(11):3388-3399
漆桂林,欧阳丹彤,李涓子.本体工程与知识图谱专题前言.
2018,29(10):2897-2898
崔仙姬,何加亮,张俊星,高健.基于互补概念和搜索图的MUPS求解优化方法.
2018,29(10):2995-3008
杨玉基,许斌,胡家威,仝美涵,张鹏,郑莉.一种准确而高效的领域知识图谱构建方法.
2018,29(10):2931-2947
官赛萍,靳小龙,贾岩涛,王元卓,程学旗.面向知识图谱的知识推理研究进展.
2018,29(10):2966-2994
张瑜,欧阳丹彤,叶育鑫.不协调本体调试与修复的冲突路径优化策略.
2018,29(10):2948-2965
郑玉艳,田莹,石川.一种元路径下基于频繁模式的实体集扩展方法.
2018,29(10):2915-2930
廖祥文,刘德元,桂林,程学旗,陈国龙.融合文本概念化与网络表示的观点检索.
2018,29(10):2899-2914
俞扬,钱超.演化学习专题前言.
2018,29(9):2545-2546
贺毅朝,王熙照,赵书良,张新禄.基于编码转换的离散演化算法设计与应用.
2018,29(9):2580-2594
徐悦,皮德常.基于混合智能优化算法的复杂软件可靠性分配.
2018,29(9):2632-2648
梁静,刘睿,于坤杰,瞿博阳.求解大规模问题协同进化动态粒子群优化算法.
2018,29(9):2595-2605
李学强,黄翰,郝志峰.基于邻域差分和协方差信息的单目标进化算法.
2018,29(9):2606-2615
徐新,穆楠,张晓龙.一种鲁棒的夜间图像显著性对象检测模型.
2018,29(9):2616-2631
初蓓,李占山,张梦林,于海鸿.基于森林优化特征选择算法的改进研究.
2018,29(9):2547-2558
刘艺,曹建军,刁兴春,周星.特征选择稳定性研究综述.
2018,29(9):2559-2579
杨洋,杨家海,温皓森.基于时隙传输的数据中心路由算法设计.
2018,29(8):2485-2500
谢冰,魏峻,彭鑫,孙海龙.数据驱动的软件智能化开发方法与技术专题前言.
2018,29(8):2177-2179
朱子骁,邹艳珍,华晨彦,沈琦,赵俊峰.基于StackOverflow数据的软件功能特征挖掘组织方法.
2018,29(8):2210-2225
席圣渠,姚远,徐锋,吕建.基于循环神经网络的缺陷报告分派方法.
2018,29(8):2322-2335
李超,刘辉.一种基于关联分析与N-Gram的错误参数检测方法.
2018,29(8):2243-2257
王飞,杨志斌,黄志球,周勇,刘承威,章文炳,薛垒,许金淼.基于限定自然语言需求模板的AADL模型生成方法.
2018,29(8):2350-2370
刘斌斌,董威,王戟.智能化的程序搜索与构造方法综述.
2018,29(8):2180-2197
黄袁,贾楠,周强,陈湘萍,熊英飞,罗笑南.融合结构与语义特征的代码注释决策支持方法.
2018,29(8):2226-2242
吴俊伟,沈立炜,郭武楠,王超,赵文耘.安卓应用用户界面交互模式抽取与检索.
2018,29(8):2198-2209
张一帆,汤恩义,苏琰梓,杨开懋,匡宏宇,陈鑫.自然语言数据驱动的智能化软件安全评估方法.
2018,29(8):2336-2349
谢新强,杨晓春,王斌,张霞,纪勇,黄治纲.一种多特征融合的软件开发者推荐.
2018,29(8):2306-2321
尹刚,王涛,刘冰珣,周明辉,余跃,李志星,欧阳建权,王怀民.面向开源生态的软件数据挖掘技术研究综述.
2018,29(8):2258-2271
孙小兵,周澄,杨辉,李斌.面向软件安全性缺陷的开发者推荐方法.
2018,29(8):2294-2305
谭鑫,林泽燕,张宇霞,周明辉.代码文件贡献组成模式的分析.
2018,29(8):2283-2293
吴哲夫,朱天潼,宣琦,余跃.基于贡献分配的开源软件核心开发者评估.
2018,29(8):2272-2282
薛锐,彭长根,黄欣沂,刘吉强,禹勇.面向隐私保护的新型技术与密码算法专题前言.
2018,29(7):1827-1829
仲红,崔杰,朱文龙,许艳.高效且可验证的多授权机构属性基加密方案.
2018,29(7):2006-2017
叶青青,孟小峰,朱敏杰,霍峥.本地化差分隐私研究综述.
2018,29(7):1981-2005
熊金波,王敏燊,田有亮,马蓉,姚志强,林铭炜.面向云数据的隐私度量研究进展.
2018,29(7):1963-1980
尹鑫,田有亮,王海龙.公平理性委托计算协议.
2018,29(7):1953-1962
汪定,李文婷,王平.对三个多服务器环境下匿名认证协议的分析.
2018,29(7):1937-1952
黄伟庆,丁昶,崔越,王思叶,张艳芳,赵博白,诸邵忆,毛锐,陈超.基于恶意读写器发现的RFID空口入侵检测技术.
2018,29(7):1922-1936
张曙光,咸鹤群,王雅哲,刘红燕,侯瑞涛.基于离线密钥分发的加密数据重复删除方法.
2018,29(7):1909-1921
李顺东,亢佳,杨晓艺,窦家维.基于字符串排序的高效保密数据库查询.
2018,29(7):1893-1908
来齐齐,杨波,陈原,韩露露,白健.格上基于身份哈希证明系统的新型构造.
2018,29(7):1880-1892
沙乐天,肖甫,陈伟,孙晶,王汝传.面向工业物联网环境下后门隐私泄露感知方法.
2018,29(7):1863-1879
许明艳,赵华,季新生,申涓.基于用户分布感知的移动P2P快速位置匿名算法.
2018,29(7):1852-1862
李宗育,桂小林,顾迎捷,李雪松,戴慧珺,张学军.同态加密技术及其在云计算隐私保护中的应用.
2018,29(7):1830-1851
傅育熙,李国强,田聪.形式化方法的理论基础专题前言.
2018,29(6):1515-1516
崔进,段振华,田聪,张南.一种嵌套中断系统的建模和分析方法.
2018,29(6):1670-1680
王小兵,郭文轩,段振华.消息传递的MSVL通信机制及其实现.
2018,29(6):1607-1621
于广良,杨孟飞.考虑中断和上下文切换开销的响应时间分析.
2018,29(6):1681-1698
应云辉,张民.基于SMT的时钟约束语言CCSL的形式化分析方法与工具.
2018,29(6):1595-1606
孟瑶,李晓娟,关永,王瑞,张杰.机器人关节通信总线系统的建模与验证.
2018,29(6):1699-1715
汤震浩,李彬,翟娟,赵建华.自动分析递归数据结构的归纳性质.
2018,29(6):1527-1543
李晅松,陶先平,宋巍.普适计算应用时空性质的运行时验证.
2018,29(6):1622-1634
张文博,龙环.向量加法系统验证问题研究综述.
2018,29(6):1566-1581
李彬,翟娟,汤震浩,汤恩义,赵建华.自动合成数组不变式.
2018,29(6):1544-1565
张业迪,宋富.异构多智能体系统模型检查.
2018,29(6):1582-1594
郑晓琳,邓玉欣,付辰,雷国庆.互模拟准局部验证算法的扩展与实现.
2018,29(6):1517-1526
乌尼日其其格,李小平,马世龙,吕江花.基于类型理论的领域数据建模和验证及案例.
2018,29(6):1647-1669
王海洋,段振华,田聪.APTL公式的可满足性检查工具.
2018,29(6):1635-1646
王林章,陈恺,王戟.软件安全漏洞检测专题前言.
2018,29(5):1177-1178
杨栋,史浩,董威,刘宗林,周戈.基于运行时验证的无人飞行系统安全威胁检测方法.
2018,29(5):1360-1378
胡浩,叶润国,张红旗,常德显,刘玉岭,杨英杰.面向漏洞生命周期的安全风险度量方法.
2018,29(5):1213-1229
高志伟,计卫星,石剑君,王一拙,高玉金,廖心怡,罗辉,石峰.大规模源代码增量式资源泄漏检测方法.
2018,29(5):1244-1257
李赞,边攀,石文昌,梁彬.一种利用补丁的未知漏洞发现方法.
2018,29(5):1199-1212
邵思豪,高庆,马森,段富尧,马骁,张世琨,胡津华.缓冲区溢出漏洞分析技术研究进展.
2018,29(5):1179-1198
沈维军,汤恩义,陈振宇,陈鑫,李彬,翟娟.数值稳定性相关漏洞隐患的自动化检测方法.
2018,29(5):1230-1243
李晓娟,陈海波.基于分布式信息流控制的无障碍辅助性服务安全加固.
2018,29(5):1318-1332
霍玮,戴戈,史记,龚晓锐,贾晓启,宋振宇,刘宝旭,邹维.基于模式生成的浏览器模糊测试技术.
2018,29(5):1275-1287
叶聪聪,李国强,蔡鸿明,顾永跟.区块链的安全检测模型.
2018,29(5):1348-1359
杨梅芳,霍玮,邹燕燕,尹嘉伟,刘宝旭,龚晓锐,贾晓启,邹维.可编程模糊测试技术.
2018,29(5):1258-1274
沙乐天,肖甫,杨红柯,喻辉,王汝传.基于自适应模糊测试的IaaS层漏洞挖掘方法.
2018,29(5):1303-1317
马凯,郭山清.面向Android生态系统中的第三方SDK安全性分析.
2018,29(5):1379-1391
王心然,刘宇涛,陈海波.基于IPT硬件的内核模块ROP透明保护机制.
2018,29(5):1333-1347
张卫丰,刘蕊成,许蕾.基于动态行为分析的网页木马检测方法.
2018,29(5):1410-1421
王持恒,陈晶,苏涵,何琨,杜瑞颖.基于宿主权限的移动广告漏洞攻击技术.
2018,29(5):1392-1409
张兴,冯超,雷菁,唐朝京.一种面向模糊测试的GUI程序空转状态实时检测方法.
2018,29(5):1288-1302
赵耀,李波,华先胜,文继荣,蒋刚毅,常冬霞.多媒体大数据处理与分析专题前言.
2018,29(4):897-899
杨旭,朱振峰,徐美香,张幸幸.多视角数据缺失补全.
2018,29(4):945-956
陈朝威,常冬霞.基于密度差分的自动聚类算法.
2018,29(4):935-944
谢宁,赵婷婷,杨阳,魏琴,Heng Tao SHEN.基于创意序列学习的艺术风格学习与绘制系统.
2018,29(4):1071-1084
胡浩慧,倪蓉蓉,赵耀.图像内容感知缩放的检测方法研究.
2018,29(4):1002-1016
陈师哲,王帅,金琴.多文化场景下的多模态情感识别.
2018,29(4):1060-1070
张逸为,张卫明,俞能海.针对特定测试样本的隐写分析方法.
2018,29(4):987-1001
朱映映,曹磊,王旭.无参考屏幕内容图像质量评价.
2018,29(4):973-986
毋立芳,贺娇瑜,简萌,邹蕴真,赵铁松.局部聚类分析的FCN-CNN云图分割方法.
2018,29(4):1049-1059
丁明宇,牛玉磊,卢志武,文继荣.基于深度学习的图片中商品参数识别方法.
2018,29(4):1039-1048
彭亚丽,张鲁,张钰,刘侍刚,郭敏.基于深度反卷积神经网络的图像超分辨率算法.
2018,29(4):926-934
项世军,杨乐.基于同态加密系统的图像鲁棒可逆水印算法.
2018,29(4):957-972
呼延康,樊鑫,余乐天,罗钟铉.图神经网络回归的人脸超分辨率重建.
2018,29(4):914-925
白琮,黄玲,陈佳楠,潘翔,陈胜勇.面向大规模图像分类的深度卷积神经网络优化.
2018,29(4):1029-1038
杨文瀚,刘家瑛,夏思烽,郭宗明.数据外补偿的深度网络超分辨率重建.
2018,29(4):900-913
郭文,游思思,张天柱,徐常胜.低秩重检测的多特征时空上下文的视觉跟踪.
2018,29(4):1017-1028
林学民,杜小勇,李翠平.基于图结构的大数据分析与管理技术专刊前言.
2018,29(3):525-527
钱珺,王朝坤,郭高扬.基于社区的动态网络节点介数中心度更新算法.
2018,29(3):853-868
张伟鹏,李振军,李荣华,刘宇鸿,毛睿,乔少杰.基于MapReduce的图结构聚类算法.
2018,29(3):627-641
李劲,岳昆,蔡娇,张志坚,刘惟一.基于距离度量的多样性图排序方法.
2018,29(3):599-613
李振军,代强强,李荣华,毛睿,乔少杰.多维图结构聚类的社交关系挖掘算法.
2018,29(3):839-852
李洋,贾梦迪,杨文彦,赵艳,郑凯.基于树分解的空间众包最优任务分配算法.
2018,29(3):824-838
李晓旭,于亚新,张文超,王磊.Coteries轨迹模式挖掘及个性化旅游路线推荐.
2018,29(3):587-598
梁慧超,王斌,崔宁宁,杨凯,杨晓春.路网环境下兴趣点查询的隐私保护方法.
2018,29(3):703-720
王童童,荣垂田,卢卫,杜小勇.分布式图处理系统技术综述.
2018,29(3):569-586
赵展浩,黄斐然,王晓黎,卢卫,杜小勇.基于SQL的图相似性查询方法.
2018,29(3):689-702
汪潜,申德荣,冯朔,寇月,聂铁铮,于戈.全视角特征结合众包的跨社交网络用户识别.
2018,29(3):811-823
赵衎衎,张静,张良富,李翠平,陈红.基于端到端分布式框架的符号网络预测方法.
2018,29(3):614-626
张延松,张宇,王珊.基于向量引用Platform-Oblivious内存连接优化技术.
2018,29(3):883-895
侯泳旭,段磊,李岭,卢莉,唐常杰.基于疾病信息网络的表型相似基因搜索.
2018,29(3):721-733
许嘉,张千桢,赵翔,吕品,李陶深.动态图模式匹配技术综述.
2018,29(3):663-688
张子兴,吴斌,吴心宇,张有杰,孙思瑞,彭程程,刘昱彤.路径-维度GraphOLAP大规模多维网络并行分析框架.
2018,29(3):545-568
鲍金玲,王斌,杨晓春,朱怀杰.路网环境下的最近邻查询技术.
2018,29(3):642-662
李金吉,张岩峰,巩树凤,于戈,高立新.流式处理的异步图处理框架.
2018,29(3):528-544
王春凯,孟小峰.应对倾斜数据流在线连接方法.
2018,29(3):869-882
毕里缘,伍赛,陈刚,寿黎但,陈珂,胡天磊.基于循环神经网络的数据库查询开销预测.
2018,29(3):799-810
左一萌,林学练,马帅,姜家豪.路网感知的在线轨迹压缩方法.
2018,29(3):734-755
温雯,黄家明,蔡瑞初,郝志峰,王丽娟.一种融合节点先验信息的图表示学习方法.
2018,29(3):786-798
刘家霖,史舒扬,张悦眉,邵蓥侠,崔斌.社交网络高效高精度去匿名化算法.
2018,29(3):772-785
陈丽,朱裴松,钱铁云,朱辉,周静.基于边采样的网络表示学习模型.
2018,29(3):756-771
李舟军,李瑞轩,陈驰.信息系统安全专题前言.
2017,28(9):2227-2228
韩姝敏,申德荣,聂铁铮,寇月,于戈.一种基于隐私保护下的多方记录链接方法.
2017,28(9):2281-2292
张维维,龚俭,刘尚东,胡晓艳.面向主干网的DNS流量监测.
2017,28(9):2370-2387
李舟军,沈东,苏晓菁,马金鑫.基于ARM虚拟化扩展的安全防护技术.
2017,28(9):2229-2247
武跟强,贺也平,夏娴瑶.线性查询的一种近似最优差分隐私机制.
2017,28(9):2309-2322
崔一辉,宋伟,王占兵,史成良,程芳权.一种基于格的隐私保护聚类数据挖掘方法.
2017,28(9):2293-2308
杨腾飞,申培松,田雪,冯荣权.对象云存储中分类分级数据的访问控制方法.
2017,28(9):2334-2353
李承泽,於剑波,张淼,徐国爱,孔浩浩.一种基于Huffman和LZW编码的移动应用混淆方法.
2017,28(9):2264-2280
游静,上官经伦,徐守坤,李千目,王印海.考虑信任可靠度的分布式动态信任管理模型.
2017,28(9):2354-2369
马金鑫,李舟军,张涛,沈东,章张锴.基于执行踪迹离线索引的污点分析方法研究.
2017,28(9):2388-2401
姜火文,占清华,刘文娟,马海英.图数据发布隐私保护的聚类匿名方法.
2017,28(9):2323-2333
缪小川,汪睿,许蕾,张卫丰,徐宝文.使用敏感路径识别方法分析安卓应用安全性.
2017,28(9):2248-2263
黄宇,吴维刚,赵军平.分布式云存储:理论、技术、系统专题前言.
2017,28(8):1927-1928
丁尚,童鑫,陈艳,叶保留.基于简单再生码的带宽感知的分布式存储节点修复优化.
2017,28(8):1940-1951
操顺德,华宇,冯丹,孙园园,左鹏飞.面向海量高清视频数据的高性能分布式存储系统.
2017,28(8):1999-2009
刘星,江松,王洋,范小朋,须成忠.一种基于小数据同步写的回写I/O调度器.
2017,28(8):1968-1981
唐震,吴恒,王伟,魏峻,黄涛.虚拟化环境下面向多目标优化的自适应SSD缓存系统.
2017,28(8):1982-1998
聂世强,伍卫国,张兴军,蔡毅,徐志伟.一种基于跳跃hash的对象分布算法.
2017,28(8):1929-1939
佘楚玉,温武少,肖扬,刘育擘,贾殷.一种自适应文件系统元数据服务负载均衡策略.
2017,28(8):1952-1967
刘璘,周明辉,尹刚.大数据时代软件工程专题前言.
2017,28(6):1327-1329
蔡维德,郁莲,王荣,刘娜,邓恩艳.基于区块链的应用系统开发方法研究.
2017,28(6):1474-1487
王建民.领域大数据应用开发与运行平台技术研究.
2017,28(6):1516-1528
杨程,范强,王涛,尹刚,王怀民.基于多维特征的开源项目个性化推荐方法.
2017,28(6):1357-1372
俞一峻,刘春.小模型大数据:一种分析软件行为的代数方法.
2017,28(6):1488-1497
何吉元,孟昭鹏,陈翔,王赞,樊向宇.一种半监督集成跨项目软件缺陷预测方法.
2017,28(6):1455-1473
张宇霞,周明辉,张伟,赵海燕,金芝.OpenStack开源社区中商业组织的参与模式.
2017,28(6):1343-1356
黎宣,王千祥,金芝.基于增强描述的代码搜索方法.
2017,28(6):1405-1417
黄袁,刘志勇,陈湘萍,熊英飞,罗笑南.基于关键类判定的代码提交理解辅助方法.
2017,28(6):1418-1434
徐培兴,陈伟,吴国全,高楚舒,魏峻.一种面向软件配置管理制品的层次分类方法.
2017,28(6):1389-1404
王子勇,王焘,张文博,陈宁江,左春.一种基于执行轨迹监测的微服务故障诊断方法.
2017,28(6):1435-1454
杨波,于茜,张伟,吴际,刘超.GitHub开源软件开发过程中影响因素的相关性分析.
2017,28(6):1330-1342
王浩宇,郭耀,马子昂,陈向群.大规模移动应用第三方库自动检测和分类方法.
2017,28(6):1373-1388
朱美玲,刘晨,王雄斌,韩燕波.基于车牌识别流数据的车辆伴随模式发现方法.
2017,28(6):1498-1515
董威,赵建华,吕鸣松.形式化方法与应用专题前言.
2017,28(5):1049-1050
乔磊,杨孟飞,谭彦亮,蒲戈光,杨桦.基于Event-B的航天器内存管理系统形式化验证.
2017,28(5):1204-1220
陈铭松,鲍勇翔,孙海英,缪炜恺,陈小红,周庭梁.基于通信的列车控制系统可信构造:形式化方法综述.
2017,28(5):1183-1203
杜德慧,昝慧,姜凯强,程贝.一种面向CPS的自适应统计模型检测方法.
2017,28(5):1128-1143
李晅松,陶先平,吕建,宋巍.面向动作的上下文感知应用的规约与运行时验证.
2017,28(5):1167-1182
张雨,董云卫,冯文龙,黄梦醒.一种面向CPS的控制应用程序协同验证方法.
2017,28(5):1144-1166
尚书,甘元科,石刚,王生原,董渊.可信编译器L2C的核心翻译步骤及其设计与实现.
2017,28(5):1233-1246
文习明,余泉,常亮,王驹.不确定观测下离散事件系统的可诊断性.
2017,28(5):1091-1106
翟娟,汤震浩,李彬,赵建华,李宣东.常用循环摘要的自动生成方法及其应用.
2017,28(5):1051-1069
常曦,薛建新,张卓,毛晓光.面向收敛的并发程序执行轨迹静态简化方法.
2017,28(5):1107-1117
刘立,李国强.异步多进程时间自动机的可覆盖性问题.
2017,28(5):1080-1090
王善侠,马明辉,陈武,邓辉文.正则模型类的时态可定义性.
2017,28(5):1070-1079
刘涛,王淑灵,詹乃军.多机器人路径规划的安全性验证.
2017,28(5):1118-1127
郭德贵,王冠成,吕帅,刘磊.peC语言的部分求值器及在编译器测试中的应用.
2017,28(5):1221-1232
冯新宇,陈海波.程序设计语言与系统前沿专题前言.
2017,28(4):745-746
何王全,刘勇,方燕飞,魏迪,漆锋滨.面向国产异构众核系统的Parallel C语言设计与实现.
2017,28(4):764-785
张恒若,付明.基于Z3的Coq自动证明策略的设计和实现.
2017,28(4):819-826
李彬,汤震浩,翟娟,赵建华.通过抽象程序证明复杂具体程序.
2017,28(4):786-803
李登辉,赵家程,崔慧敏,冯晓兵.数据中心中DVFS对程序性能影响模型的设计.
2017,28(4):845-859
蒋炎岩,许畅,马晓星,吕建.获取访存依赖:并发程序动态分析基础技术综述.
2017,28(4):747-763
仝青,张铮,张为华,邬江兴.拟态防御Web服务器设计与实现.
2017,28(4):883-897
杨启哲,李国强.基于通信Petri网的异步通信程序验证模型.
2017,28(4):804-818
王蕾,李丰,李炼,冯晓兵.污点分析技术的原理和实践应用.
2017,28(4):860-882
李筱,周严,李孟宸,陈园军,XU Guo-Qing,王林章,李宣东.C/C++程序静态内存泄漏警报自动确认方法.
2017,28(4):827-844
李华,汪国平,雍俊海.面向高精度的快速三维建模——快速三维建模技术专刊前言.
2016,27(10):2459-2461
张贵安,袁志勇,童倩倩,廖祥云.层次结构K-d树的立体图像快速匹配方法.
2016,27(10):2462-2472
李诗锐,李琪,李海洋,侯沛宏,曹伟国,王向东,李华.基于Kinect v2的实时精确三维重建系统.
2016,27(10):2519-2529
孙晓鹏,盖宇,徐南,李志.耳廓三维网格去补丁合并算法.
2016,27(10):2612-2621
徐岗,朱亚光,李鑫,许金兰,汪国昭,许健泉.插值边界的四边网格离散极小曲面建模方法.
2016,27(10):2499-2508
姜旭东,盛斌,马利庄,申瑞民,吴恩华.基于自适应延迟切割的三角网格布尔运算优化.
2016,27(10):2473-2487
朱东勇,李重,马利庄.纤维可控的质感布料三维建模与服装仿真.
2016,27(10):2587-2599
徐志佳,王清辉,李静蓉.多孔金属纤维烧结板多尺度形貌的快速三维建模.
2016,27(10):2622-2631
陈昊升,张格,叶阳东.基于光学图像的多粒度随动环境感知算法.
2016,27(10):2661-2675
盖孟,赖舜男,李胜.基于特征的离散网格模型表示与编辑技术.
2016,27(10):2654-2660
商柳,冯笑冰,朱登明,王兆其,王永健.一种骨架驱动的近岸涌浪动画合成方法.
2016,27(10):2600-2611
张雅斓,班晓娟,刘旭,刘茜.基于轮廓形变的复杂表面重构.
2016,27(10):2676-2690
王筱婷,王璐,孟祥旭.带洞点云多层同步表面重建方法.
2016,27(10):2642-2653
邹北骥,张学程,王磊.基于圆柱坐标系的安全壳可视化方法.
2016,27(10):2632-2641
胡良臣,寿华好.基于二进制GA的B样条重构曲线节点优化.
2016,27(10):2488-2498
邹玲,齐越,赖舜男.动态水面数据采集与重建方法.
2016,27(10):2530-2541
程志全,陈寅,宋展,吴彤,王进.化身1号:一个快速的三维彩色全身人像捕捉系统.
2016,27(10):2509-2518
缪永伟,冯小红,于莉洁,陈佳舟,李永水.基于重复结构检测的三维建筑物精细模型重建.
2016,27(10):2557-2573
刘骊,王若梅,罗笑南,付晓东,刘利军.数据驱动的三维服装快速建模.
2016,27(10):2574-2586
李尚林,李琳,曹明伟,刘晓平.面向真实构建的徽州建筑快速建模方法.
2016,27(10):2542-2556
孟小峰,林东岱.数据开放与隐私管理专题前言.
2016,27(8):1889-1890
彭长根,丁红发,朱义杰,田有亮,符祖峰.隐私保护的信息熵模型及其度量方法.
2016,27(8):1891-1903
王璐,孟小峰,郭胜娜.时空数据发布中的隐式隐私保护.
2016,27(8):1922-1933
刘向宇,李佳佳,安云哲,周大海,夏秀峰.一种保持结点可达性的高效社会网络图匿名算法.
2016,27(8):1904-1921
徐耀丽,李战怀,陈群,钟评.基于可能世界模型的关系数据不一致性的修复.
2016,27(7):1685-1699
丁小欧,王宏志,张笑影,李建中,高宏.数据质量多种性质的关联关系研究.
2016,27(7):1626-1644
黄冬梅,耿霞,魏立斐,苏诚.基于Henon映射的加密遥感图像的安全检索方案.
2016,27(7):1729-1740
李建中,王宏志,高宏.大数据可用性的研究进展.
2016,27(7):1605-1625
金澈清,刘辉平,周傲英.基于函数依赖与条件约束的数据修复方法.
2016,27(7):1671-1684
陈俞,赵素云,陈红,李翠平,孙辉.统计粗糙集.
2016,27(7):1645-1654
章志刚,金澈清,王晓玲,周傲英.面向海量低质手机轨迹数据的重要位置发现.
2016,27(7):1700-1714
王佳英,王斌,杨晓春.面向压缩生物基因数据的高效的查询方法.
2016,27(7):1715-1728
李天义,谷峪,马茜,李芳芳,于戈.一种多源感知数据流上的连续真值发现技术.
2016,27(7):1655-1670
薛锐,任奎,张玉清,李晖,刘吉强,赵波,祝烈煌.云计算安全研究专刊前言.
2016,27(6):1325-1327
范伟,孔斌,张珠君,王婷婷,张杰,黄伟庆.KVM虚拟化动态迁移技术的安全防护模型.
2016,27(6):1402-1416
徐剑,李坚,韩健,李福祥,周福才.融合门限公钥加密和纠删码的安全云存储模型.
2016,27(6):1463-1474
项世军,罗欣荣.同态公钥加密系统的图像可逆信息隐藏算法.
2016,27(6):1592-1601
李保珲,徐克付,张鹏,郭莉,胡玥,方滨兴.虚拟机自省技术研究与应用进展.
2016,27(6):1384-1401
张丽丽,张玉清,刘雪峰,全韩彧.对加密电子医疗记录有效的连接关键词的搜索.
2016,27(6):1577-1591
张玉清,王晓菲,刘雪峰,刘玲.云计算环境安全综述.
2016,27(6):1328-1348
雷蕾,蔡权伟,荆继武,林璟锵,王展,陈波.支持策略隐藏的加密云存储访问控制机制.
2016,27(6):1432-1450
孙晓妮,蒋瀚,徐秋亮.基于二叉树存储的多用户ORAM方案.
2016,27(6):1475-1486
魏福山,张刚,马建峰,马传贵.标准模型下隐私保护的多因素密钥交换协议.
2016,27(6):1511-1522
杨波,冯登国,秦宇,张英骏.基于TrustZone的可信移动终端云服务安全接入方案.
2016,27(6):1366-1383
沈文婷,于佳,杨光洋,程相国,郝蓉.具有私钥可恢复能力的云存储完整性检测方案.
2016,27(6):1451-1462
田雪,朱晓杰,申培松,陈驰,邹洪.基于相似查询树的快速密文检索方法.
2016,27(6):1566-1576
石勇,郭煜,刘吉强,韩臻,马威,常亮.一种透明的可信云租户隔离机制研究.
2016,27(6):1538-1548
李顺东,周素芳,郭奕旻,窦家维,王道顺.云环境下集合隐私计算.
2016,27(6):1549-1565
王宏远,祝烈煌,李龙一佳.云存储中支持数据去重的群组数据持有性证明.
2016,27(6):1417-1431
赵波,戴忠华,向騻,陶威.一种云平台可信性分析模型建立方法.
2016,27(6):1349-1365
胡鹏,高海英.一种实现一般电路的密钥策略的属性加密方案.
2016,27(6):1498-1510
王中华,韩臻,刘吉强,张大伟,常亮.云环境下基于PTPM和无证书公钥的身份认证方案.
2016,27(6):1523-1537
康元基,顾纯祥,郑永辉,光焱.利用特征向量构造基于身份的全同态加密体制.
2016,27(6):1487-1497
沈汉威,张小龙,陈为,袁晓如,王文成.可视化及可视分析专题前言.
2016,27(5):1059-1060
张加万,杨思琪,李泽宇,杨伟强,王锦东,贺瑞芳,黄茂林.基于文本摘要及引用关系的可视辅助文献阅读.
2016,27(5):1163-1173
周芳芳,高飞,刘勇刚,梁兴,赵颖.基于密度-距离图的交互式体数据分类方法.
2016,27(5):1061-1073
赵颖,王权,黄叶子,吴青,张胜.多视图合作的网络流量时序数据可视分析.
2016,27(5):1188-1198
杜一,郭旦怀,陈昕,任磊,戴国忠.一种模型驱动的可视化生成系统.
2016,27(5):1199-1211
张宏鑫,盛风帆,徐沛原,汤颖.基于移动终端日志数据的人群特征可视化.
2016,27(5):1174-1187
李彦龙,李国强,董笑菊.树比较可视化方法综述.
2016,27(5):1074-1090
陈谊,甄远刚,胡海云,梁婕,Kwan-Liu MA.一种层次结构中多维属性的可视化方法.
2016,27(5):1091-1102
严宇宇,陶煜波,林海.基于层次狄利克雷过程的交互式主题建模.
2016,27(5):1114-1126
梅鸿辉,陈海东,肇昕,刘昊南,朱标,陈为.一种全球尺度三维大气数据可视化系统.
2016,27(5):1140-1150
郭洋,马翠霞,滕东兴,杨祎,王宏安.运动目标三维轨迹可视化与关联分析方法.
2016,27(5):1151-1162
赵海森,吕琳,薄志涛.面向层次化数据的变分圆形树图.
2016,27(5):1103-1113
周芳芳,李俊材,黄伟,王俊韡,赵颖.基于维度扩展的Radviz可视化聚类分析方法.
2016,27(5):1127-1139
李征,巩敦卫,聂长海,江贺.基于搜索的软件工程研究专题前言.
2016,27(4):769-770
吴川,巩敦卫,姚香娟.基于分支覆盖的回归测试路径选择.
2016,27(4):839-854
曾梦凡,陈思洋,张文茜,聂长海.利用蚁群算法生成覆盖表:探索与挖掘.
2016,27(4):855-878
姚香娟,巩敦卫,李彬.融入神经网络的路径覆盖测试数据进化生成.
2016,27(4):828-838
玄跻峰,任志磊,王子元,谢晓园,江贺.自动程序修复方法研究进展.
2016,27(4):771-784
丁蕊,董红斌,张岩,冯宪彬.基于关键点路径的快速测试用例自动生成方法.
2016,27(4):814-827
王赞,樊向宇,邹雨果,陈翔.一种基于遗传算法的多缺陷定位方法.
2016,27(4):879-900
路红,张莉,岳涛.面向产品线交互配置不一致性修复的差分IBEA算法.
2016,27(4):901-915
边毅,袁方,郭俊霞,李征,赵瑞莲.面向CPU+GPU异构计算的多目标测试用例优先排序.
2016,27(4):943-954
夏春艳,张岩,宋丽.基于节点概率的路径覆盖测试数据进化生成.
2016,27(4):802-813
姜淑娟,王令赛,薛猛,张艳梅,于巧,姚慧冉.基于模式组合的粒子群优化测试用例生成方法.
2016,27(4):785-801
孟凡超,初佃辉,李克秋,周学权.基于混合遗传模拟退火算法的SaaS构件优化放置.
2016,27(4):916-932
郑宇军,张蓓,薛锦云.软件形式化开发关键部件选取的水波优化方法.
2016,27(4):933-942
詹乃军,王戟,李宣东.软件形式化方法与应用专题前言.
2016,27(3):495-496
宋富,吴志林.面向无穷数据的形式模型综述.
2016,27(3):682-690
陆旭,段振华,田聪.二维逻辑PPTLSL的可满足性检查.
2016,27(3):670-681
陈铭松,顾璠,徐思远,陈小红.不确定环境下智能大厦空调系统调度策略评估.
2016,27(3):655-669
甘庭,夏壁灿.运用栅栏函数验证连续系统的有界时间安全性.
2016,27(3):645-654
陈鑫,黄超,张一帆,梅一鸣.面向方面设计中干涉问题的分析工具.
2016,27(3):633-644
杨志斌,赵永望,黄志球,胡凯,马殿富,Jean-Paul BODEVEIX,Mamoun FILALI.同步语言的时间可预测多线程代码生成方法.
2016,27(3):611-632
汤恩义,周岩,欧建生,陈鑫.面向条件判定覆盖的线性拟合制导测试生成.
2016,27(3):593-610
王婷,陈铁明,刘杨.基于模拟关系的精化检测方法.
2016,27(3):580-592
吕江花,高世伟,马世龙,孙波,李先军.安全苛刻系统测试语言中的测试设备协同语句.
2016,27(3):562-579
陈睿,杨孟飞,郭向英.基于变量访问序模式的中断数据竞争检测方法.
2016,27(3):547-561
孙景昊,关楠,邓庆绪,张鑫,杨丰源.城市交通网络信号控制系统的实时演算模型.
2016,27(3):527-546
李轶,冯勇.有界闭连通域上的非线性循环终止性分析.
2016,27(3):517-526
马莎,施智平,李黎明,关永,张杰,Xiaoyu SONG.几何代数的高阶逻辑形式化.
2016,27(3):497-516
何晓飞,郭茂祖,张敏灵.大数据时代的机器学习研究专刊前言.
2015,26(11):2749-2751
王少博,李宇峰.用于多标记学习的分类器圈方法.
2015,26(11):2811-2819
王凯,余伟,杨莎,吴敏,胡亚慧,李石君.一种大数据环境下的在线社交媒体位置推断方法.
2015,26(11):2951-2963
杨皓,段磊,胡斌,邓松,王文韬,秦攀.带间隔约束的Top-k对比序列模式挖掘.
2015,26(11):2994-3009
王裴岩,蔡东风.普适性核度量标准比较研究.
2015,26(11):2856-2868
刘海洋,王志海,黄丹,孙艳歌.基于评分矩阵局部低秩假设的成列协同排名算法.
2015,26(11):2981-2993
刘贝贝,马儒宁,丁军娣.大数据的密度统计合并算法.
2015,26(11):2820-2835
严晨,李凡长.覆盖学习的道路优化算法.
2015,26(11):2781-2794
郭平,王可,罗阿理,薛明志.大数据分析中的计算智能研究现状与展望.
2015,26(11):3010-3025
唐超,王文剑,李伟,李国斌,曹峰.基于多学习器协同训练模型的人体行为识别方法.
2015,26(11):2939-2950
谢博鋆,朱杰,于剑.基于Pivots选择的有效图像块描述子.
2015,26(11):2930-2938
张明卫,朱志良,刘莹,张斌.一种大数据环境中分布式辅助关联分类算法.
2015,26(11):2795-2810
李照奎,丁立新,王岩,何进荣,丁国辉.基于差值局部方向模式的人脸特征表示.
2015,26(11):2912-2929
周国兵,吴建鑫,周嵩.一种基于近邻表示的聚类方法.
2015,26(11):2847-2855
于谦,高阳,霍静,庄韫恺.视频人脸识别中判别性联合多流形分析.
2015,26(11):2897-2911
蔡瑞初,谢伟浩,郝志峰,王丽娟,温雯.基于多尺度时间递归神经网络的人群异常检测.
2015,26(11):2884-2896
杨柳,景丽萍,于剑.一种异构直推式迁移学习算法.
2015,26(11):2762-2780
张丽霞,王伟平,高建良,王建新.面向模式图变化的增量图模式匹配.
2015,26(11):2964-2980
朱小辉,陶卿,邵言剑,储德军.一种减小方差求解非光滑问题的随机优化算法.
2015,26(11):2752-2761
乔少杰,李天瑞,韩楠,高云君,元昌安,王晓腾,唐常杰.大数据环境下移动对象自适应轨迹预测模型.
2015,26(11):2869-2883
贾洪杰,丁世飞,史忠植.求解大规模谱聚类的近似加权核k-means算法.
2015,26(11):2836-2846
周庆,牟超,杨丹.教育数据挖掘研究进展综述.
2015,26(11):3026-3042
吕建,王千祥,马晓星,毛新军.自适应软件系统:开发方法和运行支撑专题前言.
2015,26(4):711-712
杨晓燕,周远,丁佐华.基于在线故障定位及自主适应提高软件可靠性.
2015,26(4):886-903
侯富,毛新军,吴伟.一种基于多Agent系统的云服务自组织管理方法.
2015,26(4):835-848
杨荣,李兵.流程片段自适应重用策略研究.
2015,26(4):778-789
韩德帅,杨启亮,邢建春.一种软件自适应UML建模及其形式化验证方法.
2015,26(4):730-746
李青山,王璐,褚华,张曼.一种基于智能体技术的软件自适应动态演化机制.
2015,26(4):760-777
赵秀涛,张斌,张长胜.一种基于服务选取的SBS云资源优化分配方法.
2015,26(4):867-885
刘春,张伟,赵海燕,金芝.基于反馈控制的软件适应性需求的识别与分析.
2015,26(4):713-729
王明良,陈碧欢,彭鑫,黄罡,赵文耘.移动计算环境下的个人化服务发布和组装.
2015,26(4):802-818
王睿智,史庭训,焦文品.一种基于元组空间的智能传感器协同感知机制.
2015,26(4):790-801
葛永琪,董云卫,张健,顾斌.一种能量收集嵌入式系统自适应调度算法.
2015,26(4):819-834
周宇,黄延凯,黄志球,吴维刚.一种开放环境下软件在线演化一致性验证方法.
2015,26(4):747-759
张明卫,朱志良,张斌,张岳松.一种基于EQ规则的组合服务运行时自适应方法.
2015,26(4):849-866
王建民,尹建伟,窦万春.业务过程管理技术专题前言.
2015,26(3):447-448
曹斌,王佳星,范菁,董天阳.基于Petri网的流程间元素映射方法.
2015,26(3):474-490
朱鑫伟,朱国宾,Seppe VANDEN BROUCKE.地理空间约束的业务流程建模方法.
2015,26(3):584-599
李传艺,葛季栋,胡海洋,胡昊,骆斌.一种基于Token Log的符合性检查方法.
2015,26(3):509-532
杨丽琴,康国胜,郭立鹏,田朝阳,张亮,张笑楠,高翔.一种适用于多样性环境的业务流程挖掘方法.
2015,26(3):550-561
鲁法明,曾庆田,段华,程久军,包云霞.一种并行化的启发式流程挖掘算法.
2015,26(3):533-549
凌济民,张莉.基于过程结构树的过程模型变体匹配技术.
2015,26(3):460-473
文一凭,刘建勋,陈志刚.面向实例方面处理的工作流动态调度优化方法.
2015,26(3):574-583
余阳,王颍,刘醒梅,陈健.基于社会关系的工作流任务分派策略研究.
2015,26(3):562-573
董子禾,闻立杰,黄浩未,王建民.基于触发序列集合的过程模型行为相似性算法.
2015,26(3):449-459
刘海滨,刘国华,黄立明,宋金玲.基于Artifact快照序列的行为一致性检测方法.
2015,26(3):491-508
李宣东,刘超,毛晓光.安全攸关软件系统建模与验证专题前言.
2015,26(2):179-180
单黎君,周兴社,王宇英,赵雷,万丽景,乔磊,陈建新.信息物理融合系统控制软件的统计模型检验.
2015,26(2):380-389
何炎祥,江南,李清安,张军,沈凡凡.一个机器检测的Micro-Dalvik虚拟机模型.
2015,26(2):364-379
甘水滔,秦晓军,陈左宁,王林章.一种基于特征矩阵的软件脆弱性代码克隆检测方法.
2015,26(2):348-363
刘洋,甘元科,王生原,董渊,杨斐,石刚,闫鑫.同步数据流语言高阶运算消去的可信翻译.
2015,26(2):332-347
顾斌,董云卫,王政.面向航天嵌入式软件的形式化建模方法.
2015,26(2):321-331
杜德慧,程贝,刘静.面向安全攸关系统中小概率事件的统计模型检测.
2015,26(2):305-320
李轶,李传璨,吴文渊.多分支单变量循环程序的终止性分析.
2015,26(2):297-304
代声馨,洪玫,郭兵,杨秋辉,黄蔚,徐保平.多处理器实时系统可调度性分析的UPPAAL模型.
2015,26(2):279-296
陈鑫,姜鹏,张一帆,黄超,周岩.一种面向列车控制系统中安全攸关场景的测试用例自动生成方法.
2015,26(2):269-278
杨波,吴际,刘超.基于数据链的软件故障定位方法.
2015,26(2):254-268
张一帆,黄超,欧建生,汤恩义,陈鑫.设备驱动程序可靠性和正确性保障方法与技术研究进展.
2015,26(2):239-253
侯刚,周宽久,常军旺,王洁,李明楚.基于时间STM的软件形式化建模与验证方法.
2015,26(2):223-238
杨志斌,胡凯,赵永望,马殿富,Jean-Paul BODEVEIX.基于时间抽象状态机的AADL模型验证.
2015,26(2):202-222
李睿,连航,马世龙,黎涛.基于形式化方法的航空电子系统检测.
2015,26(2):181-201
毛文吉,王飞跃,罗铁坚.社会计算:理论与方法专刊前言.
2014,25(12):2731-2732
王英,王鑫,左万利.基于社会学理论的信任关系预测模型.
2014,25(12):2893-2904
孔庆超,毛文吉.基于动态演化的讨论帖流行度预测.
2014,25(12):2767-2776
杨震,王来涛,赖英旭.基于改进语义距离的网络评论聚类研究.
2014,25(12):2777-2789
张林,钱冠群,樊卫国,华琨,张莉.轻型评论的情感分析研究.
2014,25(12):2790-2807
吴信东,李亚东,胡东辉.社交网络取证初探.
2014,25(12):2877-2892
张新,何苯,罗铁坚,李东星.基于聚类的直推式学习的性能分析.
2014,25(12):2865-2876
邹本友,李翠平,谭力文,陈红,王绍卿.基于用户信任和张量分解的社会网络推荐.
2014,25(12):2852-2864
赵森栋,刘挺.因果关系及其在社会媒体上的应用研究综述.
2014,25(12):2733-2752
张聿博,张锡哲,张斌.面向社交网络信息源定位的观察点部署方法.
2014,25(12):2837-2851
柴变芳,贾彩燕,于剑.基于概率模型的大规模网络结构发现方法.
2014,25(12):2753-2766
胡云,王崇骏,吴骏,谢俊元,李慧.微博网络上的重叠社群发现与全局表示.
2014,25(12):2824-2836
周小平,梁循,张海燕.基于R-C模型的微博用户社区发现.
2014,25(12):2808-2823
齐勇,罗英伟,孙毓忠.网络资源虚拟化技术专题前言.
2014,25(10):2187-2188
崔竞松,郭迟,陈龙,张雅娜,DijiangHUANG.创建软件定义网络中的进程级纵深防御体系结构.
2014,25(10):2251-2265
王志钢,汪小林,靳辛欣,王振林,罗英伟.Mbalancer:虚拟机内存资源动态预测与调配.
2014,25(10):2206-2219
肖蔼玲,王颖,孟洛明,邱雪松,李文璟,尹斌.基于知识描述和遗传算法的跨域虚拟网络映射.
2014,25(10):2189-2205
宋平,刘轶,刘驰,张晶晶,钱德沛,郝沁汾.一种支持细粒度并行的SDN虚拟化编程框架.
2014,25(10):2220-2234
郑豪,董小社,王恩东,陈宝可,朱正东.VM内部隔离驱动程序的可靠性架构.
2014,25(10):2235-2250
程学旗,靳小龙,王元卓,郭嘉丰,张铁赢,李国杰.大数据系统和分析技术综述.
2014,25(9):1889-1908
陈恩红,于剑.大数据分析专刊前言.
2014,25(9):1887-1888
李照奎,丁立新,何进荣,胡庆辉.基于图像分解的人脸特征表示.
2014,25(9):2102-2118
丁立中,贾磊,廖士中.支持向量学习的多参数同时调节.
2014,25(9):2149-2159
周航星,陈松灿.有序判别典型相关分析.
2014,25(9):2018-2025
印鉴,王智圣,李琪,苏伟杰.基于大规模隐式反馈的个性化推荐.
2014,25(9):1953-1966
韩冰,廖谦,高新波.基于空时极向LBP的极光序列事件检测.
2014,25(9):2172-2179
王瀚,刘重晋,付翔,封举富.基于学习的高分辨率掌纹细节点质量评价方法.
2014,25(9):2180-2186
任磊,杜一,马帅,张小龙,戴国忠.大数据可视分析综述.
2014,25(9):1909-1936
谢娟英,高红超.基于统计相关性与K-means的区分基因子集选择算法.
2014,25(9):2050-2075
丁世飞,贾洪杰,史忠植.基于自适应Nyström采样的大数据谱聚类算法.
2014,25(9):2037-2049
怀宝兴,宝腾飞,祝恒书,刘淇.一种基于概率主题模型的命名实体链接方法.
2014,25(9):2076-2087
吴磊,张敏灵.基于类属属性的多标记学习算法.
2014,25(9):1992-2001
徐菲菲,雷景生,毕忠勤,苗夺谦,杜海舟.大数据环境下多决策表的区间值全局近似约简.
2014,25(9):2119-2135
韩乐,黎铭.基于代价敏感多标记学习的开源软件分类.
2014,25(9):1982-1991
欧阳丹彤,瞿剑峰,叶育鑫.关系抽取中基于本体的远监督样本扩充.
2014,25(9):2088-2101
王旭丛,李翠平,陈红.大数据下基于异步累积更新的高效P-Rank计算方法.
2014,25(9):2136-2148
张宇,刘燕兵,熊刚,贾焰,刘萍,郭莉.图数据表示与压缩技术综述.
2014,25(9):1937-1952
姜高霞,王文剑.时序数据曲线排齐的相关性分析方法.
2014,25(9):2002-2017
何志芬,杨明,刘会东.多标记分类和标记相关性的联合学习.
2014,25(9):1967-1981
邵言剑,陶卿,姜纪远,周柏.一种求解强凸优化问题的最优随机算法.
2014,25(9):2160-2171
李嘉菲,周斌,刘大有,胡亮,王峰.海量信息融合方法及其在状态评价中的应用.
2014,25(9):2026-2036
沈苏彬,林闯.专题前言:物联网研究的机遇与挑战.
2014,25(8):1621-1624
肖融,陈文龙,孙波.面向IPv6物联子网的轻量级树型转发模型.
2014,25(8):1729-1742
罗元剑,姜建国,王思叶,景翔,丁昶,张珠君,张艳芳.基于有限状态机的RFID流数据过滤与清理技术.
2014,25(8):1713-1728
陈星,张伟,黄罡,李隘鹏,郭文忠,陈国龙.基于运行时模型的无线传感网管理方法.
2014,25(8):1696-1712
毛燕琴,沈苏彬.物联网信息模型与能力分析.
2014,25(8):1685-1695
王涛春,秦小麟,刘亮,丁有伟.无线传感器网络中安全高效的空间数据聚集算法.
2014,25(8):1671-1684
谢开斌,陈海明,崔莉.物联网软件体系结构中的感执模型的求精.
2014,25(8):1659-1670
魏强,金芝,许焱.基于概率主题模型的物联网服务发现.
2014,25(8):1640-1658
田立勤,林闯,张琪,陈振国.物联网监测拓扑可靠性设计与优化分析.
2014,25(8):1625-1639
臧斌宇.绿色数据中心专题前言.
2014,25(7):1369-1370
罗亮,吴文峻,张飞.面向云计算数据中心的能耗建模方法.
2014,25(7):1371-1387
陈晓华,李春芝,陈良育,曾振柄.主动休眠节点链路的高效节能虚拟网络映射.
2014,25(7):1416-1431
李铭夫,毕经平,李忠诚.资源调度等待开销感知的虚拟机整合.
2014,25(7):1388-1402
王肇国,易涵,张为华.基于机器学习特性的数据中心能耗优化方法.
2014,25(7):1432-1447
贾刚勇,万健,李曦,蒋从锋,代栋.一种结合页分配和组调度的内存功耗优化方法.
2014,25(7):1403-1415
窦晖,齐勇,王培健,张恺玉.一种最小化绿色数据中心电费的负载调度算法.
2014,25(7):1448-1458
孟小峰,高宏.大数据专题前言.
2014,25(4):691-692
何进荣,丁立新,李照奎,胡庆辉.基于边界判别投影的数据降维.
2014,25(4):826-838
郭迟,刘经南,方媛,罗梦,崔竞松.位置大数据的价值提取与协同挖掘方法.
2014,25(4):713-730
宋杰,郭朝鹏,王智,张一川,于戈,Jean-Marc PIERSON.大数据分析的分布式MOLAP技术.
2014,25(4):731-752
朱阅岸,张延松,周烜,王珊.一个基于三元组存储的列式OLAP查询执行引擎.
2014,25(4):753-767
李鸣鹏,高宏,邹兆年.基于图压缩的k可达查询处理.
2014,25(4):797-812
崔颖安,李雪,王志晓,张德运.社会化媒体大数据多阶段整群抽样方法.
2014,25(4):781-796
付艳艳,张敏,冯登国,陈开渠.基于节点分割的社交网络属性隐私保护.
2014,25(4):768-780
慈祥,马友忠,孟小峰.一种云环境下的大数据Top-K查询方法.
2014,25(4):813-825
王璐,孟小峰.位置大数据隐私保护研究综述.
2014,25(4):693-712
李宣东,于戈.嵌入式系统软件设计方法与技术专刊前言.
2014,25(2):177-178
石刚,王生原,董渊,嵇智源,甘元科,张玲波,张煜承,王蕾,杨斐.同步数据流语言可信编译器的构造.
2014,25(2):341-356
赵会群,孙晶,张爆,王同林.嵌入式API测试套生成方法和技术.
2014,25(2):373-385
尹玲,陈小红,刘静.信息物理融合系统的时间需求一致性分析.
2014,25(2):400-418
荣国平,刘天宇,谢明娟,陈婕妤,张贺,陈道蓄.嵌入式系统开发中敏捷方法的应用研究综述.
2014,25(2):267-283
张大林,金大海,宫云战,王前,董玉坤,张海龙.基于缺陷关联的静态分析优化.
2014,25(2):386-399
章铁飞,陈天洲,吴剑钟.基于程序访存模式的低功耗存储技术.
2014,25(2):254-266
范贵生,虞慧群,陈丽琼,刘冬梅.分布式嵌入式系统的自适应能耗管理和分析.
2014,25(2):419-438
卜磊,解定宝.混成系统形式化验证.
2014,25(2):219-233
谷传才,关楠,于金铭,王义,邓庆绪.多处理器混合关键性系统中的划分调度策略.
2014,25(2):284-297
王博,白晓颖,贺飞,XiaoyuSONG.可组合嵌入式软件建模与验证技术研究综述.
2014,25(2):234-253
董玉坤,金大海,宫云战,邢颖.基于区域内存模型的C程序静态分析.
2014,25(2):357-372
朱晓瑞,陶先平,谢宏伟,吕建.一种面向无线传感网应用重编程的逻辑式编程语言.
2014,25(2):326-340
黄志球,徐丙凤,阚双龙,胡军,陈哲.嵌入式机载软件安全性分析标准、方法及工具研究综述.
2014,25(2):200-218
吕鸣松,关楠,王义.面向WCET估计的Cache分析研究综述.
2014,25(2):179-199
张琦,王林章,张天,邵子立.一种优化的闪存地址映射方法.
2014,25(2):314-325
孙景昊,邓庆绪,孟亚坤.GPU上两阶段负载调度问题的建模与近似算法.
2014,25(2):298-313
高阳,陈松灿.统计学习研究与应用专刊前言.
2013,24(11):2473-2475
张宏毅,王立威,陈瑜希.概率图模型研究进展综述.
2013,24(11):2476-2497
曹莹,苗启广,刘家辰,高琳.具有Fisher一致性的代价敏感Boosting算法.
2013,24(11):2584-2596
张抒,蔡勇,解梅.基于局部区域稀疏编码的人脸检测.
2013,24(11):2747-2757
胡庆辉,丁立新,何进荣.Lp范数约束的多核半监督支持向量机学习方法.
2013,24(11):2522-2534
赵家程,崔慧敏,冯晓兵.基于统计学习分析多核间性能干扰.
2013,24(11):2558-2570
韩冰,杨辰,高新波.融合显著信息的LDA极光图像分类.
2013,24(11):2758-2766
毛存礼,余正涛,吴则建,郭剑毅,线岩团.专家证据文档识别无向图模型.
2013,24(11):2734-2746
陶卿,高乾坤,姜纪远,储德军.稀疏学习优化问题的求解综述.
2013,24(11):2498-2507
孙光福,吴乐,刘淇,朱琛,陈恩红.基于时序行为的协同过滤推荐算法.
2013,24(11):2721-2733
胡云,王崇骏,谢俊元,吴骏,周作建.社群演化的稳健迁移估计及演化离群点检测.
2013,24(11):2710-2720
王李进,尹义龙,钟一文.逐维改进的布谷鸟搜索算法.
2013,24(11):2687-2698
丁世飞,黄华娟,史忠植.加权光滑CHKS孪生支持向量机.
2013,24(11):2548-2557
柴变芳,于剑,贾彩燕,王静红.一种基于随机块模型的快速广义社区发现算法.
2013,24(11):2699-2709
万建武,杨明.一种引入成对代价的子类判别分析.
2013,24(11):2597-2609
郭虎升,王文剑.动态粒度支持向量回归机.
2013,24(11):2535-2547
钱煜,俞扬,周志华.一种基于自生成样本学习的奖赏塑形方法.
2013,24(11):2667-2675
陈黎飞,郭躬德.属性加权的类属型数据非模聚类.
2013,24(11):2628-2641
朱林,雷景生,毕忠勤,杨杰.一种基于数据流的软子空间聚类算法.
2013,24(11):2610-2627
王星,方滨兴,张宏莉,何慧,赵蕾.关系分类的学习界限研究.
2013,24(11):2508-2521
刘露,彭涛,左万利,戴耀康.一种基于聚类的PU主动文本分类方法.
2013,24(11):2571-2583
傅启明,刘全,伏玉琛,周谊成,于俊.一种高斯过程的带参近似策略迭代算法.
2013,24(11):2676-2686
黄运娟,李凡长.等谱流形学习算法.
2013,24(11):2656-2666
邹朋成,王建东,杨国庆,张霞,王丽娜.辅助信息自动生成的时间序列距离度量学习.
2013,24(11):2642-2655
刘大有.Agent 理论与技术专刊前言.
2012,23(11):2833-2834
徐杨,李响,常宏,王月星.复杂网络特性对大规模多智能体协同控制的影响.
2012,23(11):2971-2986
徐杨,张玉林,孙婷婷,苏艳芳.基于多智能体交通绿波效应分布式协同控制算法.
2012,23(11):2937-2945
胡晓敏.无线传感器网络Agent 数据分流策略.
2012,23(11):2946-2954
郑宇军,陈胜勇,凌海风,徐新黎.多Agent 主从粒子群分布式计算框架.
2012,23(11):3000-3008
周从华,叶萌,王昌达,刘志锋.多智体系统中约简状态空间的限界模型检测算法.
2012,23(11):2835-2861
童向荣,张伟,龙宇.Agent 主观信任的传递性.
2012,23(11):2862-2870
马骏,陶先平,朱怀宏,吕建.多Agent系统的上下文感知增强.
2012,23(11):2905-2922
杨博,刘际明,杨建宁,白媛,刘大有.基于自治计算的流行病传播网络建模与推断.
2012,23(11):2955-2970
甘早斌,朱春喜,马尧,鲁宏伟.基于遗传算法的关联议题并发谈判.
2012,23(11):2987-2999
胡翠云,毛新军,陈寅.基于组织的面向Agent 程序设计及其语言Oragent.
2012,23(11):2923-2936
孙毓忠,臧斌宇.面向高效能的软件及其设计、分析与实现方法专刊前言.
2012,23(2):177-178
张伟,宋莹,阮利,祝明发,肖利民.面向Internet 数据中心的资源管理.
2012,23(2):179-199
刘啸滨,郭兵,沈艳,熊冰,王继禾,伍元胜,刘云本.嵌入式软件体系结构级能耗建模方法.
2012,23(2):230-239
宋杰,李甜甜,闫振兴,那俊,朱志良.一种云计算环境下的能效模型和度量方法.
2012,23(2):200-214
谭一鸣,曾国荪,王伟.随机任务在云计算平台中能耗的优化管理方法.
2012,23(2):266-278
刘晨,陆佳亮,孔令和,吴凤刚,吴强,伍民友.基于软件的无线网绿色代理系统.
2012,23(2):215-229
曹仰杰,钱德沛,伍卫国,董小社.众核处理器系统核资源动态分组的自适应调度算法.
2012,23(2):240-252
张伟哲,张宏莉,许笑,何慧.分布式搜索引擎系统效能建模与评价.
2012,23(2):253-265
****王戟,李宣东.形式化方法与工具专刊前言.
2011,22(6):1121-1122
谭国真,孙景昊,王宝财,姚卫红.时变网络中国邮路问题的时间自动机模型.
2011,22(6):1267-1280
范贵生,虞慧群,陈丽琼,刘冬梅.策略驱动的可靠嵌入式系统建模及分析方法.
2011,22(6):1123-1139
李倩,汤恩义,戴雪峰,王林章,赵建华.Java 指针指向分析优化.
2011,22(6):1140-1154
许庆国,缪淮扣,曹晓夏,胡晓波.Object-Z 规格说明测试用例的自动生成器.
2011,22(6):1155-1168
魏欧,袁泳,蔡昕烨,黄志球,徐丙凤.循环对称化简及在三值模型上的扩展.
2011,22(6):1169-1184
柳溪,杨璐,潘敏学,王林章.场景驱动的服务行为调控.
2011,22(6):1185-1198
潘理,丁志军,郭观七.混合语义时间Petri 网模型.
2011,22(6):1199-1209
徐洪珍,曾国荪,陈波.软件体系结构动态演化的条件超图文法及分析.
2011,22(6):1210-1223
张献,董威,齐治昌.基于AOP 的运行时验证中的冲突检测.
2011,22(6):1224-1235
桂盛霖,罗蕾,李允,于淼,徐建华.基于自动机理论的分布式实时调度分析工具.
2011,22(6):1236-1251
董云卫,王广仁,张凡,高磊.AADL 模型可靠性分析评估工具.
2011,22(6):1252-1266
****王怀民,徐洁.可信软件的构造与演化分析专刊前言.
2010,21(2):177-178
董渊,任恺,王生原,张素琴.字节码虚拟机的构造和验证.
2010,21(2):305-317
王竹晓,杨鲲,史忠植.基于动态描述逻辑的网构软件系统故障诊断.
2010,21(2):248-260
柳毅,麻志毅,何啸,邵维忠.一种从UML模型到可靠性分析模型的转换方法.
2010,21(2):287-304
潘静,徐锋,吕建.面向可信服务选取的基于声誉的推荐者发现方法.
2010,21(2):388-400
范贵生,虞慧群,陈丽琼,刘冬梅.基于Petri网的服务组合故障诊断与处理.
2010,21(2):231-247
古亮,郭耀,王华,邹艳珍,谢冰,邵维忠.基于TPM的运行时软件可信证据收集机制.
2010,21(2):373-387
张胜,钱柱中,陆桑璐.一种面向服务的可靠多媒体传输算法.
2010,21(2):277-286
慈轶为,张展,左德承,吴智博,杨孝宗.可扩展的多周期检查点设置.
2010,21(2):218-230
蔡斯博,邹艳珍,邵凌霜,谢冰,邵维忠.一种支持软件资源可信评估的框架.
2010,21(2):359-372
卢锡城,李根,卢凯,张英.面向高可信软件的整数溢出错误的自动化测试.
2010,21(2):179-193
王慧强,吕宏武,赵倩,董玺坤,冯光升.一种关键任务系统自律可信性模型与量化分析.
2010,21(2):344-358
梁红瑾,张昱,陈意云,李兆鹏,华保健.处理指针相等关系不确定的指针逻辑.
2010,21(2):334-343
肖庆,宫云战,杨朝红,金大海,王雅文.一种路径敏感的静态缺陷检测方法.
2010,21(2):209-217
王伟,张文博,魏峻,钟华,黄涛.一种资源敏感的Web应用性能诊断方法.
2010,21(2):194-208
赵常智,董威,隋平,齐治昌.面向参数化LTL的预测监控器构造技术.
2010,21(2):318-333
曾晋,孙海龙,刘旭东,邓婷,怀进鹏.基于服务组合的可信软件动态演化机制.
2010,21(2):261-276
****田捷,白净,包尚联.医学影像处理与分析专刊前言.
2009,20(5):1087-1088
龚绍润,高峰,刘泓.X射线同轴相衬成像原理数值模拟及实验初探.
2009,20(5):1156-1165
税午阳,周明全,耿国华.磁共振颅脑图像的脑组织自动获取方法.
2009,20(5):1139-1145
靳露冬,吴艳,王卫卫,任努努,黄鹤羽,陈雪利,韩润强.基于非截断小波有限元的BLT正向问题研究.
2009,20(5):1194-1206
宋小磊,胡刚,姚俊杰,白净.荧光断层成像中圆柱仿体的三维重建.
2009,20(5):1089-1095
王元全,贾云得.一种心脏核磁共振图像左室壁内、外膜分割方法.
2009,20(5):1176-1184
赵小杰,龙志颖,郭小娟,姚力.阿尔茨海默氏症研究中的磁共振成像数据分析.
2009,20(5):1123-1138
王慧亮,黄斐增,包尚联.基于统一结构的并行混合放疗计划优化策略.
2009,20(5):1116-1122
段侪杰,马竟锋,张艺宝,侯凯,包尚联.能量传导模型及在医学图像分割中的应用.
2009,20(5):1106-1115
潘琪,罗笑南,朱继武.基于学习的局部几何相似性的医学图像放大.
2009,20(5):1146-1155
郑晗,陈自宽,康雁,刘积仁.一种Grangeat圆轨迹锥束CT重建阴影区域填充方法.
2009,20(5):1166-1175
郑有志,覃征.基于二维经验模态分解的医学图像融合算法.
2009,20(5):1096-1105
王斌,高新波.基于水平集接力的图像自动分割方法.
2009,20(5):1185-1193
张毅,刘鹏,田捷,秦伟,梁继民.针刺效应的神经影像学研究.
2009,20(5):1207-1215
刘凯,田捷,杨薇,秦承虎,徐敏,刘丹.Monte Carlo方法在扩散光学成像仿真中的应用.
2009,20(5):1216-1225
吴 飞,刘亚楠,庄越挺.基于张量表示的直推式多模态视频语义概念检测.
2008,19(11):2853-2868
陈锦秀,姬东鸿.基于图的半监督关系抽取.
2008,19(11):2843-2852
韦 佳,彭 宏.基于局部与全局保持的半监督维数约减方法.
2008,19(11):2833-2842
彭 岩,张道强.半监督典型相关分析算法.
2008,19(11):2822-2832
高 滢,刘大有,齐 红,刘 赫.一种半监督K均值多关系数据聚类算法.
2008,19(11):2814-2821
肖 宇,于 剑.基于近邻传播算法的半监督聚类.
2008,19(11):2803-2813
尹学松,胡恩良,陈松灿.基于成对约束的判别型半监督聚类分析.
2008,19(11):2791-2802
****周志华.半监督学习专刊前言.
2008,19(11):2789-2790
朱良峰,潘 信,吴信才,刘修国.地质断层三维可视化模型的构建方法与实现技术.
2008,19(8):2004-2017
肖 俊,庄越挺,吴 飞.三维人体运动特征可视化与交互式运动分割.
2008,19(8):1995-2003
杨育彬,李宁,张瑶.基于社会网络可视化分析的数据挖掘.
2008,19(8):1980-1994
钱 宇.数据聚类中基于浓度噪音消除的可视化参数选择方法.
2008,19(8):1965-1979
任 磊,王威信,周明骏,滕东兴,马翠霞,戴国忠,王宏安.一种模型驱动的交互式信息可视化开发方法.
2008,19(8):1947-1964
黄茂林,NGUYEN Quang Vinh.用多层次聚类法完成的大规模关系图的可视化.
2008,19(8):1933-1946
全 武,黄茂林.一种用于Marching-Graph图形绘制的快速收敛布局算法.
2008,19(8):1920-1932
孔 骏,赵春颖.可视化语言技术在软件开发中的应用.
2008,19(8):1902-1919
曾晓勤,韩秀清,邹 阳.一种基于边的上下文相关图文法形式化框架.
2008,19(8):1893-1901
马晓星,曹 春,余 萍,周 宇.基于图文法的动态软件体系结构支撑环境.
2008,19(8):1881-1892
何 啸,麻志毅,邵维忠.一种面向图形化建模语言表示法的元模型.
2008,19(8):1867-1880
****张康,吕建.软件可视化和信息可视化专刊前言.
2008,19(8):1865-1866
张 仕,黄林鹏.基于OSGi的服务动态演化.
2008,19(5):1201-1211
胡 军,黄志球,曹 东,徐丙凤.网构软件的资源自适应性的形式化分析与验证.
2008,19(5):1186-1200
吴国全,魏 峻,黄 涛.基于非确定性推理的网构软件服务质量动态评估方法.
2008,19(5):1173-1185
滕 腾,黄 罡,陈兴润,梅 宏.网构软件数据语用的一种动态支撑方法.
2008,19(5):1160-1172
曾红卫,缪淮扣.构件组合的抽象精化验证.
2008,19(5):1149-1159
陈 鑫.一种基于构件演算的主动构件精化方法.
2008,19(5):1134-1148
王 宇,王志坚.志愿计算模型形式化方法.
2008,19(5):1125-1133
常志明,毛新军,齐治昌.基于Agent的网构软件构件模型及其实现.
2008,19(5):1113-1124
周 立,陈湘萍,黄 罡,孙艳春,梅 宏.支持协商的网构软件体系结构行为建模与验证.
2008,19(5):1099-1112
郑丽伟,金 芝.需求驱动的主动网构实体聚合.
2008,19(5):1083-1098
****何积丰,李宣东.Internet环境下基于构件的软件理论与方法专刊前言.
2008,19(5):1081-1082
宋 杰,王大玲,鲍玉斌,申德荣.基于页面Block的Web档案采集和存储.
2008,19(2):275-290
马 军,宋 玲,韩晓晖,闫 泼.基于网页上下文的Deep Web数据库分类.
2008,19(2):267-274
徐和祥,王鑫印,王述云,胡运发.基于知识的Deep Web集成环境变化处理的研究.
2008,19(2):257-266
王 辉,刘艳威,左万利.使用分类器自动发现特定领域的深度网入口.
2008,19(2):246-256
袁 柳,李战怀,陈世亮.基于本体的Deep Web数据标注.
2008,19(2):237-245
凌妍妍,孟小峰,刘 伟.基于属性相关度的Web数据库大小估算方法.
2008,19(2):224-236
杨少华,林海略,韩燕波.针对模板生成网页的一种数据自动抽取方法.
2008,19(2):209-223
寇 月,申德荣,李 冬,聂铁铮.一种基于语义及统计分析的Deep Web实体识别机制.
2008,19(2):194-208
刘 伟,孟小峰,凌妍妍.一种基于图模型的Web数据库采样方法.
2008,19(2):179-193
****孟小峰,于戈.Deep Web数据集成专刊前言.
2008,19(2):177-178
卢暾.基于可生存性规范的软件构件系统恢复的建模与推理.
2007,18(12):3031-3047
张广胜,蒋昌俊,汤宪飞,徐岩.面向服务的企业应用集成系统描述与验证.
2007,18(12):3015-3030
邓水光,李莹,吴健,邝砾,吴朝晖.Web服务行为兼容性的判定与计算.
2007,18(12):3001-3014
汤宪飞,蒋昌俊,丁志军,王成.基于Petri网的语义Web服务自动组合方法.
2007,18(12):2991-3000
雷丽晖,段振华.一种基于扩展有限自动机验证组合Web服务的方法.
2007,18(12):2980-2990
李扬,怀进鹏,郭慧鹏,杜宗霞.一个基于服务层叠网的分层服务组合框架.
2007,18(12):2967-2979
****何积丰,金芝,李宣东.面向服务的计算专刊前言.
2007,18(12):2965-2966
金海,孙傲冰,郑然,何儒汉,章勤,吴松.医学图像网格基于语义的信息集成方法.
2007,18(8):2049-2062
周宇,马晓星,曹建农,余萍,吕建.普适环境下基于软件代理虚拟化的应用迁移.
2007,18(8):2038-2048
张伟哲,田志宏,张宏莉,何慧,刘文懋.虚拟计算环境中的多机群协同调度算法.
2007,18(8):2027-2037
怀进鹏,李沁,胡春明.基于虚拟机的虚拟计算环境研究与设计.
2007,18(8):2016-2026
翟征德,冯登国,徐震.细粒度的基于信任度的可控委托授权模型.
2007,18(8):2002-2015
姚远哲,方滨兴,刘欣然,张鸿,陈瓅,石凌.R-Net监测系统侵扰的自主控制机制、算法与策略.
2007,18(8):1987-2001
唐扬斌,王怀民,常俊胜.自组织虚拟计算环境中的组信誉机制.
2007,18(8):1968-1986
刘伟,蔡嘉勇,贺也平.一种基于信任度的自组安全互操作方法.
2007,18(8):1958-1967
胡昊,殷琴,吕建.虚拟计算环境中服务行为与质量的一致性.
2007,18(8):1943-1957
张一鸣,李东升,卢锡城.虚拟计算环境中的可扩展分布式资源信息服务.
2007,18(8):1933-1942
刘志忠,王怀民,周斌.一种双层P2P结构的语义服务发现模型.
2007,18(8):1922-1932
邝砾,邓水光,李莹,吴健,吴朝晖.使用倒排索引优化面向组合的语义服务发现.
2007,18(8):1911-1921
邓水光,吴健,李莹,吴朝晖.基于回溯树的Web服务自动组合.
2007,18(8):1896-1910
刘譞哲,黄罡,梅宏.用户驱动的服务聚合方法及其支撑框架.
2007,18(8):1883-1895
胡春华,吴敏,刘国平,徐德智.一种基于业务生成图的Web服务工作流构造方法.
2007,18(8):1870-1882
褚瑞,卢锡城,肖侬.一种基于聚类的虚拟计算环境资源聚合方法.
2007,18(8):1858-1869
****卢锡城,怀进鹏.面向互联网资源共享的虚拟计算环境专刊前言.
2007,18(8):1855-1857
张文哲,李明禄,伍民友.一种基于局部Voronoi图的目标穿越算法.
2007,18(5):1246-1253
温蜜,陈克非,郑燕飞,李晖.传感器网络中一种可靠的对密钥更新方案.
2007,18(5):1232-1245
高建良,徐勇军,李晓维.基于加权中值的分布式传感器网络故障检测.
2007,18(5):1208-1217
朱敬华,高宏.无线传感器网络中能源高效的任务分配算法.
2007,18(5):1198-1207
赵志滨,于戈,李斌阳,姚兰,杨晓春.一种无线传感器网络中的多维K-NN查询优化算法.
2007,18(5):1186-1197
李贵林,高宏.传感器网络中基于环的负载平衡数据存储方法.
2007,18(5):1173-1185
吴绍华,张乃通.基于UWB的无线传感器网络中的两步TOA估计法.
2007,18(5):1164-1172
陶丹,马华东,刘亮.基于虚拟势场的有向传感器网络覆盖增强算法.
2007,18(5):1152-1163
朱红松,孙利民,徐勇军,李晓维.基于精细化梯度的无线传感器网络汇聚机制及分析.
2007,18(5):1138-1151
李燕君,王智,孙优贤.资源受限的无线传感器网络基于衰减信道的决策融合.
2007,18(5):1130-1137
周新运,孙利民,皇甫伟,牛建伟.无线多媒体传感器网络中一种自适应的报头压缩机制.
2007,18(5):1122-1129
张重庆,李明禄,伍民友.数据收集传感器网络的负载平衡网络构建方法.
2007,18(5):1110-1121
刘明,曹建农,陈贵海,陈力军,王晓敏,龚海刚.EADEEG:能量感知的无线传感器网络数据收集协议.
2007,18(5):1092-1109
****李建中.无线传感器网络专刊前言.
2007,18(5):1077-1079
魏宇欣,武穆清.智能网格入侵检测系统.
2006,17(11):2384-2394
李志洁,程春田,黄飞雪,李欣.一种基于序贯博弈的网格资源分配策略.
2006,17(11):2373-2383
董剑,左德承,刘宏伟,杨孝宗.一种基于QoS的自适应网格失效检测器.
2006,17(11):2362-2372
王勇,胡春明,杜宗霞.服务质量感知的网格工作流调度.
2006,17(11):2341-2351
郭勇,邓波,衣双辉.面向服务的网格软件测试环境.
2006,17(11):2335-2340
郭得科,任彦,陈洪辉,薛群威,罗雪山.一种QoS有保障的Web服务分布式发现模型.
2006,17(11):2324-2334
袁平鹏,曹文治,邝坪.一种基于Cache的网格任务反馈调度方法.
2006,17(11):2314-2323
申德荣,于戈,聂铁铮,寇月.支持多领域动态数据集成的数据库网格系统.
2006,17(11):2302-2313
杜晓丽,蒋昌俊,徐国荣,丁志军.一种基于模糊聚类的网格DAG任务图调度算法.
2006,17(11):2277-2288
伍之昂,罗军舟,宋爱波.基于QoS的网格资源管理.
2006,17(11):2264-2276
陈磊,韩颖,李三立.信息网格中基于本体的Web服务动态集成和重构.
2006,17(11):2255-2263
张煜,林莉,怀进鹏,李先贤,钟亮.网格环境中信任-激励相容的资源分配机制.
2006,17(11):2245-2254
褚瑞,卢锡城,肖侬.一种内存网格的数据预取算法.
2006,17(11):2234-2244
陈小武,潘章晟,赵沁平.网格环境中模式复用的异构数据库访问和集成方法.
2006,17(11):2224-2233
****金海,郑纬民.网格计算专刊前言.
2006,17(11):2221-2223
陈振邦,王戟,董威,齐治昌.面向服务软件体系结构的接口模型.
2006,17(6):1459-1469
胡春明,怀进鹏,沃天宇,雷磊.一种支持端到端QoS的服务网格体系结构.
2006,17(6):1448-1458
陈磊,李三立.网格数据复本管理的动态自适应软件体系结构.
2006,17(6):1436-1447
王学斌,王怀民,吴泉源,史殿习.一种模型转换的编织框架.
2006,17(6):1423-1435
刘静,何积丰,缪淮扣.模型驱动架构中模型构造与集成策略.
2006,17(6):1411-1422
李海波,战德臣,徐晓飞.基于工作流引擎的构件组装体系结构.
2006,17(6):1401-1410
杨杰,黄罡,陈湘萍,梅宏,张成志.软件体系结构模型单层化的一致性保障方法.
2006,17(6):1391-1400
张文博,陈宁江,魏峻,黄涛.QoS获益驱动的中间件调度框架研究.
2006,17(6):1381-1390
李刚,赵卓峰,韩燕波,梁英.基于CAFISE Framework的高适应性面向服务软件开发.
2006,17(6):1372-1380
余萍,马晓星,吕建,陶先平.一种面向动态软件体系结构的在线演化方法.
2006,17(6):1360-1371
李长云,李赣生,何频捷.一种形式化的动态体系结构描述语言.
2006,17(6):1349-1359
黄双喜,范玉顺,赵彧.一类通用的适应性软件体系结构风格研究.
2006,17(6):1338-1348
张勇,黄涛,魏峻,陈宁江.基于容器中间件的组件系统体系结构性能评价.
2006,17(6):1328-1337
徐鹏,杨放春.建模样式:一种评估软件体系结构非功能属性的方法.
2006,17(6):1318-1327
彭鑫,赵文耘,刘奕明.基于特征模型和构件语义的概念体系结构设计.
2006,17(6):1307-1317
熊惠民,应时,虞莉娟,张韬.基于反射的连接器组合重用方法.
2006,17(6):1298-1306
楚旺,钱德沛.以体系结构为中心的构件模型的形式化语义.
2006,17(6):1287-1297
胡海洋,吕建,马晓星,陶先平.面向对象范型体系结构中构件行为相容性研究.
2006,17(6):1276-1286
梅宏,申峻嵘.软件体系结构研究进展.
2006,17(6):1257-1275
****梅宏,吕建.软件体系结构专刊前言.
2006,17(6):1255-1256