A CAD-CAE Integrated Injection Molding Design System

. In the injection molding design process, interaction between design and analysis is very intensive. This is to ensure that the plastic part being designed is manufacturable by the injection molding process. However, such interaction is not supported by current computer-aided systems (CAD and CAE), because design and analysis are realized as isolated modules. Although most of CAE systems provide built-in modeling tools, these are only meant for developing an analysis model with very limited CAD functionality. On the other hand, some CAD systems have allowed certain CAE systems to run under their environments, but inherently they use different data models, thus communication between them is poor. This paper presents an innovative, CAD-CAE integrated, injection molding design system. This system uses an integrated data model for both design and analysis. The system is built on top of existing CAD and CAE systems, which not only greatly saves development effort, but also makes full use of the strong functionality of commercial computer aided systems. The system architecture consists of four layers: a CAD and CAE platform layer; a CAD-CAE feature layer; a model layer; and a GUI layer. Two design cases were studied to illustrate the iterative design-analysis process and use of the developed system.     

LSI Microprocessors and Microcomputers: A Bibliography Continued

Worldwide interest in LSI microprocessors and microcomputers has sparked a continuing growth of publications on all aspects of the subject. The bibliography below attempts to list most of the books, journal articles, conference papers, and technical reports in English and foreign languages, gathered since the publication of the compiler's bibliography on the same topic in Computer, July 1974. References from that bibliography are not repeated here. The cutoff date for inclusion in the list was October 15, 1975. Citations are grouped by year of publication, then listed alphabetically by author. Generally, one- or two-page "product features" are omitted, as are patents and specific device or system manuals.     

基于逻辑电路的Petri网化简方法

已有的Petri网化简方法需将网的局部结构与化简规则作逐一的比对,步骤较为繁琐,并且所提供的方法不适合于带抑止弧的网.采用一种与传统方法不同的化简思路,首先将网划分为若干个最大无圈子网,将每个最大无圈子网表达为若干个逻辑式.用逻辑代数来完成逻辑式的化简,最后将其结果还原为Petri网回嵌到原网中,完成整个网的化简.给出了寻找最大无圈子网、最大无圈子网的化简算法以及相关的证明.该方法将化简范围扩展到了带抑止弧的无回路的网或网的局部.     

数字集成电路逻辑电平接口技术研究

介绍了常用的数字集成电路的种类，并对TTL、ECL、CMOS电路相互间的接口转换技术进行了研究。     

A New Text Categorization Technique Using Distributional Clustering and Learning Logic

Text categorization is continuing to be one of the most researched NLP problems due to the ever-increasing amounts of electronic documents and digital libraries. In this paper, we present a new text categorization method that combines the distributional clustering of words and a learning logic technique, called Lsquare, for constructing text classifiers. The high dimensionality of text in a document has not been fruitful for the task of categorization, for which reason, feature clustering has been proven to be an ideal alternative to feature selection for reducing the dimensionality. We, therefore, use distributional clustering method (IB) to generate an efficient representation of documents and apply Lsquare for training text classifiers. The method was extensively tested and evaluated. The proposed method achieves higher or comparable classification accuracy and {rm F}_1 results compared with SVM on exact experimental settings with a small number of training documents on three benchmark data sets WebKB, 20Newsgroup, and Reuters-21578. The results prove that the method is a good choice for applications with a limited amount of labeled training data. We also demonstrate the effect of changing training size on the classification performance of the learners.     

A production system for LSI chip anatomizing

A production system for the LSI chip image study is presented, which is a key portion of chip reverse engineering. This system uses inference techniques based on the geometrical and constructional knowledge of the chip to identify the invisible layers and the layers unable to be recognized by their gray values. Final results are also presented.     

基于模糊逻辑技术的切换策略

下一代宽带无线通信网在为用户提供高速率语音服务以及图像、视频信息的传输和高速接入Internet服务等丰富的业务类型的同时,也给系统的切换策略带来新的挑战。以往仅考虑单一因素对系统影响的切换策略已不适用于具有丰富业务类型的下一代宽带无线通信网络。该文利用模糊逻辑技术进行切换过程中的目标小区选取。相比传统方案,模糊逻辑技术可以兼顾多种因素,使得选取结果更加合理,并且可以均衡系统负载、减少切换的拒绝率。     

A continuous-system simulation language designed for LSI economics

As computing hardware gets cheaper, and labor gets more expensive, the economics of developing relatively limited distribution software such as continuous-system simulation languages for minicomputers (compared to Fortrans and other system software) changes. A philosophy of low-cost software is propounded here, and an example of a language adhering to that philosophy is presented. It is an equation-oriented language capable of solving differential or difference equations. It runs completely in memory (requires no mass storage device). Examples of its use are given, including a PHYSBE solution.     

A new differential LSI space-based probabilistic document classifier

We have developed a new effective probabilistic classifier for document classification by introducing the concept of differential document vectors and DLSI (differential latent semantic indexing) spaces. A combined use of the projections on and the distances to the DLSI spaces introduced from the differential document vectors improves the adaptability of the LSI (latent semantic indexing) method by capturing unique characteristics of documents. Using the intra- and extra-document statistics, both a simple posteriori calculation on a small example and an experiment on a large Reuters-21578 database demonstrate the advantage of the DLSI space-based probabilistic classifier over the LSI space-based classifier in classification performance.     

CMOS LSI Special Feature: CMOS LSI – Computer Component Process of the 80's

Heat dissipation, or the "thermal barrier," is a problem that circuit designers have faced for years. The answer in the 1980's may be CMOS.     

Special Tutorial: Introduction to LSI Microprocessor Developments

In its constant endeavor to increase the number of functions per semiconductor device, the semiconductor industry has focused continual effort on developing new semiconductor processes and photolithographic technologies and on compressing smaller geometries onto increasingly larger silicon chip areas. The result is that the number of functions (components per chip) is approximately doubling every year while the cost per function is decreasing. A byproduct of these improvements is increased system reliability. By increasing chip complexity above a few hundred gates, generally referred to as large-scale integration, the capability of economically producing new devices and systems for new applications is being realized.     

基于脆弱点分析的故障注入技术

针对分布式系统规模愈发庞大的现状,提出故障搜索策略--脆弱点辅助识别算法,结合常见故障模式的故障注入模型,研究基于脆弱点分析的故障注入技术,用于搜索指定故障范围内的故障组合,从而能够快速、有效地进行故障注入,提升测试效率。     

COMPSPEN:对形状性质与数据约束进行融合推理的分离逻辑求解器

分离逻辑是经典霍尔逻辑的针对操作指针和动态数据结构的扩展,已经广泛用于对基础软件(比如操作系统内核等)的分析与验证.分离逻辑约束自动求解是提升对操作指针和动态数据结构的程序的验证的自动化程度的重要手段.针对动态数据结构的验证一般同时涉及形状性质(比如单链表、双链表、树等)和数据性质(比如有序性、数据不变性等).主要介绍能对动态数据结构的形状性质与数据约束进行融合推理的分离逻辑求解器COMPSPEN.首先介绍COMPSPEN的理论基础,包括能够同时描述线性动态数据结构的形状性质和数据约束的分离逻辑子集SLID_data、SLID_data的可满足性和蕴涵问题的判定算法.然后,介绍COMPSPEN工具的基本框架.最后,使用COMPSPEN工具进行了实例研究.收集整理了600个测试用例,在这600个测试用例上将COMPSPEN与已有的主流分离逻辑求解器Asterix、S2S、Songbird、SPEN进行了比较.实验结果表明COMPSPEN是唯一能够求解含有集合数据约束的分离逻辑求解器,而且总体来讲,能对线性数据结构上的同时含有形状性质和线性算术数据约...     

一种适用于中频电源简单可靠的双极PWM技术

介绍一种已应用于陀螺罗经电源系统的双极脉宽调制（ＢＰＷＭ）技术。它利用ＥＰＲＯＭ和一些常规数字电路就可实现,不需要单片机和ＣＰＵ。这一简单而可靠的双极ＰＷＭ技术,为电源系统的良好性能打下了基础。     

Micropneumatic Digital Logic Structures for Integrated Microdevice Computation and Control

It is shown that microfabricated polydimethylsiloxane membrane valve structures can be configured to function as transistors in pneumatic digital logic circuits. Using the analogy with metal-oxide-semiconductor field-effect transistor circuits, networks of pneumatically actuated microvalves are designed to produce pneumatic digital logic gates (AND, OR, NOT, NAND, and XOR). These logic gates are combined to form 4- and 8-bit ripple-carry adders as a demonstration of their universal pneumatic computing capabilities. Signal propagation through these pneumatic circuits is characterized, and an amplifier circuit is demonstrated for improved signal transduction. Propagation of pneumatic carry information through the 8-bit adder is complete within 1.1 s, demonstrating the feasibility of integrated temporal control of pneumatic actuation systems. Integrated pneumatic logical systems reduce the number of off-chip controllers required for lab-on-a-chip and microelectromechanical system devices, allowing greater complexity and portability. This technology also enables the development of digital pneumatic computing and logic systems that are immune to electromagnetic interference.