国产基础软件应用平台的兼容性测试研究

近年来,随着我国基础软件产业的蓬勃发展,操作系统、数据库软件、服务中间件、基础办公软件等国产基础软件[1]已得到广泛的应用。然而,国产基础软件产品组合关系的复杂性以及引起国产基础软件应用平台兼容性问题的不确定性,给国产基础软件应用平台兼容性测试带来了一定的困难。对此提出了一种基于依赖关系的国产基础软件应用平台的兼容性测试方法DRBA(Dependency Relationship Based Approach),给出了DRBA方法的具体描述和测试执行策略,并以C/S的方式设计实现了基于DRBA的兼容性测试工具,应用一个实例验证了DRBA的可用性和有效性。     

基于ASP的CSP并发系统验证研究

传统并发通信顺序进程(CSP>性质的验证通常使用3个不同的模型层面,从而增加了系统的复杂性和验证 工具开发的难度;同时,主流的并发系统模型验证工具不支持在系统的一次运行中验证多个性质,这也降低了性质验 证的效率。首先将CSP程序转换为ASP程序,然后将CSP进程并发规则和以LTL/CTL公式表示的待验证性质转 换为ASP规则,从而建立了基于ASP验证CSP并发系统性质的统一框架。实验结果表明,基于ASP的CSP并发系 统验证技术易于实现,在保持较高验证效率的同时,能够支持在验证软件的一次执行中验证多条LTL/CTL公式。     

Applications of psychology to television programming: Formulation of program objectives.

Asserts that in preparing objectives of television programming for children the instructor must (a) recognize the needs and interests of his/her audience and (b) match them to his/her educational purposes. The techniques used to identify and implement methods of attaining the goals of the television programs "Sesame Street" and "The Electric Company" are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

基于多线程的网络应用程序设计技术研究

阐明多线程程序设计的概念和基本思想、线程的标准编程接口、多线程之间的互斥和同步、多线程中信号的处理等,通过网络发送和接收消息缓冲池队列管理的实例,给出多线程网络应用程序设计的方法.     

无线网络视频监控系统在铁路隧道施工中的应用

首次将无线网络视频监控系统应用到铁路隧道施工中,并取得成功。此系统利用无线高频电波在隧道中衰减慢、传输距离远的特性,实现了洞内图像的传输和洞内、外语音交互。从工作流程、模块功能等方面对系统作了介绍。通过本项工程得出,在隧道中应用无线通信技术是可行的。     

Competitiveness and an Emerging Sector: The Russian Software Industry and its Global Linkages

This paper analyzes the Russian software industry in the context of trade in information technology services. We assess Russia's underlying sources of competitive edge in software, such as its scientific establishments, education system, diaspora and low costs, and identify the institutional impediments to growth. A survey reveals that foreign outsourcing contracts, a high value-added niche and high education levels characterize Russia's small, privately held software firms. A comparison with the Indian software industry underscores the structural differences in outsourcing relationships developed by the two countries and emphasizes that national advantages are complex amalgamations of many factors and need to be overtly marketed. Beyond the resources that give comparative and competitive advantage to a transitioning economy, a critical role is played by powerful industry organizations and by non-market state institutions that can level the economic field and inject credibility into market structures.     

基于组态软件的分布式低压变电箱监控系统的Web发布

介绍了基于组态软件的分布式低压变电箱监控系统构成,可实现数据采集、状态检测、无功补偿、远程监控等功能,并根据主控计算机和远程监控计算机处于不同网络位置给出了3种基于组态软件的Web发布模式。     

无刷交流励磁机电磁设计软件开发及有限元分析

基于电机设计基本原理，形成了一套完整的无刷交流励磁机的电磁设计程序，并针对此电磁设计程序，利用Visual Basic 6．0为工具，开发了基于数据库管理系统的无刷交流励磁机的设计软件，并用一系列电机产品进行检验，程序运行可靠，达到预期结果。运用Maxwell 2D对样机的磁场进行了分析。     

基于集成产品开发和集成能力成熟度模型的整合方案

叙述了集成产品开发(IPD)流程和集成能力成熟度模型(CMMI)、软件能力成熟度评估模型各自的特点及意义。结合二者的特点,提供了适合企业产品研发的IPD和CMMI整合方案。阐明这种整合方案的实用性和提升软件产品开发能力的重要。     

电力工程造价软件的设计与开发

针对电力工程造价软件的特点，通过对系统的功能需求进行分析,对关键技术和实现方法进行论述,对通用电力工程造价软件的设计与开发提出了一种全新的设计思路。