High-quality computational tools for linear-algebra problems in FEM electromagnetic simulation

A key ingredient of finite-element analysis programs is the linear-algebra solver, typically either a linear-system solver or an eigensolver. The first part of This work tries to justify why it is important to have recourse to publicly available software for addressing this part of the computation. A number of libraries are mentioned as successful examples that exhibit a series of desirable qualities. Although some of these libraries force the programmer to somewhat change the programming style and may be difficult to learn, the benefits usually pay off the extra effort. The second part of the paper describes one of these libraries in some detail, namely SLEPc, the Scalable Library for Eigenvalue Problem Computations, which is used to illustrate the benefits of modem software paradigms for scientific and engineering computing.     

基于OpenGL的桥梁3D可视化软件开发

如何给Fortran语言开发的工程计算程序增加可视化功能是一个技术难题。文中以VC++ 8.0作为开发平台,采用动态链接库、进程通信和共享文件等技术实现界面程序与后台Fortran计算程序之间的信息交互,并运用OpenGL函数库实现桥梁有限元模型的三维显示及工程计算的可视化。以上技术既可发挥Fortran语言在科学计算方面的优势,充分利用工程研究人员多年积累的代码资源,同时又可增强软件在人机对话、交互处理、图形显示等方面的功能。     

Optimization models for selection of programs, considering cost andreliability

The authors present two optimization models for decision support tools for selecting available programs in the market. Information on reliability and cost of the available programs are considered as basic criteria for the selection. These models apply to software packages that consist of several programs where each, upon execution, performs a different function as required by the user. The objective is to maximize the average reliability of the software package, considering the tradeoff between reliability and cost of the programs. In model one, redundancy of the programs is not considered; thus, the authors select one program for each function. In model two, redundancy is considered: thus, the authors identify the optimal set of programs for each function. They begin with a discussion of the underlying concepts that rationalize the composition of the models     

VLSI: linking design and manufacturing

A set of computer-aided design (CAD) tools that predict the effects of various manufacturing steps along with the chip's internal dimensions is described. Called the Process Engineer's Workbench, the system predicts the chip's characteristics, their statistical distribution, and the manufacturing yield likely from any one fabrication process. The tools are even sensitive to the small random variations that increase in significance as devices shrink in size. Workbench can be used to compare its programs' predictions and those of other software tools with actual measurements of devices and processes. Some existing CAD tools are reviewed to highlight the Workbench's advantages, and the features of the latter are examined. Written in C language for a Digital Equipment VAXstation, Workbench was designed to be portable and runs on several other popular workstations. It contains two basic libraries, namely, one of device models, the other of process step models     

On the informatics laws and deductive semantics of software

A fundamental finding in computer science is that software, an artifact of human creativity, is not constrained by the laws and properties known in the physical world. Thus, a natural question we have to ask is "what are the constraints that software obeys?" This paper attempts to demonstrate that software obeys the laws of informatics and mathematics. This paper explores a comprehensive set of informatics and semantic properties and laws of software as well as their mathematical models. In order to provide a rigorous mathematical treatment of both the abstract and concrete semantics of software, a new type of formal semantics known as the deductive semantics is developed. The deductive models of semantics, semantic function, and semantic environment at various composing levels of programs are formally described. The findings of this paper can be applied to perceive the basic characteristics of software and the development of fundamental theories that deal with the informatics and semantic properties of software.     

Interfacing Software Libraries from Nondeterministic Prototypes

Modeling software systems is one of the most obvious uses of a formal specification language. A software prototype, automatically generated from the specification, enables the developer to validate the system in a real environment. However, real software systems are seldom developed from scratch, but rather built using existing libraries. In this paper, we show how a program based on existing software libraries is modeled in the Concurrent Object-Oriented Petri Net specification language, and how a prototype code is generated from the specification. In particular, we study the interface between nondeterminist synchronous prototypes and determinist asynchronous software libraries. We take into account, problems related with nonreversibility of actions and the transactional semantics of the specification language that is kept in the prototypes. A convenient delayed execution mechanism is proposed for the library linking part of the generated code.     

X 波段大功率行波管输出波导的设计

本文设计了一个适用于X 波段的大功率行波管输能系统的阶梯波导变换器,编写了Matlab 程序,用电磁仿真软件HFSS 对计算结果进行了仿真,结合文献资料比较了理论计算结果,证明其正确性。在设计方面,编写了节数从1 至6 皆可使用的多段阻抗变换器的程序,在仿真建模方面力求通用快捷。     

基于代理的程序挖掘系统的设计与实现

随着Internet和软件复用技术的发展,用户根据自己的计算需求,从网上构件库中搜索构件,并由构件动态生成程序成为可能.针对这种按需计算的需求,本文提出一种在网络环境下进行程序挖掘的方法:采用智能代理分析理解用户的计算需求,从网上构件库中识别、搜索可用构件,并组装链接,形成满足用户要求的可执行程序.文中论述了程序挖掘的基本概念、基于代理的程序挖掘原型系统,并讨论了进一步的研究方向.     

基于DSP的磁存储设备抗冲击技术控制系统的设计与实现

磁存储设备(主要指微型硬磁盘)是应用广泛的信息存储器件,研究微型盘的抗振动、冲击的控制技术对于在恶劣环境下工作的硬盘和便携式计算机具有重要意义.本文在确立采用外加固主动控制方案的基础上,提出了数字主动控制系统的设计思路,并且实现了以DSP为核心的数字控制系统的软、硬件设计方案.     

Power analysis and minimization techniques for embedded DSPsoftware

Power is becoming a critical constraint for designing embedded applications. Current power analysis techniques based on circuit-level or architectural-level simulation are either impractical or inaccurate to estimate the power cost for a given piece of application software. In this paper, an instruction-level power analysis model is developed for an embedded digital signal processor (DSP) based on physical current measurements. Significant points of difference have been observed between the software power model for this custom DSP processor and the power models that have been developed earlier for some general purpose commercial microprocessors. In particular, the effect of circuit state on the power cost of an instruction stream is more marked in the case of this DSP processor. In addition, the processor has special architectural features that allow dual memory accesses and packing of instructions into pairs. The energy reduction possible through the use of these features is studied. The on-chip Booth multiplier on the processor is a major source of energy consumption for DSP programs. A microarchitectural power model for the multiplier is developed and analyzed for further power minimization. In order to exploit all of the above effects, a scheduling technique based on the new instruction-level power model is proposed. Several example programs are provided to illustrate the effectiveness of this approach. Energy reductions varying from 26% to 73% have been observed. These energy savings are real and have been verified through physical measurement. It should be noted that the energy reduction essentially comes for free. It is obtained through software modification, and thus, entails no hardware overhead. In addition, there is no loss of performance since the running times of the modified programs either improve or remain unchanged     

基于西门子S7-300400PLC的控制网络优化设计

文章从PLC的特点出发,其作为可编程逻辑控制器,主要在工业电气自动化中进行应用,可以更好地控制工业环境.在西门子PLC控制网络中包含了多种方案,并且其包含非常丰富的网络产品和软硬件产品,具有较较高的稳定性、低故障率、数据信息传输量大等特点.     

A Framework for CAD- and Sensor-Based Robotic Coating Automation

Coating automation of a complex product family with changes and uncertainties is investigated. A CAD- and scanner-based robotic coating system is proposed. Its software system consists of a data-processing system and automatic programming and simulation system. The data processing system is capable of generating accurate surface model from points-cloud and/or as-designed CAD model. The automatic programming and simulation system is capable of creating robot programs based on the surface models. In this paper, the system framework and the methodology for generating robot programs are focused     

Instruction level power analysis and optimization of software

The increasing popularity of power constrained mobile computers and embedded computing applications drives the need for analyzing and optimizing power in all the components of a system. Software constitutes a major component of today's systems, and its role is projected to grow even further. Thus, an ever increasing portion of the functionality of today's systems is in the form of instructions, as opposed to gates. This motivates the need for analyzing power consumption from the point of view of instructions—something that traditional circuit and gate level power analysis tools are inadequate for. This paper describes an alternative, measurement based instruction level power analysis approach that provides an accurate and practical way of quantifying the power cost of soft-ware. This technique has been applied to three commercial, architecturally different processors. The salient results of these analyses are summarized. Instruction level analysis of a processor helps in the development of models for power consumption of software executing on that processor. The power models for the subject processors are described and interesting observations resulting from the comparison of these models are highlighted. The ability to evaluate software in terms of power consumption makes it feasible to seach fow low power implementations of given programs. In addition, it can guide the development of general tools and techniques for low power software. Several ideas in this regard as motivated by the power analysis of the subject processors are also described.     

High-responsivity fiber-optic flexural disk accelerometers

This paper presents performance measurements of fiber-optic flexural disk accelerometers. The flexural disk acts as a mass-spring element to which the fiber is bonded, such that an acceleration causes a strain to be imposed on the fiber which is measured interferometrically. Simple analytical models have been written to calculate the responsivity and resonant frequency of disks under various boundary conditions and the results of the models have been shown to be in good agreement with the measured responsivity for the case of moderately thick disks. Six optical fiber accelerometers based on flexural disks of different thickness and supports have been demonstrated to exhibit a responsivity in the range from 28 to 39 dB re 1 rad/g with a resonant frequency between 2.4 kHz to greater than 5 kHz, respectively. Of the designs considered, the centrally supported disk is shown to give the highest combination of responsivity and bandwidth. A centrally supported disk has been demonstrated to exhibit a flat response up to 2 kHz and a responsivity of 37 dB re 1 rad/g which when combined with an interferometric phase resolution of 6 μrad/√Hz, would give a minimum detectable acceleration of 84 ng/√Hz. We have attempted to cover all aspects of the sensor design including responsivity, bandwidth, cross-responsivity, phase response and size and find that a complicated compromise between all of these design parameters is required to achieve the optimum performance     

Design and implementation of SVM OTPC searching based on Shared Dot Product Matrix

In this paper, we proposed a FPGA implementation architecture for SVM classifier. The architecture is based on the proposed Shared Dot Product Matrix (SDPM) method which computes and stores the dot product of all training data before SVM searching process. We implemented the proposed method by software simulation and hardware implementation. The software simulation of SDPM method achieves twice the speed of LIBSVM, which is one of the most popular SVM implementation libraries. This acceleration mainly results from the reduction of repeat Kernel function calculation. Then the hardware software collaboration architecture for SDPM is also proposed in this paper. Results show that the proposed architecture achieves approximately 30 times faster searching speed compared with LIBSVM.     

Competing values in software process improvement: an assumption analysis of CMM from an organizational culture perspective

The capability maturity model (CMM) approach to software process improvement is the most dominant paradigm of organizational change that software organizations implement. While some organizations have achieved various levels of success with the CMM, the vast majority have failed. In this paper, we investigate the assumptions about organizational culture embedded in the CMM models and we discuss their implications for software process improvement (SPI) initiatives. In this paper, we utilize the well-known competing values model to surface and analyze the assumptions underlying the CMM. Our analysis reveals contradictory sets of assumptions about organizational culture in the CMM approach. We believe that an understanding of these contradictions can help researchers address some of the difficulties that have been observed in implementing and institutionalizing SPI programs in organizations. Further, this research can help to open up a much-needed line of research that would examine the organization theory assumptions that underpin CMM. This type of research is important if CMM is to evolve as an effective organizational change paradigm for software organizations.     

高校智能图书馆的创新服务策略研究

在现代知识经济快速发展的背景下，依靠人工和以纸质资料为主的传统图书馆服务模式已经难以满足智能化时代的需要。当前，广大读者对图书馆服务的要求不断提高，智能图书馆急需创新服务模式。文中通过对智能图书馆的阐述，明确提出了高校智慧图书馆服务的特点，并根据实际情况提出了高校智能图书馆创新服务策略，以更好地满足人们的需要。     

光盘表面缺陷的快速分类与质量评价

本文介绍一种利用多通道脉冲宽度鉴别技术直接对光盘表面或光盘盘片表面缺陷进行快速分类和统计的方法和实验结果。通过对聚焦激光束扫描盘面获得的缺陷信号的脉冲宽度分类,统计各类缺陷个数,计算缺陷密度值,有效地评价光盘表面的性能质量。     

C＋＋类库Qt在数值模拟软件开发中的应用

介绍调用C＋＋类库Qt进行数值模拟软件开发的方法。首先介绍QT及其图形库QWt;其次对脉冲束辐照材料热力学效应软件GUI的设计做了详细说明．并给出数据文件的输入、输出方法;最后根据计算结果调用Qwt库显示出处理需要的图形。基于Qt的软件开发表明：Qt在数值计算软件开发中具有很强的优势．适合作为数值计算软件GUI开发的工作平台.