论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2001年第9期出版文献
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
分享
文章浏览
目录
-
刊名： 软件学报发表期刊： 2001年9期页码:摘要： 析取信息的表示是一个重要的研究问题.DCWA(析取封闭假设)为一般演绎数据库提供了一种谨慎语义,并且扩充了标准的良基语义.同时DCWA支持争论推理,为广义封闭世界假设提供了一种逼近.基于此,...
-
刊名： 软件学报发表期刊： 2001年9期页码:摘要： 提出一种结合视觉、声音、文字等多种模式信息自动解析新闻视频的方法,并对音频特征的提取以及综合多种模式信息解析新闻视频的算法进行了详细的探讨.多种模式信息的使用有效地弥补了仅基于图像分析技术分...
-
3. 函数式逻辑语言的操作语义刊名： 软件学报发表期刊： 2001年9期页码:摘要： 函数式语言和逻辑语言在下列意义上是互补的,基于归约的函数式程序设计语言具有确定和懒惰求解等性质.但同时它又缺少诸如存在量化的变量以及部分数据结构等所希望的性质.相反,基于HORN子句逻辑和消...
-
刊名： 软件学报发表期刊： 2001年9期页码:摘要： 提出了基于层次DCT变换的嵌入式零树编码方法.尽管嵌入式零树编码方法首先使用于小波变换,但结合层次DCT结构,基于DCT的嵌入式零树编码方法依然可以取得很好的压缩效果.层次DCT首先将输入图...
-
5. 对象系统的组合交互计算刊名： 软件学报发表期刊： 2001年9期页码:摘要： 对象系统的计算是一个开放的、动态并发交互的过程,由系统与外部环境的动态交互以及系统内部各组件间的协同工作来完成.对象系统的行为变化是系统内、外因有机统一的具体表征,因此不能把对象系统的静态组...
-
6. 一种新颖的水印密钥系统刊名： 软件学报发表期刊： 2001年9期页码:摘要： 水印技术作为一种有效的信息隐藏方法,发展得非常迅速.大部分水印系统都只具有一把私钥,而且不能公开,但是在某些应用中需要公钥来恢复水印.如何保证公钥的产生不会影响私钥的性能,是水印密钥系统的关...
-
刊名： 软件学报发表期刊： 2001年9期页码:摘要： 给出了一类非对称选择网(asymmetric choice net,简称AC网),扩展了强化非对称选择网结构活的充分必要条件,证明了扩展强化非对称选择网如果是结构活的,其标识的活性是可判定的...
-
刊名： 软件学报发表期刊： 2001年9期页码:摘要： 提出了一种新的形式化分析方法,可用于分析电子商务协议.与Kailar逻辑相比,它有3个优点:(1) 能够有效地分析协议的公平性,在进行公平性分析时充分考虑了通信信道的可靠性;(2) 初始化拥...
-
刊名： 软件学报发表期刊： 2001年9期页码:摘要： 归纳了ORDBMS(object-relational database management system)主动性规则的一般描述形式,对规则各种语义、规则继承、规则操作、多规则触发以及规则...
-
刊名： 软件学报发表期刊： 2001年9期页码:摘要： 人类文化遗产的数字化应用是数字图书馆计划的重要组成部分.目前,数字化手书中文古籍尚缺乏有效的内容检索手段.提出了一种基于视觉相似性的计算机古籍内容检索方法,研制出关键支撑技术.该方法提取视觉...
-
刊名： 软件学报发表期刊： 2001年9期页码:摘要： 提出了公钥基础设施(public key infrastructure,简称PKI)中证书吊销问题的一个新的解决方案--线索二叉排序Hash树(certificate revocation ...
-
刊名： 软件学报发表期刊： 2001年9期页码:摘要： 软件复用和基于构件的软件开发是软件工程化开发和工业化生产的必然趋势,可复用构件的制作和集成组装是其中涉及的两个重要活动.首先分析了现有的构件集成方式所存在的不足,引出了基于体系结构的构件集成...
-
13. 基于状态和变化的统一时空数据模型刊名： 软件学报发表期刊： 2001年9期页码:摘要： 提出了一个基于状态和变化的统一时空数据模型SCUDM(state and change based unified spatio-temporial data model).时空数据库的状态...
-
刊名： 软件学报发表期刊： 2001年9期页码:摘要： 首先建立了一种多Agent信念逻辑MBL(multi-agent belief logic),在经典信念逻辑基础上增加了普遍信念算子和公共信念算子,给出MBL的Kripke语义与广义Auma...
-
刊名： 软件学报发表期刊： 2001年9期页码:摘要： 提出了一种能够精确描述入侵检测技术的综合分类方法,针对多管理域环境设计了一个分布式协同入侵检测系统(distributed cooperative intrusion detection s...
-
刊名： 软件学报发表期刊： 2001年9期页码:摘要： 现场集装箱装载问题多为多目标、多约束优化的复杂问题.遗传算法本身的鲁棒性、并行搜索性以及在NP完全问题求解中的广泛应用,表明遗传算法是解决复杂集装箱装载问题的有效途径.探讨了遗传算法在求解这...
-
刊名： 软件学报发表期刊： 2001年9期页码:摘要： WWW上的信息极大丰富,如何从巨量的信息中有效地发现有用的信息,是亟待解决的问题,而Web网页的正确分类正是其中的核心问题.针对超文本结构中的结构特征,提出了用Naive Bayes方法协调...
-
刊名： 软件学报发表期刊： 2001年9期页码:摘要： 如何高效地处理说明性查询语言中嵌入的用户自定义函数,是查询优化的一个重要内容.以往的研究成果不能处理一条语句中的多个用户函数,并且难以实现.提出了分3个阶段进行优化的方案,能够对用户定义的多...
-
刊名： 软件学报发表期刊： 2001年9期页码:摘要： 电脑刺绣机的发明导致了传统刺绣工业的革命,因此各种电脑刺绣编程(打版)系统应运而生.但是,目前的编程系统均缺少智能,自动化程度低,从而导致产品质量差和制造效率低.为了克服上述缺点,研制了一个...
-
20. 基于对数模型的词义自动消歧刊名： 软件学报发表期刊： 2001年9期页码:摘要： 提出了一种对数模型(logarithm model,简称LM),构造了一个词义自动消歧系统LM-WSD(word sense disambiguation based on logarith...
-
刊名： 软件学报发表期刊： 2001年9期页码:摘要： 平滑、流畅的语音交流是当前高性能视频会议系统追求的主要目标之一.为此,提出并实现了一种基于分组网络的多点实时语音混合及调度算法.调度算法采用了排队模型分析、多点语音流的同步控制、数据预取以及...
-
22. 最大熵阈值处理算法刊名： 软件学报发表期刊： 2001年9期页码:摘要： 阈值法是图像分割的一种重要方法,在图像处理与识别中广为应用.提出了一种基于灰度-梯度共生矩阵模型和最大熵原理的自动阈值化方法.该方法不仅利用了图像的灰度信息,而且也利用了梯度信息,通过计算基...
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
