Special Focus on High-Confidence Software Technologies |
XIE Tao, ZHANG Lu, LÜ Jian Editor's Note SCIENCE CHINA Information Sciences, 2015, 58 :052100(2) Abstract | PDF |
ZHENG ZiBin, LYU Michael Rung Tsong, WANG HuaiMin Service fault tolerance for highly reliable service-oriented systems: an overview SCIENCE CHINA Information Sciences, 2015, 58 :052101(12) Abstract | PDF |
YANG WenHua, LIU YePang, XU Chang, CHEUNG S. C. A survey on dependability improvement techniques for pervasive computing systems SCIENCE CHINA Information Sciences, 2015, 58 :052102(14) Abstract | PDF |
WANG FuTian, LIU Xiao, YANG Yun Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems SCIENCE CHINA Information Sciences, 2015, 58 :052103(16) Abstract | PDF |
CHEN Tsong Yueh, KUO Fei-Ching, TOWEY Dave, ZHOU Zhi Quan A revisit of three studies related to random testing SCIENCE CHINA Information Sciences, 2015, 58 :052104(9) Abstract | PDF |
DENG DongDong, JIN GuoLiang, de KRUIJF Marc, LI Ang, LIBLIT Ben, LU Shan, QI ShanXiang, REN JingLei, SANKARALINGAM Karthikeyan, SONG LinHai, WU YongWei, ZHANG MingXing, ZHANG Wei, ZHENG WeiMin Fixing, preventing, and recovering from concurrency bugs SCIENCE CHINA Information Sciences, 2015, 58 :052105(18) Abstract | PDF |
FISCHER Sebastian, HU ZhenJiang, PACHECO Hugo The essence of bidirectional programming SCIENCE CHINA Information Sciences, 2015, 58 :052106(21) Abstract | PDF |
RESEARCH PAPER |
WANG An, WANG ZongYue, ZHENG XueXin, WANG XiaoMei, CHEN Man, ZHANG GuoShuang, WU LiJi Efficient collision attacks on smart card implementations of masked AES SCIENCE CHINA Information Sciences, 2015, 58 :052107(15) Abstract | PDF |
WEN Jia, ZHAO JunSuo, MA CaiWen, WANG CaiLing Improved non-negative tensor Tucker decomposition algorithm for interference hyper-spectral image compression SCIENCE CHINA Information Sciences, 2015, 58 :052108(9) Abstract | PDF |
TIAN YouLiang, PENG ChangGen, LIN DongDai, MA JianFeng, JIANG Qi, JI WenJiang Bayesian mechanism for rational secret sharing scheme SCIENCE CHINA Information Sciences, 2015, 58 :052109(13) Abstract | PDF |
MENG DeYu, ZHANG Biao, XU ZongBen, ZHANG Lei, GAO ChenQiang Robust low-rank tensor factorization by cyclic weighted median SCIENCE CHINA Information Sciences, 2015, 58 :052111(11) Abstract | PDF |
XIA YaPing, CAI ChenXiao, YIN MingHui, ZOU Yun Two new upper bounds of the solution for the continuous algebraic Riccati equation and their application SCIENCE CHINA Information Sciences, 2015, 58 :052201(12) Abstract | PDF |
WANG Peng, TANG GuoJian, WU Jie Sliding mode decoupling control of a generic hypersonic vehicle based on parametric commands SCIENCE CHINA Information Sciences, 2015, 58 :052202(14) Abstract | PDF |
WU ZhengXing, YU JunZhi, SU ZongShuai, TAN Min, LI ZhenLong Towards an Esox lucius inspired multimodal robotic fish SCIENCE CHINA Information Sciences, 2015, 58 :052203(13) Abstract | PDF |
DUAN ZhiSheng, HUANG Lin, YANG JianYing, QIN GuoZheng On decoupled or coupled control of bank-to-turn missiles SCIENCE CHINA Information Sciences, 2015, 58 :052204(13) Abstract | PDF |
MOO PAPER |
ZHU XiaoBin, JIN Xin, ZHANG XiaoYu, LI ChangSheng, HE FuGang, WANG Lei Context-aware local abnormality detection in crowded scene SCIENCE CHINA Information Sciences, 2015, 58 :052110(11) Abstract | PDF |
LETTER |
MENG Chao, GONG Jing, LIU SanMin, SUN ZhiXin Convergence analysis and application of the central force optimization algorithm SCIENCE CHINA Information Sciences, 2015, 58 :059301(3) Abstract | PDF |
中国CPU与DSP专刊 |
胡伟武, 肖利民, 安虹 编者按 中国科学 信息科学, 2015, 45(4): 457-458 Abstract | PDF |
胡伟武, 靳国杰, 汪文祥, 张晓春, 王焕东 龙芯指令系统融合技术 中国科学 信息科学, 2015, 45(4): 459-479 Abstract | PDF |
吴瑞阳, 汪文祥, 王焕东, 胡伟武 龙芯GS464E处理器核架构设计 中国科学 信息科学, 2015, 45(4): 480-500 Abstract | PDF |
杨旭, 范煜川, 范宝峡 龙芯X微处理器抗辐照加固设计 中国科学 信息科学, 2015, 45(4): 501-512 Abstract | PDF |
胡向东, 杨剑新, 朱英 高性能多核处理器申威1600 中国科学 信息科学, 2015, 45(4): 513-522 Abstract | PDF |
郑方, 许勇, 李宏亮, 谢向辉, 陈左宁 一种面向高性能计算的自主众核处理器结构 中国科学 信息科学, 2015, 45(4): 523-534 Abstract | PDF |
胡向东, 巨鹏锦, 朱英, 孙路 高性能处理器层次化可重用模拟验证环境 中国科学 信息科学, 2015, 45(4): 535-547 Abstract | PDF |
王晓, 柯希明 容工艺偏差的低偏斜层次化时钟网络设计 中国科学 信息科学, 2015, 45(4): 548-559 Abstract | PDF |
陈书明, 刘胜, 万江华, 王耀华, 陈胜刚, 陈海燕, 刘衡竹, 孙海燕, 刘仲 协同多核DSP YHFT-QMBase: 体系结构及实现 中国科学 信息科学, 2015, 45(4): 560-573 Abstract | PDF |
洪一, 方体莲, 赵斌, 郭二辉, 刘小明, 耿锐 “魂芯一号”数字信号处理器及其应用 中国科学 信息科学, 2015, 45(4): 574-586 Abstract | PDF |
罗玲,殷保群,曹杰 基于sketch数据结构与正则性分布的骨干网流量异常分析与识别 系统科学与数学, 2015 Vol. 35 (1): 1-8 Abstract | PDF |
龚建军,袁晓玲 Z源逆变器在开关磁阻风力发电系统中的应用 系统科学与数学, 2015 Vol. 35 (1): 9-18 Abstract | PDF |
王琨,骆敏舟,曹毅,李可,张秋菊 基于遗传算法的串联机械臂运动学参数标定 系统科学与数学, 2015 Vol. 35 (1): 19-30 Abstract | PDF |
张备伟,严春燕 一种抛物面镜摄像机的配置及标定方法 系统科学与数学, 2015 Vol. 35 (1): 31-41 Abstract | PDF |
叶彦斐,张勇气 多路药剂高精度加注装置设计与实现 系统科学与数学, 2015 Vol. 35 (1): 42-48 Abstract | PDF |
艾尼吾普尔 重休假的 M/M/1 排队模型的主算子的点谱 系统科学与数学, 2015 Vol. 35 (1): 49-64 Abstract | PDF |
林瑞全,张玉 Delta算子描述不确定离散故障检测系统$H_\infty$滤波器设计 系统科学与数学, 2015 Vol. 35 (1): 65-74 Abstract | PDF |
吴天魁,王波,顾基发 基于最小二乘法的改进GM(1, 1)模型在上海市社会总抚养比预测中的应用 系统科学与数学, 2015 Vol. 35 (1): 75-84 Abstract | PDF |
赵涤非,唐勇 基于高频数据视角的上证综指跳跃原因分析 系统科学与数学, 2015 Vol. 35 (1): 85-98 Abstract | PDF |
李平润 在指数增长的函数类中的奇异积分方程与 Riemann 边值问题 系统科学与数学, 2015 Vol. 35 (1): 99-109 Abstract | PDF |
杨康,张仲义 基于节点重要性的供应链网络风险跨层次评估研究 系统科学与数学, 2015 Vol. 35 (1): 110-120 Abstract | PDF |
禹海波,周端 过度自信零售商供应链的得失共享回购契约模型 系统科学与数学, 2015 Vol. 35 (1): 121-128 Abstract | PDF |
综述与评论 |
王耀南,陈铁健,贺振东,吴成中 |
论文 |
张扬名,闫鹏 |
王振华,徐娟娟,张焕水 |
徐运扬,徐康康 |
贺静,赵众,董叶伟 |
弋英民,刘丁,黄莹 |
孙宁,方勇纯,陈鹤 |
张维海,刘鹤鸣 |
朱慧坚,曾才斌 |
夏晓南,张天平 |
仲朝亮,刘士荣,张波涛 |
叶丹丹,罗继亮 |
庄巧莉,戴文战,王寿光 |
谢彦红,耿志成,李元 |
短文 |
周晓根,张贵军,梅珊,明洁 |
洪庆辉,刘奇能,李志军,曾以成 |
赵长钟,栾小丽,刘飞 |
沈艳霞,贺庆楠,杨雄飞,赵芝璞 |
综述与评论 |
索津莉, 刘烨斌, 季向阳, 戴琼海 计算摄像学:核心、方法与应用 自动化学报, 2015 Vol. 41 (4): 669-685 Abstract | PDF |
干梦迪, 王寿光, 周孟初, 李俊, 李月 无界Petri网的可达树的综述 自动化学报, 2015 Vol. 41 (4): 686-693 Abstract | PDF |
长论文 |
曲寒冰, 王加强, 李彬, 王松涛 基于概率图模型的点集匹配方法研究 自动化学报, 2015 Vol. 41 (4): 694-710 Abstract | PDF |
论文与报告 |
钱生, 陈宗海, 林名强, 张陈斌 基于条件随机场和图像分割的显著性检测 自动化学报, 2015 Vol. 41 (4): 711-724 Abstract | PDF |
周朗明, 张小虎, 关棒磊 基于序列轮廓线的凸面目标全自动重构方法 自动化学报, 2015 Vol. 41 (4): 725-734 Abstract | PDF |
张天, 刘检华, 唐承统, 刘少丽 基于中心线匹配的导管三维重建技术 自动化学报, 2015 Vol. 41 (4): 735-748 Abstract | PDF |
张英杰, 龚中汉, 陈乾坤 基于免疫离散差分进化算法的复杂网络社区发现 自动化学报, 2015 Vol. 41 (4): 749-757 Abstract | PDF |
夏贵羽, 孙怀江 模板化的人体运动合成 自动化学报, 2015 Vol. 41 (4): 758-771 Abstract | PDF |
李文平, 杨静, 印桂生, 张健沛 数据场典型相关分析及其在图像分割中的应用 自动化学报, 2015 Vol. 41 (4): 772-784 Abstract | PDF |
李振兴, 刘进忙, 李松, 白东颖, 倪鹏 基于箱式粒子滤波的群目标跟踪算法 自动化学报, 2015 Vol. 41 (4): 785-798 Abstract | PDF |
徐威, 唐振民 利用层次先验估计的显著性目标检测 自动化学报, 2015 Vol. 41 (4): 799-812 Abstract | PDF |
缪君, 储珺, 张桂梅, 王璐 基于稀疏点云的多平面场景稠密重建 自动化学报, 2015 Vol. 41 (4): 813-822 Abstract | PDF |
侯忠生, 董航瑞, 金尚泰 基于坐标补偿的自动泊车系统无模型自适应控制 自动化学报, 2015 Vol. 41 (4): 823-831 Abstract | PDF |
沈江, 余海燕, 徐曼 实体异构性下证据链融合推理的多属性群决策 自动化学报, 2015 Vol. 41 (4): 832-842 Abstract | PDF |
林煜东, 和红杰, 陈帆, 尹忠科 基于轮廓几何稀疏表示的刚性目标模型及其分级检测算法 自动化学报, 2015 Vol. 41 (4): 843-853 Abstract | PDF |
短文 |
彭孝东, 张铁民, 李继宇, 陈瑜 基于传感器校正与融合的农用小型无人机姿态估计算法 自动化学报, 2015 Vol. 41 (4): 854-860 Abstract | PDF |
综述 |
李洪波 熊励 刘寅斌 项目资源均衡研究综述 控制与决策, 2015 Vol. 30 (05): 769-779 Abstract | PDF |
论文 |
胡军华 蓝霞 陈鹏 基于区间梯形二型犹豫模糊数的多准则决策方法 控制与决策, 2015 Vol. 30 (05): 780-788 Abstract | PDF |
张世涛 朱建军 刘小弟 基于共识标准的语言标度颗粒优化模型 控制与决策, 2015 Vol. 30 (05): 789-797 Abstract | PDF |
朱大奇 孙兵 李利 基于生物启发模型的AUV三维自主路径规划与安全避障算法 控制与决策, 2015 Vol. 30 (05): 798-806 Abstract | PDF |
李冰 轩华 李静 允许存储的变周期随机动态车队调度双层模型交替求解策略 控制与决策, 2015 Vol. 30 (05): 807-814 Abstract | PDF |
邵星灵 王宏伦 线性扩张状态观测器及其高阶形式的性能分析 控制与决策, 2015 Vol. 30 (05): 815-822 Abstract | PDF |
毕凯 王晓丹 邢雅琼 基于模糊测度和证据理论的模糊聚类集成方法 控制与决策, 2015 Vol. 30 (05): 823-830 Abstract | PDF |
张景祥 王士同 蒋亦樟 倪彤光 基于ISE 的核密度估计和随机置换的单一或协同特征的选择方法 控制与决策, 2015 Vol. 30 (05): 831-838 Abstract | PDF |
匡芳君 金忠 徐蔚鸿 张思扬 Tent 混沌人工蜂群与粒子群混合算法 控制与决策, 2015 Vol. 30 (05): 839-847 Abstract | PDF |
屈薇薇 陈宗海 基于灰朦胧集动态演化的线段特征提取 控制与决策, 2015 Vol. 30 (05): 848-852 Abstract | PDF |
张宏欣 周穗华 冯士民 基于弱形式解的粒子流滤波器 控制与决策, 2015 Vol. 30 (05): 853-858 Abstract | PDF |
浦徐进 金德龙 公平偏好、参照点效应和三级供应链的运作 控制与决策, 2015 Vol. 30 (05): 859-864 Abstract | PDF |
陈志旺 陈林 白锌 杨七 赵方亮 求解约束多目标区间优化的交互多属性决策NSGA-II 算法 控制与决策, 2015 Vol. 30 (05): 865-870 Abstract | PDF |
刘金琨 郭一 带执行器饱和的N 连杆机械臂输出反馈动态面控制 控制与决策, 2015 Vol. 30 (05): 871-876 Abstract | PDF |
陈明 张士勇 基于Backstepping 的非线性系统预设性能鲁棒控制器设计 控制与决策, 2015 Vol. 30 (05): 877-881 Abstract | PDF |
张友安 余名哲 吴华丽 基于自适应神经网络的分数阶混沌系统滑模同步 控制与决策, 2015 Vol. 30 (05): 882-886 Abstract | PDF |
王坚强 吴佳亭 基于优序关系的犹豫模糊语言多准则决策方法 控制与决策, 2015 Vol. 30 (05): 887-891 Abstract | PDF |
短文 |
张松涛 张春杨 侯嫣婷 基于库存切换的不确定动态供应链网络系统模糊鲁棒控制 控制与决策, 2015 Vol. 30 (05): 892-898 Abstract | PDF |
匡敏驰 朱纪洪 吉敬华 航空油泵电机的相电流畸变纠正控制 控制与决策, 2015 Vol. 30 (05): 899-904 Abstract | PDF |
田中大 李树江 王艳红 高宪文 经验模式分解与时间序列分析在网络流量预测中的应用 控制与决策, 2015 Vol. 30 (05): 905-910 Abstract | PDF |
郭茜 蒲云 郑斌 基于故障贝叶斯网的冷链物流系统可靠性分析 控制与决策, 2015 Vol. 30 (05): 911-916 Abstract | PDF |
刘宏志 高立群 孔祥勇 欧阳海滨 改进差分进化算法在可靠性冗余分配问题中的应用 控制与决策, 2015 Vol. 30 (05): 917-922 Abstract | PDF |
张强 李盼池 自适应分组混沌云模型蛙跳算法求解连续空间优化问题 控制与决策, 2015 Vol. 30 (05): 923-928 Abstract | PDF |
王刚 苏晓明 冯钧 李宇 不确定广义线性时变系统的鲁棒稳定和二次稳定 控制与决策, 2015 Vol. 30 (05): 929-933 Abstract | PDF |
李瑶 徐晓苏 陈臣 一种光纤陀螺漂移数据建模和滤波技术在捷联罗经法自对准中的应用 控制与决策, 2015 Vol. 30 (05): 934-938 Abstract | PDF |
高圣国 吴忠 李旭芳 刘升 带两类正态变异的多目标粒子群算法 控制与决策, 2015 Vol. 30 (05): 939-942 Abstract | PDF |
周涛 基于反双曲正弦函数的扩张状态观测器 控制与决策, 2015 Vol. 30 (05): 943-946 Abstract | PDF |
成新田 唐振民 基于主动鉴别字典学习的自主导航偏离控制算法 控制与决策, 2015 Vol. 30 (05): 947-950 Abstract | PDF |
杨小军 张亚粉 基于观测数据删减及量化新息的无线传感器网络目标跟踪 控制与决策, 2015 Vol. 30 (05): 951-954 Abstract | PDF |
李波 李宜楠 侯丽婷 侯鹏文 具有公平关切的零售商对双渠道供应链决策影响分析 控制与决策, 2015 Vol. 30 (05): 955-960 Abstract | PDF |