|
|
 |
| 软件学报 | | Journal of Software | | 主办： 中国科学院软件研究所 | | 周期： 月刊 | | 出版地：北京市 | | 语种： 中文 | | 开本： 16开 |
ISSN 1000-9825 | | CN 11-2560/TP | | 邮发代号 82-367 | | 创刊年：1990 | | 中国期刊方阵来源刊 | | 中国期刊网来源刊 | | 2004版核心期刊 | |
|
 |
 |
同类杂志推荐 |
|
 |
|
 |
|
 |
| 2003年04期 |
| 目 录 |
 | 基于时序逻辑的软件体系结构描述语言XYZ/ADL
A Temporal Logic-Based Software Architecture Description Language XYZ/ADL | | 朱雪阳,唐稚松 | | ABC:基于体系结构、面向构件的软件开发方法
ABC: An Architecture Based, Component Oriented Approach to Software Development | | 梅宏,陈锋,冯耀东,杨杰 | | 基于情境演算的智能体结构
An Agent Architecture Based on Situation Calculus | | 李斌,吕建,朱梧槚 | | 面向Java的分布式程序测试系统
A Java-Oriented Distributed Program Testing System | | 顾庆,陈道蓄,谢立,孙钟秀 | | UMLStatecharts的模型检验方法
An Approach of Model Checking UML Statecharts | | 董威,王戟,齐治昌 | | 一种基于扩展任务结构的工作流实例迁移方法(英文)
A Workflow Instance Migration Approach Based on the Extended-Task-Structures | | 周明天,王敏毅,姚绍文 | | 输入输出均为时变函数的过程神经网络及应用
Process Neural Network with Time-Varied Input and Output Functions and Its Applications | | 何新贵,许少华 | | 模糊商空间理论(模糊粒度计算方法)
Theory of Fuzzy Quotient Space (Methods of Fuzzy Granular Computing) | | 张铃,张钹 | | 空间区域拓扑关系分析方法综述
A Survey of Analysis Methods of Topological Relations Between Spatial Regions | | 虞强源
,刘大有
,谢琦 | | 基于奇异值分解和判别式KL投影的人脸识别
Face Recognition Based on Singular Value Decomposition and Discriminant KL Projection | | 周德龙,高文,赵德斌 | | 分层点云的分段化(英文)
Segmentation from Stratified Range Image | | 汪嘉业,张彩明,杨兴强,李悦 | | 基于支持向量机的入侵检测系统
An Intrusion Detection System Based on Support Vector Machine | | 饶鲜,董春曦,杨绍全 | | 真实感人脸建模研究的进展与展望
Development and Prospect on Realistic Facial Modeling | | 徐琳,袁保宗,高文 | | 水平集演化中的奇点与改进的窄带算法
Singular Points in Level Set Evolution and Revised Narrow Banding Algorithm | | 于洪川,王德军,唐泽圣,唐龙 | | 动态骨架算法
A Dynamic Approach to Skeletonization | | 车武军,杨勋年,汪国昭 | | B-样条函数极小曲面造型
Approximating to Nonparameterzied Minimal Surface with B-Spline Surface | | 满家巨,汪国昭 | | 在任意拓扑三角形网格上的光滑样条曲面(英文)
Smooth Spline Surfaces over Arbitrary Topological Triangular Meshes | | 冯仁忠,王仁宏 | | 散乱分布数据曲面重构的光顺-有限元方法
A Smoothing-Finite Element Method for Surface Reconstruction from Arbitrary Scattered Data | | 蔡中义,李明哲 | | 一个有效的多边形裁剪算法
An Efficient Algorithm for Polygon Clipping | | 刘勇奎,高云,黄有群 | | 基于超图聚类的故事单元的抽取与分析
Extraction and Analysis of Story Unit Based on Clustering of Hyper-Graph | | 樊昀,王润生 | | 一种分形彩色图像压缩编码方法
A Color Image Fractal Compression Coding Method | | 焦华龙,陈刚 |
 |
往期检索 |
 |
共194期 |
|