Visual Foxpro多媒体信息管理程序设计

本文介绍利用ＭＳＯＬＥ２．０技术将Ｖｉｓｕａｌ Ｂａｓｉｃ４．０中ＭＣＩ控件移植到Ｖｉｓｕａｌ Ｆｏｘｐｒｏ系统中的方法和步骤，实现了使用Ｖｉｓｕａｌ Ｆｏｘｐｒｏ开发多媒体信息管理程序。     

VERSION CONTROL OF DISTRIBUTED EDBMS FOR CSCW

ＶＥＲＳＩＯＮＣＯＮＴＲＯＬＯＦＤＩＳＴＲＩＢＵＴＥＤＥＤＢＭＳＦＯＲＣＳＣＷ￥ＷａｎｇＱｉａｎｐｉｎｇ；ＬｉｎＺｏｎｇｋａｉ；ＧｕｏＹｕｃｈａｉ（ＣＡＤＬａｂ．，ＩｎｓｔｉｔｕｔｅｏｆＣｏｍｐｕｔｉｎｇＴｅｃｈｎｏｌｏｇｙＡｃａｄｅｍｉａＳｉｎｉｃ...     

用Visual J 的WFC建立服务器端的动态HTML应用程序

ＷＦＣ（ＷｉｎｄｏｗｓＦｏｕｎｄａｔｉｏｎＣｌａｓｓ）是ＶｉｓｕａｌＪ＋＋６．０的Ｗｉｎｄｏｗｓ基础类库,它包含ｃｏｍ．ｍｓ．ｗｆｃ．ｈｔｍｌ等１１个包（ｐａｃｋａｇｅ）。每个包有若干个类,这些类有两个基本功能,一是支持Ｗｉｎｄｏｗｓ操作系统,二是支持动态ＨＴＭＬ应用程序。动态ＨＴＭＬ应用程序是建立跨平台应用程序最可靠的方式之一,目前制作动态ＨＴＭＬ的主要途径是使用脚本（Ｓｃｒｉｐｔ）语言,使用ＷＦＣ后,仅仅通过Ｊａｖａ语言程序就能实现服务器端和客户端的动态ＨＴＭＬ。本文通过一个实例介绍如何用Ｊ…     

如何实现Foxpro和Sybase之间的数据传输

本文讲述了Ｓｙｂａｓｅ和Ｆｏｘｐｒｏ之间的数据传输问题，重点介绍了使用Ｂｃｐ．ＣｏｐｙＴｏ命令及Ｅｄｉｔ软件将Ｆｏｘｐｒｏ数据库内容复制到Ｓｙｂａｓｅ数据表的实现方法     

一个高质量汉字笔划字形到轮廓字形的转换系统

本文介绍一个基于三阶Ｂｅｚｉｅｒ曲线的字形转换系统ＳＯＣＳ（ｓｔｒｏｋｅｔｏｏｕｔｌｉｎｅｃｏｎｖｅｒｔｉｏｎｓｙｓｔｅｍ）．该系统作为汉字字形设计系统ＣＣＤＳ（Ｃｈｉｎｅｓｅｃｈａｒａｃｔｅｒｄｅｓｉｇｎｓｙｓｔｅｍ）的后端，把ＣＣＤＳ产生的多笔划曲线轮廓字形数据加工成整字曲线轮廓字形数据．其结果适于多种高精度输出，如Ｐｏｓｔｓｃｒｉｐｔ印字机．ＳＯＣＳ系统具有一定的通用性，它不只限于接受ＣＣＤＳ的加工结果，还可以作为独立的系统使用．     

基于神经网络和傅氏变换的指纹自动分类系统

本文介绍了一个基于两种傅氏变换进行图谱增强,用概率神经网络进行指纹分类的指纹自动分类系统,又称ＡＦＣＳ（Ａｕｔｏｍａｔｉｃ Ｆｉｎｇｅｒｐｒｉｎｔ Ｃｌａｓｓｉｆｉｃａｔｉｏｎ Ｓｙｓｔｅｍ）。该系统运用了一种新的图谱增强方法及不均匀的特征表示方法,用ＰＮＮ（Ｐｒｏｂａｂｉｌｉｓｔｉｃ Ｎｅｔｗｏｒｋ）进行分类,实现了提纹的自动分类。     

基于LON技术开发FCS的若干问题

ＬＯＮ技术基于ＬｏｎＷｏｒｋｓ遵从ＬｏｎＴａｌｋ通信规约,用ＬＯＮ技术可以研制出符合“过程管理”概念的ＦＣＳ系统。本阐明ＬＯＮ与ＬｏｎＷｏｒｋｓ技术、ＬｏｎＴａｌｋ、ＬｏｎＭａｒｋ间的关系,以及用ＬＯＮ技术开发ＦＣＳ系统的目标和实现“防爆”、“冗余”和“互操作”的观点。本还构划了一个这类ＦＣＳ的软、硬件系统概貌。     

利用PB对ORACLE数据库的应用开发

本文介绍了一个基于Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ模型下的管理查询系统的设计与实现．同时给出了在ＷｉｎｄｏｗｓＮＴＳｅｒｖｅｒ及Ｗｉｎｄｏｗｓ９５操作系统下配置ＯＲＡＣＬＥ７．３３数据库及ＰＢ的ＯＤＢＣ接口的方法,并介绍了使用ＰｏｗｅｒＢｕｉｌｄｅｒ５．０对系统开发的一些技巧．     

CONVERSION FORMULAS FOR RATIONAL BEZIER SURFACES

ＣＯＮＶＥＲＳＩＯＮＦＯＲＭＵＬＡＳＦＯＲＲＡＴＩＯＮＡＬＢＥＺＩＥＲＳＵＲＦＡＣＥＳＨｕＳｈｉｍｉｎ；ＷａｎｇＧｕｏｚｈａｏＡｂｓｔｒａｃｔ：Ｉｎｔｈｉｓｐａｐｅｒ，ｗｅｉｎｖｅｓｔｉｇａｔｅｔｈｅｉｎｈｅｒｅｎｔｒｅｌａｔｉｏｎｓｈｉｐｂｅｔｗｅ...     

PCLAgenda:一个基于过程的CASE环境

本文描述了ＰＣＬＡｇｅｎｄａ（ｐｒｏｃｅｓｓｃｏｎｔｒｏｌｉｎｇｌａｎｇｕａｇｅａｇｅｎｄａ）的设计与实现．ＰＣＬＡｇｅｎ－ｄａ是ＳＣＯＰ组合框架软件工具系统中提供的以过程为核心的软件工程环境，其主要功能是定义软件开发过程，指导、控制和自动化软件开发工作，支持开发人员的合作和协调．ＰＣＬＡｇｅｎｄａ的核心是基于ＳＣＯＰ软件开发方法学的、面向活动的软件过程模型.     

嵌入式系统规范语言

规范语言是整个嵌入式系统设计方法学的核心。归纳总结了嵌入式系统规范语言的发展过程，并针对当前嵌入式系统的发展趋势。说明了嵌入式系统规范和规范语言的设计需求，进而介绍比较了两种重要的基于C／C＋＋语言的新的规范语言SystemC和SpecC，最后阐述了基于C／C＋＋的规范语言的看法，并展望了未来规范语言的发展。     

Codesign from cospecification

Describes an object-oriented codesign specification approach designed to eliminate the bias introduced from using more commonplace software or hardware specification languages. The goal is to investigate automated partitioning of behavior into hardware and software. The design methodology allows gradual, continuous repartitioning of codesign operations during design. For instance, designers might start with an all-software implementation and check the implementation's functionality: they might then refine the implementation over time to a mixed hardware-software implementation. At the system level, the authors use an object-oriented approach to identify the basic objects and associated functions of a system. They divide them into three groups: hardware, software, and codesign . They represent the codesign group's objects and functions using a prototype codesign specification language, Object-Oriented Functional Specifications (OOFS), which lets one describe system state in objects and write object methods as pure functions. Thus, the authors can describe complex systems without biasing the implementation toward hardware or software     

一个支持规约获取的形式规约语言

该文介绍了形式规约语言LFC设计的一些主要方面，并通过例子说明了LFC的一些特色。形式规约语言LFC是为支持软件形式规约的获取工作而开发的。该语言以一种新的递归函数，即定义在上下文无关语言上的递归函数为基础，以上下文无关语言为数据类型，在语言级支持规约获取。LFC语言已被用作形式规约获取系统SAQ的一部分。使用表明，LFC是一个能力强、易使用的语言，适合软件形式规约获取之用，并且适合其它一些用途。     

Towards formal open standards: formalizing a standard’s requirements

Open standardization seems to be very popular among software developers as it simplifies the standard’s adoption by the software engineering. Formal specification methods, while very promising, are being adopted slowly as the industry seems to have little motivation to move into this territory. In this paper the authors present (1) the idea of applying formal specification techniques to open standards’ specifications, and (2) an example of a formal specification of the Rich Site Summary (RSS) v2.0 open standard. The authors provide evidence for the advantages of the open standards formal specification over natural language documentations: formal specifications are more concise, less ambiguous, more complete with respect to the original documentation and, when using certain kinds of specification languages, executable and reusable as they support module inheritance. The merging of formal specification methods and open standards allows (1) a more concrete standard design; (2) an improved understanding of the environment under design; (3) an enforced certain level of precision into the specification, and also (4) provides software engineers with extended property checking/verification capabilities, especially if they opt to use any algebraic specification language. The authors showcase how the RSS standard can be formally specified using an algebraic specification language and demonstrate how can that be beneficial.     

CPSL：一种通信协议规格说明语言及其支撑系统

ＣＰＳＬ是一种精确描述通信协议需求的形式规格说明语言，本文简述了ＣＰＳＬ的设计及其支撑系统的开发，并和其它类似语言作了比较。     

System specification experiments on a common benchmark

To contribute to the current effort toward the definition of a system-level design language, this article proposes a benchmark for system specification. The authors analyze the results of experiments using the benchmark with several languages     

Miro: visual specification of security

Miro is a set of languages and tools that support the visual specification of file system security. Two visual languages are presented: the instance language, which allows specification of file system access, and the constraint language, which allows specification of security policies. Miro visual languages and tools are used to specify security configurations. A visual language is one whose entities are graphical, such as boxes and arrows, specifying means stating independently of any implementation the desired properties of a system. Security means file system protection: ensuring that files are protected from unauthorized access and granting privileges to some users, but not others. Tools implemented and examples of how these languages can be applied to real security specification problems are described