期刊封面
月刊  1990
期刊信息
主管单位:中国科学院
主编:李明树
ISSN:1000-9825
CN:11-2560/TP
地址:北京8718信箱
邮政编码:100190
电话:010-62562563
Email:jos@iscas.a...

软件学报

分享到:
Journal of Software
mometason vitiligo mometason 300 mometason 900

《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.

  •     目录   << 2007年 001 期 >>
1. 时间约束PETRI网及其可调度性分析与验证 (被引次数:33) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2007年 001期    作者:宋巍    作者单位:南京大学
时间约束PETRI网(TIMING CONSTRAINT PETRI NETS,简称TCPN)是一类重要的时间PETRI网系统.对相关定义重新界定,丰富并完善了TCPN理论.针对变迁可调度原始定义的不
2. GDEL N值命题逻辑中命题的Α-真度理论 (被引次数:17) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2007年 001期    作者:李骏    作者单位:陕西师范大学数学与信息科学学院
为了在N值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为N的均匀概率空间的无穷乘积,在N值G?DEL命题逻辑系统中引入命题的Α-真度概念.证明了一般真度推理规则,给出
3. PETRI网共享PP-型子网合成性质分析 (被引次数:11) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2007年 001期    作者:夏传良    作者单位:中国科学院
PETRI网合成可以避免状态空间按指数阶迅速扩大的问题,并且在网扩大时可以保持原网的某些优良性质.为了解决资源共享问题,焦莉等人对于一个满足死锁-陷阱性质(ST-PROPERTY)的非对称选择网(AS
4. JOURNAL OF SOFTWARE 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2007年 001期   
5. 无线传感器网络多重覆盖问题分析 (被引次数:93) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2007年 001期    作者:刘明    作者单位:计算机软件新技术国家重点实验室
传感器网络由大量能量有限的微型传感器节点组成.因此,如何保证在足够覆盖监测区域的同时延长网络的寿命,是一个需要解决的重要问题.为了达到这一目标,一种广泛采用的策略是选出部分能够足够覆盖监测区域的节点作
6. G(O)DEL N值命题逻辑中命题的α-真度理论 (被引次数:14) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2007年 001期    作者:李骏    作者单位:陕西师范大学
为了在N值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为N的均匀概率空间的无穷乘积,在N值G(O)DEL命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,
7. CALL FOR PAPERS 2ND INTERNATIONAL CONFERENCE ... 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2007年 001期   
8. 关于二元延迟3步前馈逆有限自动机的结构 (被引次数:1) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2007年 001期    作者:王鸿吉    作者单位:中国科学院
前馈逆有限自动机的结构是有限自动机可逆性理论中的基本问题.对延迟步数≥3的前馈逆结构的刻划,则是一个长期的未解决问题.研究了二元延迟3步前馈逆有限自动机的结构.对于自治有限自动机MA的状态图为圈的二元
9. 场景驱动的构件行为抽取 (被引次数:32) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2007年 001期    作者:张岩    作者单位:南京大学
如果构件含有冗余的功能,特别是含有用户不想要的功能,则无法被用户正确使用.因此,如何从构件中提取场景规约中所描述的用户想要的行为便是一个亟待解决的问题.给出了解决该问题的一种方法.该方法通过为构件构造
10. 基于轨迹标签的无结构P2P副本一致性维护算法 (被引次数:51) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2007年 001期    作者:谢鲲    作者单位:湖南大学
副本的存在是一种提高P2P系统的可扩展性、容错性、可用性和减少查询响应时间的有效手段.随着P2P应用逐渐由只读静态文件共享转换为需要实时更新的读写动态文件交互,副本一致性维护成为确保新业务正确运行的关