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

Temporal Logics and Model Checking Algorithms for ZIAs

Temporal Logics and Model Checking Algorithms for ZIAs

The 2nd International Conference on Software Engineering and Data Mining(IEEE 第二届国际软件工程和数据挖掘学术大会 SEDM 2010)

作者： Zining Ca0 National Key Laboratory of Science and Technology on Avionics System Integration Shanghai 200233. P. R. China Department of Computer Science and Technology Nanjing University of Aero. & Astro.Nanjing 210016 P. R. China Provincial Key Laboratory for Computer Information Processing Technology Soochow University Suzhou 215006. P. R. China

ISBN: (纸本)9781424473243;9788988678220;9788988678213

In this paper, we first propose a specification ap-proach combining interface automata and Z language. This approach can be used to describe temporal properties and data properties of software components. A branching time logic for ZIAs is presented. We then give an algorithm for model checking this logic on ZIAs with finite domain. Furthermore, we present a mu-calculus logic for ZIAs, and give a model checking algorithm for this logic.

关键词： model checking interface automata Z notation temporal logic

来源：评论

学校读者我要写书评

暂无评论

A New Secret Sharing Scheme Based on Commutative Encrypted Function

A New Secret Sharing Scheme Based on Commutative Encrypted F...

引用

International Forum on information technology and Applications, IFITA

作者： Jun He Ximei Li Lijuan Li Chunming Tang Computer and Information Engineering Department HuaiHua Vocational and Technical College Huaihua Hunan China School of Computer and Communication Hunan University Changsha Hunan China School of Mathematics and Information Science Guangzhou University Guangzhou Guangdong China State Key Laboratory of Information Security Institute of Software Science Chinese Academy and Sciences Beijing China

With the characteristic that the commutativity of modular exponential function makes the specific order of secret distribution process less important and on basis of the abstruseness of discrete logarithm, this paper proposed a new secret sharing scheme. In the scheme, the participants themselves select the private keys, which can avoid the distributor's fraud and reduce the distribution's burden as well as ensure the scheme's reuse. The credible participants can join in or leave the participants collection at any time without restarting the scheme procedures.

关键词： Encryption computers Performance analysis Presses Data mining

来源：评论

学校读者我要写书评

暂无评论

Describing the semantic relation of the deep web query interfaces using ontology extended LAV

Journal of Software

引用

Journal of Software 2010年第1期5卷 89-98页

作者： Liang, Hao Zuo, Wan-Li Ren, Fei Department of Computer Science and Technology Jilin University Jilin Changchun China Department of Information Changchun Taxation College Jilin Changchun China Key Laboratory of Symbol Computation and Knowledge Engineering of the Ministry of Education Changchun China

The key element in a Deep Web information fusion system is the data source modeling problem, which is the determinant technical factor of the whole system. The query interfaces provided by the Deep Web are the clues to disclose the hidden schemas. But the complicated semantic relationships in the query interfaces lead to the lower generality and ability of local as view (LAV) method in the traditional information fusion system. An approach of extracting attributes and semantic relationships from the interfaces utilizing Ontology is present in this paper, and WordNet is introduced as an Ontology instrument. The semantic relationships between semantic related attributes are evaluated by the WordNet. The meaningless attributes are instantiated by instance information embedded in the interfaces. A semantic matrix is generated and used to evaluate the semantic related groups in the specific domains. The expression ability of LAV is extended by the mapping and matching mechanism based on the semantic related groups. The experiment is carried out on the famous dataset, and the results show the efficiency of Ontology extended LAV of building mappings between local schemas and mediator schema. © 2010 ACADEMY PUBLISHER.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Cloud Storage as the Infrastructure of Cloud Computing

Cloud Storage as the Infrastructure of Cloud Computing

引用

International Conference on Intelligent Computing and Cognitive Informatics (ICICCI)

作者： Jiyi Wu Lingdi Ping Xiaoping Ge Ya Wang Jianqing Fu Alibaba Business College Key Laboratory of E-Business and Information Security Hangzhou Normal University Hangzhou China School of Computer Science and Technology University of Zhejiang Hangzhou China Department of Electronics Information Hangzhou Academy of Scientific Professional Technology Hangzhou China Zhejiang Second Institute of Surveying and Mapping Hangzhou China

As an emerging technology and business paradigm, Cloud Computing has taken commercial computing by storm. Cloud computing platforms provide easy access to a company's high-performance computing and storage infrastructure through web services. With cloud computing, the aim is to hide the complexity of IT infrastructure management from its users. At the same time, cloud computing platforms provide massive scalability, 99.999% reliability, high performance, and specifiable configurability. These capabilities are provided at relatively low costs compared to dedicated infrastructures. This article gives a quick introduction to cloud storage. It covers the key technologies in Cloud Computing and Cloud Storage, several different types of clouds services, and describes the advantages and challenges of Cloud Storage after the introduction of the Cloud Storage reference model.

关键词： Clouds Cloud computing computers Servers Hardware Software

来源：评论

学校读者我要写书评

暂无评论

Complete 3D Model Reconstruction Using Two Types of Depth Sensors

Complete 3D Model Reconstruction Using Two Types of Depth Se...

引用

2010 IEEE International Conference on Intelligent Computing and Intelligent systems(2010 IEEE 智能计算与智能系统国际会议 ICIS 2010)

作者： Guangyu Mu Miao Liao Ruigang Yang Dantong Ouyang Zhiwen Xu Xiaoxin Guo Department of Computer Science and Technology Jilin UniversityCollege of InformationJilin Univers Department of Engineering University of KentuckyCenter for Visualization and Virtual EnvironmentLe Department of Engineering University of KentuckyCenter for Visualization and Virtual EnvironmentLe Department of Computer Science and Technology Jilin UniversityKey Laboratory of Symbolic Computatio Department of Computer Science and Technology Jilin UniversityChangchun China

We propose a fast and simple application system of 3D model reconstruction. We acquire range images by using a combination of a regular camera and two types of depth sensors. The reconstruction of a 3D model consists of four key steps: (i) Initial alignment either feature tracking or the 4-points congruent sets algorithm is used to align surfaces captured at different frames. (ii)The iterative closest point (ICP) method is applied to further align the piecewise surfaces from the last step, (iii) The surfaces are merged into a whole 3D model by the volumetric method, (iv) In the refinement step, we fill holes and produce a complete 3D model that approximates the original model with robust repair of polygonal models. At last, we present the experimental results which show that the errors between our reconstructed model and the ground truth are less than 1％.

关键词： 3D model reconstruction range image integration

来源：评论

学校读者我要写书评

暂无评论

Identifying reaction of stock price to public information based on fuzzy c-means clustering

Identifying reaction of stock price to public information ba...

引用

Chinese Control Conference (CCC)

作者： Chao-Chao Li Kai Chi Fang-Ping Fu Wen-Gang Che Qing-Jiang Zhao School of Information Engineering and Automation Kunming University of Science and Technology 650051 China Key Laboratory of Computer Technology and Application of Yunnan Province Kunming University of Science and Technology 650051 China Department of Physics and Technology Kunming University 650031 China

The efficient markets hypothesis (EMH) maintains that market prices fully reflect all available information such as public or private information. Therefore, the study of analyzing the reaction of stock price to the information has attracted more and more attention. Here we proposed an effective measuring method using fuzzy c-means (FCM) for describing the reaction to public information, and further analyzing and quantifying the intensity. Taking the deposit reserve rate, a kind of typical public information, as an example, the clustering results show that there are there prominent characters of reaction in Shanghai A-share market. Furthermore, the empirical results indicate that the clustering technique has a good effect in classifying the intensity of reaction of stock market to public information.

关键词： Electronic mail Book reviews Finance Stock markets Physics Biological system modeling

来源：评论

学校读者我要写书评

暂无评论

Secure and Energy Aware Routing (SEAR) in Wireless Sensor Networks

Secure and Energy Aware Routing (SEAR) in Wireless Sensor Ne...

引用

2010 IEEE Global Telecommunications Conference GLOBECOM 2010

作者： Di Tang Tingting Jiang Jian Ren Department of Electrical and Computer Engineering Michigan State University East Lansing MI USA National Key Laboratory of ISN & Information Science Institute Xidian University Xi'an China Department of Computer Science Virginia Technology Blacksburg VA USA

Lifetime optimization and security are two important design issues for multi-hop wireless sensor networks with non-replenishable energy resources. In this research, we propose a novel secure and energy aware (SEAR) routing protocol to address these two issues concurrently through balanced energy consumption and probabilistic random walking. SEAR is designed with two configurable parameters, energy balance control (EBC) and security level. EBC is used to enforce energy balance and increase the lifetime. security level is designed to determine the probabilistic distribution of the random walking that provides routing security. The security level can be defined by the message source on a message level, or on a system level. Theoretical analysis and OPNET simulation results show that the proposed SEAR can provide excellent balance between routing efficiency and energy consumption while preventing routing traceback attacks.

关键词： Routing security Peer to peer computing Wireless sensor networks Energy states Energy consumption Legged locomotion

来源：评论

学校读者我要写书评

暂无评论

An associative memory system for incremental learning and temporal sequence

An associative memory system for incremental learning and te...

引用

International Joint Conference on Neural Networks (IJCNN)

作者： Furao Shen Hui Yu Wataru Kasai Osamu Hasegawa State Key Laboratory for Novel Software Technology Jiangyin Information Technology Research Institute Nanjing University Nanjing China Department of Computer Intelligence and Systems Science Tokyo Institute of Technology Yokohama Japan Imaging Science and Engineering Laboratory Tokyo Institute of Technology Yokohama Japan

An associative memory (AM) system is proposed to realize incremental learning and temporal sequence learning. The proposed system is constructed with three layer networks: The input layer inputs key vectors, response vectors, and the associative relation between vectors. The memory layer stores input vectors incrementally to corresponding classes. The associative layer builds associative relations between classes. The proposed method can incrementally learn key vectors and response vectors; store and recall both static information and temporal sequence information; and recall information from incomplete or noise-polluted inputs. Experiments using binary data, real-value data, and temporal sequences show that the proposed method works well.

关键词： Associative memory Training Context Indexes Prototypes Humans Topology

来源：评论

学校读者我要写书评

暂无评论

Universal Approximation of TS Fuzzy systems Constructed Dynamically-MISO Cases

Universal Approximation of TS Fuzzy Systems Constructed Dyna...

引用

American Control Conference

作者： ShiYu Yan ZengQi Sun Zhe Li State Key Laboratory on Intelligent Technology and Systems Tsinghua National Laboratory for Information Science and Technology Department of Computer Science and Technology Tsinghua University Beijing 100084 P.R. China Central University of Finance and Economics Beijing 100081 P.R. China

ISBN: (纸本)9781424474264

Study on approximation capabilities of fuzzy systems has been an important and hot issue for many years. Many existing studies on fuzzy systems based on standard affine TS fuzzy models suffer seriously from curse of dimensionality though such models are relatively simple to construct;whereas other investigations based on hierarchical fuzzy models have to face the difficulty of relatively more complexity. Through utilizing the dynamic partition along all dimensions, this paper proposes a novel dynamically constructive method in MISO cases to construct fuzzy systems based on standard affine TS fuzzy models, which have simple structures and also can ease the serious curse of dimensionality greatly. Correspondingly, new sufficient conditions for a affine TS fuzzy system as an universal approximator are obtained. The situation in 2ISO cases is derived first which is then extended to general MISO cases. Theoretical analyses comparing to some typical methods and several numerical examples all confirm that the dynamic method in this paper can reduce the fuzzy rules number dramatically and therefore can ease the serious curse of dimensionality to some extent. Some conclusions and discussions on further work are also given.

关键词： Fuzzy systems Curse of Dimensionality transport stream Fuzzy simple structures dynamic method Affine In-law

来源：评论

学校读者我要写书评

暂无评论

Color estimation base on a giving color estimation PC-based system

引用

Procedia - Social and Behavioral sciences 2010年第1期2卷 120-124页

作者： Jin Tao Hitoshi Hoshino Yusaku Fujii Jia Hongzhi Koichi Maru Hou Wenmei Shanghai Key Laboratory of Modern Optical System School of Optical-Electrical and Computer Engineering University of Shanghai for Science and Technology Shanghai 20093 China Department of Electronic Engineering Faculty of Engineering Gunma University Gunma 376-8515 Japan

A person's clothes color information was estimated by using a prototype PC-based system. The novel concept can be divided into 3 stages. First, space-variant color filter is put onto the lens of the monochrome security camera. Secondly, when a crime takes place, the camera records suspected person. Finally, just after the crime, characteristics of the space-variant color filter are measured by the police, and the color of the clothes of the suspected person is estimated. In this experiment six kind reference color cloth were used. The result shows using this system to estimate the clothes color is easily, rapidly and precisely.

关键词： Color estimation Crime prevention information technology

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：