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

An improved two-sided assembly line balancing algorithm based on heuristic rules

2nd International Symposium on Manufacturing Systems engineering, ISMSE 2013

作者： Gao, Yan Chang, Tian Xiang Wang, Yang Yang Liu, Yao Quan, Hong Yan Xu, Jian Zhong Institute of Software and Engineering Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai China Institute of Computer Science and Technology Nanchang Army Collage Shanghai China

ISBN: (纸本)9783037858455

According to "Assemble line balancing (ALB)" problem which is widespread in manufacture, we establish a mathematical model and present our improved algorithm that is based on Heuristic rules, which adopt cumulative ranked positional weight as a basis of task assignments and schedule the orders of branches traversal. After that we can find an optimal solution to the balancing problem efficiently. The result of examples given by this paper shows our algorithm has a good performance. © (2013) Trans Tech Publications, Switzerland.

关键词： Mechanics

来源：评论

学校读者我要写书评

暂无评论

Zero knowledge proofs from ring-LWE

Zero knowledge proofs from ring-LWE

引用

12th International Conference on Cryptology and Network Security, CANS 2013

作者： Xie, Xiang Xue, Rui Wang, Minqian Trusted Computing and Information Assurance Laboratory Institute of Software Chinese Academy of Sciences China State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences China

ISBN: (纸本)9783319029368

Zero-Knowledge proof is a very basic and important primitive, which allows a prover to prove some statement without revealing anything else. Very recently, Jain et al. proposed very efficient zero-knowledge proofs to prove any polynomial relations on bits, based on the Learning Parity with Noise (LPN) problem (Asiacrypt'12). In this work, we extend analogous constructions whose security is based on the Ring Learning with Errors (RLWE) problem by adapting the techniques presented by Ling et al. (PKC'13). Specifically, we show a simple zero-knowledge proof of knowledge (Σ-protocol) for committed values, and prove any polynomial relations in the underlying ring. I.e. proving committed ring elements m, m1 , ..., mt satisfying m = f (m 1 , ..., mt) for any polynomial f. Comparing to other existing Σ-protocols, the extracted witness (error vector) has length only small constant times than the one possessed by the prover. When representing ring element as elements in q, our protocol has amortized communication complexity Õ(λ·|f|) with exponentially small soundness in security parameter λ, where |f| is the size of the circuit in q computing f. © Springer International Publishing 2013.

关键词： Polynomials

来源：评论

学校读者我要写书评

暂无评论

Membership encryption and its applications

Membership encryption and its applications

引用

18th Australasian Conference on Information Security and Privacy, ACISP 2013

作者： Guo, Fuchun Mu, Yi Susilo, Willy Varadharajan, Vijay Centre for Computer and Information Security Research School of Computer Science and Software Engineering University of Wollongong Wollongong NSW Australia Department of Computing Faculty of Science Macquarie University Sydney NSW Australia

ISBN: (纸本)9783642390586

We propose a new encryption primitive called Membership Encryption. Let P(G) be a privacy-preserving token on a group attribute/identity G, such that given P(G) it is hard to know the attributes in G. In this membership encryption, if an encryption takes as input an attribute A and the token P(G), the decryption requires holding the membership A ∈ G, i.e., A belongs to this group attribute. Membership encryption is applicable in constructing membership proof A ∈ P(G) with privacy preserving on group attribute and the membership. Membership encryption can be also utilized to construct an efficient two-round K-out-of-N oblivious transfer protocol. In this paper, we construct a provably secure membership encryption where the group token P(G) is constant-size with maximum number accountability on attributes. Using our scheme, the proposed oblivious transfer protocol exhibits the nice feature of O(1) communication cost for any K from receiver to sender, and O(N) communication cost from sender to receiver. © 2013 Springer-Verlag.

关键词： Privacy-preserving techniques

来源：评论

学校读者我要写书评

暂无评论

Understand system's relative effectiveness using adapted confusion matrix

引用

2nd International Conference on Design, User Experience, and Usability: Design Philosophy, Methods, and Tools, DUXU 2013, Held as Part of 15th International Conference on Human-Computer Interaction, HCI International 2013

作者： Jiang, Nan Liu, Haibin Software Systems Research Centre School of Design Engineering and Computing Bournemouth University United Kingdom National Center for Biotechnology Information National Library of Medicine National Institutes of Health United States

ISBN: (纸本)9783642392283

The effectiveness of a system refers to the accuracy and completeness with which users achieve specified goals. These two aspects are interpreted as errors and completion in the context of usability testing. However, a holistic view of effectiveness is not straight forward to establish in a comparative test because the two measures focus on different aspects of user outputs. In this paper, we propose a predictive method to measure a system's relative effectiveness based on its own performance prediction. We achieve it by using an adapted confusion matrix to establish a correlation model between the two measures. A real-world use case is provided to demonstrate the usefulness of our method in a comparative study of the two websites. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Image resolution

来源：评论

学校读者我要写书评

暂无评论

Secure RFID ownership transfer protocols

Secure RFID ownership transfer protocols

引用

9th International Conference on Information Security Practice and Experience, ISPEC 2013

作者： Li, Nan Mu, Yi Susilo, Willy Varadharajan, Vijay Centre for Computer and Information Security Research School of Computer Science and Software Engineering University of Wollongong Wollongong NSW Australia Department of Computing Faculty of Science Macquarie University Sydney NSW Australia

ISBN: (纸本)9783642380327

An RFID tag could change hands many times during its lifetime. In a retail chain, the ownership of the tag is instituted by the supplier who initially owns the tag. In the view of a buyer, the validity of the current tag ownership and the originality of supplier are most important. In typical RFID ownership transfer protocols, the knowledge of the tag's authentication key proves the ownership. However, it is insufficient against an active attacker, since tags are usually lack of tamper-proof protections. Ownership transfer relies on a successful verification of tag's supplier and current ownership. In this paper, we formally define the security model of ownership transfer protocols and propose a secure ownership transfer protocol. In our scheme, current owner provides a new owner with the evidence of transfer and a proof of tag origin. Key management becomes easy in our system, since the one asymmetric verification key of the owner can be used to verify multiple tags that belong to the owner. © 2013 Springer-Verlag.

关键词： Radio frequency identification (RFID)

来源：评论

学校读者我要写书评

暂无评论

Automated software architecture security risk analysis using formalized signatures 13

Automated software architecture security risk analysis using...

引用

International Conference on software engineering (ICSE)

作者： Mohamed Almorsy John Grundy Amani S. Ibrahim Centre for Computing and Engineering Software Systems Swinburne University of Technology Melbourne Australia

ISBN: (纸本)9781467330763

Reviewing software system architecture to pinpoint potential security flaws before proceeding with system development is a critical milestone in secure software development lifecycles. This includes identifying possible attacks or threat scenarios that target the system and may result in breaching of system security. Additionally we may also assess the strength of the system and its security architecture using well-known security metrics such as system attack surface, Compartmentalization, least-privilege, etc. However, existing efforts are limited to specific, predefined security properties or scenarios that are checked either manually or using limited toolsets. We introduce a new approach to support architecture security analysis using security scenarios and metrics. Our approach is based on formalizing attack scenarios and security metrics signature specification using the Object Constraint Language (OCL). Using formal signatures we analyse a target system to locate signature matches (for attack scenarios), or to take measurements (for security metrics). New scenarios and metrics can be incorporated and calculated provided that a formal signature can be specified. Our approach supports defining security metrics and scenarios at architecture, design, and code levels. We have developed a prototype software system architecture security analysis tool. To the best of our knowledge this is the first extensible architecture security risk analysis tool that supports both metric-based and scenario-based architecture security analysis. We have validated our approach by using it to capture and evaluate signatures from the NIST security principals and attack scenarios defined in the CAPEC database.

关键词： Security Measurement Computer architecture Unified modeling language software software architecture Risk analysis

来源：评论

学校读者我要写书评

暂无评论

Social Networks and Crowdsourcing for Stakeholder Analysis in System of Systems Projects

Social Networks and Crowdsourcing for Stakeholder Analysis i...

引用

International Conference on System of Systems engineering

作者： Soo Ling Lim Cornelius Ncube Software Systems Research Centre School of Design Engineering and Computing Bournemouth University

ISBN: (纸本)9781467355964

In system of systems engineering, stakeholders are individuals, groups or organizations that stand to gain or lose from the success or failure of a system of systems. Systems of systems pose unique problems for stakeholder analysis due to their evolutionary nature, emergent behavior, operational independence, managerial independence, and geographical distribution of their constituent systems. This paper proposes the use of social networks and crowdsourcing to identify and prioritize the stakeholders for system of systems projects. The proposed method crowdsources the stakeholders to recommend other stakeholders, builds a social network of stakeholders, and prioritizes stakeholders using social network measures. The paper describes the method, and discusses the strengths and limitations of applying the method in system of systems projects.

关键词： System of systems Requirements engineering Stakeholder identification Stakeholder analysis Social network analysis Crowdsourcing Stakeholder analysis Social Networks System of systems Crowdsource Requirements engineering Social network analysis Social Media Stakeholders Social Capital

来源：评论

学校读者我要写书评

暂无评论

Fire tracking with collective intelligence using dynamic priority maps

Fire tracking with collective intelligence using dynamic pri...

引用

Congress on Evolutionary Computation

作者： David J. Howden Centre for Computing and Engineering Software Systems Swinburne University of Technology Melbourne Australia

ISBN: (纸本)9781479904532

This paper describes a swarm control algorithm based on distributed pheromone maps to effectively track a moving fire front. The algorithm uses a single heuristic to maintain persistent surveillance to detect new fires, while concurrently allowing for tracking of known fires. Control of the swarm is fully distributed and self-contained; requiring no external communication infrastructure and being resilient to individual hardware failures.

关键词： Peer-to-peer computing Surveillance Robots Heuristic algorithms Fuels Cameras Fires

来源：评论

学校读者我要写书评

暂无评论

Modeling, from the energy viewpoint, a free-form, high energy performance, transparent envelope

Smart Innovation, Systems and Technologies

引用

Smart Innovation, Systems and Technologies 2013年 22卷 229-237页

作者： Alonso, Luis Bedoya, C. Lauret, Benito Alonso, Fernando Department of Construction and Technology in Architecture School of Architecture UPM Avda. Ramiro de Maeztu s/n 28040 Madrid Spain Languages and Systems and Software Engineering Department School of Computing UPM Campus de Montegancedo s/nBoadilla del Monte 28660 Madrid Spain

ISBN: (纸本)9783642366444

This article examines a new lightweight, slim, high energy efficient, light-transmitting, self-supporting envelope system, providing for seamless, free-form designs for use in architectural projects. The system exploits vacuum insulation panel technology. The research was based on envelope components already existing on the market and patents and prototypes built by independent laboratories, especially components implemented with silica gel insulation, as this is the most effective transparent thermal insulation there is today. The tests run on these materials revealed that there is not one that has all the features required of the new envelope model, although some do have properties that could be exploited to generate this envelope, namely, the vacuum chamber of vacuum insulation panels, the use of monolithic aerogel as insulation in some prototypes, and reinforced polyester barriers. These three design components have been combined and tested to design a new, variable geometry, energy-saving envelope system that also solves many of the problems that other studies ascribe to the use of vacuum insulation panels. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Silica gel

来源：评论

学校读者我要写书评

暂无评论

The decision-scope approach to specialization of business rules: Application in business process modeling and data warehousing 9th

The decision-scope approach to specialization of business ru...

引用

9th Asia - Pacific Conference on Conceptual Modelling, APCCM 2013

作者： Schre, Michael Neumayr, Bernd Stumptner, Markus Department of Business Informatics Data and Knowledge Engineering Johannes Kepler Univ. of Linz Austria Advanced Computing Research Centre Knowledge and Software Eng. Lab University of South Australia Australia

ISBN: (纸本)9781921770289

It is common in organizational contexts and in law to apply a decision-scope approach to decision making. Higher organization levels set a decision scope within which lower organization levels may operate. In case of conflict the regulations and rules of a higher level (e.g. European Union) take precedence over those of a lower level (e.g. a member state). This approach can also be beneficially applied to the specialization of the most important kind of business rules in information systems, action rules. Such rules define under which conditions certain actions may, must not, or need to be taken. Applying the decision scope approach to business process modeling based on BPMN means that business rules should not be buried in decision tasks but be made explicit at the flow level. This requires a rethinking of the current BPMN modeling paradigm in that several aspects in conditional flow so far modeled jointly are separately captured: (a) potential ordering of tasks, (b) conditions under which a task may or may not be invoked, and (c) conditions under which a particular task needs to be invoked. Rather than re-defining BPMN as such, an appropriate extension may be provided on-top of BPMN and mapped to standard BPMN primitives. Applying the decision scope approach to active data warehousing, where analysis rules express actionable knowledge, requires to consider two alternative hierarchies: (1) hierarchies of sets of points at the same granularity and (2) the roll-up hierarchy of points in multi-dimensional space. This paper presents the decision scope approach, outlines how it complements inheritance and specialization approaches typically followed in objectoriented systems, and introduces consistency rules for business rule specialization as well as auto-correction rules, which rectify an inconsistent lower-level business rule such that it becomes consistent with higherlevel business rules. © 2013, Australian Computer Society, Inc.

关键词： Data warehouses

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：