CCPP: 一个并发C++语言的设计与实现

并发面向对象语言ＣＯＯＬ（ｃｏｎｃｕｒｅｎｔｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｌａｎｇｕａｇｅ）是一种有效的并发程序设计语言．本文提出了一种并发对象模型（ＣｏｎｃｕｒｅｎｔＣ＋＋，ＣＣＰＰ）及其语言．在ＣＣＰＰ并发对象模型中，所有对象都是并发对象，对象间的通讯都采用异步消息发送方式．对象间的同步采用“需要时等待”策略，同一对象内并发线程间的同步用路径表达式描述．ＣＣＰＰ语言是对Ｃ＋＋语言的扩充，采用预编译方法实现．ＣＣＰＰ语言允许并发／顺序代码重用.     

面向对象数据库无缝的C^＋＋应用编程界面

关系数据库与程序设计语言之间的松散耦合存在着编程范型及类型系统两方面的失配，是提高数据库应用软件之质量和生产率的极大障碍，面向对象数据库（ＯＯＤＢ）与程序设计语言（ＰＬ）的无缝结合旨在消除这种失配，本文以面向对象数据库管理系统原型ＯＳＣＡＲ为背景，提出ＯＯＤＢ与ＰＬ无缝结合的基本准则，ＯＯＤＢ无缝Ｃ＾＋＋应用编程界面的对象持久性模型，以及实现ＯＯＤＢ无缝Ｃ＾＋＋应用编程界面的关键技术。     

一个面向对象的二级并发模型

本文提出了一个面向对象的二级并发模型ＦＯＲＣＥ－Ｍｏｄｅｌ．它从需求规范的角度充分开发对象间和对象内两个层次上的并行性，从而将面向对象与并发性有机地结合起来，提供了有效的实时系统建模框架．基于该模型，我们开发了一个多视点可视规范语言族ＦＯＲＣＥ－Ｌａｎｇｕａｇｅ．     

OSCARⅡ：面向对象的工程数据库管理系统

本文结合笔者开发的一个面向对象工程数据库管理系统ＯＳＣＡＲⅡ，介绍了面向对象工程数据库系统的结构和系统实现。ＯＳＣＡＲⅡ采用真正的Ｏ－Ｏ模型，即从数据模型到系统实现都摆脱了传统的数据模型如关系型的束缚，不同于用扩展关系模型实现的面向对象系统。在ＯＳＣＡＲⅡ的数据模型中包含了面向对象的基本特性，并在类定义、封装、继承、重载等方面都实现了丰富的具有工程实用性的语义。本文首先介绍了面向对象工程数据库的概况，然后描述了ＯＳＣＡＲⅡ的实现，包括系统组成、各主要核心模块的功能和关键技术。最后介绍了今后的研究方向。     

A MULTIPLE STRUCTURE RECONSTRUCTION ALGORITHM BASED ON WIRE FRAME MODEL

ＡＭＵＬＴＩＰＬＥＳＴＲＵＣＴＵＲＥＲＥＣＯＮＳＴＲＵＣＴＩＯＮＡＬＧＯＲＩＴＨＭＢＡＳＥＤＯＮＷＩＲＥＦＲＡＭＥＭＯＤＥＬＤｕＪｉａｎｇｃｈｕａｎＰａｕｌＷ．Ｆ．ＰｏｏｎＡｂｓｔｒａｃｔＡ“ＬＡＧ＆ＲＬＣ”ｖｉｓｕａｌｉｚａｔｉｏｎａｌｇｏｒｉｔｈ...     

青鸟II型系统面向对象语言CASE C＋＋的设计和实现

ＣＡＳＥ Ｃ＋＋语言是面向对象的ＣＡＳＥ环境青鸟Ⅱ型系统中设计、实现的一个与Ｃ＋＋完全兼容并支持永久对象的面向对象程序设计语言。在青鸟Ⅱ型系统中，它是对象管理系统ＯＭＳ的操纵语言和所有集成工具的编程语言，同时也是支持最终用户的通用的编程语言。本文首先简要介绍了ＣＡＳＥ Ｃ＋＋的设计背景。然后，较详细地讨论了ＣＡＳＥ Ｃ＋＋中新引入的语言成份：永久对象；类定义的共享机制；永久对象间的关系描述－链和对     

基于CORBA的CSCW共享工作空间的设计与实现

在计算机支持的协同工作下，共享工作空间是一个非常重要的研究领域。面向对象与透明调用是ＣＯＲＢＡ规范的基本特征。我们希望利用ＣＯＲＢＡ构造共享工作空间。本文首先给出了共享工作空间的一个直观的模型；然后在简单介绍ＣＯＲＢＡ后给出了一个基于ＣＯＲＢＡ共享工作空间模型；并进行了进一步的精化。     

面向对象软件自动化系统JDAUTO＼0

本文介绍了面向对象经系统ＪＤＡＵＴＯ／０的设计与实现，ＪＯＯＳＬ是一种面向对象软件形式规约语言，基于它，实现了概要设计到详细的自动工具ＰＤＡＵＴＯ和详细设计到Ｃ＋＋代码的自动转换工具ＤＤＡＵＴＯ．     

CORBA 3.0新特性的分析及评述

随着分布式与面向对象技术的日益成熟，作为业界重要的面向对象分布式系统模型，ＣＯＲＢＡ也不断发展完善。在其新的３．０规范中，ＯＭＧ引入了ＣＯＲＢＡ组件模型、新的异步消息处理机制、可移植对象适配器等重要的概念和模型。文章对其进行了较为详尽的阐述，并分析、评述了各自的特性。     

MultiobjectC─一个面向对象的并发程序设计语言的设计

ＭｕｌｔｉｏｂｊｅｃｔＣ语言是我们设计的一个面向对象的并发程序设计语言，它以Ｃ语言为基语言，引入了类和对象等机制以及并发对象间的通信设施，支持面向对象的并发程序设计。本文讨论了我们在设计过程中的考虑，并与ＡＴ＆ＴＢｅｌｌ实验室的ＣｏｎｃｕｒｒｅｎｔＣ＋＋语言作了一些比较。     

煤矿井下安全监控分站的设计及其仿真实现

为了设计一种具有低成本、低功耗、易操作、功能强且可靠性高的煤矿井下安全分站,针对煤矿安全生产实际,文章提出了采用MCS-51系列单片机为核心、具有CAN总线通信接口的煤矿井下安全监控分站的设计方案;首先给出煤矿井下安全监控分站的整体构架设计,然后着重阐述模拟量输入信号处理系统的设计过程,最后说明单片机最小系统及其键盘、显示、报警、通信等各个组成部分的设计;为验证设计方案的可行性与有效性,使用Proteus软件对设计内容进行仿真验证,设计的煤矿井下安全监控分站具有瓦斯、温度等模拟量参数超标报警功能和电机开停、风门开闭等开关量指示功能;仿真结果表明:设计的煤矿井下安全监控分站具有一定的实际应用价值.     

View-based model-driven architecture for enhancing maintainability of data access services

In modern service-oriented architectures, database access is done by a special type of services, the so-called data access services (DAS). Though, particularly in data-intensive applications, using and developing DAS are very common today, the link between the DAS and their implementation, e.g. a layer of data access objects (DAOs) encapsulating the database queries, still is not sufficiently elaborated, yet. As a result, as the number of DAS grows, finding the desired DAS for reuse and/or associated documentation can become an impossible task. In this paper we focus on bridging this gap between the DAS and their implementation by presenting a view-based, model-driven data access architecture (VMDA) managing models of the DAS, DAOs and database queries in a queryable manner. Our models support tailored views of different stakeholders and are scalable with all types of DAS implementations. In this paper we show that our view-based and model driven architecture approach can enhance software development productivity and maintainability by improving DAS documentation. Moreover, our VMDA opens a wide range of applications such as evaluating DAS usage for DAS performance optimization. Furthermore, we provide tool support and illustrate the applicability of our VMDA in a large-scale case study. Finally, we quantitatively prove that our approach performs with acceptable response times.     

A pragmatic multi-method investigation of discrepant technological events: Coping,attributions, and ‘accidental’ learning

Discrepant technological events or situations that entail a problem, a misunderstanding or a difficulty with the Information Technology (IT) being employed, are common in the workplace, and can lead to frustration and avoidance behaviors. Little is known, however, about how individuals cope with these events. This paper examines these events by using a multi-method pragmatic approach informed by coping theory. The results of two studies – a critical incident study and an experiment – serve to build and test, respectively, a theoretical model that posits that individuals use a variety of strategies when dealing with these events: they experience negative emotions, make external attributions, and adopt engagement coping strategies directed at solving the event, eventually switching to a disengagement coping strategy when they feel they have no control over the situation. Furthermore, users’ efforts may result in ‘accidental’ learning as they try to overcome the discrepant IT events through engagement coping. The paper ends with a discussion of the results in light of existing literature, future opportunities for research, and implications for practice.     

The Distributed Time-Triggered Simulation Scheme: Core Principles and Supporting Execution Engine

Distributed real-time simulation is a young technology field but its practice is under increasing demands. In recent years the author and his collaborators have been establishing a new approach called the distributed time-triggered simulation (DTS) scheme which is conceptually simple and easy to use but widely applicable. The concept was initiated in the course of developing a new-generation object-oriented real-time programming scheme called the time-triggered message-triggered object (TMO) programming scheme. Some fundamental issues inherent in distributed real-time simulation that were learned during recent experimental studies are discussed along with some approaches for resolving the issues. An execution engine developed to support both the TMOs engaged in control computation and the TMOs engaged in DTS is also discussed along with its possible extensions that will enable significantly larger-scale DTSs.     

Software-Konfigurationsmanagement in großen Softwareprojekten

Zusammenfassung Mit zunehmender Größe der Softwaresysteme verschärfen sich die für die Software-Herstellung typischen Probleme: Beherrschen großer Objektmengen, Erhalten der Systemkonsistenz, Kontrolle der ständigen Änderungseinflüsse und Gewährleisten einer langen Lebensdauer. Die Disziplin Konfigurationsmanagement bildet den methodischen Ansatz, diese Probleme besser zu beherrschen. Software-Konfigurationsmanagement faßt die Herstellung von Softwaresystemen als eine Abfolge von kontrollierten Änderungen an gesicherten Zwischen- und Endergebnissen auf. Dargestellt werden die Objekte und Funktionen des Software-Konfigurationsmanagements sowie die hierfür in großen Software-Projekten benötigten Methoden, Instanzen und Hilfsmittel.     

Information for Authors

正http://www.zju.edu.cn/jzus http://www.springerlink.com Aim The Journals of Zhejiang University-SCIENCE(A/B/C)are edited by the international board of distinguished Chinese and foreign scientists,and are aimed to present the latest developments and achievements in scientific research in China and     

Editorial:Brain-machine interface(BMI) and cyborg intelligence

正Brain-machine interfaces(BMIs)aim at building a direct communication pathway between the brain and an external device,and represent an area of research where significant progress has been made during the past decade.Based on BMIs,mind information can be read out by neural signals to control     

Information for Authors

正http://www.zju.edu.cn/jzus http://www.springerlink.com Aim The Journals of Zhejiang University-SCIENCE(A/B/C)are edited by the international board of distinguished Chinese and foreign scientists,and are aimed to present the latest developments and achievements in scientific research in China and overseas to the world’s scientific circles,especially to stimulate     

SCIENCE CHINA Information Sciences SUBJECT INDEX TO VOLUME 57(2014)

正~~     

Information for Authors

正http://www.zju.edu.cn/jzus http://www.springerlink.com Aim The Journals of Zhejiang University-SCIENCE(A/B/C)are edited by the international board of distinguished Chinese and foreign scientists,and are aimed to present the latest developments and achievements in scientific research in China and overseas to the world’s scientific circles,especially to stimulate