程序复杂程度定量量度新法——改进McCabe法

介绍了现在较为成熟的两种程序复杂度定量算法Halstead法和McCabc法，指出了这两种算法的不足，并借用McCabe法的思想，给出了更合理的且易操作的新算法——改进McCabe法，该算法不需绘制流程图；用主干环数量度程序复杂度．同时总结出降低程序复杂度的3种方法，供设计程序时参考．     

利用MFC开发交互式参数化机构实验软件

介绍如何充分利用MFC（Microsoft Foundation Classes，微软基本类）这一强大面向对象软件工具（OOP）来开发机械原理中的典型实机构实验软件，该实验软件具有交互式，参数化等优点，为机械原理的教学和实验提供帮助，并且它的开发方法也可以应用于机械设计软件的开发。     

动车轮辐板孔数控加工编程技术研究

文章研究了人机交互界面的设计以及数据信息的采集与处理、零件加工工序规划和FANUC数控系统的NC代码的自动生成,并对生成的NC代码进行图形模拟.该编程系统的工程应用简单,生成的NC代码程序简洁、高效,程序校验也十分方便,是一种受用户欢迎的编程工具.     

扩充OpenMP并行编程模型支持事务存储执行

虽然OpenMP是多核体系结构上的流行多线程并行编程模型,但是OpenMP编译器不检查数据相关性、访问冲突和其他可能导致程序错误执行的问题,这些问题传统上完全依赖用户使用锁机制来保证程序的正确性.锁机制的并行编程中存在并行程序效率和并行编程难度的矛盾.粒度大的锁机制编程容易,可应用的并行性挖掘比较差;粒度小的锁机制应用的并行性挖掘较好,可编程难度大,容易带来优先权倒置、死锁和锁护航等问题.通过动态二进制插桩技术,扩充OpenMP支持事务存储执行功能,可有效缓解OpenMP并行编程中并行程序效率和并行编程难度之间矛盾.     

空中交通复杂度测度分析及航班监测预警研究

应用复杂理论分析方法,研究了空中交通流复杂度,提出了空中交通复杂性测度的计算方法以及交通流稳健度评价体系,并对空中交通系统复杂度影响较大的航班提出预警。讨论了基于复杂性测度理论的空中交通复杂度度量分析和监测预警,研究表明所提供的方法能够从复杂,不确定的数据中计算出系统复杂度的变化,通过稳健性技术指标,能够辨别与系统稳健性相关的状态参数,指出对系统稳健度造成较大影响的航班。这些研究工作表明,提出的复杂性方法能够对空中交通复杂度进行测度分析和对航班进行监测预警。     

并行视频序列MPEG-2编码的优化联合码率控制

针对数字电视广播以及视频点播(VOD)应用环境中的多路视频节目并行编码传输，提出了一种优化的联合分层码率控制模型。该模型吸取了基于TM5码率控制策略中采用全局图像编码复杂度的统计测度，在GOP(Group of Pictures)结构中建立多路视频序列并行图像合帧的统计编码复杂度测度；根据变换编码器的信源模型和各序列图像帧平均量化误差的码字预测，在图像层进行并行序列的联合码率分配。实验结果表明，各路视频节目图像质量趋于一致。     

基于熵的AO程序复杂性度量

AOP(aspect-oriented programming)是一种新的程序设计范式,它能够有效解决横切关注点分离问题.由于AO系统的行为依赖于aspect与类之间的交互,因而定义一种新的、适合于AO的复杂性度量,以更加有效的理解和维护AO程序就很有必要.提出了一种新的复杂性度量,用以评估AO系统中aspect的复杂性.首先定义了aspect的信息流图,用以描述组成aspect的元素之间的交互和aspect与其他程序单元的交互;在此基础上,提出了一种基于信息熵的aspect复杂性度量,它从aspect负载的平均信息量角度量化aspect的复杂性.分析了它的外部行为特性,并使用多个AO项目进行了验证.实验结果表明,该度量反映了aspect的设计度量,能够有效的预测aspect的复杂性.     

ASP动态网页制作技巧

本文阐述了ASP使用VBScript脚本语言结合HTML代码及ODBC数据库完成网站交互应用程序的方法。将该ASP程序放在WEB服务器虚拟目录下（该目录必须有可执行权限），就可以通过WWW的方式访问ASP程序。ASP是一套微软开发的服务器脚本环境，一种使嵌在HTML页面中脚本程序得以运行的环境。     

当代电视法制节目浅析

我国的电视法制节目,从上世纪八十年代开始创办,到繁荣发展的今天,节目形态逐渐成熟,成为广大电视砚众非常喜爱的节目类型之一,也获得了很高的收视率。本文通过阐述我国电视法制节目的发展历程,对其进行现状分析,展示出它在发展过程中取得的很多成绩,同时也发现它存在的一些问题。在此基础上,提出为了适应新的形势和变化,也为了适应电视观众不断变化的口味,电视法制节目应当不断探索新的发展趋势：培养创新意识,打造自身品牌,提高节日从业人员的综合素质;准确定位,提高节目质量;坚持人文精神,加强人文关怀。学习国内外先进经验,增强节目的互动性。相信经过不断探索、学习和改进,我国的电视法制节目必将迎来更将辉煌的未来,也将会成为推动我国的法制建设不断前进的力量。     

钢筋混凝土结构非线性分析软件的可视化

探讨了在利用混合编程语言实现科学计算程序可视化应用中的一些主要技术问题,具体实现了钢筋混凝土结构非线性分析软件的可视化,使得结构的输人参数简便直观、计算数据图形化可视。对克服非直观性和不能进行交互处理计算程序具有一定的应用和参考价值。     

基于构件的外部程序管理器的设计与实现

EPM(External Program Manager)通过封装复杂的程序逻辑，实现了一个界面简洁的构件化系统，它可以方便地集成到应用程序中，从而简化了应用程序调用其它程序的复杂性．文章主要介绍EPM的系统结构与实现方法．     

交互式课件设计中VBA技术应用探究

分析了VBA特点,探讨了如何在交互式课件制作中运用VBA技术,指出了其实现交互式课件的优势,提出了利用VBA实现课件自动化的参考建议.     

摊铺机测控软件结构与设计

分析了摊铺机测控系统的软件需求及功能,描述了测控软件的模块化结构,讨论了信号输入/输出接口程序设计、测控机与交互机及方向机之间的通信程序设计、测控主模块程序及人机交互程序设计等.图2,参4.     

电子计算机与数理逻辑

由于数理逻辑的兴起以及电子技术的发展,于二十世纪中期导致电子计算机的产生,从而可以用机器代替人们进行推理与计算。数理逻辑还给出了可以使用电子计算机的准则,即当存储量以及计算时间可以无界地增大时,它恰巧可以计算一般递归函数(可能行计算的函数),如果考虑到计算机的现实的物质设备时,则只能计算其时间(空间)复杂度受多项式所界的函数(可现行计算的函数)。使用电子计算机时,必须先进行程序设计,而且我们不应该枝节地就逐个问题而考虑编程序,而应该有一套关于程序设计的理论(软件理论),这其中将讨论程序正确性的核实,程序在运行过程中如有出错如何检查,不同程序之间其优劣如何判定(这又牵涉到程序的结构问题),此外还可讨论计算复杂性对程序的影响等等,这些问题的研究都涉及数理逻辑。最近人们常常谈到第五代计算机,这其间从理论,总体设计(平行计算问题)到具体设计都有大量的数理逻辑问题,是有待探索与解决的。可以说,数理逻辑是计算机科学的一个主要支柱。     

A Worst-case execution time analysis approach based on independent paths for ARM programs

To overcome disadvantages of traditional worst-case execution time (WCET) analysis approaches, we propose a new WCET analysis approach based on independent paths for ARM programs. Based on the results of program flow analysis, it reduces and partitions the control flow graph of the program and obtains a directed graph. Using linear combinations of independent paths of the directed graph, a set of feasible paths can be generated that gives complete coverage in terms of the program paths considered. Their timing measurements and execution counts of program segments are derived from a limited number of measurements of an instrumented version of the program. After the timing measurement of the feasible paths are linearly expressed by the execution times of program seg-ments, a system of equations is derived as a constraint problem, from which we can obtain the execution times of program segments. By assigning the execution times of program segments to weights of edges in the directed graph, the WCET estimate can be calculated on the basis of graph-theoretical techniques. Comparing our WCET estimate with the WCET measurement obtained by the exhaustive measurement, the maximum error ratio is only 8.259 3 %. It is shown that the proposed approach is an effective way to obtain the safe and tight WCET estimate for ARM programs.     

电视谈话节目浅析

随着现代传播技术的不断进步，电视谈话类节目逐渐成为全球电视节目的主流形态之一。本文探讨了电视谈话节目的组成要素、传播特点及促使其产生的文化背景，并根据电视谈话节目的现状，提出了今后的发展方向。     

线性电路直流和正弦交流分析程序

这是一个实用的小规模电路计算机辅助分析软件,可对任意线性电路进行直流和交流正弦分析。在直流分析中,用直接法形成节点方程组;交流分析采用混合方程组法。为提高软件的实用性和广泛性,采用带汉字显示的对话形式,指导用户输入数据并按用户要求输出响应及打印各种频率特性曲线。     

Strategy for the mapping of interactive genes using bulked segregant analysis method and Mapmaker/Exp software

A qualitative trait is usually controlled by a single gene, but it may be sometimes controlled by two or even more genes. This phenomenon is called gene interaction. Rapidly searching for linked mo- lecular markers via bulked segregant analysis (BSA) and then constructing regional linkage map with Mapmaker/Exp has become a common approach to mapping single major genes. However, methods and computer programs developed for mapping single major genes cannot be simply applied to interactive genes because the genetic patterns of gene interac- tions are quite different from that of single-gene in- heritance. Up to now, experimental methods for quickly screening molecular markers linked to inter- active genes and statistical methods and corre- sponding computer softwares for simultaneously analyzing the linkage relationships of multiple mo- lecular markers to an interactive gene have not been available. To solve this problem, in this paper, we propose a strategy for mapping interactive genes using BSA and Mapmaker/Exp. We demonstrate that all interactive genes can be mapped by the 'BSA Mapmaker/Exp' strategy using F2 generation (in a few cases, F3 generation is also needed). As BSA and Mapmaker/Exp have been broadly used in gene mapping studies and are well known by many re- searchers, the strategies proposed in this paper will be useful for practical researches.     

Prolog与C程序连接的实现技术

在图形用户界面广为流行的今天,人工智能程序设计大多仍基文本方式,通过程序连接的方式,人工智能程序也可以具有漂亮的ＧＵＩ界面,Ｐｒｏｌｏｇ是逻辑程序设计语言,Ｃ是过程型语言,Ｐｒｏｌｏｇ程序与Ｃ程序的连接为Ｐｒｏｌｏｇ提供了更强的计算能力和ＧＵＩ功能也为Ｃ语言的应用提供了智能推理能力。基于Ｔｕｒｂｏ Ｐｒｏｌｏｇ２．０和Ｔｕｒｂｏ Ｃ２．０,本文结合程序实例介绍了Ｐｒｏｌｏｇ程序和Ｃ程序的接口程序设