Teaching Design of“ Digital Logic Design” Course Based on Blended Teaching Mode

How to design and organize the implementation of teaching is an important consideration for the quality of the course.This paper takes the“Digital Logic Design”course as an example,and carries out teaching design and practice based on the blended teaching mode.By adopting various forms such as MOOC+SPOC+theme seminars,beneficial explorations have been made in improving students’autonomous learning ability,strengthening engineering literacy,and cultivating innovation ability.

Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Specifications

Today＇s automation industry is driven by the need for an increased productivity, higher flexibility, and higher individuality, and characterized by tailor-made and more complex control solutions. In the processing industry, logic controller design is often a manual, experience-based, and thus an error-prone procedure. Typically, the specifications are given by a set of informal requirements and a technical flowchart and both are used to be directly translated into the control code. This paper proposes a method in which the control program is constructed as a sequential function chart （SFC） by transforming the requirements via clearly defined intermediate formats. For the purpose of analysis, the resulting SFC can be translated algorithmically into timed automata. A rigorous verification can be used to determine whether all specifications are satisfied if a formal model of the plant is available which is then composed with the automata model of the logic controller （LC）.

Biologically Inspired Behaviour Design for Autonomous Robotic Fish

Behaviour-based approach plays a key role for mobile robots to operate safely in unknown or dynamically changing environments. We have developed a hybrid control architecture for our autonomous robotic fish that consists of three layers： cognitive, behaviour and swim pattern. In this paper, we describe some main design issues of the behaviour layer, which is the centre of the layered control architecture of our robotic fish. Fuzzy logic control （FLC） is adopted here to design individual behaviours. Simulation and real experiments are presented to show the feasibility and the performance of the designed behaviour layer.

An Application of Paraconsistent Annotated Logic for Design Software Testing Strategies

Nowadays, application model systems for decision-making based on non-classical logic such as Paraconsistent Logic are used successfully in the treatment of uncertainties. The method presented in this paper is based on the fundamental concepts of Paraconsistent Annotated Logic with annotation of 2 values (PAL2v). In this study, two algorithms based on PAL2v are presented gradually, to extract the effects of the contradiction in signals of information from a database of uncertain knowledge. The Paraconsistent Extractors Algorithms of Contradiction Effect-Para Extrctr is applied to filters of networks of analyses (PANets) of signal information, where uncertain and contradictory signals may be found. Software test case scenarios are subordinated to an application model of Paraconsistent decision-making, which provides an analysis using Paraconsistent Logic in the treatment of uncertainties for design software testing strategies. This quality-quantity criterion to evaluate the software product quality is based on the characteristics of software testability analysis. The Para consistent reasoning application model system presented in this case study, reveals itself to be more efficient than the traditional methods because it has the potential to offer an appropriate treatment to different originally contradicting source information.

Shape Anisotropy and Resonance Mode Guided Reliable Interconnect Design for In-plane Magnetic Logic

Dipole coupled nanomagnets controlled by the static Zeeman field can form various magnetic logic interconnects.However, the corner wire interconnect is often unreliable and error-prone at room temperature. In this study, we address this problem by making it into a reliable type with trapezoid-shaped nanomagnets, the shape anisotropy of which helps to offer the robustness. The building method of the proposed corner wire interconnect is discussed,and both its static and dynamic magnetization properties are investigated. Static micromagnetic simulation demonstrates that it can work correctly and reliably. Dynamic response results are reached by imposing an ac microwave field on the proposed corner wire. It is found that strong ferromagnetic resonance absorption appears at a low frequency. With the help of a very small ac field with the peak resonance frequency, the required static Zeeman field to switch the corner wire is significantly decreased by ~21 m T. This novel interconnect would pave the way for the realization of reliable and low power nanomagnetic logic circuits.

USING LOGIC COMPONENTS FOR CONCEPTUAL DIE DESIGN

Logic components are used to support the conceptual design Taking the stamping die structure as the research object,several logic components are defined for the conceptual die construction design A new method logic assembly modeling is presented to satisfy the characteristic of the top down die design process Representing shapes and spatial relations in logic can provide a natural,intuitive method of developing complete computer systems for reasoning about die construction design at the conceptual stage This method can reflect the designer's thought clearly and provide the designer with a test bed for generating alternatives and performing reasoning work at the conceptual die design stage

Logical Framework,Path Selection and Mechanism Design for Cultivation of New Type Professional Farmers

New type professional farmers are farmers who possess certain resources and capitals,have certain extent of spirit of entrepreneurship,and are fully capable of obtaining and allocating resources related to agricultural production and management,and engaged in agricultural production and management for obtaining average profit.Cultivation of new type professional farmers should be promoted in the process and at the background of"coordinated development of industrialization,informationization,urbanization and agricultural modernization".It should establish a proper cultivation subject system consisting of government,enterprises,rural communities and nonprofit organizations.Relying on multiple motive forces,efforts should be concentrated on cultivating those farmers with enterprising,highly innovative and learning ability,to guide traditional farmers to change into learning,enterprising and innovative ones.In addition,cultivation of new type professional farmers must rely on farmer education and training,modern agricultural development,increase in agricultural comparative advantage,innovation of rural management system and mechanism,multiple types of agricultural operation on a fairly large scale,as well as construction and regulation of new rural communities.Finally,it is recommended to provide system guarantee from long-term input mechanism of new type professional farmer education and training,incentive and restrictive mechanism of new type professional farmer cultivation,and construction of favorable environment for agricultural entrepreneurship.

Practical pattern-based design recovery approach

A practical approach is presented to enlarge the recoverable scope and improve the precision of pattern recovery. To specify both structural aspects and behavioral aspects of design patterns, we introduce traditional predicate logic combined with Alien's interval-based temporal logic as our theoretical foundation. Moreover, we take the Visitor pattern as an example to illustrate how to specify design patterns to support recovery of design patterns besides structural category. The experimental results show that the approach presented is practical for recovering design information of real world systems.

Design and Assembly of an Improvised Logic Gates Simulator

This study aimed at designing and assembling an improvised Logic Gates Simulator that can be utilized as an instructional device in basic digital electronics instruction at Caraga State University Cabadbaran Campus, Philippines. This instructional device is believed to enhance the teaching-learning process and would also help address the scarcity of instructional equipment in the school and in the country. Descriptive method of research was employed to come up with the design of the simulator based on the course content of basic digital electronics subject. Acceptability of the improvised simulator based on standards set in this study was?gathered from the experts as respondents using a self-made questionnaire. The data were treated using average weighted mean utilizing parametric scales with verbal descriptions. Findings revealed that the improvised logic gates simulator is highly acceptable in terms of its cost and availability of components,?design and construction,operations, and troubleshooting features. It is concluded that the improvised logic gates simulator is at par in terms of standards on instructional devices based on the evaluation results of experts and is therefore recommended to be used in basic digital electronics instruction. The simulator is an innovative answer and an alternate solution to the scarcity of instructional materials and devices at Caraga State University Cabadbaran Campus.

Reconfigurable dynamic all-optical chaotic logic operations in an optically injected VCSEL

In a chaotic system of vertical cavity surface emitting laser （VCSEL） with external optical-injection, we propose a novel implementation scheme for reconfigurable dynamic all-optical chaotic logic operations （AOCLOs）. Under different key parameters, such as the bias current, the injection strength and the frequency detuning of the injected light field and the VCSEL, we also explore the evolutions of the polarization-bistability with the amplitude of the injected light field when the output of VCSEL is chaotic wave. According to the dynamic evolutions, we find out the optimal value of the frequency detuning that is considered as a control logic signal, and further implement different AOCLOs, such as AND, NAND, OR, NOR, XOR, and XNOR, by controlling the logic operation of the control logic signal between two logic inputs. Moreover, the ability to reconstruct these logic operations is demonstrated under relatively low noise strength of the spontaneous emission.

SmartCtrlLogic软件在自控设计中的应用

介绍了专用于绘制自控逻辑图的SmartCtrlLogic软件,简要说明了软件的使用方法,总结了该软件与传统设计模式相比较的优势。从应用角度,证明该软件的运用提高了自控逻辑设计的效率,同时指出了软件仿真功能还有待完善。

Process of Security Assurance Technique for Application Functional Logic in E-Commerce Systems

Security practices such as Audits that often focus on penetration testing are performed to find flaws in some types of vulnerability & use tools, which have been tailored to resolve certain risks based on code errors, code conceptual assumptions bugs, etc. Most existing security practices in e-Commerce are dealt with as an auditing activity. They may have policies of security, which are enforced by auditors who enable a particular set of items to be reviewed, but also fail to find vulnerabilities, which have been established in compliance with application logic. In this paper, we will investigate the problem of business logic vulnerability in the component-based rapid development of e-commerce applications while reusing design specification of component. We propose secure application functional processing Logic Security technique for component-based e-commerce application, based on security requirement of e-business process and security assurance logical component behaviour specification approach to formulize and design a solution for business logic vulnerability phenomena.

Study on the System Design of Multiple Expert Systems Integrated Decision Support System

There has been an increasing interest in integrating decision support systems (DSS) and expert systems (ES) to provide decision makers a more accessible, productive and domain-independent information and computing environment. This paper is aimed at designing a multiple expert systems integrated decision support system (MESIDSS) to enhance decision makers' ability in more complex cases. The basic framework, management system of multiple ESs, and functions of MESIDSS are presented. The applications of MESIDSS in large-scale decision making processes are discussed from the following aspects of problem decomposing, dynamic combination of multiple ESs, link of multiple bases and decision coordinating. Finally, a summary and some ideas for the future are presented.

Design and Development of Garment Fabric Database Management System

The main performance characteristics of garment fabric are analyzed and extracted,which include physical characteristics,appearance characteristics and subjective evaluation characteristics.A calculating model of fabric’s subjective evaluation is provided,which can be adjusted as the data increasing.The database system of garment fabric is analyzed,and then function design,concept design and logic design are carried out.The user interface(UI)design of garment fabric database system is described.The system can not only serve the fabric management and customization of garment enterprises,but also serve the teaching work of colleges and universities,because it is rich in information and convenient.It is of great significance to digital construction in the clothing field.

基于PowerDesigner的家庭财务管理系统的数据库设计

该文介绍了基于Power Designer的家庭财务管理系统数据库建模的过程。通过对系统的需求和功能以及数据流程进行分析,设计系统所需数据项和数据结构。在数据库分析的基础上设计系统的实体和关系并使用Power Designer工具建立概念数据模型,逻辑数据模型。根据关系模式以及转换规则得到数据库模式。

A Comparative Study of Majority/Minority Logic Circuit Synthesis Methods for Post-CMOS Nanotechnologies

The physical limitations of complementary metal-oxide semiconductor?(CMOS) technology have led many researchers to consider other alternative technologies. Quantum-dot cellular automate (QCA), single electron tunneling (SET), tunneling phase logic (TPL), spintronic devices, etc., are some of the nanotechnologies that are being considered as possible replacements for CMOS. In these nanotechnologies, the basic logic units used to implement circuits are majority and/or minority gates. Several majority/minority logic circuit synthesis methods have been proposed. In this paper, we give a comparative study of the existing majority/minority logic circuit synthesis methods that are capable of synthesizing multi-input multi-output Boolean functions. Each of these methods is discussed in detail. The optimization priorities given to different factors such as gates, levels, inverters, etc., vary with technologies. Based on these optimization factors, the results obtained from different synthesis methods are compared. The paper also analyzes the optimization capabilities of different methods and discusses directions for future research in the synthesis of majority/minority logic networks.

基于Advance PLD Design的PLD设计与仿真

通过实例介绍了利用Advance PLD Design进行PLD设计和仿真的过程,并给出作者的体会。

DESIGN OF TERNARY ADIABATIC MULTIPLIER ON SWITCH-LEVEL

The design of ternary adiabatic multiplier adopting switch-level design techniques is proposed in this paper. First by using the theory of three essential circuit elements, the switch-level functional expressions of the carry and product circuit models, which compose one bit ternary adiabatic multiplier, are derived. Consequently, the corresponding circuit structures can be ob-tained, and the evaluation and energy recovery for ternary circuit can be realized by bootstrapped NMOS transistors and cross-memory structure. Based on the designed circuits, the four bits ter-nary adiabatic multiplier is further realized by adopting the ripple carry manner. The PSPICE simulation results indicate that the designed circuits have correct logic function and are charac-terized with distinctive low power consumption.

DESIGN OF MULTI-SERVICE SDH NETWORKS: FORMULATION AND HEURISTICS

Multi-service SDH networks support both packet- and circuit-switched traffic. Optimal design of such a network means to guarantee the circuit connections and configure a logical packet-switched topology with lowest congestion. This letter first formulates the problem as a mixed integer linear programming, which achieves optimal solution but has high computation. Then a heuristic algorithm is proposed to yield near-optimal solution efficiently. Performance of the algorithm is verified by an example.

A UNIFIED THEORY FOR DESIGNING ANDANALYZING BOTH SYNCHRONOUS AND ASYNCHRONOUS SEQUENTIAL CIRCUITS

The paper discusses general expressions of the clock signal and the next state equations containing the clock signal for flip-flops, and based on it, a unified theory for designing and analyzing both synchronous and asynchronous sequential circuits is proposed. The theory is proved effective by practical examples.