支持多种Linux版本的动态内核性能测试技术

基于Intel IA32架构,提取了相对稳定的Linux操作系统框架.该框架主要集中于源代码树中的/arch目录中,由一些简短、高效的与体系结构相关的汇编代码构成.据此,设计了性能测试方案,包括基于地址表格改写的入口插接方案和基于代码拼接的出口插接方案.方案在运行的操作系统中,通过动态改写系统内存的插接技术实时地插入测试代码,测试代码可以使用高级语言来书写.实验表明,所提方案适用于通用的Linux 2.4和Linux 2.6内核系列,其时间开销仅为基于中断动态插接技术的6%左右,且能发现系统硬件和操作系统的关键性能问题.     

基于COM的分布式电力系统动态模拟的设计

基于COM组件技术，设计了电力系统动态模拟化的监测系统，将COM技术的可扩展性和代码复用技术引入到程度设计中，增强了模块的功能，提高了系统的运行速度。现场运行表明，该系统效果良好。     

一种基于XML的机群资源管理系统界面自动生成技术

结合界面自动生成的技术设计了一套机群资源管理系统.采用XML描述界面,java语言生成界面解析引擎的结合方式,实现界面代码和功能代码的分离,减小了它们之间的耦合性;实现了界面的动态生成,且不需要对整个系统重新编译,减少了开发人员的工作量,增强了软件的可扩展性.     

基于LabVIEW的有机发光二极管光电特性测试系统

本文介绍了基于LabVIEW开发平台的有机发光二极管(OLEDs)光电特性测试系统的实现，给出了软硬件结构的设计思想与方案。经过大量的实测检验，表明该测试系统具有稳定性高、编程灵活简易、软件维护性和可扩展性好、测量效率高、操作简单直观等优点。     

基于COM组件的Matlab与VC＋＋混合编程

VC＋＋以界面友好、代码效率高、执行速度快等特点,成为目前广泛采用的主要开发工具之一。而MATLAB在矩阵运算、二维和三维图形的绘制、数据拟合等方面具有极强的功能。本文充分发挥两种语言各自的优点,利用Maltab的COM技术实现VC＋＋与Matlab数据传递和调用的具体方法,实现了VC＋＋环境下的矩阵运算。该方法可以完全脱离Matlab的运行环境,在实际应用中大大提高了编程效率和软件性能。     

嵌入式软PLC开发系统研究

基于ARM处理器和Linux操作系统的嵌入式软PLC运行系统,针对开发系统生成的目标代码通用性和不便于用户使用问题,设计了一种将IEC61131—3标准的语言程序转换为C语言程序的开发系统,使系统生成的目标代码在此种类型的运行系统上具有通用性。生成的LinuxC程序不仅能够在运行系统上直接编译运行,而且便于在PC机上仿真测试。介绍了各个模块的功能和实现,重点阐述了编译模块的设计与实现的关键技术,并结合实例进行测试验证。实验表明,该系统界面友好、操作简单,编译出的C语言程序执行效率较高,通用性强,方便用户使用。     

DSO-2100动态连接库DLL在电机故障检测系统中的应用

实现DSO-2100在电机故障诊断系统中的应用,利用DSO-2100的动态库(DLL)对它的控制软件进行二次开发.DLL是在应用程序运行时被动态载入.它的链接不是库代码的拷贝,而是地址空间的映射,这样不仅可以减少对内存和磁盘空间的要求,节省系统资源,而且可以实现资源共享.     

控制算法动态连接库的实现与优化

为在大型工业过程控制图形组态软件包（ＷｉｎｄｏｗｓＮＴ平台上）中有效加入各种控制算法模块,并改善算法与软件包性能,可将算法模块编成动态连接库（ＤＬＬ）的形式．采用有效方式设置算法模块参数、实现算法模块ＤＬＬ与主程序的接口统一化,在运行时动态载入ＤＬＬ,利用ＷＩＮ３２的多线程技术优化软件包．可采用线程局部存储器为各线程创建私有数据存储区,保证各算法不互相干扰．对共亨资源利用互斥对象实现线程间的同步,防止死锁等错误．采用以上技术可使整个模块代码简洁、所占资源少,易于扩充、升级,同时,算法模块的效率与安全性提高,实时性增强．     

一种改进的基于动态链接库的代码插装技术

介绍了动态测试的关键技术-“代码插装”的原理，并在已经实现了的面向Visual Basic。语言的测试工具的基础上，提出了一种改进的基于动态链接库的代码插装技术．介绍了面向Visual Basic源程序的代码插装流程。     

含吸电子基的手性液晶聚合物合成和性能

设计与合成含胆甾醇基的液晶单体(4-烯丙氧基苯丙酸胆甾醇酯(M1)与含氰基的液晶单体(4-十一烯酰氧基联苯氰酯(M2)),并将其以一定比例投料与聚甲基含氢硅氧烷(PMHS)接枝共聚,合成了一系列含吸电子基的手性侧链液晶聚合物.通过热分析、偏光显微分析、旋光仪等测试手段研究了单体M1,M2和手性液晶聚合物液晶性能.结果表...     

在Linux下构造并行计算平台及开发并行程序

L inux是一个非常优秀的操作系统,其上的PVM也是目前最流行的并行编程语言之一.借助L inux构建并行计算系统,以及在L inux平台下开发PVM并行程序.     

单片机C与汇编混合编程在DS18B20温度采集中的应用

在嵌入式程序设计中,C语言和汇编语言是两种应用最广泛的编程语言,它们各有突出的优点。本文中详细介绍了这两种编程语言混合调用的方法,并以DS18B20温度采集系统为例,在程序设计中灵活运用这两种编程语言,使程序简洁而高效,对学生学习、运用单片机C语言与汇编语言的混合调用,解决实际问题具有一定的参考价值。     

依据过程性优势分析Prolog程序语言

介绍了过程性程序设计语言中过程，控制结构，程序流程等在陈述性语言Prolog中的实现，说明了Prolog是一种更有效的软件开发工具，它比Basic,Pascal等著名程序设计语言能力更强，效率更高。     

基于C＋＋的一种主动对象事件服务机制的实现

用面向对象方法构造具有互操作能力的分布并行软件系统是当今一种日渐强烈的需要,但现有的程序设计环境对这方面的支持尚不能让人满意．我们提出并基于Ｃ＋＋实现了一种主动对象的事件服务机制,试图抽象出这种需求的本质并用这种机制减轻构造这类系统的复杂程度     

形式语义描述方法研究进展与评价

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。     

A Survey of Language-Based Approaches to Cyber-Physical and Embedded System Development

As computers continue to advance, they are becoming more capable of sensing, interacting, and communicating with the physical and cyber world. Medical devices, electronic braking systems in automotive applications, and industrial control systems are examples of the many Cyber-Physical Systems(CPS) that utilize these computing capabilities. Given the potential consequences of software related failures in such systems, a high degree of safety, security, and reliability is often required. Programming languages are important tools used by programmers to develop CPS. They provide a programmer with the ability to transform designs into machine code. Of equal importance is their ability to detect and avoid programming mistakes. The development of CPS has predominantly been accomplished using the C programming language. Although C is a powerful language, it lacks features present in other languages that facilitate the development of reliable systems. This has prompted research into language-based alternatives for improving program quality through the use of programming languages. This paper presents an overview of the characteristics of embedded and cyber-physical systems and the associated requirements imposed on programming languages. This is followed by a survey of relevant research into languagebased methods for creating safe, reliable, and robust software for CPS.     

程序设计语言分类探讨

从4个角度对种类繁多的程序设计语言进行了分类，并对不同类型的程序设计语言的特点、应用和现状作了探讨，尤其对按程序设计范型分类的各种语言作了较详细的阐述。对读者全面了解、认识和选择最佳程序设计语言提供了一定的帮助。     

基于P2P网络架构的SIP视频会议系统设计

会议初始化协议(SIP)凭借其简单,易于扩展等优点,已成为未来网络发展的重要应用协议.它采用Client/Server(C/S)的结构体系,当系统业务量增大时,系统容易达到性能瓶颈,成为其技术发展的障碍.基于分布式点对点(P2P)网络的去中心化特征,正好弥补了SIP的这一缺陷.因此,首先提出了一种基于P2P网络架构的SIP视频会议系统模型,将现有SIP视频会议系统的C/S架构改进成为P2P的混合网络体系结构.这既发挥了P2P无中心的优越性,又体现了SIP的C/S模式的优点.其次,阐述了该系统主要功能模块以及相关程序设计.最后介绍了该系统的主要信令工作流程.     

程序设计语言的抽象与语言族模型

程序设计语言的模型对于研究语言的性质具有重要作用。基于语言的抽象这一概念,在建立的语言之代数模型下,给出了程序设计语言间的３种关系：继承、扩充、屏蔽的语义,并提出了在这3种关系下构成的语言族模型,作为研究语言间的关系和面向模型的变换型软件开发方法的一种理论基础。     

Delphi与汇编语言的混合编程

灵活运用多种语言进行混合编程,是软件开发技术的一个重要方向.结合具体实例,讨论了Delphi与汇编语言混合编程的方法,阐述了混合编程方法能充分发挥Delphi面向对象、可视化与汇编语言占用内存少,执行速度快的优势,很好地提高软件的性能.