-
题名Web服务自动语义标注的本体定位方法研究
- 1
-
-
作者
杨艳萍
谭庆平
-
机构
海军装备研究院指挥自动化研究所
国防科技大学计算机学院
-
出处
《计算机工程与科学》
CSCD
2008年第4期148-151,共4页
-
基金
国家863计划资助项目(2003AA001023)
-
文摘
面向服务架构中,分布式网络计算的实现依赖于服务交互问题的有效解决。为此,服务接口必须采用机器可理解的方式描述,从而为服务的动态发现和组合提供底层支持。服务语义标注技术满足了上述需求,它是指通过共享域本体中机器可理解的元数据表示服务元素。本文将服务语义标注过程分解为域标注和概念标注两个阶段,重点针对域标注问题,并提出了一种基于机器学习的域标注算法,对实际服务的标注实验验证了该算法的有效性。
-
关键词
语义标注
域本体
WEB服务
-
Keywords
semantics annotation
domain ontology
Web Services
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于可信状态的多级安全模型及其应用研究
被引量:14
- 2
-
-
作者
张晓菲
许访
沈昌祥
-
机构
中国科学院研究生院信息安全国家重点实验室
海军装备研究院指挥自动化研究所
北京工业大学计算机学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2007年第8期1511-1515,共5页
-
基金
国家863高技术研究发展计划(No.2006AA01Z440)
-
文摘
本文提出了一种基于可信状态的多级安全模型,它以BLP模型为基础,引入可信度和可信状态测量函数,利用可信计算平台的完整性测量、存储和报告功能,检测进程和被访问对象的可信状态,并针对不同类型访问对象,动态调节进程访问范围,提高模型的抗攻击能力.文中说明了模型的基本设计思想,形式化描述和可信状态转换过程,证明执行新规则后系统仍然处于安全状态.最后,本文还介绍了模型在操作系统内核的实施框架,及其实现性能分析.
-
关键词
安全操作系统
可信计算
安全模型
访问控制
-
Keywords
secure operating system
trusted computing
security model
access control
-
分类号
TN309
[电子电信—物理电子学]
-
-
题名SLF/ELF水平电偶极子在地-电离层波导中的场
被引量:10
- 3
-
-
作者
王元新
彭茜
潘威炎
张红旗
张在武
-
机构
中国电波传播研究所青岛分所
海军装备研究院指挥自动化研究所
胜利油田物探公司
-
出处
《电波科学学报》
EI
CSCD
北大核心
2007年第5期728-734,共7页
-
文摘
在非理想导电地面与电离层条件下,导出了SLF/ELF水平电偶极子在球形地-电离层壳体中产生的电磁场的球谐级数表达式,采用一种加速收敛算法,算出了波导中的电磁场分布。根据计算结果,在SLF频段,地面与电离层之间的电磁场可理解为两个"行波"的叠加,且与SLF频段的球面二阶近似算法计算结果吻合很好。在ELF频段,壳体中的电磁场是驻波,其频率变化规律能正确反映出"舒曼"谐振现象。
-
关键词
球谐级数
加速收敛
“舒曼”谐振
-
Keywords
spherical harmonic series, speed numerical convergence, Schumann resonance
-
分类号
TN011
[电子电信—物理电子学]
-