检索结果-内蒙古大学图书馆

COMPUTING & CONTROL ENGINEERING JOURNAL 2003年第5期14卷 24-27页

作者： Stevenson, I The Generics Group

Microsoft net is more than just a web services toolkit;it is a fundamentally new way of programming on the windows platform.

关键词： programming support Microsoft .Net security of data software tools security features Windows environment Data security rapid prototyping high-throughput enterprise class applications Web services toolkit Operating systems application program interfaces

来源：评论

学校读者我要写书评

暂无评论

Adopting .NET platform environments

引用

COMPUTING & CONTROL ENGINEERING JOURNAL 2003年第5期14卷 28-31页

作者： Stevenson, I The Generics Group

Microsoft's net platform provides a runtime environment for code, but its real power comes from tools and support for network and database applications.

关键词： programming support runtime environment Object-oriented programming .NET platform Software engineering techniques network applications software libraries Operating systems application program interfaces database applications

来源：评论

学校读者我要写书评

暂无评论

Small chips in crossed wires

引用

IEE Review 2003年第11期49卷 42-45页

作者： C. Edwards

Could the next generation in semiconductor process technology be undermined by the legacy of unresolved technical problems? As we enter 2004, the next phase in integrated circuit manufacturing will begin in earnest, with companies starting to ramp up production of chips based on the 90 nm process. But bad experiences with the 130 nm process, which was heavily delayed by manufacturing problems, have made chipmakers cautious. Many companies are holding back from moving to the new process until they see the results that the more optimistic chipmakers get. A number of those who have decided to take the plunge early have been careful to keep their options open and trade off die size or speed against manufacturability. Thanks to rapid advances in lithography-the photographic processes used to create tiny features on chips-transistors have shrunk more quickly than was expected in the late 1990s. These gains have not been reflected in other chip-level features. Chipmakers have faced increasing problems scaling down the wires that join transistors together. To maintain an effective doubling in density between generations, the distance between the wires and their lateral thickness has to reduce by about 30%. Unfortunately as the wires get closer together, interference between signals on adjacent wires becomes harder and harder to overcome.

关键词： software engineering UML 2 specification languages programming support system model UML 1.5 Object Management Group Model Driven Architecture Software engineering techniques running code model development software development Formal methods hardware independence High level languages high-level abstraction

来源：评论

学校读者我要写书评

暂无评论

Role of 3-D graphics in NDT data processing

引用

IEE PROCEEDINGS-SCIENCE MEASUREMENT AND TECHNOLOGY 2001年第4期148卷 149-158页

作者： McNab, A Reilly, D Potts, A Toft, M Univ Strathclyde Dept Elect & Elect Engn Ctr Ultrasonc Engn Glasgow G1 1XW Lanark Scotland BNFL Magnox Generat Berkeley GL13 9PB Glos England

Visualisation in 3-D can significantly improve the interpretation and understanding of imaged NDT data sets. The advantages of using 3-D graphics to assist in the interpretation of ultrasonic data are discussed in the context of an advanced software environment for the reconstruction, visualisation and analysis of 3-D images within a component CAD model. The software combines the analysis features of established 2-D packages with facilities for real-time data rotation, interactive orthogonal/oblique slicing and 'true' image reconstruction, where scanning-surface shape and reflection from component boundaries are accounted for through interaction with the full 3-D model of the component. A number of novel facilities exploit the graphics capability of the system. These include the overlay of 3-D images with individual control of image transparency;a floating tooltip window for interrogation of data point co-ordinates and amplitude;image annotation tools, including 3-D distance measurement;and automated defect sizing based on '6dB drop' and,maximum amplitude' methods. A graphical user interface has also been designed for a well established flaw response model, which allows the user to easily specify the flaw size, shape, orientation and location;probe parameters and scan pattern on the component. The output is presented as a simulated ultrasound image.

关键词： Graphical user interfaces scanning-surface reflection CAD Materials testing 3D graphics role graphical user interface real-time data rotation Testing flaw detection maximum amplitude method graphical user interfaces component CAD model simulated ultrasound image Graphics techniques ultrasonic materials testing Computerised instrumentation programming support scanning-surface shape floating tooltip window interactive orthogonal/oblique slicing Computer vision and image processing techniques imaged NDT data sets ultrasonic data images overlay flaw response model inspection flaw location data point coordinates image transparency control 3D visualisation automated defect sizing Optical, image and video signal processing Instrumentation Inspection and quality control Design Measurement by acoustic techniques scan pattern flaw shape image annotation tools Engineering materials data visualisation probe parameters flaw size advanced software environment image reconstruction flaw orientation Nondestructive testing: acoustic methods Computing devices and techniques ultrasonic imaging software tools computerised instrumentation automatic test software NDT data processing Sonic and ultrasonic applications

来源：评论

学校读者我要写书评

暂无评论

Click and code [automatic code generation]

引用

IEE Review 2000年第3期46卷 25-28页

作者： D. Maclay Cambridge Control Limited Cambridge UK

Automatic code generation already plays a valuable role in embedded development. Engineers are turning to advanced software tools that generate code automatically, both during the prototyping stage of the project and when production code is required. At the prototyping stage, automatic code generation can greatly accelerate the development process, allowing many different algorithms to be tried in a shorter period. Furthermore, because there is no significant time penalty for trying alternative solutions, automatic code generation tools positively encourage innovation, eliminating the temptation to re-use previously developed code in compromised solutions. The specification that previously would have been handed to a software engineer for hand coding is now used as an 'executable specification'. In addition to forming the basis for code generation this specification can be used to develop test procedures, that can be applied both in simulation and on the real product. A further advantage of this approach is that algorithm developers can test their ideas without having to wait until the associated code is ready for downloading to a target processor. This not only benefits the algorithm designer, but also frees the software engineer from the routine coding of algorithms, allowing greater effort to be devoted to more challenging issues.

关键词： innovation Compilers, interpreters and other processors programming support production code executable specification embedded systems algorithm developers program compilers automatic code generation automatic programming test procedures development prototyping stage embedded development

来源：评论

学校读者我要写书评

暂无评论

Simulation concert party

引用

IEE Review 1999年第2期45卷 82-84页

作者： P. Clarke Integrated Systems Limited Letchworth

Modern design increasingly demands the use of co-simulation, with effective interworking between software simulation tools from multiple vendors. The pLUG&SIM development environment has been designed specifically... 详细信息

关键词： pLUG&SIM development environment software engineering software tools software simulation tools programming support system simulation Software engineering techniques software packages interworking co-simulation Simulation techniques digital simulation design

来源：评论

学校读者我要写书评

暂无评论

Formal verification of PLC-programs

引用

IFAC Proceedings Volumes 1999年第2期32卷 1513-1518页

作者： Th. Filkorn M. Hölzlein P. Warkentin M. Weiβ Siemens Corporate Technology 81730 Munich Germany

Siemens Corporate Technology has developed a methodology for formal verification. This methodology allows to prove or falsify the correctness of programs for a PLC (programmable logical controller) fully automatically and exactly in a strongly mathematical sense. A program is correct, if eveiy possible execution trace of the program fulfils a set of required properties specified by the user. For instance, a property for a traffic light control at some given intersection could be 'traffic lights never all show green at the same time' or 'when a car stops at a red traffic light that traffic light will eventually switch to green'. For this verification method a tool has been developed that checks properties fully automatically and completely. In case a given property is not satisfied by the PLC-program, the verification tool generates an execution trace of the program (a so-called countersequence) that illustrates its erroneous behaviour. In a pilot application, tool machine manufacturers used and evaluated the verification tool with respect to specification, error detection, cost/benefit-estimation and other criteria for verification. The verification tool was received very well.

关键词： Formal Verification Control Design programming support Debugging Error Detection Productivity Quality Control

来源：评论

学校读者我要写书评

暂无评论

Time-stamped event histories: a real-time programming object

引用

CONTROL ENGINEERING PRACTICE 1998年第3期6卷 417-420页

作者： Shaw, A Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA

A case is made for providing direct support for time stamped event histories (TEHs) in real-time programs. The paper describes a notation for TEHs, gives some programming examples, discusses an implementation, and con... 详细信息

关键词： events real-time languages time programming support

来源：评论

学校读者我要写书评

暂无评论

Time-stamped event histories: a real-time programming object

Time-stamped event histories: a real-time programming object

引用

IFAC/IFIP Workshop on Real-Time programming (WRTP 97)

作者： Shaw, A Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA

ISBN: (纸本)0080430457

关键词： events real-time languages time programming support

来源：评论

学校读者我要写书评

暂无评论

support for RTO.k object structured programming in C++

引用

CONTROL ENGINEERING PRACTICE 1997年第7期5卷 983-991页

作者： Kim, KH Subbaraman, C Bacellar, L UNITED TECHNOL RES CTR HARTFORD CT USA

In the past few years the authors have established a real-time object-oriented (OO) structuring approach called the RTO.k object structuring scheme for the purpose of realizing real-time computing in the form of a generalization of non-real-time computing, that yet allows system engineers to confidently produce certifiable real-time systems for safety-critical applications. Also, a model of an operating system kernel named the DREAM kernel (which can support both conventional real-time processes and RTO.k objects with guaranteed timely services), has been formulated. A user-friendly interface to DREAM kernel services for RTO.k-structured real-time application programs is provided by a collection of specific C++ classes called the DREAM library. In a sense, C++ augmented with the DREAM library can be viewed as an RTO.k object programming language, although it does more than that. This paper discusses the essence of RTO.k object programming in C++ with the aid of the DREAM library. Copyright (C) 1997 Elsevier Science Ltd.

关键词： real-time systems programming support object-oriented programming operating systems software tools

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：