计算机科学

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

获奖情况

重庆市优秀期刊

中文核心期刊

中国期刊方阵双效期刊

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

无

逻辑马尔可夫决策编程和关系马尔可夫决策编程若干最新进展王蓁蓁 邢汉承 张志政 倪庆剑 (1)

多核处理器体系结构软件仿真技术：研究综述喻之斌 金海 (8)

普适计算环境下服务发现问题的研究与进展徐文拴 辛运帏 卢桂章 (14)

基于策略的安全管理系统中一种基于标签的策略协作机制姚前 陈舜 谢立 (19)

计算机网络与信息技术

Ad Hoc无线网络跨层设计综述卢先领 孙亚民 周灵 于继民 (24)

Ad Hoc网络的多路由协议模型崔国华 卢社阶 陈晶 刘志远 (27)

基于描述逻辑的语义P2P网络构架及资源定位卢正鼎 孙小林 李瑞轩 文坤梅 (33)

一种光传送网分层结构及其业务量疏导优化模型苏扬 徐展琦 刘增基 (36)

大规模网络中IP流流速分析吴桦 周明中 龚俭 (40)

一种基于包排队方式的网络路径可用带宽探测方法朱尚明 高大启 庄新华 (48)

信道估计误差下多用户MIMO／OFDM下行系统自适应传输韩锋 刘应状 朱光喜 卢小峰 (52)

一种基于排队论的新型直放站监控机制研究罗光春 卢显良 (56)

基于分集增益与能量增益的多用户分集性能研究郭金淮 赵雄伟 徐晓建 于宏毅 (59)

层次网络仿真系统设计与实现邱节 王成良 (62)

传感器网络中协作任务的实时调度胡侃 刘云生 (65)

无线自组网的拓扑控制策略研究进展王方伟 张运凯 丁振国 马建峰 (70)

计算机主机及网络脆弱性量化评估研究夏阳 陆余良 (74)

SPI演算规范的建模、实现验证研究徐东红 齐勇 侯迪 (80)

WAPI协议的可用性分析与改进铁满霞 李建东 王育民 (84)

一种新的移动Ad hoc网络安全路由协议刘晶 伏飞 肖军模 (88)

IEEE802．11中站点MAC协议的分析与初步实现卢佳 杨士中 (90)

隐通道传递信息机理的研究刘志锋 鞠时光 王昌达 周从华 (92)

基于串空间和状态转换的认证协议分析方法邓淼磊 邱罡 周利华 (96)

基于认证测试的一种安全协议一致性分析方法周清雷 王峰 赵东明 (99)

认证测试方法在应用中出现的问题及改进李晓乐 董荣胜 郭云川 (103)

一种基于多变换的LSB隐写算法徐江峰 李昊 杨有 (106)

基于GDH群可证安全的门限签名方案彭长根 张晓培 李祥 罗文俊 (110)

一种基于数字加密与信息隐藏的电子签名技术改进方案周启海 黄涛 张乐 (112)

基于身份的无线传感器网络密钥系统程宏兵 费国臻 (116)

基于协议状态有限机的系统扫描检测算法邓一贵 王康 邱全杰 (120)

面向资源融合网格的数据语义框架庞雄文 齐德昱 李拥军 (124)

一种异构数据源模型转换和模式集成框架王博 郭波 (129)

基于页面标签的Web结构化数据抽取任仲晟 薛永生 (133)

XML流上的XQuery前缀共享查询孙东海 张昱 吴晓勇 (137)

BWMMS元数据分布信息缓存管理杨德志 许鲁 张建刚 (143)

一种基于对象存储系统的元数据缓存实现方法周功业 吴伟杰 陈进才 (146)

空间数据库管理系统VISTA的强制访问控制设计施化吉 李星毅 邵学军 鞠时光 (149)

一个基于逻辑的存取控制模型阮宏一 彭智勇 雷建军 (152)

一个XML数据库强制访问控制模型冯学斌 洪帆 (155)

一个Web服务访问控制模型韩涛 郭荷清 高英 李冬 刘壮 (159)

基于有色Petri网的工作流阶段性调度肖志娇 常会友 (162)

人工智能及图像处理技术

本体映射框架的设计郑丽萍 李光耀 梁永全 (166)

模糊情感分析及其在E-learning系统中的应用解迎刚 王志良 平安 永井正武 (168)

一种移除所有皇冠的扩展NT算法常乐 王建新 陈建二 (173)

格子模型中蛋白质折叠的有效运动集李小妹 (177)

基于TSP问题的蚁群算法综述郭平 鄢文晋 (181)

基于三角模的Vague粗糙集研究梁家荣 (185)

从数据挖掘到机会／征兆发现张振亚 程红梅 王煦法 (188)

一种基于主成分分析的异常点挖掘方法王洪春 彭宏 (192)

集群环境下的并行聚类算法之研究周兵 冯中慧 王和兴 (195)

孤立点检测算法及其在数据流挖掘中的可用性孙云 李舟军 陈火旺 (200)

基于泛组合运算的分类器融合林卫 何华灿 贾澎涛 (204)

一种不一致不完备信息系统的最优选择及规则约简方法研究伏明兰 曾黄麟 (208)

大规模数据集下支持向量机训练样本的缩减策略罗瑜 易文德 王丹琛 何大可 (211)

面向层次类型变量的相异度量及其聚类分析杨培颖 王大玲 于戈 陈冬玲 (214)

利用遗传算法解决非线性系统优化问题李献礼 (217)

集合多覆盖问题的乘性权重更新分析崔鹏 钱丽艳 (219)

基于仿射参数估计的迭代点匹配算法谭志国 孙即祥 滕书华 (221)

从文档集推导html标签影响因子的算法邓剑勋 邢永康 (226)

基于粗糙集的个性化Web搜索系统时雷 席磊 段其国 (228)

多Agent系统通信设施的设计与实现游明英 李益才 彭军 (230)

基于人工智能和人工生命的计算机动画张淑军 班晓娟 陈勇 陈戈 (233)

基于物理模型的水波动画秦培煜 陈传波 解洪涛 夏晖 吕泽华 (238)

基于局部方差和DCT变换的混合分形图像编码算法周一鸣 张超 张曾科 (241)

一种具有跟踪外观变化目标能力的均值漂移算法左军毅 赵春晖 梁彦 潘泉 张洪才 (244)

基于函数约束的Bezier曲线在刺绣CAD系统中的应用李荣平 罗俊杰 王崇骏 陈世福 (247)

具备上下文依赖及鲁棒性的视频水印算法田捷 张新访 王同洋 吴俊军 程明 (250)

TURBO码在数字水印鲁棒算法中的应用胡艳维 秦拯 (254)

软件工程

基于可信计算的终端安全体系结构研究与进展刘威鹏 胡俊 方艳湘 沈昌祥 (257)

基于UML状态图的测试技术研究章涛 顾庆 陈道蓄 (264)

采用动态描述逻辑实现UML状态图特性检测刘亚军 康建初 吕卫锋 (268)

USDP分析设计中基于排队网络模型的软件性能预测方法徐忠富 陈永光 杨建华 彭珲 (272)

基于组件的软件系统自动化测试研究赵再军 (278)

基于本体的软件测试知识管理模型研究赫建营 晏海华 刘超 (281)

一种并行可复原可信启动过程的设计与实现谭良 周明天 (284)

计算机辅助审计技术（CAATs）研究综述陈伟 张金城 QIU Ro-Bin (290)

基于本体技术构建的协同式网络课件编辑系统程静 邱玉辉 杨明 (295)

一种基于FPGA高集成化的直接数字频率合成系统的设计王庆东 谢长生 王海卫 (299)

多核、多线程处理器的低功耗设计技术研究张骏 樊晓桠 刘松鹤 (301)

RSA模乘器硬件优化设计吴东锋 李华 周瑛 (306)

信息安全风险模块化层次评估方法研究黄勤 张月琴 刘益良 (309)