论文部分内容阅读
<正>全国语义Web与本体论学术研讨会(SWON)是中国计算机学会暨电子政务与办公自动化专委会主办的系列会议。SWON
全国第4届语义Web与本体论学术研讨会（SWON 2009）征文通知
【摘 要】
：
<正>全国语义Web与本体论学术研讨会(SWON)是中国计算机学会暨电子政务与办公自动化专委会主办的系列会议。SWON
【出 处】
：
软件学报
【发表日期】
：
2009年4期
其他文献
随着P2P技术在电子商务等领域的广泛应用，对分布在P2P网络中的数据进行聚集操作的需求越来越迫切．但是，由于P2P网络的大规模及分散性，这种聚集操作的实现颇具挑战性．而且在很多应
目的：为构建优化的内皮细胞用于造血干细胞（HSCs）的支持培养,通过逆转录病毒载体系统建立稳定表达腺病毒E4区开放读框1（E4orf1）和绿色荧光蛋白（GFP）的人胎肝窦内皮细胞（HFLSECs）株。方
本文通过文献资料法、逻辑分析法等研究方法，对后奥运时代休闲体育的特点、趋势进行了剖析，并在此基础之上结合社会化管理的模式进行论述，以此达到促进休闲体育的发展的目的。
给出了前向安全多重签名的形式化安全性模型,并提出了一个可证安全的前向安全多重签名方案.在该方案中,即使所有参与多重签名成员的当前密钥泄漏,所有以前时间段的签名也是有
目的：研究miR-19a-3p在雌激素受体（ER）阳性乳腺癌化疗耐药中的作用及可能的调控机制.方法：用10μmol/L顺铂处理ER阳性乳腺癌耐药细胞株和敏感细胞株,MTT法检测细胞活性;RNA测序分
针对现有的DRM（digital rights management）机制缺乏真正的责任描述和实施能力问题，提出一种应用于DRM的责任授权模型及其实施框架．该模型基于分布式时态逻辑和Active—U—Datalo
经济增长对生态环境的影响始终是环境资源与生态经济学研究的热点。目前,我国正处在社会主义的初级阶段,经济增长主要依靠投资和对外贸易拉动,该经济发展方式带来了诸多环境
基于时序逻辑CTL（computation tree logic）的一种扩展CTL-FV对优化编译中的语句交换和变量替换这两种常见变换的保义性条件给出了形式刻画，采用含条件重写规则定义了保义语句交
提出了一种基于反馈控制的自主虚拟人感知模型.该模型首先使用感知过滤器模拟人类器官感知限制,然后设计了环形队列存储感知对象的相关信息来模拟人类的记忆功能,进而利用感