JACKSON结构图到抽象逻辑结构图的转换

本文在ＪＡＣＫＳＯＮ结构图和抽象逻辑结构图的形式化定义基础上，给出了ＪＡＣＫＳＯＮ结构图到抽象逻辑结构图的自动化和图形化转换方法。     

带状（块）Toeplitz方程组的快速并行算法

带状（块）Ｔｏｅｐｌｉｔｚ方程组的快速并行算法成礼智，蒋增荣（国防科技大学）ＦＡＳＴＡＮＤＰＡＲＡＬＬＥＬＡＬＧＯＲＩＴＨＭＳＦＯＲＳＯＬＶＩＮＧＢＡＮＤ（ＢＬＯＣＫ）ＴＯＥＰＬＩＴＺＳＹＳＴＥＭＳＯＦＥＱＵＡＴＩＯＮＳ￥ＣｈｅｎｇＬｉ－ｚｈｉ；Ｊｉ...     

帝国时代Ⅱ密技

ＡｇｅｏｆＥｍｐｉｒｅｓ２在游戏进行中按下ＥＮ－ＴＥＲ键,然后在对话框中输入以下密码即可：ＲＯＣＫ　ＯＮ：得到１０００块石头ＬＵＭＢＥＲＪＡＣＫ：得到１０００块木头ＲＯＢＩＮＨＯＯＤ：得到１０００条金ＣＨＥＥＳＥＳＴＥＡＫＪＩＭＭＹ'Ｓ：得到１０００食物ＭＡＲＣＯ：显示地图ＰＯＬＯ：移动阴影ＡＥＧＩＳ：加快建筑ＮＡＴＵＲＡＬＷＯＮＤＥＲＳ：控制大自然ＨＥＳＩＧＮ：任务失败ＷＩＭＰＹＷＩＭＰＹ－ＷＩＭＰＹ：破坏自已ＩＬＯＶＥＴＨＥＭＯＮＫＥＹＩＩＥＡＤ：得到ＶＤＭＬＨＯＷＤＯＹＯＵＴＵＲＮＴＨＩＳ…     

INTERFERENCE CHECKING IN COMPUTER-AIDED PLANT DESIGN SYSTEM

ＩＮＴＥＲＦＥＲＥＮＣＥＣＨＥＣＫＩＮＧＩＮＣＯＭＰＵＴＥＲ－ＡＩＤＥＤＰＬＡＮＴＤＥＳＩＧＮＳＹＳＴＥＭＷａｎｇＦｅｎｇＺｈａｏＨｏｎｇＮｉｕＪｕｎｙｕＡｂｓｔｒａｃｔＩｎｔｈｉｓｐａｐｅｒ，ｔｈｅｉｎｔｅｒｆｅｒｅｎｃｅｃｈｅｃｋｉｎｇｏｆｔｈｒ...     

COLLISION DETECTION AMONG MOVING OBJECTSIN MACHINING PROCESS SIMULATION

ＣＯＬＬＩＳＩＯＮＤＥＴＥＣＴＩＯＮＡＭＯＮＧＭＯＶＩＮＧＯＢＪＥＣＴＳＩＮＭＡＣＨＩＮＩＮＧＰＲＯＣＥＳＳＳＩＭＵＬＡＴＩＯＮＹａｎｇＨｅｍｉｎｇ；ＬｕＡｎｓｈｅｎｇ；ＺｈｏｕＪｉＣＯＬＬＩＳＩＯＮＤＥＴＥＣＴＩＯＮＡＭＯＮＧＭＯＶＩＮＧＯＢＪＥＣ...     

函数式程序的离散式延迟输入输出流

函数式程序的离散式延迟输入输出流廖湖声，吴晶（北京工业大学计算机学院北京１０００４４）ＡＤＩＳＣＲＥＴＥＬＡＺＹＳＴＲＥＡＭＦＯＲＩＮＰＵＴＡＮＤＯＵＴＰＵＴＩＮＦＵＮＣＴＩＯＮＡＬＬＡＮＧＵＡＧＥＳ￥ＬｉａｏＨｕｓｈｅｎｇａｎｄＷｕＪｉｎｇ（Ｃｏｍ...     

边界元法中非对称满系数矩阵方程组的分块求解法

边界元法中非对称满系数矩阵方程组的分块求解法刘晓坤，王建军（西安石油学院）路民旭，张大鸣（西北工业大学）ＡＢＬＯＣＫＥＱＵＡＴＩＯＮＳＯＬＵＴＩＯＮＴＥＣＨＮＩＱＵＥＡＮＤＩＴＳＰＲＯＧＲＡＭＦＯＲＵＮＳＹＭＭＥＴＲＩＣＤＥＮＳＥＭＡＴＲＩＸＩＮＴＨ...     

整矩阵的MT分解及MT过程

整矩阵的ＭＴ分解及ＭＴ过程张知难，张建宁（新疆大学）陈伟侯（北京农业大学）ＴＨＥＭＴＤＥＣＯＭＰＯＳＩＴＩＯＮＡＮＤＭＴＰＲＯＣＥＳＳＯＦＮＯＮ－ＳＩＮＧＵＬＡＲＩＮＴＥＧＥＲＭＡＴＲＩＣＥＳ￥ＺｈａｎｇＺｈｉ－ｎａｎ；ＺｈａｎｇＪｉａｎ－ｎｉｎｇ（...     

基于方块脉冲函数逼近的线性连续回归模型的参数估计及其应用

基于方块脉冲函数逼近的线性连续回归模型的参数估计及其应用赵明旺（武汉钢铁学院）ＰＡＲＡＭＥＴＥＲＥＳＴＩＭＡＴＩＯＮＦＯＲＬＩＮＥＡＲＣＯＮＴＩＮＵＯＵＳＲＥＧＲＥＳＳＩＶＥＳＹＳＴＥＭＳＶＩＡＢＬＯＣＫＰＵＬＳＥＦＵＮＣＴＩＯＮＳＡＮＤＩＴＳＡＰＰ...     

基于JDBC的WWW与网络数据库的连接

基于ＪＤＢＣ的ＷＷＷ与网络数据库相联的基本过程，并以实例介绍了ＪＤＢＣ的ＳＹＢＡＳＥ公司实施标准ＪＣＯＮＮＥＣＴ与ＳＹＢＡＳＥ数据库相联的过程和基本程序模式。     

Java过程蓝图

1 引言计算机应用正进入网络时代,Java是一种广泛使用的网络编程语言,被称之为网络上的“世界语”。Java作为一种程序设计语言不仅具有简单、面向对象、分布式、解释执行、鲁棒、安全、平台无关、可移植、高性能、多线程以及动态性等特点,更重要的是它支持以网络为中心的新型计算模式——Java计算模式,从而使Ja-     

ＶＦＰ过程蓝图设计技术

Ｖisual FoxPro过程蓝科是一种面向Ｖisual FoxPro语言的程序处理逻辑图表化表示法,这种工程化表示法支持逻辑和实现两个层次的程序抽象表示,是一种简单实用、容易理解、结构良好的程序设计工具,并给出Ｖisual FoxPro过程蓝图的形式化模型和抽象逻辑结构图的图形表示方法。     

PASCAL过程蓝图

提出一种面向标准PASCAL语言的程序处理逻辑图形化表示法－PASCAL过程蓝图,这种工程化表示法支持逻辑和实现两个层次的程序抽象表示,是一种简单实用、容易理解、结构良好的程序设计工具。文中给出PASCAL过程蓝图的形式化模型、抽象逻辑结构图的图形表示方法,以及程序设计的基本过程。     

VB过程蓝图

ＶＢ过程蓝图是一种面向Ｖｉｓｕａｌ　Ｂａｓｉｃ语言的程序处理逻辑图表化表示法。这种工程化表示法支持 逻辑和实现两个层次的程序抽象表示,是一种简单实用、容易理解、结构良好的程序设计工具。文中 给出ＶＢ过程蓝图的形式化模型,抽象逻辑结构图的图形表示方法,以及程序设计的基本过程。     

基于过程蓝图的程序环路复杂性度量方法

提出一种基于过程蓝图的程序环路复杂性度量实现方法。将传统基于程序控制流图的度量信息抽取变为对过程蓝图的实现层表示-抽象实现结构图的信息抽取，避免程序源代码的语法分析和控制流图的构造，简化度量过程和实现，并提高度量处理的效率。     

虚拟资源在自动测试中的实现

文中从仪器的可互换性出发，阐述了一种基于IVI规范的虚拟资源的概念和实现过程。其中，虚拟资源实现仪器接口和信号接口的转换，使测试程序与具体仪器无关；测试程序集采用了面向对象的技术和描述信号的ATIAS语言规范，使测试程序具有良好的可读性和可移植性。并以测试XXX电台发射机为例描述了虚拟资源的使用方法。实践表明该系统具有操作简单和可扩展性强的特点，不仅可以缩短开发周期、降低软件开发费用，而且对形成统一的ATS标准具有一定价值。     

序列折半划分问题的形式化推导

形式化推导是在程序正确性证明理论下所进行的程序开发,最终得到完全正确的算法程序。针对序列折半划分问题,现有的形式化推导方法将推导与证明交替进行,推导过程繁琐且大多无法直接获得可执行程序。为解决上述问题,提出了一种新的序列折半划分问题的形式化推导方法。该方法基于分划递推的核心思想,应用规约变换技术对问题规约进行变换并严格保证一致性,使得在推导过程中无需交替证明,进而导出递推关系式并得到高可靠性抽象算法程序Apla,最终通过转换工具自动生成可执行程序。实现了从程序规约到具体可执行程序的完整程序求精过程。以2个序列算法为例,验证了该方法的有效性和可行性,对相关问题的形式化推导具有指导意义。     

无线传感器网络的元胞自动机自组织算法

提出一种分布式、自适应的无线传感器网络元胞自动机(CA)自组织算法,将网络中的每个节点映射成CA中的元胞,通过控制节点在不同时间的状态转换(活跃/睡眠),消除与邻居节点间的频繁通信,从而降低能源消耗。仿真实验结果表明,该算法具有较强的目标检测能力。     

过程蓝图程序表示模型与视图导出方法

针对传统程序技术长期存在的表示分离、开发低效、质量欠佳、维护困难等问题,提出一种跨越分析、设计和构造阶段的多阶段程序过程表示模型。采用概念、逻辑和实现3层抽象视图、控制流和数据流二级映射的架构及视图导出方法,通过建立映射约束规则和对应关系,实现视图间的联系与统一,保证导出制品的一致性和有效性,使增量迭代、逐步求精的模型驱动设计过程规范化,有效提高程序生产率与可维护性。     

Parallel-architecture-directed program transformation

The widespread use of parallel machines has been hampered by the difficulty of mapping applications onto them effectively. The difficulty arises because current programming languages require the programmer to specify a problem to be solved at a low level of abstraction in an imperative form. Thus the programmer must immediately encode an architecture-specific algorithm detailing every communication and calculation. This process is prone to error and complicates the reuse of software.

An alternative approach is to specify the problem to be solved at a high-level in a functional language. Meaning-preserving program transformations can then be used to derive a parallel algorithm. Such algorithms can be run on parallel graph-reduction or dataflow machines which automatically exploit the implicit parallelism in a functional language program. Such automatic decomposition techniques, however, are not yet capable of fully yielding the extra performance offered by the parallel hardware.

We show how, by including an architecture specification with the problem specification, and extending the amount of transformation performed, it is possible to produce functional language code that explicity expresses the calculations and communications to be performed by the processors. This simplifies compilation, yields faster programs and enables parallel software to be developed for a wide variety of parallel computer architectures.

A goal-seeking transformation methodology has been developed which enables a high-level functional specification of the problem and a high-level functional abstraction of the target computer architecture to be systematically manipulated to produce an efficient parallel algorithm tailored to the target architecture. As the transformations start from very high-level specifications, the discovery of new algorithms is facilitated.

A case study is used to demonstrate the effectiveness of the technique. We show how a high level specification for sort can be transformed with a pipeline architecture specification to give a mergesort and how the same specification with a dynamic-message-passing architecture specification can be transformed to a novel parallel quicksort.