计算机科学

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

获奖情况

重庆市优秀期刊

中文核心期刊

中国期刊方阵双效期刊

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

无

三维网格压缩方法综述蔡苏 赵沁平 (1)

综述：关于IPv6安全性问题的研究陆音 石进 黄皓 谢立 (5)

基于逻辑框架LF的语义性质之验证庞建民 赵荣彩 王怀民 (12)

Petri网共享子网合成及其在系统设计中的应用夏传良 徐进 (17)

计算机网络与信息技术

超宽带下无线Ad Hoc网络容量的理论研究戴沁芸 胡修林 张蕴玉 (22)

Ad Hoc网络自定位算法研究王贻民 戴冠中 张治 慕德俊 (26)

基于拓扑维护的自适应多信道Ad Hoc路由协议任智 郭伟 周懿 (32)

移动Ad Hoc网络MAC协议研究何敏 刘心松 赵东风 (35)

基于跨层协同设计的Ad Hoc按需定向路由算法任智 郭伟 刘军 蒋艳 (39)

一种移动自组网混合式功率路由协议熊建军 李春生 王青山 许胤龙 (43)

自组网中关闭节点射频节省能量技术研究李东生 向勇 史美林 (46)

一个基于增强学习算法的路由模型张志坚 刘惟一 (49)

移动互联网访问控制支持移动感知的研究李军 王淼 张瀚文 叶新铭 (52)

基于网格的流媒体服务QoS管理框架及实现邱建林 陶烨 陆桑璐 陈道蓄 (56)

基于QoWS的Web服务评估算法韩涛 郭荷清 高英 (60)

一种适合在无线传感网络中传输实时业务的区分服务方案朱小松 陈敏 (63)

一种综合IP层和WDM层资源的光网络动态路由优化模型及其性能研究苏扬 徐展琦 刘增基 (70)

无线传感器网络洪泛路由研究李炯 汪文勇 潘家根 (74)

一种按需确认的TCP协议改进算法易发胜 夏梦芹 李巧勤 曾家智 (77)

IPv6中Anycast的一种加权通信模型王晓喃 钱焕延 (81)

一种基于JXTA的协同工作P2P系统孟波 马勇 张玉清 (84)

基于对象存储系统的动态负载均衡算法覃灵军 冯丹 曾令仿 刘群 (88)

SIP-H．323信令网关的研究与实现陈蕾 李华 陈晓铭 (92)

基于S3C4510B的嵌入式实验室网关基本系统设计张耀丹 曾孝平 王红霞 (95)

审计缓冲区的形式化模型及其验证丁志军 刘海峰 蒋昌俊 (98)

基于SSL的P2P安全通信模型王涛 卢显良 段翰聪 (104)

一种基于后缀数组聚类（SAC）的中文垃圾邮件过滤方法李翔鹰 陈钟 唐礼勇 李欣 (107)

基于NB的双级分类模型在邮件过滤中的研究惠孛 吴跃 陈佳 (110)

网络安全联动模型的设计与应用潘炜 李伟华 (113)

基于规则的IDS中的CBR研究李玲娟 王汝传 (117)

基于LUC一般访问结构上的秘密共享方案及其安全性庞辽军 李慧贤 王育民 (121)

Montgomery逆算法的改进和应用邓锐 周玉洁 (124)

基于Petri网的Web服务组合建模陈丁剑 吴健 马满福 胡正国 (128)

面向企业间集成的Web服务规范化设计方法王忠杰 徐晓飞 战德臣 (131)

MVC模式在Web应用中的一种实现谢珩 吴多益 卢最良 宋杰 (136)

基于资源树的网格资源遍历并行实现华安 曾国荪 (139)

高维空间数据索引结构分析研究古毅 吴中福 魏丽 钟将 马金亮 (142)

基于GridFTP的数据传输设计与实现应宏 李梦蛟 刘福明 钟静 鄢沛 (146)

嵌入式SQL中动态SQL技术的研究晏庆 阳国贵 陈宏盛 景宁 (148)

Client／Server数据库模型下的并发控制与恢复技术邢建英 张艳 李舟军 (152)

空间数据库中约束K最接近对查询刘小峰 刘云生 肖迎元 (156)

基于UML-Statecharts的工作流控制结构的验证陆公正 戎玫 张广泉 (159)

数据流变化的检测聂国梁 卢正鼎 (162)

地理信息系统中地图无级漫游的实现方法之研究陈雪龙 王延章 许永涛 (166)

哼唱检索中一种新颖有效的哼唱信息处理方法马志欣 周利华 (169)

人工智能及图像处理

HNC理论的语句格式的新进展缪建明 张全 (173)

面向KDD的粒度计算建模研究蒙祖强 蔡自兴 (178)

带障碍的空间分级聚类算法周丽华 王丽珍 陈克平 (182)

空间孤立点检测文俊浩 吴中福 吴红艳 (186)

具有动态调节功能的Fisherface方法王卫东 郑宇杰 杨静宇 (188)

解析中心机ACM收敛性的研究朱嘉钢 王士同 (191)

Vague集的相似度量闫德勤 (195)

再论Vague集间的相似度量公式张福金 王鸿绪 (197)

前向Beam搜索粗糙集属性约简算法杨胜 施鹏飞 (200)

知识标记与自动推理Web服务的研究王家兵 张军 彭宏 (205)

基于Web的中文开放式问题回答系统林旭东 彭宏 郑启伦 陈绍坚 (211)

倒立摆系统稳定控制之研究刘丽 何华灿 (214)

一个基于语言变量认知流的认知建模方法黄向阳 尹怡欣 曾广平 涂序彦 (220)

知识网格环境下基于TMs的协同认知刘茜萍 窦万春, 蔡士杰 WANG Jie 孙娟 (222)

Domino／Notes的知识管理与OAS的融合研究宋贤钧 (227)

实现态势估计的一种模板匹配算法李伟生 王宝树 (229)

多机Flow Shop加权完成时间调度问题的渐近最优算法研究古春生 陈华平 卢冰原 谷峰 (231)

一种求解矩形块装填问题的拟人算法陈端兵 黄文奇 (234)

感知归类在目标识别中的应用研究魏丽 吴中福 李云 古毅 (238)

决策树中数值型属性分裂的研究刘友军 汪林林 (241)

基于三维空间的概念格自动布局马骏 沈夏炯 刘宗田 (244)

基于CB样条曲线的空间物体三维重建赵颜利 郭成昊 王湛 刘凤玉 (247)

基于小波突出点颜色及空间分布的图像检索算法曾智勇 周利华 (250)

静态人脸识别的一种协同学方法温万惠 刘光远 (253)

一种适合Web图像检索的图像降维算法研究鲁珂 赵继东 曾家智 (255)

一种快速的基于边缘的道路检测算法杨文杰 胡明昊 杨静宇 (257)

一种基于累计角度偏差的圆弧拟合方法周翔 王崇骏 伍静 陈世福 (261)

非单调变化区间插值曲线的实现方法陈应祖 刘玉娟 彭军 (264)

软件工程

语义相关的中粒度动态更新技术研究杨沙洲 杨学军 (267)

面向线程级前瞻的线程划分方法浅析鲁建壮 王志英 张春元 (270)

SMPED：一种新型高性能服务器体系结构任立勇 卢显良 韩宏 侯孟书 (273)

嵌入式实时系统容错集成技术的研究黎忠文 (277)

一种可扩展的构件库数据模型李琰 邹艳珍 潘颖 谢冰 孙家骕 (282)

Petri网性质的线性时序逻辑描述与Spin检验段风琴 李祥 (287)

支持共享和复用的测试用例库系统的设计路晓丽 葛玮 陈新丽 郝克刚 (290)

JAC技术实现生产者-消费者问题朱红 殷兆麟 (292)