Improved STNModels and Heuristic Rules for Cooperative Scheduling in Automated Container Terminals

Improving the cooperative scheduling efficiency of equipment is the key for automated container terminals to copewith the development trend of large-scale ships. In order to improve the solution efficiency of the existing spacetimenetwork (STN) model for the cooperative scheduling problem of yard cranes (YCs) and automated guidedvehicles (AGVs) and extend its application scenarios, two improved STN models are proposed. The flow balanceconstraints in the original model are decomposed, and the trajectory constraints of YCs and AGVs are added toacquire the model STN_A. The coupling constraint in STN_A is updated, and buffer constraints are added toSTN_A so that themodel STN_B is built.As the size of the problem increases, the solution speed of CPLEX becomesthe bottleneck. So a heuristic method containing three groups of heuristic rules is designed to obtain a near-optimalsolution quickly. Experimental results showthat the computation time of STN_A is shortened by 49.47% on averageand the gap is reduced by 1.69% on average compared with the original model. The gap between the solution ofthe heuristic rules and the solution of CPLEX is less than 3.50%, and the solution time of the heuristic rules is onaverage 99.85% less than the solution time of CPLEX. Compared with STN_A, the computation time for solvingSTN_B increases by 58.93% on average.

Research on Electrical Automation Control Design Based on PLC Technology

As science and technology continue to progress forward,electrical automation engineering is also developing,of which programmable logic controller(PLC)technology is widely being used.Through the integration of PLC technology and traditional electrical automation technology,good development of modern science and technology is promoted while traditional automation is preserved.The development of electrical engineering can greatly improve the strength of science,technology,and economy in our country.Based on PLC technology,this paper analyzes the design of electrical automation control.

Development of Parametric Design System Based on AutoCAD Automation

This paper discusses the method of how to develop the parametric design system. It presents an idea and a method of developing AutoCAD R14 with the help of VB, AutoLISP and DantaBase system on the base of AntoCAD Automation technology. Therefore, the question of how to integrate the user's interface, data (DataBase) management and parameter transformation can be solved properly.

Densification Mechanism of Warm Compaction and Powder Mixture Designing Rules

By phenomenological analysis of warm compaction, it is found that, compared with the contribution of particle plastical deformation to densification of powder compact,the particle rearrangement is a dominant densification mechanism for powder warm compaction, and the plastical deformation of particles plays an important role in offering accommodating deformation for particle rearrangement and densifying powder compact at the final stage of pressing.In order to attain density gain as high as possible during warm compaction, six rules for designing warm compacting powder mixtures were proposed in detail.

Electromagnetic Simulation with 3D FEM for Design Automation in 5G Era

Electromagnetic simulation and electronic design automation(EDA)play an important role in the design of 5G antennas and radio chips.The simulation challenges include electromagnetic effects and long simulation time and this paper focuses on simulation software based on finite-element method(FEM).The state-of-the-art EDA software using novel computational techniques based on FEM can not only accelerate numerical analysis,but also enable optimization,sensitivity analysis and interactive design tuning based on rigorous electromagnetic model of a device.Several new techniques that help to mitigate the most challenging issues related to FEM based simulation are highlighted.In particular,methods for fast frequency sweep,mesh morphing and surrogate models for efficient optimization and manual design tuning are briefly described,and their efficiency is illustrated on examples involving a 5G multiple-input multiple-output(MIMO)antenna and filter.It is demonstrated that these new computational techniques enable significant reduction of time needed for design closure with the acceleration rates as large as tens or even over one hundred.

Scavenging Microwave Wireless Power:A Unified Model,Rectenna Design Automation,and Cutting-Edge Techniques

While sufficient review articles exist on inductive short-range wireless power transfer(WPT),long-haul microwave WPT(MWPT)for solar power satellites,and ambient microwave wireless energy harvesting(MWEH)in urban areas,few studies focus on the fundamental modeling and related design automation of receiver systems.This article reviews the development of MWPT and MWEH receivers,with a focus on rectenna design automation.A novel rectifier model capable of accurately modeling the rectification process under both high and low input power is presented.The model reveals the theoretical boundary of radio frequency-to-direct current(dc)power conversion efficiency and,most importantly,enables an automated system design.The automated rectenna design flow is sequential,with the minimal engagement of iterative optimization.It covers the design automation of every module(i.e.,rectifiers,matching circuits,antennae,and dc–dc converters).Scaling-up of the technique to large rectenna arrays is also possible,where the challenges in array partitioning and power combining are briefly discussed.In addition,several cutting-edge rectenna techniques for MWPT and MWEH are reviewed,including the dynamic range extension technique,the harmonics-based retro-directive technique,and the simultaneous wireless information and power transfer technique,which can be good complements to the presented automated design methodology.

Design of Traditional Chinese Medicine Extraction Workshop Process and Automation System

Objective: This paper takes the example of a Panax notoginseng extraction workshop and designs an automated production workshop with advanced domestic capabilities. Methods: 1) Based on the small-scale Panax notoginseng extraction process, the feasibility of the workshop production process is demonstrated. 2) The workshop process design for Panax Notoginseng saponin extraction is completed, including production organization plans and the selection of key equipment. 3) For the Panax notoginseng extraction workshop process, an automated production control system is designed. Conclusion: Through optimized design of the production process and automation system, continuous and automated production of traditional Chinese medicine extraction is achieved, leading to improvements in drug quality and production efficiency.

Practice Teaching Reform of Mechanical Design and Manufacture and Its Automation Specialty under Transformation and Development

With the development of the times, undergraduate colleges and universities begin to transform and develop to adapt to the changing society, and put forward new requirements for practical teaching strategies, especially for applied undergraduate colleges. The reform of practical teaching is particularly important. Under the development of education transformation, the reform of mechanical design and manufacture and the practice teaching of automation specialty also occupy a very important position. Through the understanding of the reform of the practical teaching of this specialty, the effect of the reform is observed, and a reasonable teaching scheme is put forward to promote the steps of the transformation of the practical teaching.

Synopsys收购ANALOG DESIGN AUTOMATION公司

Synopsys公司日前正式宣布．全面收购ANALOG DESIGN AUTOMATION(ADA)公司韵所有资产。ADA是为模拟信号、混合信号及定制集成电路提供自动化电路优化解决方案的领先供应商．这将扩展Synopsys在模拟和混合信号方面的实力。通过这一收购．

Research on Theory of Green Product DesignAutomation

Facing with the design activihes of low efficacy and low standard on design automationdue to the probabilishc, non-rational and non-standard product design. This Paper puts forward thetheory of generalized mapping, which is proved to be effective in the enhancemed of the creativity ofproduct design automation. It further explores the applicahon and progress in the creative greenproduct conceptual and detail design.

Automation Studio在液压系统设计中的应用

介绍面向系统原理图的液压系统仿真软件Automation Studio。以捞油车液压驱动系统设计为例,在Automation Studio平台下进行模拟,对两变幅液压缸的压力、加速度及其机械特性进行研究,并在Bosch Rexroth实验台安装、调试系统,相关参数测试结果与软件模拟结果基本相同。表明这种仿真方法能准确地模拟实际系统的工作状态,简化建模和参数调节过程,为液压系统设计及动态特性研究提供一种好方法。

基于CATIA ActiveX Automation机械零件参数化系统的开发技术

介绍了ActiveXAutomation接口技术原理及其在CATIA二次开发中的引用.讨论了以VC++为编程环境,利用ActiveXAutomation技术实现引用程序和CATIA的通讯,实现机械零件参数化设计的方法,并给出了部分代码.

基于Automation Studio的造纸机液压系统设计与仿真

液压系统给造纸机压辊提供稳定和可靠的压力来完成纸页的压榨脱水和压光。本文使用Automation Studio设计造纸机的液压系统,并对造纸机各压榨上辊的落下预压、加压和抬起复位等工作过程进行模拟仿真,仿真结果表明,设计的液压系统能以很好的压力稳定性和可靠性完成压榨工作。将设计的液压系统应用于造纸机,液压系统的运行效果基本与仿真结果相同。表明这种设计和仿真方法能准确地模拟实际液压系统的工作状态,它建模过程简单,运行参数调节方便,为液压系统设计及运行优化提供了一种好工具。

JBoss Rules规则引擎应用程序设计

论述了Java规则引擎的原理,提出了基于规则引擎的系统结构,研究了使用JBoss Rules进行应用程序设计的技术。

基于XML和Automation APIs的CAD模型集成与交换研究

异构数据源(例如不同CAD系统之间)的交换和共享是虚拟产品开发中信息集成的核心。一般是采用基于设计历史参数化建模方法进行模型交换,但特征和几何信息的交换导致了转换器规模变大;另外转换器采用过程模型作为中性文件,需要几何建模内核生成内部显式模型。为了解决该问题,提出了一种称之为MidCAD的共享集成平台,该平台将转换器和中性文件分开,这样商业CAD系统的转换器只和MidCAD进行交互。采用Microsoft开发的Automation APIs实现MidCAD的交互通信。转换器利用MidCAD的Automation APIs将源CAD模型转换为XML宏文件,或将XML宏文件转换为目标CAD系统的模型。对MidCAD集成平台进行了验证。

ADO技术及ActiveX Automation技术在货架设计系统中的应用

以近期开发的“货架设计系统”中文档和图纸自动生成功能的设计与开发为例,介绍用VB,WORD2000和ACCESS2000集成开发应用系统的两个关键技术:通过ADO接口实现VB应用程序与ACCESS数据库的连接;用ActiveX Automation技术实现VB对WORD的控制。

SVR-Miner:Mining Security Validation Rules and Detecting Violations in Large Software

For various reasons,many of the security programming rules applicable to specific software have not been recorded in official documents,and hence can hardly be employed by static analysis tools for detection.In this paper,we propose a new approach,named SVR-Miner(Security Validation Rules Miner),which uses frequent sequence mining technique [1-4] to automatically infer implicit security validation rules from large software code written in C programming language.Different from the past works in this area,SVR-Miner introduces three techniques which are sensitive thread,program slicing [5-7],and equivalent statements computing to improve the accuracy of rules.Experiments with the Linux Kernel demonstrate the effectiveness of our approach.With the ten given sensitive threads,SVR-Miner automatically generated 17 security validation rules and detected 8 violations,5 of which were published by Linux Kernel Organization before we detected them.We have reported the other three to the Linux Kernel Organization recently.

AUTOMATIC APPROACH TO PRODUCT CONCEPTUAL DESIGN BASED ON CONSTRAINT NETWORK

Product design is considered as the constraint satisfaction problem (CSP),and a new design approach basedon constraint network is proposed and applied to make designautomatic partially. By means of constraint extraction, constraint network construction andoperation, constraint chains are acquired, and then the conceptual design scheme can be got bydecoding the information stored in the design constraint chains, which provides a novelty method formechanical product design automation. Shearing mechanism of shearing machine has been designed bythis way.

Rationale and Design of the Randomized Controlled Trial of Intensive Versus Usual ECG Screening for Atrial Fibrillation in Elderly Chinese by an Automated ECG System in Community Health Centers in Shanghai(AF-CATCH)

Objective:The randomized controlled trial(ClinicalTrials.gov identifier NCT02990741)will investigate whether more frequent electrocardiographic(ECG)recordings and analyses with an automated ECG system would improve detection of atrial fibrillation compared with a single annual ECG screen in elderly Chinese in community health centers.Design:Men and women(≥65 years)will be randomized into intensive(n=3500)and usual(n=3500)screening groups,and within the intensive screening group into intensive screening(n=2625)and more intensive screening(n=875)subgroups.ECG recordings will be performed with an automated ECG analysis system(AliveCor heart monitor)at 1 year in the usual screening group,at 3,6,9,and 12 months in the intensive screening subgroup,and at 1,2,3,and 4 weeks and 3,6,9,and 12 months in the more intensive screening subgroup.The primary outcome is the detection rate of atrial fibrillation between the usual screening group and the intensive screening group.Sample size estimation was based on a projected detection rate of atrial fibrillation of 2.0% by a single ECG recording at 12 months,an improvement of 50% with more frequent ECG recordings,α=0.05,power of 80%,and a one-sided test.Conclusions:The trial will provide evidence on the clinical effectiveness of more frequent ECG recordings by a handheld automated analysis system in the detection of atrial fibrillation.