Microsoft Visual C＋＋4.0特色一二

C或者C＋十是当今最为重要的编程语言，其作为开发工具一向是大软件厂商的必争之地。以往BOrland的产品总被公认略胜一筹。但自93年推出VisualC＋十以来，Microsoft渐渐地占了上风，进入96年后，Microsoft又接踵推出了VC＋＋4．0、4．正和4．2版本，使它的竞争优势进一步得到了加强。下面介绍的VC＋＋4．X版的新功能，虽然只是其中的一部分，但仍能对它的强大功能有所了解。DeveloperStudio——既熟悉又陌生的开发环境VC＋＋4．0的最大变化莫过于它采用了一个独立于VC＋＋，又与VC＋十紧密集成的新开发环境，即DeveloperStudio。…     

VC＋＋程序设计教学探讨

笔者结合自己的实际教学经验,对VC＋＋程序设计语言课程的教学进行了比较深入的探讨。     

BC＋＋4.0,4.5下的Window程序设计快速入门

高性能微机和内存条价格大幅度下降,中文Windows3.1,3.2与中文Windows95在国内开始普及,越来越多的人都希望能用C语言作些Windows应用程序的开发工作;因为Windows把它能做的事(诸如内存管理、打印机、鼠标、显示器、图形库、通讯库等等)都做了,Windows应用程序的开发者不必再为这些事操心,所以应该说比DOS应用程序的开发     

PowerBuilder中的Watcom C＋＋Builder的应用

我们用PowerBuilder开发应用系统,多数可以用PowerBuilder自身提供的函数实现,但遇到图像处理、复杂的逻辑和科学运算时,单靠PowerBuilder的自身功能就有些力不从心了。如果选用C或C++语言来实现极为容易,可喜的是PowerBuilder内嵌有Watcom C++Class Builder,它是一种C++语言编译器,选用它来解决PowerBuilder自身不易实现的功能,显得十分简单,使用也较方便。     

ConC++:C++的一种并发扩充语言

提出一种对Ｃ＋＋进行并发扩充的语言ＣｏｎＣ＋＋．ＣｏｎＣ＋＋是一个并发面向对象语言,它采用并发类和保护类的机制支持并发,并发类有一个主动函数,一旦对象被创建,这个主动函数就开始执行;保护类封装了一组数据和对数据的操作,它没有自己的线程,而且是用来实现对并发类对象的同步、互斥和通信,这种集中控制对象的并发的方法体现了对象的自治性特点,减少了上下切换和死锁发生的可能,从而提高了程序的性能。     

Visual C++.NET应用与开发系列讲座--托管C++程序设计

作为.NET的最新特性组成部分,Microsoft.NET Framework(框架)是一个用于构建,部署和运行Web服务及应用程序的平台.它包含三个主要部分:通用语言运行时、一组层次化的统一的类库和组件化版本的动态服务器主页(称为ASP.NET).     

在C＋＋Builder工程里使用Visual C＋＋DLL——第2部分：C＋＋类

上一篇文章为MSVC DLL创建一个Borland兼容的引入库。主要的难点在于MSVC和Borland使用的函数命名格式不同。举例来说,Borland认为_cdecl函数在它们的开头有一个下划线,但MSVC没有。幸运的是,你可以用Borland命令行实用工具克服名称的不同,这些工具有TDUMP、IMPLIB、IMPDEF、和     

C＋＋Builder与Oracle数据库连接的常见问题及解决方法

Insprise(原Borband)公司的C++集成开发环境C++Builder是开发客户/服务器应用和Internet/Intranet应用的优秀工具。它通过无缝地集成数据库设计部件和可视化用户接口的创建,极大地降低了开发数据库应用的复杂度。C++Builder使用ODBC或自带的高速驱动程序与数据库连接,支持Oracle、MS SQL Server、DB2、Sybase和Access等几乎所有的数据库产品。与VB、VC++和PB等其他开发工具相比,C++Builder最突出的优点之一是可     

DC＋＋：具有分布并行机制的C＋＋

ＤＣ＋＋是一种具有分布并行设施的面对向对象编程语言。它是由面向对象语言Ｃ＋＋向上兼容扩充得到的。本文介绍ＤＣ＋＋语言的设计与实现。     

Assessing Ideational and Evaluative Skills and Creative Styles and Attitudes

This article describes the rationale for the multiphase creative problem solving process, and reports the findings from an empirical investigation conducted to facilitate the problem solving of managers. The ideational skills of the managers were assessed before and after training in a complete process of creative problem solving, along with their ideational attitudes, creative problem solving style (i.e., generator, conceptualizer, optimizer, or implementor), and evaluative skill (i.e., ability to recognize original ideas). The most important findings indicated that the training had a significant impact on the evaluative accuracy of the managers. They were significantly more accurate in their judgments about original ideas after training, both in their identification of original ideas and their recognition of unoriginal ideas. After training, the managers also gave more solutions and more original solutions to problems. Finally, several variables (e.g., the “preference for active divergence” attitude, and the conceptualizer process style) seemed to moderate the impact of training. Training was therefore effective, with specific effects that can be predicted from pre-training individual differences in attitudes and process style.     

国内外标准法规比对分析系统设计与实现

为发现我国国家标准与国外发达国家标准法规的差距,从根本上提高我国国家标准的总体质量,提升我国产品的质量安全水平,以关键指标(因子)为核心,研究国内外标准法规比对的工作流程,利用面向对象的方法设计,实现了国内外标准法规比对分析系统。该系统适用于所有产品国内外标准法规的比对工作。     

Vignette and exposure calibration and compensation

We discuss calibration and removal of "vignetting" (radial falloff) and exposure (gain) variations from sequences of images. Even when the response curve is known, spatially varying ambiguities prevent us from recovering the vignetting, exposure, and scene radiances uniquely. However, the vignetting and exposure variations can nonetheless be removed from the images without resolving these ambiguities or the previously known scale and gamma ambiguities. Applications include panoramic image mosaics, photometry for material reconstruction, image-based rendering, and preprocessing for correlation-based vision algorithms.     

Geometric and Harmonic Means and Progressions

Geometer Marcus the Marinite explores how the geometric and harmonic means can be employed compositionally within a frame; how means function in the development of organizational field grids; how means work to develop linear perspective and proportional grids.     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

面向EAI的高可用性松耦合的扩展JCA架构

企业应用集成(EAI)不可避免的要整合各种异构的数据资源,同时还需要集成业务过程,而JCA则是一种较好的基于J2EE的解决方案。针对现有JCA规范还不成熟、难于使用的问题,主要从企业应用集成的角度对该架构作了一定的扩展,以满足EAI过程中的高可用性和松耦合要求。     

冰雪运动生物力学及其机器人研究进展

随着我国冰雪运动的蓬勃发展和2022年北京冬季奥运会的成功申办,冰雪运动生物力学和冰雪机器人的研究越来越受关注.首先,介绍冰雪环境下摩擦力学的基本理论,进一步,对比不同变量对摩擦系数的影响;其次,讨论冰雪运动中空气阻力的成因,并分析潜在的减阻机制;再次,介绍研究中常用的测量手段和不同维度的建模方法,阐明各类手段和方法的优缺点;最后,回顾冰雪机器人的研究进展,分析冰雪机器人研究领域的技术挑战,展望冰雪机器人未来的研究思路.     

Rank and select revisited and extended

The deep connection between the Burrows–Wheeler transform (BWT) and the so-called rank and select data structures for symbol sequences is the basis of most successful approaches to compressed text indexing. Rank of a symbol at a given position equals the number of times the symbol appears in the corresponding prefix of the sequence. Select is the inverse, retrieving the positions of the symbol occurrences. It has been shown that improvements to rank/select algorithms, in combination with the BWT, turn into improved compressed text indexes.     

Teamcenter与NX集成客户化定制技术研究与实现

PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。