X窗口系统中应用程序构造技术探讨

介绍了X窗口系统环境下应用程序界面的自动生成技术,其中包括Motif编程模型及有关概念;应用程序构造器生成应用程序界面的过程;应用程序构造器的机理及构造器创建应用程序的完善。     

基于MYCIN不精确推理的专家系统C＋＋程序设计

文中采用C＋＋语言开发了基于MYCIN的家系统程序,实现了基于规则的模糊知识表达与推理,为信后采用C＋＋建造各种实帮专家系统提供了方便。     

MeeGo嵌入式操作系统的研究及应用开发

论述了在Linux平台下搭建MeeGo嵌入式操作系统应用程序开发环境的方法和步骤,给出了使用Qt Creator工具开发MeeGo应用程序的流程。通过在Atom D510嵌入式实验平台和QEMU虚拟机下安装MeeGo操作系统,设计实现了具有3D操作界面且集成办公、娱乐、微博聊天、地图查询四大模块为一体的应用程序。该应用程序具有友好的人机交互界面和良好的可移植性,体现了"一次编写,到处运行"的理念。     

Livelocks in parallel programs

This paper is the second of a two-part series exploring the subtle correctness criterion of the absence of livelocks in parallel programs. In this paper we are concerned with the issue of proving this correctness criterion. It is shown that livelocks are not preserved by reduction, implying that reduction cannot be used directly in proving the absence of livelocks. Two applicable proof techniques are also presented. One is based on the notion of establishing sufficient conditions for livelock-freedom; the other is an extension of the well-founded set method for proving termination in sequential programs.     

An elaboration likelihood model based longitudinal analysis of attitude change during the process of IT acceptance via education program

The principal objective of this study was to gain insight into attitude changes occurring during IT acceptance from the perspective of elaboration likelihood model (ELM). In particular, the primary target of this study was the process of IT acceptance through an education program. Although the Internet and computers are now quite ubiquitous, and thus many people can come to an acceptance of IT organically – including acceptance of such products as new released online services or software, some software – most notably programming languages and spreadsheets – may require education programs, and the efficacy of that education may determine the rate of acceptance. Thus, education programs for such IT may be regarded as not only teaching and training how to use the product from a technical standpoint, but also as a process by which program participants are persuaded to have a positive attitude towards accepting the new IT. This study adopted an ELM based longitudinal approach to capture the changes in the roles of persuasion routes and attitude during IT acceptance – in this case, the education program. To validate empirically the suggested model, junior students majoring in business administration, all of whom were taking an Excel class, were surveyed twice – just after mid-term and just after their final exam. These data were analysed via partial least-square method to deduce some possible implications. Our results supported all the hypotheses put forward.     

面向行业应用的软件开发检查工具

现有的自动化测试和检查工具能够解决一些常规的测试和检查问题,但是对于行业应用软件开发过程的某些个性化测试和检查要求,没有提供很好的支持.因此针对行业应用软件的个性化要求,提出了一种面向行业应用的软件开发检查工具,在通用测试和检查工具的基础上,从代码检查、数据结构检查、接口检查和日志检查4个方面,对系统进行进一步的测试和检查.实验结果表明,该工具能有效地提高软件系统的开发效率和正确性,降低软件系统的开发成本.     

水质监测FPGA嵌入式软件系统设计

设计了一种水质智能检测嵌入式软件系统,该系统以反熔丝数模混合FPGA FUSION系列嵌入的8051IP核为核心,子站能够自动监测水质常规5项参数,将参数无线数传到上位机,在上位机完成数据处理、分析和显示。该系统具有可靠性高、稳定性好与成本低的优点,满足了水产养殖业与河流污染监测的需要。     

云计算环境下的弹性结构程序研究

针对云计算环境下云程序的弹性结构进行研究,结合Anytime算法、弹性计价模型和软件即服务层中的SLA计费架构,将总业务费用分为接入费用、使用费用和补偿费用进行计算,设计基于图像小波变换的弹性结构程序,给出程序的执行步骤和状态转换图。分析结果表明,该弹性结构程序能对程序迭代次数进行控制,较好满足用户需求。     

基于WDF框架的PXI-E数据采集卡驱动的设计与实现

主要介绍了WDF驱动模型的特点,分析了WDF驱动的基本结构,主要探讨基于WDF的PXI-Express总线的高速数据采集卡驱动的基本开发流程,说明了如何通过DMA实现高速数据传输,以及驱动与应用程序之间的通信机制的设计和同步访问的实现.     

基于IEC61131-3标准的电梯控制系统设计

IEC61131-3是工业控制系统编程语言的第一套国际标准。介绍了IEC61131-3国际标准的产生、发展和特点,从程序组织单位组成及内容、编程语言等方面详细地阐述了IEC61131-3的软件开发平台,讨论了使用该标准构建控制系统的语言模式。最后以电梯控制为例阐述了使用IEC61131-3控制系统的组态和编程步骤。通过运行证明,系统较好地模拟了电梯的实际运行过程,体现了IEC61131-3标准的特点和优势。