Conflict Analysis and Detection Based on Model Checking for Spatial Access Control Policy

In this paper,we propose a Multi-granularity Spatial Access Control(MSAC) model,in which multigranularity spatial objects introduce more types of policy rule conflicts than single-granularity objects do.To analyze and detect these conflicts,we first analyze the conflict types with respect to the relationship among the policy rules,and then formalize the conflicts by template matrices.We designed a model-checking algorithm to detect potential conflicts by establishing formalized matrices of the policy set.Lastly,we conducted experiments to verify the performance of the algorithm using various spatial data sets and rule sets.The results show that the algorithm can detect all the formalized conflicts.Moreover,the algorithm's efficiency is more influenced by the spatial object granularity than the size of the rule set.     

Method of Automatic Ontology Mapping through Machine Learning and Logic Mining

Ontology mapping is the bottleneck ot handhng confilicts among heterogeneous ontologies and of implementing reconfiguration or interoperability of legacy systems. We proposed an ontology mapping method by using machine learning, type constraints and logic mining techniques. This method is able to find concept correspondences through instances and the result is optimized by using an error function; it is able to find attribute correspondence between two equivalent concepts and the mapping accuracy is enhanced by combining together instances learning, type constraints and the logic relations that are imbedded in instances; moreover, it solves the most common kind of categorization conflicts. We thenproposed a merging algorithm to generate the shared ontology and proposed a reconfigurable architecture for interoperation based on multi agents. The legacy systems are encapsulated as information agents to participate in the integration system. Finally we give a simplified case study.     

基于移动Agent和Web Service的动态工作流互操作模型

工作流产品之间的协作成为企业间有效合作的瓶颈．虽然大多数厂商之间已解决了一些工作流互操作问题，但往往是静态的，为了提高工作流互操作的灵活性，需要各工作流系统支持动态工作流互操作．在此分析了动态工作流互操作中存在的问题，归纳了实现动态工作流互操作需要解决的问题，然后提出了一个基于移动Agent和Web Senrice的动态工作流互操作模型，给出动态工作流互操作相关的实现描述，最后结合一个具体实例通过数据验证此模型的优越性．     

SIP Conformance Testing Based on TTCN-2

The session initiation protocol (SIP) is a signaling protocol for Internet telephony, multimedia conferencing, presence, event notification, and instant messaging. With the gaining popularity, more and more SIP implementations have been developed and deployed. How to guarantee the conformance of those SIP implementations is the key point of interconnection and interoperation among them. This paper proposes the test method and architecture for the SIP protocol based on the IPv6 tester system. Tree and tabular combined notation (TTCN-2) is adopted to describe the test suite. With an enhanced reference implementation, the data-processing ability to the original test system has been greatly improved. In the following test practices, some errors have been found in the SIP entities under test. It is proved that the proposed test method and architecture are effective to verify the conformance of the SIP entities, and the result of the conformance test may provide helpful reference to the development of SIP products.     

网格数据管理互操作机制研究

针对不同网格之间数据管理互操作存在的问题,分析了数据网格中间件SRB(Storage Resource Bro-ker)和ChinaGrid中的数据管理模型,同时讨论了SRB和ChinaGrid两者之间实现数据互操作存在的难点,提出了一套基于接口的网格数据互操作机制,并建立了相应的接口模型.该模型采用接口映射和副本管理策略,有效屏蔽了不同网格的数据操作接口,为用户提供了统一的逻辑数据视图和操作模式,保证了数据文件的有效性和一致性.该接口模型具有灵活性高、兼容性强和扩展性好等优点;通过这套接口机制可以实现China-Grid和采用SRB的数据网格之间的互操作.     

合作式数字参考咨询及其参考源的互操作问题

介绍了合作式数字参考咨询服务的特点,分析了数字图书馆互操作问题的解决方案,探讨了参考咨询源互操作问题解决办法。     

基于Web Service的教学资源库互操作的研究

通过对教学资源库互操作内容的分析,结合WebService的特征,提出了一种基于WebService的教学资源库互操作的框架。     

论新闻自由与隐私权的冲突

新闻自由与隐私权在塑造完整的人格权方面具有某些相同的功能,然而在实践中二者更多地表现为冲突的一面。本文着重探讨新闻自由与隐私权冲突的原因,并在分析新闻自由与隐私权冲突本质的基础上,对如何解决它们的冲突提出了可行性方案。     

基于OPC UA的煤矿监控系统集成设计与实现

针对煤矿监控系统中存在的问题,本文研发了OPC UA的客户端和服务器端程序,通过各子系统的数据个性化定制,实现了系统数据的充分集成与共享,有效解决了现场异构设备不同通信协议带来的数据集成和传输问题。在某煤矿企业的运行效果显示,OPC UA在平台无关性、可互操作性、安全性、可靠性等方面具有显著的优势。     

一种本体协同冲突的检测方法

针对农业领域分布式的迭代知识协同建构过程中存在的协同冲突及难于检测的问题,提出协同冲突划分、检测与消解方法.把协同冲突与本体一致性问题区别开来,按本体知识编辑操作的影响范围、操作类型及启发式规则把协同冲突划分为硬冲突、软冲突.依据这个划分,给出一个高效的检测算法和冲突消解方案.     

基于DS证据的信息融合算法多指标融合

在雷达跟踪中,算法方案的综合评价可通过DS证据理论进行多属性融合。而在实际应用中存在部分指标缺失等问题,导致证据间出现高冲突,使得原始DS证据合成方法失效。在分析了多指标融合中由于3类信息不完整而导致的高冲突证据后,提出了将算法方案的综合评价作为群体证据,把单个证据与群体证据之间的模糊距离作为证据融合权重,基于权重改进DS证据合成方法,解决了高冲突证据下的多属性融合。实验结果表明基于群体证据模糊距离的DS证据合成方法可以较好地解决雷达跟踪中算法方案综合评价问题。     

基于偏差的冲突证据融合的改进方法

在Dempster-Shafer(D-S)证据理论中,传统D-S组合规则在证据高度冲突时存在失效问题,会产生与常理相悖的结论.为此,文中提出了一种改进的处理冲突证据的融合方法,即通过计算各证据到命题平均支持度的偏差,来检测和消除冲突证据,并对最后结果进行修正,以合成来自不同识别框架的证据.计算实验结果表明,该方法能有效处理冲突,得到符合实际的组合结果,相对于其他典型算法,该方法在收敛性和可靠性上有明显改进.     

基于规划识别的主体协作

以共享规划主体协作理论为基础,提出了基于规划识别的主体协作模式,本方法将根据协作主体的行动和偏好,对协作主体的行动规划进行识别．规划识别过程是一个双向的推理过程,正向推理从主体的意图出发,给出初始规划假设的集合;反向推理从协作主体已经采取的行动出发,通过溯因推理进一步对规划假设进行识别．与共享规划模型比较,本方法在不增加通信的前提下将更好地避免协作主体间的冲突．     

利用偏差进行冲突证据融合的改进方法

本文对D-S证据理论组合冲突证据时存在的缺陷进行了研究, 在前人的基础上提出了一种改进的处理冲突证据的融合方法, 该方法通过计算各证据到命题平均支持度的偏差, 来检测和消除冲突证据,并对最后结果进行了修正, 以处理来自不同识别框架的证据的合成. 实验计算结果表明,该方法能有效处理冲突, 得到符合实际的组合结果, 相对于其他典型算法, 本文方法在收敛性和可靠性上有了明显改进     

高校贫困生隐私权与相关权利的冲突与协调

在资助高校贫困生过程中，出现贫困生隐私权与相关权利的冲突问题，其主要体现在贫困生隐私权与高校管理权、公共利益、公众知情权、新闻自由、资助人及银行债权之间的冲突和平衡。通过分析贫困生和高校、资助人、新闻媒体、资助人、银行之间的法律关系，坚持利益衡量原则，协调好贫困生隐私权和相关权利的关系，依法保护贫困生的隐私权。     

资源代理在异构网格互操作中的应用

提出了一种基于Agent服务的网格资源代理方法,用以实现目前国内最大的教育科研网格CGSP与CNGrid的互操作.网格资源代理通过对Agent服务的部署和控制来进行用户身份认证以及网格服务共享等任务,从而实现异构网格中间件系统的用户单点登录、资源共享与服务的互操作.本方法具有通用、灵活,结构简单且易扩展的特点.     

一种高扩展的分布式半实物实时视景仿真系统

针对某导弹攻防仿真系统中仿真节点之间的关系复杂且交互困难的特点,提出了基于Modelica和高层体系结构(HLA)的仿真方法,将攻防仿真系统中各仿真成员融合到基于HLA系统体系构架,各仿真单元采用基于Modelica语言进行建模.经验证该方法提高了仿真系统各仿真节点之间的互操作性及仿真资源的重用性.将实物仿真部分和视景仿真部分通过仿真联邦的邦员加入到整个仿真系统中,提高了系统的扩展性与可维护性.     

引进消化吸收再创新的政策体系与实施问题研究

引进消化吸收再创新是提升我国自主创新能力的重要途径,本文分析了我国引进消化吸收再创新政策体系与实施中存在的可操作性、冲突与系统性缺失等政策体系问题,并提出完善实施细则、加强宣传及促进引进人才等建议。     

基于群一致性检验的多属性TOPSIS方法

针对现有TOPSIS方法中未考虑决策者的一致性所造成的选取结果不合理以至于决策失误的问题,提出了一种基于群一致性检验的多属性TOPSIS方法。首先,在分析数据特点的基础上,利用三角可能性分布对备选方案的属性值进行不确定性描述;其次,利用基于相似性度量方法检验决策者的一致性程度;最后,利用满足一致度的、改进的TOPSIS方法对备选方案进行排序,得到最优的决策结果。通过尾矿坝综合评价实例,对方法进行验证。结果表明可有效避免因使用不一致信息导致的决策失误问题。     

基于语义互操作的动态协同仿真平台

为了使协同仿真平台支持语义级别的互操作,支持联邦结构的动态调整,增强仿真运行时平台对人员参与的开放性,减少仿真迭代次数,该文提出了一种基于语义互操作的动态协同仿真平台,重点研究了其中的索引-应用联邦架构技术,支持语义互操作的运行支撑系统(runtimeinfrastructure,RTI)和仿真中间件技术,及通用自适应的仿真监控技术等关键技术。应用该协同仿真平台建立了高速列车动车组检测列车的协同仿真联邦,2个仿真案例表明本平台提高了协同仿真过程的灵活性与适应性,验证了其有效性。