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

今天的自动化工业被对增加的生产率，更高的灵活性，和更高的个性的需要驾驶，并且由定制、更复杂的控制答案描绘。在加工工业，逻辑控制器设计经常是一本手册，基于经验，并且这样一个错误容易的过程。典型地，说明被一套非正式的要求和一个技术流程图给，两个是直接被翻译成控制代码。这篇论文建议控制程序被经由清楚地定义的中间的格式转变要求作为一份顺序的函数图表(SFC ) 在构造的一个方法。为分析的目的，产生 SFC 能算法上被翻译成预定自动机。严密确认能被用来如果工厂的一个正式模型是可得到的，决定所有说明是否满足它那么与逻辑控制器(LC ) 的自动机模型一起被填写。

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

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.

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.

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.

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.

基于5G多接入边缘计算的云化PLC系统架构设计与应用

随着工业控制系统对柔性化、扁平化的要求不断提升,以PLC为构建基础的传统工业控制网络在大规模接入、算力提升和部署灵活性方面均受到限制.针对这些问题,融合5G网络和边缘计算技术,设计了基于5G多接入边缘计算的云化PLC系统架构,阐述了该架构的运行机制和所涉及的关键技术;在此基础上,进行PLC系统的云化部署和调试,实现了工业现场、企业数据中心、5G网络和边缘网络的集成;最后,通过在某汽车制造公司产线改造过程中的应用,验证了所提架构的有效性.

遵循结构逻辑与材料适用的体育建筑设计课程建设

文章以长安大学建筑学专业在四年级所开设的体育建筑设计专题课程为例,阐释其教学理念以遵循结构逻辑和材料适用为核心目标,采用理论与实践并重的教学方式,为高年级学生在大跨度体育建筑及其他公共建筑设计中教授相应的设计理念与方法,在建设进程中的模型制作与表达、参数化设计、联合教学及评图等方面形成了自身的教学研究特色。

基于相关性分离的逻辑电路敏感门定位算法

随着CMOS器件特征尺寸进入纳米量级,因高能粒子辐射等造成的电路失效问题日益严重,给电路可靠性带来严峻挑战。现阶段,准确评估集成电路可靠性,并以此为依据对电路进行容错加固,以提高电路系统可靠性变得刻不容缓。然而,由于逻辑电路中存在大量扇出重汇聚结构,由此引发的信号相关性导致可靠性评估与敏感单元定位面临困难。该文提出一种基于相关性分离的逻辑电路敏感门定位算法。先将电路划分为多个独立电路结构(ICS);以ICS为基本单元分析故障传播及信号相关性影响;再利用相关性分离后的电路模块和反向搜索算法精准定位逻辑电路敏感门单元;最后综合考虑面向输入向量空间的敏感门定位及针对性容错加固。实验结果表明,所提算法能准确、高效地定位逻辑电路敏感单元,适用于大规模及超大规模电路的可靠性评估与高效容错设计。

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.

基于模糊逻辑的飞机电推进系统能量管理策略研究

为了提升飞机电推进动力系统的关键性能,需要设计和优化内部能量管理控制策略并实现功率合理分配。本文基于MATLAB/Simulink平台,建立了电推进动力系统仿真模型,并在能量管理系统模块中提出了基于模糊逻辑的能量管理策略(EMS),其用于动力系统内部的功率分配和控制。针对从滑跑直到巡航稳定点的飞行任务段,对电推进动力系统进行了时段级仿真实验,研究了氢气消耗量等量化指标的表现。在此基础之上,基于遗传算法的优化方法,对模糊控制系统的隶属度函数参数进行了寻优。计算结果表明,在本文基于模糊逻辑的EMS作用下电推进动力系统的氢气消耗量减少9.27%,而且氢燃料电池功率波动剧烈程度减少25.11%;优化后,主指标氢气消耗量进一步减少6.5%,同时次要指标的变化被约束。

基于逻辑思维和创新思维的分析化学经典内容教学设计——以酸碱滴定法的应用为例

分析化学课程以定量分析为重点,注重学以致用、知行合一。为培养学生的创新思维和逻辑思维,以“酸碱滴定法的应用”为例,从微观知识内容出发,构建理论体系的逻辑关系。据此进行教学设计,注重梳理知识主线,深入思考逻辑关系,重构课程资源。通过基于项目案例的教学方法,激发学生的主动性和创新性,提升教学效果。

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

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

A Solar Energy System Design for Green Hydrogen Production in South-Western Nigeria, Lagos State, Using HOMER & ASPEN

Solar system design for green hydrogen production has become the most prominent renewable energy research area, and this has also actively fueled the desire to achieve net-zero emissions. Hydrogen is a promising energy carrier because it possesses more energy capacity than fossil fuels and the abundant nature of renewable energy systems can be utilized for green hydrogen production. However, the design of an optimized electrical energy system required for hydrogen production is crucial. Solar energy is indeed beneficial for green hydrogen production and this research designed, discussed, and provided high-level research on HOMER design for green hydrogen production and deployed the energy requirement with ASPEN Plus to optimize the energy system, while also incorporating fuzzy logic and PID control approaches. In addition, a promising technology with a high potential for renewable hydrogen energy is the proton exchange membrane (PEM) electrolyzer. Since its cathode (hydrogen electrode) may be operated over a wide range of pressure, a control process must be added to the system in order for it to work dynamically efficiently. This system can be characterized as an analogous circuit that consists of a resistor, capacitor, and reversible voltage. As a result, this research work also explores the Fuzzy-PID control of the PEM electrolysis system. Both the PID and Fuzzy Logic control systems were simulated using the control simulation program Matlab R2018a, which makes use of Matlab script files and the Simulink environment. Based on the circuit diagram, a transfer function that represents the mathematical model of the plant was created, and the PEM electrolysis control system is determined to be highly significant and applicable to the two control systems. The PI controller, however, has a 30.8% overshoot deficit, but when the fuzzy control system is compared to the PID controller, it is found that the fuzzy control system achieves stability more quickly, demonstrating its benefit over PID.

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.

设计逻辑是认知“中国方案”的创新思维方式——访谈清华大学柳冠中教授

面对复杂多变的国际环境和复兴文化的时代需求,柳冠中教授重新定义了中国模式,提出“中国方案”的顶层战略,即反对占有、提倡共享,以一种可持续发展的设计逻辑来创建分享型、服务型的社会。中国方案的提出对设计学科的定位和创新人才的培养都具有重要的指导意义,应在顶层教育和产教融合中给予重视和实践。