论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2000年出版文献
出版文献量（篇）
5820
总下载数（次）
36
出版文献量（篇）
5820
总下载数（次）
36
分享
文章浏览
目录
-
刊名： 软件学报发表期刊： 2000年8期页码:摘要：
-
152. 基于事件约束的分布式程序正确性测试刊名： 软件学报发表期刊： 2000年8期页码:摘要： 由于并发的存在和不确定性,在以规约为基础来测试分布式程序的正确性时,必须考虑程序执行时的内部状态.这些内部状态通过端口显示为事件序列,程序规约需要对序列中各事件间的依赖关系作约定,即定义事件...
-
153. 一种从面向对象Z规约到代码的精化演算方法刊名： 软件学报发表期刊： 2000年8期页码:摘要： COOZ(complete object-oriented Z)的优势在于精确描述大型程序的规约.COOZ本身的结构不支持精化演算,这限制了COOZ的应用能力,使COOZ难以作为完整的方法应...
-
154. 基于主动连接件的软件体系结构及其描述方法刊名： 软件学报发表期刊： 2000年8期页码:摘要： 连接件是软件体系结构描述中的重要概念.该文在连接件中引入引擎机制,使其在与相关组件连接的过程中成为运行活动的触发元素,而且在目标系统实现中转化为可见的组成部分,这种连接件称作主动连接件.文章...
-
155. 一个面向分布式程序的测试系统框架刊名： 软件学报发表期刊： 2000年8期页码:摘要： 提出了一个面向分布式程序的测试系统框架TFDS(test system framework for distributed software system),并介绍了它在异构网络中的一个实现...
-
156. Mogent系统的通信机制刊名： 软件学报发表期刊： 2000年8期页码:摘要： 移动agent技术是新型软件构件框架的基础技术之一,而通信机制是其重要的组成部分.该文结合移动agent系统Mogent(mobile agent)平台的研制,在分析了agent的移动特性对...
-
157. 基于重写技术的程序开发与验证刊名： 软件学报发表期刊： 2000年8期页码:摘要： 完整地介绍了一个基于重写技术的程序开发和验证系统,重点展示验证子系统的理论、方法和技术.验证子系统使得系统能自动证明程序和规范中的优化规则及测试等式,从而进一步保证程序开发过程的正确性.验证...
-
158. 基于程序窗口推理的精化演算刊名： 软件学报发表期刊： 2000年8期页码:摘要： 由于数据精化需要针对更大的程序块, 所以,它比一般的算法精化更加复杂.在精化演算中过程如何有效地进行数据精化是形式化方法研究中的一个重要内容.该文介绍了相关的基本概念.在精化演算的基础上,构...
-
159. 基于框架和角色模型的软件体系结构规约刊名： 软件学报发表期刊： 2000年8期页码:摘要： 软件体系结构的使用是提高软件质量、减少软件开销和促进软件生产率提高的最有效方法之一.该文提出一种基于面向对象框架和角色模型的软件体系结构规约方法,该方法把体系结构基本元素作为首要的规约对象....
-
160. 基于虚拟机的并行体绘制刊名： 软件学报发表期刊： 2000年8期页码:摘要： 介绍了一种基于并行虚拟机结构的体绘制算法.该算法以切片为单位来划分和组织体数据,既降低了通信代价,也保证了各子任务的数据局部性.在任务分配时,维护并使用性能指数数据库,自适应式地确定各个子任...
-
161. 前馈网络的一种超线性收敛BP学习算法刊名： 软件学报发表期刊： 2000年8期页码:摘要： 分析传统BP算法存在的缺点,并针对这些缺点提出一种改进的BP学习算法.证明该算法在一定条件下是超线性收敛的,并且该算法能够克服传统BP算法的某些弊端,算法的计算复杂度与简单BP算法是同阶的....
-
刊名： 软件学报发表期刊： 2000年8期页码:摘要： 机群系统静态任务调度是NP-完全问题,通常的算法是通过一些启发式算法得到多项式次优解.该文提出的图解-子图重构算法实现了对分布在有向无环图(directed acyclic graph, 简...
-
刊名： 软件学报发表期刊： 2000年8期页码:摘要： 研究了在集成服务用于用户子网和区分服务结构用于主干网时,为保证服务质量而进行服务映射的问题.基于已有的分类方法,建立了应用类与集成服务(integrated service,简称 IS)类、...
-
164. 基于遗传算法的二叉树画树算法刊名： 软件学报发表期刊： 2000年8期页码:摘要： 用遗传算法设计了一种通用二叉树画树算法框架.在该框架下,可以根据应用的不同,通过设计反映美观标准的不同目标函数来得到不同的画树算法,而且容易添加或减少美观标准以适应不同用户的需要.与以前的算...
-
165. BDI Agent解释器的研究和改进刊名： 软件学报发表期刊： 2000年8期页码:摘要： 现有的"信念-愿望-意向(BDI)"Agent系统将它的3个主要心智状态(信念、愿望、意向) 作为数据结构而不是模态算子来使用,导致信念-愿望-意向Agent的研究在理论和实践之间存在较大的...
-
166. 用于口型识别的实时唇定位方法刊名： 软件学报发表期刊： 2000年8期页码:摘要： 在许多应用于有噪声环境下的语音识别系统中,唇读技术能有效地降低噪声的影响,通过视觉通道来补充仅取决于听觉通道的信息量,从而提高语音识别系统的识别率.该文提出了一种有效和稳健的唇定位跟踪方法,...
-
167. 部分密钥托管的监听体制刊名： 软件学报发表期刊： 2000年8期页码:摘要： 在(部分)密钥托管中,监听阶段是一龉丶锥?因此,如何安全而有效地实施监听是一个重要的问题.按照以前的监听方案,用户被监听后,他的整个私钥就暴露了.这对于诚实守法的用户来说是不公平的.该文提...
-
刊名： 软件学报发表期刊： 2000年9期页码:摘要：
-
刊名： 软件学报发表期刊： 2000年9期页码:摘要：
-
刊名： 软件学报发表期刊： 2000年9期页码:摘要： 提出一个新的方法来产生脸部动画,即利用动作撷取系统捕捉真人脸上的细微动作,再将动态资料用来驱动脸部模型产生动画.首先,OXfor Metrics'VICON8系统,在真人的脸上贴了23全反光...
-
171. 用连杆机构几何约束求解刊名： 软件学报发表期刊： 2000年9期页码:摘要： 在这篇文章里,我们引入连杆机构作为新的工具,且证明这是完备的,也就是说,所有能构造性描述的图形能被连杆机构作出,这一类包括了所有只含距离约束的约束问题.作为一个应用,我们说明了超出Owen和...
-
172. 虚拟动作绘画的互动三维画布刊名： 软件学报发表期刊： 2000年9期页码:摘要： 传统油彩艺术多在纸张、画布、墙壁或任何质料制成的物件表面上作业.将油彩艺术带进电脑虚拟现实的三维空间里是一突破性的试验.美国著名画家Jackson Pollock激发了"动作绘画"的意念,以...
-
173. 增量几何压缩刊名： 软件学报发表期刊： 2000年9期页码:摘要： 提出了一个几何压缩算法,用以节省三角网格模型存储和传输时间.它首先递归地以区域扩张方式将模型分解为一系列的层结构,利用层间的连贯性以及对层结构的有效编码,实现了高效的拓扑压缩.同时,还设计了...
-
174. 一种基于动直线的多幅图像分存方法刊名： 软件学报发表期刊： 2000年9期页码:摘要： Shamir给出了一种基于拉格朗日插值的密码学分存方案,该文将其思想引入到图像信息安全处理当中,提出了用动直线进行多幅图像分存的方法,并阐述了这一算法的数学基础.此外,在进行图像分存时考虑了...
-
175. 基于分形维数的地表模型多分辨率动态绘制刊名： 软件学报发表期刊： 2000年9期页码:摘要： 以基于分形维数的树状结构组织三维地表网格模型,实现了与视点相关的连续多分辨率地表模型简化及实时绘制.算法分为预处理和实时绘制两个阶段.在预处理阶段,通过分形维数评价地表的复杂度,建立自适应的...
-
176. 子分曲面尖锐特征生成刊名： 软件学报发表期刊： 2000年9期页码:摘要： 虽然生成光滑曲面是自由曲面造型的一个主要追求目标,但在某些场合却又要求能够产生非光滑的特殊效果,即所谓的尖锐特征(sharp feature).该文研究子分曲面造型中特殊效果的生成,提出一种...
-
177. 基于种子段的方向无关的直线矢量化方法刊名： 软件学报发表期刊： 2000年9期页码:摘要： 准确而高效的矢量化是工程图纸理解的基础.现有方法普遍存在3个不足:(1) 通过中心点链拟合生成线段的计算量大;(2) 相交或噪音的影响将一条完整的直线先分段矢量化,然后再拼接起来,需要大量遍...
-
刊名： 软件学报发表期刊： 2000年9期页码:摘要： 研究了两端点具有任意阶插值条件的Bézier曲线降多阶逼近的问题.对于给定的首末端点的各阶插值条件,给出了一种新的一次降多阶逼近算法,应用Chebyshev多项式逼近理论达到了满足端点插值条...
-
179. 一种基于视觉约束的当前视点画面生成方法刊名： 软件学报发表期刊： 2000年9期页码:摘要： 由于视点变化中画面可见性的变化以及在当前视点物体表面的扩张,仅由一幅带深度的源参考图像的三维重投影所得到的目标视点画面存在空洞问题.为此,人们采取多源参考图像的合成方法来解决此问题.如何从具...
-
180. 基于任意骨架的隐式曲面造型技术刊名： 软件学报发表期刊： 2000年9期页码:摘要： 给出了一个新的基于任意多面体网格骨架的构造性自由曲面造型算法.算法首先由每个给定骨架构造出一个距离场,然后利用隐函数光滑过渡技术和CSG(constructive solid geometr...
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
