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

2007 AIAA InfoTech at Aerospace Conference

作者： Dvorak, Daniel D. Ingham, Michel D. Morris, J. Richard Gersh, John NASA Jet Propulsion Laboratory California Institute of Technology Pasadena CA 91109 United States Applied Physics Laboratory Johns Hopkins University Laurel MD 20723 United States Planning and Execution Systems Section M/S 301-270 United States AIAA United States Flight Software Systems Engineering and Architectures Group M/S 301-225 Planning and Sequencing Systems Group M/S 301-250D System and Information Sciences Group M/S 2-236 United States

ISBN: (纸本)1563478935

Operating robotic space missions via time-based command sequences has become a limiting factor in the exploration, defense, and commercial sectors. Command sequencing was originally designed for comparatively simple and predictable missions, with safe-mode responses for most faults. This approach has been increasingly strained to accommodate today's more complex missions, which require advanced capabilities like autonomous fault diagnosis and response, vehicle mobility with hazard avoidance, opportunistic science observations, etc. Goal-based operation changes the fundamental basis of operations from imperative command sequences to declarative specifications of operational intent, termed goals. Execution based on explicit intent simplifies operator workload by focusing on what to do rather than how to do it. The move toward goal-based operations, which has already begun in some space missions, involves changes and opportunities in several places: operational processes and tools, human interface design, planning and scheduling, control architecture, fault protection, and verification and validation. Further, the need for future interoperation among multiple goal-based systems suggests that attention be given to areas for standardization. This overview paper defines the concept of goal-based operations, reviews a history of steps in this direction, and discusses the areas of change and opportunity through comparison with the prevalent operational paradigm of command sequencing.

关键词： Robotics

来源：评论

学校读者我要写书评

暂无评论

Multi-path routing scheme integrated with network coding in low earth orbit satellite networks

引用

Zhongnan Daxue Xuebao (Ziran Kexue Ban)/Journal of Central South University (Science and Technology) 2007年第5期38卷 950-955页

作者： Yang, Lin Zheng, Gang School of Electronic Science and Engineering National University of Defense Technology Changsha 410073 China National Key Laboratory of Integrated Information System Technology Institute of Software Chinese Academy of Sciences Beijing 100080 China

Inter-satellite links have characters of time-varying, unreliability and intermittent-connecting, so that applying the multi-path routing in the low earth orbit (LEO) satellite networks can make message disorder and message loss. A multi-path routing scheme integrated with network coding was proposed to solve this problem. It is proved that with the same multi-path number and path message loss rate, the scheme outperforms the traditional multi-path routing in terms of message delivery rate. Moreover, the performances of both schemes were evaluated by the extended ns-2 software in terms of message delivery rate under the conditions of different multi-path numbers, link message loss rates and redundancy factors. The result validates the theory analysis and shows that the scheme can efficiently improve the reliability and save the onboard communication resources as well as enhance the error control of multi-path routing with certain ranges of message loss.

关键词： Satellite links

来源：评论

学校读者我要写书评

暂无评论

Collaborative filtering recommendation algorithm based on cloud model

引用

Ruan Jian Xue Bao/Journal of software 2007年第10期18卷 2403-2411页

作者： Zhang, Guang-Wei Li, De-Yi Li, Peng Kang, Jian-Chu Chen, Gui-Sheng State Key Laboratory of Software Development Environment Beihang University Beijing 100083 China Institute of Electronic System Engineering Beijing 100840 China Information Security Center Shenzhen Graduate School Harbin Institute of Technology Shenzhen 518055 China School of Computer Science and Technology Shandong Jianzhu University Ji'nan 250101 China

Recommendation system is one of the most important technologies applied in e-commerce. Similarity measuring method is fundamental to collaborative filtering algorithm, and traditional methods are inefficient especially when the user rating data are extremely sparse. Based on the outstanding characteristics of Cloud Model on the process of transforming a qualitative concept to a set of quantitative numerical values, a novel similarity measuring method, namely the likeness comparing method based on cloud model (LICM) is proposed in this paper. LICM compares the similarity of two users on knowledge level, which can overcome the drawback of attributes' strictly matching. This work analysis traditional methods throughly and puts forward a novel collaborative filtering algorithm, which is based on the LICM method. Experiments on typical data set show the excellent performance of the present collaborative filtering algorithm based on LICM, even with extremely sparsity of data.

关键词： Electronic commerce

来源：评论

学校读者我要写书评

暂无评论

Towards an anti-inference (K, )-anonymity model with value association rules

Towards an anti-inference (K, )-anonymity model with value a...

引用

17th International Conference on Database and Expert systems Applications, DEXA 2006

作者： Li, Zude Zhan, Guoqiang Ye, Xiaojun Institute of Information System and Engineering School of Software Tsinghua University Beijing 100084 China

ISBN: (纸本)3540378715

As a privacy-preserving microdata publication model, K-Anonymity has some application limits, such as (1) it cannot satisfy the individual-defined k mechanism requirement, and (2) it is attached with a certain extent potential privacy disclosure risk on published microdata, i.e. existing high-probability inference violations under some prior knowledge on k-anonymized microdata that can surely result in personal private information disclosure. We propose the (k, )-anonymity model with data generalization approach to support more flexible and antiinference k-anonymization on a tabular microdata, where k indicates the anonymization level of an identifying attribute cluster and refers to the diversity level of a sensitive attribute cluster on a record. Within the model, k and are designed on each record and they can be defined subjectively by the corresponding individual. Beside, the model can prevent two kinds of inference attacks for microdata publication, (1) inferring identifying attributes values when their value domains are known;(2) inferring sensitive attributes values with respect to some value associations in the microdata. Further, we propose an algorithm to describe the k-anonymization process in the model. Finally, we take a scenario to illustrate its feasibility, flexibility, and generality. © Springer-Verlag Berlin Heidelberg 2006.

关键词： Data privacy

来源：评论

学校读者我要写书评

暂无评论

Organizational programming: Hierarchy software construction

Organizational programming: Hierarchy software construction

引用

18th International Conference on software engineering and Knowledge engineering, SEKE 2006

作者： Yin, Zhuo Wang, Jian Min Institute of Information System and Engineering Tsinghua University Beijing 100084 China School of Software Tsinghua University Beijing 100084 China

ISBN: (纸本)9781627486606

software's complexity refers to the difficulty to control the consistency between its implementation and design goal The unrestricted interrelationships of software components are the essential reason, which cause software systems much more complicated In this paper, we propose "organizational programming", a new technique-oriented methodology, to restrict the interrelationships of software components and make system itself more understandable Organizational programming principles provide some applicable guidelines to direct software implementation: adopting role-base modeling, we distinguish the processdependent from the process-independent classes and organize them into different (sub) systems respectively;using "holonomic abstraction", we construct the overall hierarchical architecture of system, which facilitates to achieve component's shareability and reusability simultaneously Our methodology is intended to information systems or application systems in general and it has been applied to our software practice successfully currently.

关键词： Computer systems programming

来源：评论

学校读者我要写书评

暂无评论

Adaptive call admission control based on enhanced genetic algorithm in wireless/mobile network

Adaptive call admission control based on enhanced genetic al...

引用

18th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2006

作者： Wang, Sheng-Ling Hou, Yi-Bin Huang, Jian-Hui Huang, Zhang-Qin School of Electronics and Information Engineering Xi'an Jiaotong University Xi'an 710049 Embedded Software and System Institute Beijing University of Technology Beijing 100022

ISBN: (纸本)0769527280

An adaptive threshold-based Call Admission Control (CAC) scheme used in -wireless/mobile network for multi-class services is proposed. In the scheme, each class's CAC thresholds are solved through establishing a rewardpenalty model which tries to maximize network's revenue in terms of each class's average new call arrival rate and average handoff call arrival rate, the reward or penalty when network accepts or rejects one class's call etc. To guarantee the real time running of CAC algorithm, an enhanced Genetic Algorithm is designed. Analyses show that the CAC thresholds indeed change adaptively with the average call arrival rate. The performance comparison between the proposed scheme and Mobile IP Reservation(MIR) scheme shows that with the increase of average call arrival rate, the average new Call Blocking Probability(CBP) and the average Handoff Dropping Probability (HDP) within 2000 simulation intervals of the proposed scheme are confined to lower levels, and they show approximatively periodical trends of first rise and then decline. While these two performance metrics of MIR always increase. At last, the analysis shows the proposed scheme outperforms MIR in terms of network's revenue. © 2006 IEEE.

关键词： Congestion control (communication)

来源：评论

学校读者我要写书评

暂无评论

An approach to detection ontology changes 06

An approach to detection ontology changes

引用

Sixth International Conference on Web engineering, ICWE 2006

作者： Tury, Michal Bieliková, Mária Institute of Informatics and Software Engineering Faculty of Informatics and Information Technologies Slovak University of Technology Ilkovičova 3 842 16 Bratislava Slovakia

ISBN: (纸本)1595934359

Ontologies change and evolve both on the level of schema and individuals in order to meet requirements of changing world. Changes involve adding, deleting and modifying elements in the ontology both on structural (schema related) and content (individuals related) levels. The changes can lead to incorrect conclusions and can cause malfunction of systems, which use ontology data. In this paper we describe a proposal of the method for automated detection of currentness of presented data, including meta-data, which are represented by an ontology. Method comes out from a detection of changes between different versions of the ontology. Besides identifying modifications in the ontology, the purpose of the method lies also in identifying equivalent elements, thanks to which we are able to track information sources over time. We describe possibilities of automated identification of changes between ontologies using heuristic methods and their realization as a software tool called OntoDiff for comparing ontologies.

关键词： Requirements engineering

来源：评论

学校读者我要写书评

暂无评论

Novel BCD adders and their reversible logic implementation for IEEE 754r format

Novel BCD adders and their reversible logic implementation f...

引用

19th International Conference on VLSI Design held jointly with 5th International Conference on Embedded systems Design

作者： Thapliyal, Himanshu Kotiyal, Saurabh Srinivas, M.B. Center for VLSI and Embedded System Technologies International Institute of Information Technology Hyderabad-500019 India Department of Computer Engineering SIT Kukas Jaipur India

ISBN: (纸本)0769525024

IEEE 754r is the ongoing revision to the IEEE 754 floating point standard and a major enhancement to the standard is the addition of decimal format. This paper proposes two novel BCD adders called carry skip and carry look-ahead BCD adders respectively. Furthermore, in the recent years, reversible logic has emerged as a promising technology having its applications in low power CMOS, quantum computing, nanotechnology, and optical computing. It is not possible to realize quantum computing without reversible logic. Thus, this paper also paper provides the reversible logic implementation of the conventional BCD adder as the well as the proposed Carry Skip BCD adder using a recently proposed TSG gate. Furthermore, a new reversible gate called TS-3 is also being proposed and it has been shown that the proposed reversible logic implementation of the BCD Adders is much better compared to recently proposed one, in terms of number of reversible gates used and garbage outputs produced. The reversible BCD circuits designed and proposed here form the basis of the decimal ALU of a primitive quantum CPU. © 2006 IEEE.

关键词： Logic circuits

来源：评论

学校读者我要写书评

暂无评论

Modified montgomery modular multiplication using 4:2 Compressor and CSA adder

Modified montgomery modular multiplication using 4:2 Compres...

引用

Third IEEE International Workshop on Electronic Design, Test and Applications, DELTA 2006

作者： Thapliyal, Himanshu Ramasahayam, Anvesh Kotha, Vivek Reddy Gottimukkula, Kunul Srinivas, M.B. Centre for VLSI and Embedded System Technologies International Institute of Information Technology Hyderabad 500019 India Department of Electronics and Communication Engineering S.R. Engineering College Warangal India

ISBN: (纸本)0769525008

The efficiency of the Public Key encryption systems like RSA and ECC can be improved with the adoption of a faster multiplication scheme. In this paper, Modified Montgomery multiplications and circuit architectures are presented. The first modified Montgomery multiplier uses 4:2 compressor and carry save adders (CSA) to perform large word length additions. The total delay for a single modular multiplication using the proposed approach is 7XOR+1 AND gate compared to 8XOR+1AND gate of the recently proposed fastest algorithm. The second modified Montgomery multiplier uses a novel proposed hardware unit that outputs carry save representation of the 4-input operands in 3XOR delays. The total delay for a single modular multiplication using the novel hardware unit is 5XOR+1 AND gate compared to 6XOR+1AND gate of the recently proposed algorithm. The optimal transistor implementations of the proposed approaches have also been presented. The proposed transistor implementations are highly optimized in terms of area, speed and low power. The proposed Montgomery multiplication circuit will be of eminent importance when implemented for higher word length such as 1024 and 2048 as there will be saving in the propagation delays by 1024 and 2048 XOR gates respectively compared to the recently proposed fastest algorithm. © 2005 IEEE.

关键词： Public key cryptography

来源：评论

学校读者我要写书评

暂无评论

Towards the Diversity of Sensitive Attributes in k-Anonymity

Towards the Diversity of Sensitive Attributes in k-Anonymity

引用

Web Intelligence and Intelligent Agent Technology Workshops (WI-IAT)

作者： Min Wu Xiaojun Ye Institute of Information System and Engineering School of Software Tsinghua University Beijing China

Privacy preservation is an important and challenging problem in microdata release. As a de-identification model, k-anonymity has gained much attention recently. While focusing on identity disclosures, k-anonymity does not well resolve attribute disclosures. In this paper we focus on the sensitive attribute disclosures in k-anonymity and propose an ordinal distance based sensitivity aware diversity metric. We assume the more diversity the sensitive attribute assumes in an equivalence class in a k-anonymized table, the less inference channel there is in the equivalence class

关键词： Human immunodeficiency virus Cancer USA Councils Privacy Influenza Intelligent agent information systems systems engineering and theory Data analysis Perturbation methods

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：