Template-based circuit understanding

When verifying or reverse-engineering digital circuits, one often wants to identify and understand small components in a larger system. A possible approach is to show that the sub-circuit under investigation is functionally equivalent to a reference implementation. In many cases, this task is difficult as one may not have full information about the mapping between input and output of the two circuits, or because the equivalence depends on settings of control inputs. We propose a template-based approach that automates this process. It extracts a functional description for a low-level combinational circuit by showing it to be equivalent to a reference implementation, while synthesizing an appropriate mapping of input and output signals and setting of control signals. The method relies on solving an exists/forall problem using an SMT solver, and on a pruning technique based on signature computation.

SOTrain: A new program for training supervisors and operators in Australian sugar factories

The provision of effective training of supervisors and operators is essential if sugar factories are to operate profitably and in an environmentally sustainable and safe manner. The benefits of having supervisor and operator staff with a high level of operational skills are reduced stoppages, increased recovery, improved sugar quality, reduced damage to equipment, and reduced OH&S and environmental impacts. Training of new operators and supervisors in factories has traditionally relied on on-the-job training of the new or inexperienced staff by experienced supervisors and operators, supplemented by courses conducted by contractors such as Sugar Research Institute (SRI). However there is clearly a need for staff to be able to undertake training at any time, drawing on the content of online courses as required. An improved methodology for the training of factory supervisors and operators has been developed by QUT on behalf of a syndicate of mills. The new methodology provides ‘at factory’ learning via self-paced modules. Importantly, the training resources for each module are designed to support the training programs within sugar factories, thereby establishing a benchmark for training across the sugar industry. The modules include notes, training guides and session plans, guidelines for walkthrough tours of the stations, learning activities, resources such as videos, animations, job aids and competency assessments. The materials are available on the web for registered users in Australian Mills and many activities are best undertaken online. Apart from a few interactive online resources, the materials for each module can also be downloaded. The acronym SOTrain (Supervisor and Operator Training) has been applied to the new training program.

Islamic fund and asset management: The opportunities and challenges of Islamic REITs

Purpose This paper aims to present a review on the issues and challenges for Islamic Funds and Asset Management, particularly the Islamic Real Estate Trusts (I-REITs) available in Malaysia. The key difference between the Islamic and the conventional investment vehicle is mainly the fund needs to adhere to the Shariah framework. Design/methodology/approach The paper reviews and synthesises the relevant literature on the framework of Islamic Asset and Fund Management, particularly the Islamic Real Estate Investment Trusts. The paper then provides insights for further research to address the issues and consider the Shariah framework applicable to other further research works. Findings The paper highlights the opportunities and challenges of Islamic REITs globally. There is a lack of the standardisation in the screening methodology used by the Malaysian I- REITs and Singapore I-REITs as the latter follows the Gulf Cooperation Council (GCC) guideline to capture the investors mainly from the Gulf countries. In term of tenants’ selection, there is similarity between I-REITs and the Socially Responsible Investment (SRI) or ethical investment. The gap between the investments can be bridged if the Islamic funds skewed the investment portfolio towards the social and ethical investment. Even though there is a limitation in the investment universe, I-REITs provide better diversification option and show better performance compared to the equity market during the economic crisis. The introduction of the Shariah-compliant REITs index for Asia Pacific allows the fund managers to benchmark the performance of either the funds or the sector with other investment vehicles. This will encourage more investors to consider I-REIT in the decision making of the asset allocation portfolio and broadening the horizon of the investment. Originality/value The contribution of the study is the examination and analysis of the Shariah framework currently adopted for Islamic REITs. This will assist in the identification of specific issues associated with Islamic REITs that will need to be addressed in the development and application of further research in the aspect of the management and operations to increase the efficiency level and better performance in order to capture more investors in this specific and promising market.