共查询到20条相似文献,搜索用时 406 毫秒
1.
ASTRAL is a formal specification language for real-time systems. It is intended to support formal software development and,
therefore, has been formally defined. The structuring mechanisms in ASTRAL allow one to build modularized specifications of
complex systems with layering. A real-time system is modeled by a collection of state machine specifications and a single
global specification. This paper discusses the ASTRAL Software Development Environment (SDE), which is an integrated set of
design and analysis tools based on the ASTRAL formal framework. The tools that make up the support environment are a syntax-directed
editor, a specification processor, a verification condition generator, a browser kit, a model checker, and a mechanical theorem
prover.
This revised version was published online in June 2006 with corrections to the Cover Date. 相似文献
2.
The objective of this research is to develop a framework named Wise-ShopFloor and the enabling technologies for collaborative
manufacturing in a decentralized environment. Particularly, this paper presents our latest development on Web-based and sensor-driven
remote machining. Once a product design is given, its process plan and NC codes are generated by using a distributed process
planning (DPP) system. The NC codes are then used for remote machining via a standard Web browser and a Java GUI interface
running inside the browser. In this paper, the focus is given to the concept, architecture and a prototype implementation
of the enabling technology. A case study of a test part machining on a 5-axis milling machine is also completed for testing
and validation. It is expected that the developed technology can be applied to design verification via remote machining as
well as real part production in a distributed manufacturing environment. 相似文献
3.
基于Web的设计知识管理系统研究 总被引:10,自引:0,他引:10
设计知识共享是企业开发新产品增强竞争力的关键,提出了广义设计知识的概念,采用面向对象的技术对设计知识进行了分类,对设计知识的获取、表达、存储、检索等关键技术等进行了讨论,采用XML来表达设计知识,并研究了起实现技术。提出了一种基于Web的设计知识管理系统;该系统采用三层客户机(浏览器)/服务器。对系统构建策略进行了探讨。 相似文献
4.
《Science of Computer Programming》1987,9(2):179-205
Logic programming has great potential for reducing the cost of software development. We argue that, with an appropriate programming methodology, a logic programming system provides a powerful tool for rapid software prototyping. It is sufficiently formal and high-level to allow reasoning about specifications, and it provides an immediate operational validation of the programmer's intuitions.The methodology is introduced by means of an example larger than those usually used to illustrate the advantages of logic programming. We start with an informal specification of a structure-editor, show how it is formalized into a directly executable prototype, and introduce guidelines for validating logic programming code as implemented in Prolog.The developed prototype can be used for a number of applications: syntax-directed editor, semantic network browser, etc. The editor is compact but readable, and is quite efficient. 相似文献
5.
Ansgar Brossardt 《Behaviour & Information Technology》1987,6(3):299-301
A product that is adapted individually to a specific market segment, that is innovative, and that is constructed aesthetically, will be successful. In this process there is a triangular relationship between designer, client, company and market, where functional communication has to be ensured. Globally the market has segmented into age groups, so that aesthetic attitudes are independent of nationality. Design should distinguish a product from the mass by accentuating its individual characteristics and so enable the consumer to identify with it. Today's design determines tomorrow's quality of life. This article describes the process of product development as exampled by the Wenger 1/1 Office Printer.
The design development procedure is divided into three phases: (a) planning phase; (b) project phase; (c) realization phase. The printer market is described, and the most important product requirements defined. The design concept was that a product should be developed that combined the advantages of impact- and non-impact printing techniques with a new, market-influencing design, There were two options with regard to the Wenger 1/1; [a) mechanical and electronic parts combined in one housing; (b) mechanical and electronic parts in separate housings. In order to ensure optimal noise silencing, option (b) was chosen. The favored option was realized in a foam-rubber model, and details worked out. A 'function-model' was manufactured and tested to ensure performance and market-adjustment of the new product. The designer and the client then liaised to supervise the product through to serial manufacture. 相似文献
The design development procedure is divided into three phases: (a) planning phase; (b) project phase; (c) realization phase. The printer market is described, and the most important product requirements defined. The design concept was that a product should be developed that combined the advantages of impact- and non-impact printing techniques with a new, market-influencing design, There were two options with regard to the Wenger 1/1; [a) mechanical and electronic parts combined in one housing; (b) mechanical and electronic parts in separate housings. In order to ensure optimal noise silencing, option (b) was chosen. The favored option was realized in a foam-rubber model, and details worked out. A 'function-model' was manufactured and tested to ensure performance and market-adjustment of the new product. The designer and the client then liaised to supervise the product through to serial manufacture. 相似文献
6.
针对当前数据中心的三维可视化场景重复开发造成复用性较差的问题,提出了数据中心三维可视化场景编辑器.借助三维引擎技术,以仿真、立体、互动实时的方式为管理者提供一个完整的、可视化、网络化的虚拟环境管理设计平台.可以高效灵活的创建数据中心3D场景,用于场景建模和数据中心的辅助设计.可视化编辑器基于Unity3D引擎和Web技术进行搭建,提供直观的浏览器操作界面和环境实时监控系统,解决了三维场景远程实时查看数据中心监控等问题.用户可以借此快速搭建三维可视化场景,减少重复开发.在提供其他3D模型基础上,此编辑器也能够广泛用于其他非数据中心可视化场景的搭建和编辑. 相似文献
7.
Knowledge, experiences and skills of corporate members promote new ideas into products, in the context of innovative design. This dynamism is especially important in the critical product conceptualization stage. In customer-oriented design paradigm, most methodologies focus on exploiting end-user requirements, instead of considering project stakeholder requirements in a holistic manner. Previous research in the area of innovative product conceptualization focused on such aspects as functional, cognitive, marketing and commercial perspectives. It involves the participations of customers, designers, engineers, marketers and business managers. Accordingly, a stakeholder-oriented innovative product concept development system (IPCDS) is established to integrate the bespoke four perspectives so as to evaluate product concept innovation comprehensively. To resolve the incomplete, ambiguous, uncertain and subjective nature of innovative design knowledge, the product platform represented in a design knowledge hierarchy (DKH) is generated using general sorting. Subsequently, an innovative design criteria matrix (DCM) constructed using repertory grids technique is rated with regard to specific design option. The ratings are then used as input features to the fuzzy integrals technique, for the purpose of innovative design. A case study on cellular phone design is used for system illustration and the results are discussed on the basis of product concept innovation. 相似文献
8.
面向对象知识库系统CAOBS/V1.2的可视化查询子系统 总被引:3,自引:1,他引:3
面向对象知识库系统CAOBS/V1.2的用户界面是一个可视化知识查询子系统,它包括一个灵活、直观、方便的可视知识查询语言(VKQL)和一个知识库浏览编辑器。利用该可视化查询语言,用户可以通过构造查询图来表达查询要求,并最终实现查询功能。VKQL吸收了国际上现有的几种可视查询语言的优点,具有较强的查询功能,使用方便。文中介绍了VKQL的设计思想和实现技术,在最后一节将VKQL与同类查询语言进行了对比 相似文献
9.
在产品概念设计中,布局设计和人机工程设计是两个相互影响和制约的设计过程,。为了将这种布局设计和人机工程设计协同起来,将功能面作为概念设计发解的依据,并在此基础上提出了基于功能面的协同概念设计过程和方法,以及布局设施 人机工程协同设计模型和形式化描述方法,最后结合摩托车的概念设计实例给出了一个计算机支持的布局和人机工程协同设计系统的实现方案。 相似文献
10.
以松涛水库为对象,研究松涛水库应急调度系统的设计、建设及运行管理。松涛水库应急调度系统在通信组网设计上采用甚高频、公共交换电话网络、GSM、海事卫星4种数据通信方式;应用软件采用客户/服务器结构;查询系统采用浏览器/服务器的结构模式;数据库采用SQL Server 2008;水库洪水预报调度系统采用共同研发的松涛水库洪水调度系统软件。实践应用证明,松涛水库应急调度系统能保证松涛水库水情遥测系统高的畅通率和准确率,低的通信成本;能保证松涛水库防洪调度、灌溉、发电、供水和养殖的需求,还为系统运行维护提供方便。 相似文献
11.
谷岩 《计算机工程与设计》2004,25(4):609-611,615
传统的证券交易管理系统是基于两层结构的C/S模式,随着系统信息量的增大及远程服务需求的增加,该模式已暴露出大量的弊端,应运而生的基于3层结构的B/S模式在很大程度上解决了C/S模式所存在的问题。因为B/S模式具有良好的开放性及远程性,系统开发的效率较高。在分析了证券交易业务的基础上,提出了基于B/S模式的证券交易管理系统的设计思想,系统功能,安全控制、技术特点及软件编程技巧。 相似文献
12.
13.
14.
A decision-making framework model for design and manufacturing of mechanical transmission system development 总被引:1,自引:0,他引:1
Knowledge-based systems are proving to be a powerful tool with great potential for developing intelligent design support environments
to improve quality of products and reduce product development costs by eliminating or minimizing many of the trial-and-error
iterations involved in product development. This article describes an approach towards the development of intelligent design
support environments for mechanical transmission systems, along with implementation details of a distributed knowledge-based
gearing design and manufacturing system that is deployed over the Internet. The system embodies the various tasks of the design
process, with modules that address: performance evaluation, process optimization, manufacturability analysis, and provides
reasoning and decision-making capabilities for reducing the time between gear tooth creation, detailed design and final production.
This methodology is highly desirable in that it is able to simulate real working conditions, evaluate and optimize the design
effectively, prevent designers from time-consuming iterations and reduce long and expensive test phases. 相似文献
15.
可扩展性是X3D规范的重要特性,而现有的X3D场景编辑环境都不提供面向用户的对规范扩展的支持.基于可扩展的X3D规则库,提出一种可扩展的X3D场景编辑器,编辑器由X3D规则数据库、浏览器类库和编辑器框架组成模块化的开放式体系结构,可实现对包括内节点和原型节点扩展的X3D规则扩展的完整支持.分析系统体系结构,并重点探讨规则库的组织及实现、节点扩展的归一化处理、场景信息转换及X3D编码转换等关键问题. 相似文献
16.
17.
以材料科学中对相图的管理与编辑为实际应用背景,分析了Windows图片查看器的优缺点,提出了实现内嵌式矢量图编辑器的两种方法,实现了矢量图的浏览、缩放、旋转等功能.该编辑器可以嵌入到任意图片管理系统中,实现对矢量图的管理. 相似文献
18.
在殡葬业中,CAE软件发展相对滞后,目前为止无专为殡葬业定制的业务管理与图形设计软件,以2006-2007上海某重点墓园信息化工程为背景,设计了一整套B/S结构为基础的碑文业务管理与设计软件并已于2007年初成功启用.介绍了碑文设计系统的设计过程与关键技术的选择.在以SVG(scalable vector graphics)为存储标准的基础上,结合基于浏览器/服务器结构(B/S)的通信方式,利用Java语言开发了包括碑文设计,传输,存储在内的系统碑文设计流程,旨在殡葬业信息网络化管理提供条件. 相似文献
19.
Joaquim Sousa Pinto Joaquim Arnaldo Martins H. W. J. Borst Pauwels Beatriz Sousa Santos 《Multimedia Tools and Applications》1995,1(3):245-262
This paper report on recent and on going work related to the design of a set of hypermedia authoring tools intended to produce courseware, to be used for self learning or distance learning and training environments in a cooperative way. These tools have roots in a standalone hypermedia editor developed to create courseware, to which were added other tools to enhance its usability, namely a hypermedia player to view courseware in self study mode, and a hypermedia browser to create, to navigate and to display graphically the hypermedia document structure. The underlying metaphors are the overhead projector, the transparency and the layer. This system was developed for the MS-Windows environment, supporting OLE technology. We discuss the impact that such technology might have on the look and feel of hypermedia learning material and we describe the implementation of a Hypermedia Editor, Browser and Player tools.Part of this work is carried out in the context of the Co-Learn European project, which is aiming to design and to implement a third generation cooperative learning environment. 相似文献
20.
This paper shows an environment which supports the development of multi-thread dialogue interactive systems.The environment includes several tools and run-time support programs for the design and implementation of the user interface of an interactive system.First,methods of user interface specification with Elementary Nets are discussed.Then,the syntax of a user interface specification language based on Elementary Nets and the pre-compiler for the language as well as a graphic editor for Elementary Nets construction are described.Finally,an example is given to illustrate the design process of a user interface. 相似文献