论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报1999年第11期出版文献
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
分享
文章浏览
目录
-
1. 嵌套谓词等式系与弱互模拟刊名： 软件学报发表期刊： 1999年11期页码:摘要： 带赋值符号迁移图是一般传值进程的语义模型,其强互模拟等价可以归结为谓词等式系的最大解.该文将这一结果推广到弱互模拟等价,为此,引入嵌套谓词等式系的概念,并提出算法,将带赋值符号迁移图的弱互模...
-
刊名： 软件学报发表期刊： 1999年11期页码:摘要：
-
刊名： 软件学报发表期刊： 1999年11期页码:摘要： Agent作为一种受限的智能对象,对Agent的继承特性进行深入研究并将继承机制嵌入到AOP(agent-oriented programming)中则具有重要意义.文章基于BDI Agen...
-
刊名： 软件学报发表期刊： 1999年11期页码:摘要： 文章提出了一种基于并行流水线处理方式的多物化视图(materialized views)增量保持方法,即在先进行筛选的条件下,利用归类拓扑排序,将所有物化视图进行分类,使每一类中的视图之间没...
-
刊名： 软件学报发表期刊： 1999年11期页码:摘要： 预送作为主动cache,是cache机制由时间局部性向空间局部性的拓展.文章提出服务器主动预送的两种模式.基于单个URL的模式利用客户请求的马尔可夫链特征获取文档的时序相关模型,可进行多级预...
-
刊名： 软件学报发表期刊： 1999年11期页码:摘要： Internet/Intranet/WWW技术的日渐成熟以及资源、应用的日益丰富,为工作流管理系统的构造提供了一个理想的计算环境.在这种易于访问、无处不在的计算环境中,人们可以通过工作流管理...
-
刊名： 软件学报发表期刊： 1999年11期页码:摘要： 在分布式内存多处理机DMM(distributed memory multiprocessor)系统中,不同处理机上运行的任务之间的通信开销仍然很大,有时甚至抵消了多处理机并行所带来的好处....
-
刊名： 软件学报发表期刊： 1999年11期页码:摘要： 随着人机交互技术的发展,计算机和用户之间的接口越来越自然,但用户界面管理系统内部的复杂度却大大地增加了.目前提出的新一代用户界面的模型大都停留在概念模型阶段,缺乏对模型的严格描述和证明.该文...
-
9. 抽象事件的完备逻辑时钟刊名： 软件学报发表期刊： 1999年11期页码:摘要： 调试分布式应用系统要比调试顺序程序困难得多,原因之一是分布式应用系统要比顺序程序复杂得多.为了处理分布式应用系统的复杂性,提出了对分布式应用系统的事件进行抽象的调试方法,这种方法让用户从不同...
-
10. 一类树型知识库的更新算法刊名： 软件学报发表期刊： 1999年11期页码:摘要： 知识库的更新意即向知识库中添加新知识,同时为维护相容性而删除旧知识.已有的知识库更新方法在通常情况下都是难解的.该文从限制问题的结构出发,给出了一种当知识库对应的约束图为树时的多项式时间更新...
-
刊名： 软件学报发表期刊： 1999年11期页码:摘要： 文章用一种免疫进化规划来设计多层前馈神经网络.该免疫进化规划在保留传统进化规划的随机全局搜索能力的基础上,引进生物免疫中抗体通过浓度相互作用的机制和多样性保持机制.免疫进化规划的全局收敛性更...
-
12. 基于故障划分的并行测试生成算法刊名： 软件学报发表期刊： 1999年11期页码:摘要： 文章从理论上分析了提高基于故障划分的并行测试生成算法的加速比的途径.在此基础上,提出了把相关故障识别和最短路径敏化相结合的基于输出扇入锥的逆向故障划分方法BFPOC(backword fau...
-
刊名： 软件学报发表期刊： 1999年11期页码:摘要： 随着网络变得更加复杂和异构化,迫切需要利用计算机网络管理工具对它进行管理.该文提出了一种基于Web的网络智能管理模型.此模型采用历史数据模型作为存储网络管理信息模型,采用基于规则的智能控制和...
-
14. 启发式任务调度中的处理器选择策略刊名： 软件学报发表期刊： 1999年11期页码:摘要： 任务调度是并行分布计算中最为基本、最为关键,也最具有挑战性的问题之一,是影响并行分布计算执行效率的一个关键因素.现有的基于任务静态优先级的启发式任务调度方法都是以"当前任务具有最早起始执行时...
-
刊名： 软件学报发表期刊： 1999年11期页码:摘要： 该文利用三角Bzier曲面片的可分割性,解决了迭代收敛、初始交点计算等问题;通过近曲面点、边界点跨越等过程,实现了由一个初始交点将跨越许多曲面片的整条交线跟踪出来的设想.将各交点作为型值点插...
-
刊名： 软件学报发表期刊： 1999年11期页码:摘要： 该文针对Rough Set理论中属性约简和值约简这两个重要问题进行了研究,提出了一种借助于可辨识矩阵(discernibility matrix)和数学逻辑运算得到最佳属性约简的新方法.同时...
-
刊名： 软件学报发表期刊： 1999年11期页码:摘要： 文章研究并实现了汉语连续语音中的音节自动切分算法--基于归并的音节切分自动机(merging-based syllable detection automaton,简称MBSDA)算法.MB...
-
18. 一种鲁棒性的结构未知表格分析方法刊名： 软件学报发表期刊： 1999年11期页码:摘要： 模型未知表格的分析是表格识别中文本分析阶段的一个重要且具有挑战性的问题.目前的一般方法仅能容忍表格线的微小断线.文章提出一种基于抽取表格线的分析结构未知表格的策略.利用抽取的表格线的特征知识...
-
19. 连续属性空间上的规则学习算法刊名： 软件学报发表期刊： 1999年11期页码:摘要： 文章研究连续属性空间上的规则学习算法.首先简述了研究连续属性空间上的规则学习算法的目的和意义,并将规则学习理论中的一些基本概念推广到连续属性空间.在此基础上,研究了连续属性空间离散化问题,证...
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
chi
|
| ISSN | 1000-9825 | CN | 11-2560/TP |
| 邮编 | 100190 | 电子邮箱 | jos@iscas.ac.cn |
| 电话 | 010-62562563 | 网址 | www.jos.org.cn |
| 地址 | 北京8718信箱 |
软件学报评价信息
该刊被以下数据库收录
| 1. | 中国科学引文数据库 |
| 2. | 工程索引(美) |
| 3. | 日本科学技术振兴机构数据库(日) |
| 4. | 文摘杂志(俄) |
| 5. | 科学文摘(英) |
| 6. | 中国科技论文统计与引文分析数据库 |
期刊荣誉
| 1. | 百种中国杰出学术刊物 |
软件学报统计分析
被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
- 期刊分类
- 最新期刊
- 期刊推荐
- 相关期刊
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
办公自动化(学术版)
兵工自动化
办公自动化
智能制造
传动技术
传感技术学报
传感器与微系统
传感器世界
测控技术
CT理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
