期刊文献+
共找到1,699篇文章
< 1 2 85 >
每页显示 20 50 100
Teaching Design of“ Digital Logic Design” Course Based on Blended Teaching Mode 被引量:1
1
作者 Yanhang Zhang Wei Wang +1 位作者 Qiong Li Yingtao Zhang 《计算机教育》 2022年第12期9-13,共5页
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 an... 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. 展开更多
关键词 Blended teaching Digital logic design Teaching case
在线阅读 下载PDF
Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Specifications
2
作者 Sven Lohmann Sebastian Engell 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2008年第1期43-47,共5页
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 in... 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). 展开更多
关键词 logic controller design systematic approach informal requirements VERIFICATION
在线阅读 下载PDF
Biologically Inspired Behaviour Design for Autonomous Robotic Fish 被引量:2
3
作者 Jin-Dong Liu Huosheng Hu 《International Journal of Automation and computing》 EI 2006年第4期336-347,共12页
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 consi... 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. 展开更多
关键词 Behaviour-based design robotic fish fuzzy logic
在线阅读 下载PDF
An Application of Paraconsistent Annotated Logic for Design Software Testing Strategies
4
作者 Marcos Ribeiro do Nascimento Luiz Alberto Vieira Dias Joao Inacio Da Silva Filho 《Journal of Software Engineering and Applications》 2014年第5期371-386,共16页
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... 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. 展开更多
关键词 Paraconsistent logic design Testing STRATEGIES SOFTWARE TESTABILITY Paraconsistent DECISION MAKING Model
暂未订购
Shape Anisotropy and Resonance Mode Guided Reliable Interconnect Design for In-plane Magnetic Logic
5
作者 Xiao-Kuo Yang Bin Zhang +4 位作者 Jia-Hao Liu Ming-Liang Zhang Wei-Wei Li Huan-Qing Cui Bo Wei 《Chinese Physics Letters》 SCIE CAS CSCD 2018年第5期129-132,共4页
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 stu... 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. 展开更多
关键词 net In Shape Anisotropy and Resonance Mode Guided Reliable Interconnect design for In-plane Magnetic logic
原文传递
USING LOGIC COMPONENTS FOR CONCEPTUAL DIE DESIGN
6
作者 Tang Dunbing Zheng Li Li Zhizhong Department of Precision Instruments and Mechanology,Qinghua University 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2001年第2期151-155,共5页
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 log... 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 展开更多
关键词 CAD Conceptual design DIE logic component logic assembly model
在线阅读 下载PDF
Logical Framework,Path Selection and Mechanism Design for Cultivation of New Type Professional Farmers
7
作者 Guangying LIU Jianfeng ZHANG +1 位作者 Yingliang ZHANG Qinghua HUANG 《Asian Agricultural Research》 2013年第10期125-129,132,共6页
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 agricultura... 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. 展开更多
关键词 New type PROFESSIONAL FARMERS logical framework PA
在线阅读 下载PDF
Practical pattern-based design recovery approach 被引量:1
8
作者 黄鹤远 张申生 +1 位作者 曹健 段永红 《Journal of Southeast University(English Edition)》 EI CAS 2004年第1期31-35,共5页
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 ... 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. 展开更多
关键词 logic design RECOVERY
在线阅读 下载PDF
Design and Assembly of an Improvised Logic Gates Simulator
9
作者 Ramil B. Arante 《World Journal of Engineering and Technology》 2018年第4期839-853,共15页
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, P... 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. 展开更多
关键词 ACCEPTABILITY ASSEMBLY Digital Electronics design ENHANCE Learning Activities Improvised logic GATES SIMULATOR
暂未订购
Reconfigurable dynamic all-optical chaotic logic operations in an optically injected VCSEL 被引量:6
10
作者 钟东洲 许葛亮 +1 位作者 罗伟 肖珍珍 《Chinese Physics B》 SCIE EI CAS CSCD 2017年第12期261-271,共11页
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 (AOCLO... 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. 展开更多
关键词 vertical-cavity surface emitting lasers (VCSEL) polarization switching CHAOS logic design
原文传递
SmartCtrlLogic软件在自控设计中的应用 被引量:3
11
作者 范文进 《石油化工自动化》 CAS 2013年第2期52-54,共3页
介绍了专用于绘制自控逻辑图的SmartCtrlLogic软件,简要说明了软件的使用方法,总结了该软件与传统设计模式相比较的优势。从应用角度,证明该软件的运用提高了自控逻辑设计的效率,同时指出了软件仿真功能还有待完善。
关键词 自控 逻辑图 设计软件
在线阅读 下载PDF
Process of Security Assurance Technique for Application Functional Logic in E-Commerce Systems 被引量:1
12
作者 Faisal Nabi Jianming Yong +3 位作者 Xiaohui Tao Muhammad Saqib Malhi Muhammad Farhan Umar Mahmood 《Journal of Information Security》 2021年第3期189-211,共23页
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 err... 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 <span style="font-family:Verdana;">assumptions bugs</span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;">,</span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;"> etc. Most existing security practices in e-Commerce are</span></span></span><span><span><span style="font-family:;" "=""><span style="font-family:Verdana;"> 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 </span><span style="font-family:Verdana;">also fail to find vulnerabilities, which have been established in complianc</span><span style="font-family:Verdana;">e </span><span style="font-family:Verdana;">with application logic. In this paper, we will investigate the problem of business</span><span style="font-family:Verdana;"> 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 compo</span><span style="font-family:Verdana;">nent-based e-commerce application, based on security requirement of</span><span style="font-family:Verdana;"> e-business </span><span style="font-family:Verdana;">process and security assurance logical component behaviour specification</span><span style="font-family:Verdana;"> ap</span><span style="font-family:Verdana;">proach to formulize and design a solution for business logic vulnerability</span><span style="font-family:Verdana;"> phenomena.</span></span></span></span> 展开更多
关键词 Business logic design Flaws Components Integration Flaws E-Commerce System Assurance & Security Model Based design Business logic Attacks Attack Pattern
在线阅读 下载PDF
Study on the System Design of Multiple Expert Systems Integrated Decision Support System
13
作者 Wang, Zongjun 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 1993年第1期74-81,共8页
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 env... 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. 展开更多
关键词 Computational methods Computer architecture Database systems Expert systems Information management Knowledge based systems Large scale systems logic design Systems analysis User interfaces
在线阅读 下载PDF
Design and Development of Garment Fabric Database Management System
14
作者 DU Jianxia LIU Zhengdong GENG Zengmin 《Journal of Donghua University(English Edition)》 CAS 2022年第4期392-399,共8页
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 fab... 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. 展开更多
关键词 fabric physical characteristic subjective evaluation model of fabric fabric database design concept design logic design
在线阅读 下载PDF
PIPM模块化教学设计原理与实践逻辑——以“学前教育研究方法”课程为例
15
作者 程天宇 杨丽 《职业技术》 2026年第1期71-78,共8页
在当前教育生态下,“学前教育研究方法”课程面临三大挑战:标准化教学难以满足学生个性化学习需求、静态知识体系无法适应动态实践需求、方法论训练与教育实践应用相脱节。PIPM模块化教学以学前教育领域真实情境问题为起点,通过职业场... 在当前教育生态下,“学前教育研究方法”课程面临三大挑战:标准化教学难以满足学生个性化学习需求、静态知识体系无法适应动态实践需求、方法论训练与教育实践应用相脱节。PIPM模块化教学以学前教育领域真实情境问题为起点,通过职业场景驱动目标生成,同时建立灵活的目标调整机制,并将真实项目嵌入模块实施过程,打破了传统教学模式的局限,构建起一个灵活适应学生需求和行业标准的“学前教育研究方法”课程生态系统,有助于提升学前师范生的研究能力与实践技能,为职业教育课程改革提供可借鉴的范例。 展开更多
关键词 PIPM模块化教学 课程 设计原理 实践逻辑
在线阅读 下载PDF
基于PowerDesigner的家庭财务管理系统的数据库设计 被引量:2
16
作者 宋薇 李倩 薛立 《电脑知识与技术》 2015年第6X期2-5,共4页
该文介绍了基于Power Designer的家庭财务管理系统数据库建模的过程。通过对系统的需求和功能以及数据流程进行分析,设计系统所需数据项和数据结构。在数据库分析的基础上设计系统的实体和关系并使用Power Designer工具建立概念数据模型... 该文介绍了基于Power Designer的家庭财务管理系统数据库建模的过程。通过对系统的需求和功能以及数据流程进行分析,设计系统所需数据项和数据结构。在数据库分析的基础上设计系统的实体和关系并使用Power Designer工具建立概念数据模型,逻辑数据模型。根据关系模式以及转换规则得到数据库模式。 展开更多
关键词 家庭财务管理系统 概念数据模型 逻辑数据模型 物理数据模型 Power designer
在线阅读 下载PDF
Aircraft robust multidisciplinary design optimization methodology based on fuzzy preference function 被引量:4
17
作者 Ali Reza BABAEI Mohammad Reza SETAYANDEH Hamid FARROKHFAL 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2018年第12期2248-2259,共12页
This paper presents a Fuzzy Preference Function-based Robust Multidisciplinary Design Optimization(FPF-RMDO) methodology. This method is an effective approach to multidisciplinary systems, which can be used to designe... This paper presents a Fuzzy Preference Function-based Robust Multidisciplinary Design Optimization(FPF-RMDO) methodology. This method is an effective approach to multidisciplinary systems, which can be used to designer experiences during the design optimization process by fuzzy preference functions. In this study, two optimizations are done for Predator MQ-1 Unmanned Aerial Vehicle(UAV):(A) deterministic optimization and(B) robust optimization. In both problems, minimization of takeoff weight and drag is considered as objective functions, which have been optimized using Non-dominated Sorting Genetic Algorithm(NSGA). In the robust design optimization, cruise altitude and velocity are considered as uncertainties that are modeled by the Monte Carlo Simulation(MCS) method. Aerodynamics, stability and control, mass properties, performance, and center of gravity are used for multidisciplinary analysis. Robust design optimization results show 46% and 42% robustness improvement for takeoff weight and cruise drag relative to optimal design respectively. 展开更多
关键词 Fuzzy logic Multidisciplinary design optimization Preference function Robust design Unmanned Aerial Vehicle(UAV)
原文传递
A Comparative Study of Majority/Minority Logic Circuit Synthesis Methods for Post-CMOS Nanotechnologies 被引量:1
18
作者 Amjad Almatrood Harpreet Singh 《Engineering(科研)》 2017年第10期890-915,共26页
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 tunnelin... 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. 展开更多
关键词 logic design logic Optimization MAJORITY logic CIRCUITS Post-CMOS Technologies
暂未订购
基于Advance PLD Design的PLD设计与仿真
19
作者 王怀瑞 顼庆坤 盖素丽 《河北省科学院学报》 CAS 2007年第4期25-28,共4页
通过实例介绍了利用Advance PLD Design进行PLD设计和仿真的过程,并给出作者的体会。
关键词 可编程逻辑器件 ADVANCE PLD design 设计与仿真
在线阅读 下载PDF
DESIGN OF TERNARY ADIABATIC MULTIPLIER ON SWITCH-LEVEL 被引量:1
20
作者 Wang Pengjun Li Kunpeng Mei Fengna 《Journal of Electronics(China)》 2011年第3期375-382,共8页
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 t... 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. 展开更多
关键词 Ternary logic ADIABATIC MULTIPLIER Circuit design
在线阅读 下载PDF
上一页 1 2 85 下一页 到第
使用帮助 返回顶部