基于.NET组件技术的插件式框架的研究

插件式应用程序框架是一种开放、动态的运行体系,这要求插件式应用程序框架基础设施能够控制插件的合法性,能构约束插件的功能实现。目前的插件技术研究与实现的不足之处在于:注重单个插件功能的实现,缺乏安全技术和元数据的支撑。提出一个基于.NET构件技术和安全技术的插件式应用程序框架。该工作有效地解决了现阶段插件框架研究的不足,提高了插件框架的有效性和实用性。     

基于Java的通用PDF文档生成开源软件的设计

提出了使用Java语言开发,并且切入部分插件（如iTex）t的方法,设计实现一种通用型PDF转换合成的绿色开源软件,通过简单运行即可方便地将各种信息无误的转换成PDF文档。该款软件可在支持现有的计算机、手机等各种平台使用。     

Program verification with interacting analysis plugins

In this paper we propose and argue for a modular framework for interprocedural program analysis, where multiple program analysis tools are combined in order to exploit the particular advantages of each. This allows for “plugging together” such tools as required by each verification task and makes it easy to integrate new analyses. Our framework automates the sharing of information between plugins using a first order logic with transitive closure, in a way inspired by the open product of Cortesi et al. We describe a prototype implementation of our framework, which performs static assertion checking on a simple language for heap-manipulating programs. This implementation includes plugins for three existing approaches—predicate abstraction, 3-valued shape analysis and a decidable pointer analysis—and for a simple type system. We demonstrate through a detailed example the increase in precision that our approach can provide. Finally we discuss the design decisions we have taken, in particular the tradeoffs involved in the choice of language by which the plugins communicate, and identify some future directions for our work. R. Lazic, R. Nagarajan and J. C. P. Woodcock     

Parallel software development in the DISC programming environment

This paper describes the architecture of DISC, a system for parallel software development. The system is designed for programming computer systems having several autonomous units, not memory-sharing, and linked by means of a communication network.

The system consists of three parts. The concurrent programming language DISC (DIStributed C), which is an extension of the C language based on the concurrent mechanisms envisaged by the CSP computational model. The programming environment, designed to promote software engineering techniques in the development of distributed-programs. The language run-time support, which provides for the distributed execution of programs.     

智能化的汇编语言集成开发环境

目前,绝大多数的程序设计语言都推出了基于Windows平台的可视化编译工具.针对汇编语言开发工具存在的缺陷,提出智能化的汇编语言集成开发环境的设计思想,并对系统的工作机制和关键模块的设计进行阐述.本系统能为汇编语言的教学提供有力的支持.     

在3ds Max中用粒子和Ky Trail插件演绎奥迪标志

基于3ds Max的粒子系统可以进行多种特效的模拟,其中的拖尾效果可由第三方插件来实现.Ky Trail 轨迹插件的引入增强了3dsMax在拖尾效果方面的表现能力,建构并实现了一个仿真的粒子系统,增强了场景的真实感.     

通用试飞数据处理查询语言FTSQL

给出了一种通用数据处理用工程数据库查询语言FTSQL。该语言可入高级程序设计语言,提供了工程数据的标准访问接口,采用该语言可使数据处理部件化,支持数据处理软件系统的集成化、规范化以及系统的可重要性要求。     

DOPS——分布式面向对象编程系统

ＤＯＰＳ是我们在Ｓｕｎ工作站网络中设计实现的分布式面向对象编程系统。目前包括并发面向对象编程语言ＣＣ＋＋和该语言在松散耦合分布式环境中的运行支撑系统ＤＲＴＳ。本文分别介绍ＣＣ＋＋和ＤＲＴＳ的设计与实现，最后给出检测结果。     

The Intel i386 architecture and implementation options for Oberon on it

The design of programming languages has a long tradition at ETH Zürich. With the development of the extensible operating system Oberon [1] [2] for the personal work-station Ceres, a new programming language for its implementation came into being and was called Oberon as well. Building on the solid grounds of Modula-2, the programming language Oberon [3] [4] adds features to support object-oriented programming while dropping some of the less important constructs of its predecessor. Although the Oberon system and the language have been ported to several widely-used commercial platforms [5], a version for IBM PCs is still missing. To encourage the development of Oberon for PCs, we discuss the architecture of the Intel i386 [6], the requirements of Oberon, and different implementation options for Oberon on this processor.     

分布式程序设计语言DC及其在松散耦合分布式环境中的实现

ＤＣ是一种支持分布式程序设计的编程语言，它是由Ｃ语言向上兼容扩充得到的．本文介绍ＤＣ及其在工作站网络环境下运行时支持系统的设计与实现，最后给出测试结果．     

An Integrated Graphics Programming Environment

The facilities of the PS-algol programming language are described in this paper to show how they may be used to provide an integrated graphics programming environment. The persistent store mechanism and the secure transaction facilities of the language provide the basic environment in which an integrated system may be implemented. This is augmented by data types and operations to support line drawings and raster graphics. The combination of these mechanisms may be used to provide the integrated graphics programming environment.     

Nessus插件开发及实例

Nessus是当前较先进的漏洞扫描软件，它以插件的形式完成漏洞检查。该文在分析了其插件开发语言的基础上，提出了Nessus插件开发的基本流程，通过一类弱口令探测插件的实例来说明Nessus插件的开发。     

jME元计算环境对Fortran并行程序设计的支持

介绍iME元计算环境对Fortran并行程序设计的支持。分析了Java和Fortran语言对元计算环境的支持及不足，然后论述了iME元计算环境支持Fortran并行程序设计的有关关键技术，包括保证同构性的措施、系统参数的获取、格式化输出和并行编程支持等。     

System structure for parallel logic programming

A system structure supporting parallel processing in general and parallel logic programming and expert system applications in particular is described. It is not based on special hardware but has rather been designed as an evolutionary extension to most existing machine architectures. It is aimed at parallel processing support for e.g. PROLOG as well as for expert system (shells) implemented in a general purpose language. A layered structure consisting of an extended machine interface and a macro language is chosen to support a range of various applications.     

基于XML-Glue的Widget的开发与研究

XML-Glue是基于Elastos(和欣)操作系统开发的编程模型,它利用Elastos所提供的各种系统服务,以及CAR编程技术,为应用编程者提供了一种网络计算模式的MVC计算模型。基于这个编程模型,以XML书写界面,以脚本语言书写逻辑,并以CAR构件作为底层支持,成功地完成在XML-Glue下Widget的实现。实验证明,基于XML-Glue实现的Widget不仅可以完成丰富的用户体验,而且整个开发过程具有简捷方便、代码量小且运行时占用资源少的特点,完全能满足在嵌入式系统开发小应用程序的需求。     

Using independence to enable parallelism on multicore computers

A simple programming abstraction based on the notion of independence is introduced as a means for mapping the independence inherent in an algorithm explicitly into its programmed solution. This enables a compiler and runtime system to exploit the independence and achieve efficient parallelism of execution on multicore processors. The constructs needed to express mutual independence among statements are proposed and their implementation in iOberon, an extension of the Active Oberon programming language, is defined. The programming language extensions, runtime support, and performance measurements are described in detail. We believe that this concept of specifying local disjoint program fragments can be applied to other programming languages. Copyright © 2010 John Wiley & Sons, Ltd.     

The JStar language philosophy

This paper introduces the JStar parallel programming language, which is a Java-based declarative language aimed at discouraging sequential programming, encouraging massively parallel programming, and giving the compiler and runtime maximum freedom to try alternative parallelisation strategies. We describe the execution semantics and runtime support of the language, several optimisations and parallelism strategies, with some benchmark results.     

C＋＋在嵌入式应用中的安全问题

近年来,C＋＋语言的重要性显著提升,被用于各种苛刻环境下的嵌入式系统中。这很大程度上是因为它与生俱来的灵活性,它所得到的广泛支持和它在多种多样硬件环境之间的移植潜力。然而没有一门编程语言可以保证最终生成的执行代码运行之后和开发人员的初衷完全一致。MISRAC＋＋：2008专注于在嵌入式应用中改善使用C＋＋语言时的安全特性。本文对MISRAC＋＋：2008作了概括的介绍,供嵌入式系统应用工程师学习参考。