计算机科学

月刊1974-01-01年创刊
16开

获奖情况

重庆市优秀期刊

中文核心期刊

中国期刊方阵双效期刊

显示本刊MARC数据
显示本刊DC数据
国家图书馆馆藏
上海图书馆馆藏

无

纤维逻辑邱莉榕 杨柳 史忠植 (1)

扩展的Web Service服务质量模型研究牟玉洁 曹健 张申生 张建宏 (4)

面向对等网信息语义共享的元数据模型框架研究刘震 邓苏 罗雪山 黄宏斌 (10)

面向凝聚式层次聚类算法实现的矩阵存储数据结构研究张振亚 程红梅 王进 王煦法 (14)

流媒体代理缓存技术研究余江 刘威 王泰 CHOU Chun-Tung (18)

时空聚集计算研究进展包磊 秦小麟 (22)

计算机网络与信息技术

MPLS网络环境下组播应用研究夏利 杨宏 刘淑霞 王光兴 (25)

基于分群的层状叠加网模型刘丹 李毅超 (28)

基于实时服务质量的测控网络实时消息分析研究易勇 陈建孝 胡学海 (31)

一种基于遗传算法的负载均衡选播路由算法陶洋 陈辉 (35)

服务元网络体系结构下的QoS机制研究夏梦芹 叶娅兰 王焱 曾家智 (38)

基于角色和上下文的动态网格访问控制研究姚寒冰 胡和平 卢正鼎 李瑞轩 (41)

OBS多跳网络中分割丢弃不公平性解决方法的研究侯睿 孙军强 丁攀峰 陈轩 张定春 (45)

基于Region的多层结构Peer-to-Peer网络模型与搜索算法研究乐光学 李仁发 (48)

虚拟网络存储空间划分与抽象技术研究刘朝斌 吴非 胡迪青 (53)

基于网格服务的网格环境下数据传输刘骥 王茜 (56)

一种低码率下的新型码率控制策略朱光喜 戴声奎 李霄 刘文予 张江山 (60)

基于域GF（2^m）上的椭圆曲线中标量乘的快速算法张宁 牛志华 肖国镇 (64)

一个安全高效的门限多重秘密共享方案庞辽军 王育民 (66)

一种利用外键控制的密文反馈混沌分组密码算法研究陈军 张为群 何春筱 韦鹏程 张伟 (69)

一种基于Feistel网络的反馈式分组混沌密码的研究彭军 张伟 杨治明 廖晓峰 (72)

网络集成防护系统的分层事件驱动风格陈波 卢显良 韩宏 任立勇 (75)

基于NDIS构造Windows下入侵检测系统技术分析张岳公 刘伟 李大兴 (78)

入侵检测中的数据预处理问题研究陈晓梅 (81)

基于Jini的封闭式网络中攻击源追踪系统模型研究彭云鹏 李华 吴中福 张简政 (84)

一个基于服务请求语言的统一Web服务框架彭鑫 赵文耘 吴毅坚 薛云皎 (86)

一种基于网格环境的服务合成模型裴艳琴 杨寿保 (91)

无线视频流媒体异构接入的二维自适应流控模型研究朱晓亮 杜旭 杨宗凯 程文青 (95)

基于B／S模式的组件化网络多媒体监控系统结构研究周兵 李伟 姜文峰 苏士美 (100)

基于熵的信息系统业务模型复杂性度量王忠杰 徐晓飞 战德臣 (104)

基于Web分布式工作流系统可扩展性的研究与实现祝永志 (108)

基于事件的发布-订阅系统模型汪洋 谢江 王振宇 (111)

基于关键成功因子的ERP项目实施过程模型王杨 叶晓俊 (116)

迁移工作流系统通信机制研究卢朝霞 曾广周 杨公平 (119)

多主体撮合交易系统的设计与实现唐亮贵 钟增胜 程代杰 (124)

基于网格技术的电子政务平台研究与设计朱建勇 樊孝忠 (127)

时态数据的可变Hash索引蒋夏军 吴慧中 李蔚清 (130)

Oracle数据库加密技术分析徐江峰 庄海燕 杨有 (134)

EDI在大中型企业应用过程的系统分析孙鹏 (137)

软件工程

类型系统与程序正确性问题丁志义 宋国新 邵志清 (141)

基于变迁指标的Petri网分解方法曾庆田 (144)

SDT：一个面向场景规约的运行时测试工具雷斌 王林章 李宣东 郑国梁 (147)

一个灵活的操作系统安全框架FMAC易晓东 杨学军 (153)

OpenSMT：一个同时多线程处理器模拟器的设计和实现路放 安虹 梁博 任建 (158)

基于路径的软硬件划分算法朱智林 韩俊刚 陈平 (164)

基于免疫遗传的软件衰退检测算法徐建 游静 刘凤玉 (167)

软件安全核的可信性问题黎忠文 姚绍文 (170)

Web应用软件测试模型的研究和构建路晓丽 葛玮 郝克刚 (175)

重定向编译器的研究进展和趋势吴圣宁 李思昆 (177)

基于（m，k）模型的任务可调度性分析宾雪莲 杨玉海 宾亚 金士尧 (181)

分割式Montgomery模乘运算的线性高基心动阵列新结构王冕 周玉洁 (184)

基于任务空间概念模型（CMMS）的作战想定研究陈彩辉 魏曙光 (188)

面向业务流程的管理软件平台的研究与应用陈建国 (191)

人工智能与图像处理技术

描述逻辑综述石莲 孙吉贵 (194)

一种新的类BAN逻辑模态语义模型——兼论类BAN逻辑的语法缺陷谢鸿波 周明天 (198)

计算科学的新领域：DNA计算（Ⅰ）李燕 (202)

集对分析理论及其应用研究进展蒋云良 徐从富 (205)

基于形式概念分析的领域本体构建方法研究黄美丽 刘宗田 (210)

一种粒子群算法的多样性策略研究王芳 雷开友 邱玉辉 (213)

一种求解tableau等式合一问题的算法刘全 孙吉贵 窦全胜 (216)

带测度函数的连通支配集问题马俊 朱洪 (220)

基于离散小波变换的Overcomplete ICA并行结构江宇闻 黄榕波 朱思铭 (223)

基于字符层马尔科夫模型的多语种识别冯冲 黄河燕 陈肇雄 张亮 (226)

基于软K段主曲线算法的字符特征提取研究及实现焦娜 迟呈英 苗夺谦 杨红 (229)

基于片段模式的多时间序列关联分析秦亮曦 刘新峰 史忠植 (232)

基于句子级的最大频繁序列的文本分类邹晶 冯剑琳 李曲 王元珍 (236)

具有输入知识的高维数据聚类算法研究吴红艳 王蔚韬 文俊浩 何光辉 (240)

有限维空间映射下SVM分类机的半正定核函数原峰山 朱思铭 (243)

提取文本流主题的神经网络新算法蒲晓蓉 叶茂 游明英 (246)

基于BP神经网络的属性匹配方法研究强保华 陈凌 余建桥 吴开贵 吴中福 (249)

一种基于有限自动机的渐变镜头检测算法佟子健 袁进辉 郑武杰 林福宗 张钹 (252)

静态图像压缩标准中的可分级编码技术王相海 (255)

改进的基于分解的子图同构算法张志祥 李庆华 罗建明 (260)

一种手绘草图的快速参数化方法王卫 尹建峰 孙正兴 (264)

基于BP神经网络的图像形状识别张华 张淼 刘魏 孟祥增 (269)

基于Bubble小波的多尺度边缘提取王侃伟 方宗德 (272)

基于小波多尺度变换和模糊聚类的图像边缘检测研究杨华千 张伟 韦鹏程 陈军 (274)

计算机断层扫描图像的剖切研究何江平 瞿中 (277)