检索结果-内蒙古大学图书馆

International Conference on Tools for Artificial Intelligence (ICTAI)

作者： Jianfeng Du Guilin Qi Jeff Z. Pan Yi-Dong Shen Guangdong University of Foreign Studies (GDUFS) Guangzhou China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China School of Computer Science and Engineering South East University NanJing China Department of Computing Science University of Aberdeen Aberdeen UK

Computing all diagnoses of an inconsistent ontology is important in ontology-based applications. However, the number of diagnoses can be very large. It is impractical to enumerate all diagnoses before identifying the target one to render the ontology consistent. Hence, we propose to represent all diagnoses by multiple sets of partial diagnoses, where the total number of partial diagnoses can be small and the target diagnosis can be directly retrieved from these partial diagnoses. We also propose methods for computing the new representation of all diagnoses in an OWL DL ontology. Experimental results show that computing the new representation of all diagnoses is much easier than directly computing all diagnoses.

关键词： Ontologies OWL Educational institutions Semantics Computational modeling Grounding Protons

来源：评论

学校读者我要写书评

暂无评论

Multi-granularity dynamic analysis of complex software networks

Multi-granularity dynamic analysis of complex software netwo...

引用

IEEE International Symposium on Circuits and Systems (ISCAS)

作者： Bing Li Weifeng Pan Jinhu Lü State Key Laboratory Software Engineering and School Computer and Complex Network Research Center Wuhan University of China Wuhan China State Key Laboratory Software Engineering Wuhan University of China Wuhan China School Electrical Computer Engineering RMIT University Melbourne Australia Acad. Mathematics System Science Chinese Academy and Sciences Beijing China

software systems represent one of the most complex man-made systems. In this paper, we analyze the evolution of Object-Oriented (OO) software using complex network theory from a multi-granularity perspective. First, the software net works are constructed for a multi-version software system at different levels of granularity. Then, some parameters used in complex network theory are introduced to study the topological characteristics of these software networks. By investigating the parameters' values in consecutive software networks, we have a better understanding about software evolution. A case study on an open source OO project, Azureus, is conducted as an example to illustrate our approach. It uncovers some underlying dynamic characteristics of OO systems. These results provide a different dimension to our understanding of software system dynamics and also are very useful for the design and development of OO software systems.

关键词： Logic gates Communities US Department of Defense

来源：评论

学校读者我要写书评

暂无评论

Author Index Volume 7 (2011)

引用

Multiagent and Grid Systems 2011年第6期7卷 311-313页

作者： [ Systems Research Institute Polish Academy of Sciences Warsaw and University of Gdansk Warsaw Poland Systems Research Institute Polish Academy of Sciences Warsaw and Management Academy Warsaw Poland Software Engineering Department Faculty of Automatics Computers and Electronics University of Craiova Bvd.Decebal Craiova Romania University of Duisburg-Essen Institute for Computer Science and Business Information Systems (ICB) Practical Computer Science Data Management Systems and Knowledge Representation Essen Germany

来源：评论

学校读者我要写书评

暂无评论

Synchronization-based scalability of rings and chains of dense lumps

Synchronization-based scalability of rings and chains of den...

引用

作者： Lu, Jun-An Zhang, Yong Chen, Juan Lü, Jinhu Wu, Xiaoqun School of Mathematics and Statistics Wuhan University Wuhan 430072 China State Key Laboratory of Software Engineering Wuhan University Wuhan 430072 China Institute of Systems Science Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100190 China School of Electrical and Computer Engineering RMIT University Melbourne VIC 3001 Australia

ISBN: (纸本)9789881725592

This paper aims to investigate the scalability of synchronizability for the complex clustering networks of dense rings or chains with the network scale increasing. Our results reveal that the synchronizability of the above complex clustering networks decreases with the network scale increasing for any clustering structures. When the network size is increasing, the increase of the number of clusters decreases the synchronizability much faster than the increase of the size of individual cluster. Moreover, it is found that the ring or the chain structure has much greater influence on weakening the network synchronizability than that of the clustering property. © 2011 Chinese Assoc of Automati.

关键词： Scalability

来源：评论

学校读者我要写书评

暂无评论

A drum-buffer-rope based scheduling method for semiconductor manufacturing system

A drum-buffer-rope based scheduling method for semiconductor...

引用

IEEE International Conference on Automation science and engineering (CASE)

作者： Zhengcai Cao Yazhen Peng Yongji Wang College of Information Science and Technology Beijing University of Chemical Technology Beijing China State Key Laboratory of Manufacturing Systems Engineering Xi'an Jiaotong University Xian China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences (CAS) Beijing China

Scheduling in semiconductor manufacturing system is an important task for the industries faced with a large amount of resource competitions. Effective scheduling can improve the overall system performance and customer satisfaction. In this paper, a scheduling method with the core of bottleneck equipment control is designed referring to Drum-Buffer-Rope (DBR) theory. In order to identify the main-bottleneck, the relative load which takes the feature of reentrance into consideration is applied. For the avoidance of local blocking, the management of sub-bottleneck is presented. As both releasing and dispatching are taken into account, a scheduling method based on the compound priority is formed. Finally, HP-24 semiconductor wafer fabrication is used as an example to demonstrate the effectiveness of the proposed method.

关键词： Job shop scheduling Distributed Bragg reflectors Object oriented modeling Semiconductor device modeling Workstations Fabrication Dispatching

来源：评论

学校读者我要写书评

暂无评论

RASS: A real-time, accurate and scalable system for tracking transceiver-free objects

RASS: A real-time, accurate and scalable system for tracking...

引用

IEEE International Conference on Pervasive Computing and Communications (PerCom)

作者： Dian Zhang Yunhuai Liu Lionel M. Ni College of Software Shenzhen University China Department of Computer Science and Engineering Hong Kong University of Science and Technology Hong Kong China Shenzhen Institutes of Advanced Technology Chinese Academy and Sciences China Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiaotong University China

Transceiver-free object tracking is to trace a moving object without carrying any communication device in an environment where the environment is pre-deployed with some monitoring nodes. Among all the tracking technologies, RF-based technology is an emerging research field facing many challenges. Although we proposed the original idea, until now there is no method achieving scalability without sacrificing latency and accuracy. In this paper, we put forward a real-time tracking system RASS, which can achieve this goal and is promising in the applications like the safeguard system. Our basic idea is to divide the tracking field into different areas, with adjacent areas using different communication channels. So the interference among different areas can be prevented. For each area, three communicating nodes are deployed on the ceiling as a regular triangle to monitor this area. In each triangle area, we use a Support Vector Regression (SVR) model to locate the object. This model simulates the relationship between the signal dynamics caused by the object and the object position. It not only considers the ideal case of signal dynamics caused by the object, but also utilizes their irregular information. As a result it can reach the tracking accuracy to around 1m by just using three nodes in a triangle area with 4m in each side. The experiments show that the tracking latency of the proposed RASS system is bounded by only about 0.26s. Our system scales well to a large deployment field without sacrificing the latency and accuracy.

关键词： Accuracy Wireless communication Wireless sensor networks Interference Lead Synchronization Predictive models

来源：评论

学校读者我要写书评

暂无评论

在线同步输入纸质与电子表单的方法

在线同步输入纸质与电子表单的方法

引用

第十二届中国虚拟现实大会

作者： Xiong Jinquan 熊金泉 Fan Yinting 樊银亭 Teng Dongxing 滕东兴 Ma Cuixia 马翠霞 Dai Guozhong 戴国忠 Wang Hongan 王宏安 Department of Computer Jiangxi Institute of Education Nanchang 330029 江西教育学院数学与计算机科学系南昌 330029 School of Computer Science Zhong yuan University of Technology Zhengzhou 450007 Intelligence Engi 中原工学院计算机学院郑州 450007 中国科学院软件研究所人机交互技术与智能信息处理实验室北京 100190 Intelligence Engineering Laboratory Institute of Software Chinese Academy of Science Beijing 10 中国科学院软件研究所人机交互技术与智能信息处理实验室北京 100190

针对用数字笔输入纸质表单时相对应的电子表单目标定位不准确、识别率不高，且用户在纸和显示器上频繁切换，降低了用户的交互体验的问题，提出一种纸质表单和电子表单的在线同步输入方法。首先对笔迹信息进行误差补偿，并结合上下文和... 详细信息

针对用数字笔输入纸质表单时相对应的电子表单目标定位不准确、识别率不高，且用户在纸和显示器上频繁切换，降低了用户的交互体验的问题，提出一种纸质表单和电子表单的在线同步输入方法。首先对笔迹信息进行误差补偿，并结合上下文和知识库，对目标单元格进行智能性定位;然后用基于统计语言模型和词库的识别算法改进识别器，提高输入识别率，并能把识别结果反馈到词库及误差校正模块中，以提高系统的自适应性。该方法是通过建立基于纸质和电子表单的在线同步输入框架--FSIF而实现的，其中框架包括笔信息校正转换器、智能定位器、笔迹分割器和自适应识别器4大部分，并按照一定方法和流程分别对笔信息进行采集、校正、转换、定位、分割、分类和识别等;最后通过实验对文中方法进行评估。实验结果表明，文中方法对笔式同步输入纸质和电子表单有一定的改进作用。

关键词：信息处理电子表单纸质表单数据同步

来源：评论

学校读者我要写书评

暂无评论

Research on key problems of covert channel in cloud computing

引用

Tongxin Xuebao/Journal on Communications 2011年第9 A期32卷 184-203页

作者： Wu, Jing-Zheng Ding, Li-Ping Wang, Yong-Ji National Engineering Research Center for Fundamental Software Institute of Software The Chinese Academy of Sciences Beijing 100190 China Graduate University The Chinese Academy of Sciences Beijing 100049 China State Key Laboratory of Computer Science Institute of Software The Chinese Academy of Sciences Beijing 100190 China

First the development of cloud computing, virtual techonolody and the cloud security were surveied. Then the evolvements of the covert channel in operating system, database, and network in the last 40 years were reviewed. Several examples of covert channel were introduced, which indicated the necessity of research. The potential covert channels in cloud computing were classified into two new categories from the aspects of theoretical research and the engineering practice. The four key problems including the lack of definition, the lack of systemic identification and evaluation approach and the lack of security criterions were pointed out. The covert channel in cloud computing was formally defined. Finally, the academic and industrial values of covert channel research are presented.

关键词： Cloud security

来源：评论

学校读者我要写书评

暂无评论

Topology identification of complex dynamical networks with stochastic perturbations

Topology identification of complex dynamical networks with s...

引用

作者： Wu, Xiaoqun Zhao, Xueyi Lü, Jinhu State Key Laboratory of Software Engineering Wuhan University Wuhan 430072 China School of Mathematics and Statistics Wuhan University Wuhan 430072 China Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100190 China School of Electrical and Computer Engineering RMIT University Melbourne VIC 3001 Australia

ISBN: (纸本)9789881725592

Complex networks widely exist in our world, thus attracts extensive attentions from the multidisciplinary nonlinear science community. Many existing papers investigated the geometric features, control and synchronization of complex dynamical networks provided with presumably known structures. While in many practical situations, the exact topology of a network is usually unknown or uncertain. Therefore, topology identification is of great importance in the research of complex networks. Moreover, noise is ubiquitous in nature and in man-made systems. Based on the LaSalle Invariance Principle of stochastic differential equation, an adaptive estimation technique is proposed to identify the exact topology of a weighted general complex dynamical network with stochastic perturbations. The validity of the proposed approach is illustrated with a coupled Duffing network. © 2011 Chinese Assoc of Automati.

关键词： Complex networks

来源：评论

学校读者我要写书评

暂无评论

ISM: Intent-perceptible service migration model for IP network survivability

引用

Tien Tzu Hsueh Pao/Acta Electronica Sinica 2011年第12期39卷 2768-2775页

作者： Zhao, Er-Hu Yang, Xiao-Long Xu, Jie Long, Ke-Ping Zhang, Dan Research Centre for Optical Internet and Mobile Information Networks University of Electronic Science and Technology of China Chengdu Sichuan 611731 China National Key Lab. of Integrated Information System Tech. Institute of Software Chinese Acad. of Sci. Beijing 100190 China School of Computer and Communication Engineering University of Science and Technology Beijing Beijing 100083 China 706 Institute The Second Academy of China Aerospace Beijing 100854 China

The existing service migration methods bring the server cluster heavy burden, and their time spending is so high that seriously affects the service continuity. In order to enhance the survivability of IP network services, the paper puts forward an intent-perceptible service migration model (ISM). In this model, we design a novel trigger mechanism and object selecting method for service migration, and make the service migration intention perceptible for the client with the cooperation of the server. The evaluation results show that ISM model can not only ensure the service invulnerability by maintaining a high randomness of service migration, but also improve the service continuity by reducing the service gap time spending on service migration to the maximum extent. Therefore, ISM model can enhance IP network survivability efficiently.

关键词： Internet protocols

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：