基于MCAPI的多核软件开发方法

提出了一种基于多核通信应用程序接口(MCAPI)标准的多核软件开发方法,该标准提供了基于消息传递的API,适用于核间通信,大大提高了应用程序在多核处理器上的可移植性。采用poly-platform软件工具进行多核软件开发,首先建立拓扑结构,然后定义节点工程,完成存储分配等工作,再利用MCAPI模板完成节点间通信,最后编制各个节点的应用程序。该软件开发流程独立于厂商、器件和操作系统,可将应用程序快速灵活地映射到不同的同构和异构多核架构上,大大提高了多核软件的开发效率。     

基于SaaS模式在线软件系统开发方案的研究

软件即为服务SaaS模式与传统的软件开发相比,在软件构架,数据隔离和系统安全等方面有着更高的要求,如何设计面向服务的架构,如何保证系统安全和如何处理多企业数据隔离是决定SaaS成败的3个关键问题.将以基于SaaS的客户关系管理系统为业务基础,以SOA、计算机安全和数据库设计为理论基础,就以上问题提出解决方案.此提出的解决方案在实际的SaaS系统中很好地解决了软件架构、系统安全和数据建模方面的问题,值得欲构建高效、灵活、安全SaaS系统的人士参考.     

基于敏捷软件开发方法的基金管理信息系统开发

敏捷软件开发是一种面临迅速变化的需求快速开发出高质量的软件产品软件的新方法。介绍了敏捷软件开发的主要内容,特别是XP和AM,并以一个基金管理信息系统的开发为例,展示了实际应用过程。     

基于客户/服务器模式的远程控制系统

随着计算机和远程通讯为代表的信息技术的飞速发展和广泛应用,使远程监控、远程教育、远程贸易和服务成为可能。提出了一种基于客户／服务器模式的交流伺服控制器的远程监控系统,阐述了其体系结构及各部分功能,并开发了基于TCP／IP协议的远程通信实用程序。     

地震多属性分析系统的面向对象设计及敏捷开发过程

地震多属性分析(Seis2A)系统采用现代数学、信息学工具,实现了多种地震属性提取分析方法,是用于高精度地震勘探和油藏描述的自主研发软件.基于面向对象的设计分析方法,介绍了需求分析、系统框架设计,类详细设计和C++/Qt/Coin3D代码实现的全过程.项目管理采用敏捷开发过程,进行了以人为中心、结对编程、快速原型、单元测试、代码重构、多次迭代、持续集成、小型团队的开发实践.     

基于组态软件的中央空调自动控制系统的开发

针对中央空调设计了一种基于组态软件的自动控制系统。系统以工控机为核心,采用分布式远程模块完成数据的采集与控制信号的发送。系统的底层控制程序由VC开发,通过DDE与"组太王"开发的人机界面进行数据交换,控制算法采用专家决策系统。为此,本文对系统的硬件配置、上位机应用软件设计进行了详细的讨论。     

基于Skyline软件的三维Web系统设计与研发

本文讲述基于Skyline软件的三维web地理信息系统的解决方案。重点阐述了WEB可视化技术,以及如何利用Skyline系列软件在在网络环境下搭建一种三维地理信息系统,包括Skyline系列软件中Terra Builder的建模过程和调用Terra Explorer pro接口的过程。     

一种基于OPC技术的风电主控系统数据记录软件的开发与实现

OPC把对象链接和嵌入技术应用于工业过程控制领域,为工业控制领域提供了一种标准的数据访问机制.本文研究了OPCDA服务器和客户程序,并将OPC技术应用于风电领域常用的巴赫曼PLC控制器,利用VISUALBASIC开发了“主控系统数据记录软件”,并详细描述了该软件的使用方法,实践证明该软件在风场调试和工厂测试中得到了较好的效果.     

Productive capacity of a system for software development

Economic aspects of software production make it necessary to evaluate the performance of a Systems for Software Development (SSD) in a methodical manner.In this article, the resources (people, tools, services, etc.) of an SSD are first analyzed using a method based on Conventional Experience and Relative Capacity and introducing a Working Environment Quality Coefficient. The workload of an SSD is also considered, and for this a Workload matrix involving development activities is introduced. Evaluation of the Productive Capacity of an SSD thus takes into account both the resources and the workload of the system.     

Linux环境下基于Qt库的软件PLC开发系统

结合Qt组件的特点,提出一种Linux环境下构建软件PLC开发系统的方案.该方案把软件PLC开发系统划分为文件管理器、编辑器、编译器和调试仿真环境4个部分,介绍了这4部分的实现思想和设计过程,并重点介绍了梯形图的编辑技术和存储技术,给出梯形图程序的扫描算法和编译原理.为高效率低成本实现软件PLC开发系统提供一种新的解决方案,同时为软件开发人员提供一种软件开发的新思维.     

基于MCGS组态软件的空压机组监控软件开发

介绍了工控组态软件MCGS及其在煤矿空压机组集散监控系统中的应用.阐述了该系统的工程背景、硬件组成、控制方法、组态过程及实现功能.实践证明,该系统具有界面友好、自动化程度高、监控可靠、扩展性强等优点,对其它同类项目开发具有较强的借鉴意义.     

基于构件库/工作流的可视化软件开发

在研究构件技术的基础上,结合工作流技术提出了一种新的软件开发模式,即通过将可视化的构件库与可视化的工作流编辑系统全面融合实现零编程的软件搭建平台。构件库包含了多层次和多粒度的可视化软件构件集合。工作流以业务流程为核心来组装各种构件以实现可视化的软件开发。论文提出了软件构件运行与逻辑控制分离的思想,通过构件库不同层次构件为用户提供良好的软件扩展性和移植性,通过工作流引擎的流程控制取代程序流程的过程控制实现面向业务的快速软件搭建,并支持任意流程的实时测试。这种软件开发模式拓展了传统软件工程的过程开发方式,能较好兼容自上而下和自下而上的软件工程方法,并能适用于BS/CS开发模式。该模型已在新一代GIS平台——MapGIS搭建平台中得到成功应用。最后分析了该软件开发方法的优缺点。     

Document based rational software development

A software development process can be considered rational if each design decision can be justified based on given facts and design decisions that were made, reviewed, and accepted earlier. This paper describes a set of documents that can serve as a “knowledge base” for more rational software development. Each of these documents can be viewed as a place where the decisions made in one phase of a software development can be recorded for those who work in the next phase. These documents make it possible to develop software in a rational and reviewable way. We describe why each document is needed, how it should be organized, and how the information in the whole set of documents can be represented in a precise, checkable, and accessible way. We illustrate the approach with a detailed discussion of one of these documents, module interface documentation.     

FORMAL: A language with a macro-oriented extension facility

FORMAL is a preprocessor language for FORTRAN that supports definition facilities, i.e., extension facilities which permit a user to define new datatypes, new operators, and new types of statements. Using these facilities, it is easy to define e.g., “structured FORTRAN”, or extended FORTRAN to include vector and matrix arithmetic and string manipulations.The FORMAL processor has been written in PL/I.This paper describes the main features of the language, outlines the processor, and discusses experience with using it.     

基于组件的嵌入式软件开发方法

根据嵌入式软件的特点,提出一种以模型为中心、基于组件的嵌入式软件开发方法。它以动态数据流图为系统模型对嵌入式软件的功能和性能需求进行了描述,由此提供了强大的描述和分析能力;通过基于特定组件模型的实现结构和实现代码框架的自动生成,以DDF定义的系统可以被有效地分解为一系列独立的组件,合适的DDF调度算法一致地表示了系统组件的执行语义,使得并发开发的组件具有良好的可集成性。该方法充分考虑了嵌入式开发的特点,能有效地降低系统复杂性和支持系统组件的并发开发和复用,从而提高了开发效率并降低了开发成本。     

基于AADL的软件开发技术研究*

形式化方法对于软件的开发过程有着重要的作用。为了研究体系结构分析与设计语言（AADL）在软件开发中的作用及其技术现状,介绍了AADL的语言组成和相关特性,分析了AADL在软件开发过程中的作用,给出了一个相应AADL工具集的框架模型。在此基础上,对现有的AADL相关工具进行了综述比较,总结出该框架的技术现状,并指出了AADL相关工具开发与应用的趋势。     

基于LabVIEW的催化剂程序升温表征系统应用软件开发

开发基于LabVIEW的程序升温分析应用软件,主要用于催化剂程序升温表征实验.用AI自控仪表监控气路和电路的主要参数.基于LabVIEW的软件控制和采集主要参数.软件数据分析部分可分析采集程序升温图形的峰信息.测试了工业合成气转化用催化剂,表明本系统工作可靠,设计符合要求.     

基于XML的软件安全静态检测方法研究

安全关键软件设计使用的C/C++语言含有大量未定义行为,使用不当可能产生重大安全隐患。软件静态检测是从软件代码和结构中找出安全缺陷的重要手段。从安全规则的角度,提出了基于XML（eXtensible Markup Language）中间模型的静态检测方法。该方法将C/C++源代码解释为XML中间模型,将安全规则转化为缺陷模式,利用Xquery查询表达式对软件安全缺陷进行定位。基于该方法的原型系统检验结果表明：该方法能够有效地检测出违反安全规则的软件缺陷,并具有安全规则可定制的特点。