形式代数在空间网络结构中的应用

文章依据形式代数（Ｆｏｒｍｅｘ Ａｌｇｅｂｒａ）理论，采用ＦＯＲＴＲＡＮ语言编制了实用程序，使外形比较简单的平板网架、筒壳和外形较复杂的球壳、双曲抛物面形和马鞍形等网格结构都能够自动成形，避免了以往繁琐且易于出错的结构成形工作，与计算机辅助图形相结合，既直观又便于修改的检查。文章通过实例来说明形式代数在空间结构的自动成形中的应用。     

定性代数的形式框架FAQA

本文首先讨论了定性推理系统和一量推理系统的描述，进而给出了定性代数的一种形式框架ＦＡＱＡ，提出了定性、定量是不同层次观察结果的观点，并对定性（混合）结构进行了分析描述。ＦＡＱＡ框架是Ｗｉｌｌｉａｍｓ等人工作理论上的完善及统一基础。     

FP──VLSI自动综合系统

ＦＰ—ＶＬＳＩ自动综合系统是一个集成化的ＶＬＳＩ自动设计工具，它能完成从并行算法到脉动算法到脉动结构再到逻辑结构最后到ＣＭＯＳ版图的自动综合过程．ＦＰ—ＶＬＳＩ系统以脉动阵列为ＶＬＳＩ的体系结构，采用具有良好代数性质的ＦＰ／Ｂ语言作为各层次的描述语言，通过程序变换进行综合和优化．该系统支持形式化的ＶＬＳＩ设计方法，能保证设计结果的正确性．     

DFA模型及其语言的结构化代数规约

本文首先阐述了利用ＤＦＡ模型技术进行状态转换系统描述存在的主要问题,提出了利用代数规约技术解决这些问题的可行性,然后介绍了新一代具有松散语义的代数规约语言ＳＰＥＣＴＲＵＭ及其主要规约操作符的语法和语义,并根据ＤＦＡ模型及其语言的数学定义,给出了它们的结构化代数规约,为基于ＤＦＡ模型的状态转换系统的形式化设计和开发奠定了基础。     

FPGA技术在强力输送带横向断裂预报装置中的应用

在图象补偿卡的设计和实现中，可采用现场可编程门阵列ＦＰＧＡ技术，使电路设计开发、调试修改非常方便，并减少印制板的布线规模，减少线间干扰，提高硬件系统可靠性。文章介绍了ＦＰＧＡ的基本结构和设计流程。     

程序自动并行化系统

有效的自动并行化系统能帮助用户充分地利用并行计算机资源．本文介绍了自动并行化的历史及现状，并着重介绍了作者所开发的自动并行化系统ＡＦＴ（ａｕｔｏｍａｔｉｃＦｏｒｔｒａｎｔｒａｎｓｆｏｒｍｅｒ）及其特色和所用的关键技术．测试结果表明ＡＦＴ系统在功能上已超越了传统的自动并行化系统．     

利用高级综合进行FPGA设计

本文提出了一种从较高的行为级描述进行ＦＰＧＡ设计，从而替代传统的以原理图作为设计输入的方法。通过高级综合，可以把用户所给出的行为功能描述自动转化为较低层 次的结构描述，并进一步与ＦＰＧＡ设计系统相连完成最终设计。     

面向CAD的程序自动并行化工具APFC

针对并行处理的热点问题,本文分析了面向ＣＦＤ的程序自动并行化工具ＡＰＦＣ。ＡＰＦＣ实现了数组共享变量的识别和相关性分析,能够自动搜索贴内同步和通信点,并自动生成并行划分后的节点源程序。经ＡＰＦＣ处理的程序有很好的可移植性和较高的并行效率。     

计算机辅助FMECA

故障模式影响及危害性分析（ＦＭＥＣＡ）是一种可靠性分析方法，其中ＦＭＥＡ矩阵法的结构性比较强，清晰地体现了系统中故障模式与故障影响之间的因果关系。从矩阵法可以总结出ＦＭＥＡ迭代，通过迭代，可以减轻分析人员的工作量，保持数据的一致性。本文详细说明了迭代的过程，并介绍了一个自动迭代和可视化的计算机辅助ＦＭＥＣＡ工具，说明了其软件结构和功能。     

矩阵方程 的解及其应用

本文双Ｌｙａｐｕｎｏｎ矩阵方程理论为基础研究矩阵方程Ａ＾ＴＰ＋ＰＡ＋Σｍｉ＝１Ｆ＾ＴｉＰＦｉ＝－Ｑ解的存在性、唯一性、基本解法与数值算法，并用所得结果研究了一类Ｉｔｏ型随机系统的均方鲁棒稳定性与一类线性时滞系统的稳定性，得到了简洁的代数判据。     

代数理论研究中的计算机算法和应用软件开发

该文利用VC++,旨在使用计算机实现各种特殊类代数系统的建立,特别是针对半群类的一些理论进行编程并搜索验证。文中重点研究了计算机实现的技术要点,并开发了两套应用软件,通过上机对定理的证明,结果说明了此设计方案的应用十分实用且有效。从而开辟了计算机在代数纯理论研究中的一条重要应用途径。     

基于双簇头网格调度的WSNs能量空洞缓解

设计了基于双簇头网格调度反馈结构的无线传感器网络（WSNs）非均布节点能量空洞缓解机制,并设计了主副簇头网格聚类算法,形成网格单元;依据节点身份（ID）与网格ID,定义鉴定规则,确定网格中的WSNs节点;构造了网格单元中心点的计算数学模型,依据该中心点坐标确定每个网格单元的簇头,调度网格内的节点;构建了主-副-相邻簇头的数据调度传输结构,有效分散了节点所承担的负载,并对本机制性能进行理论分析.仿真结果表明：与其他机制相比,在非均布节点环境下,该算法更能有效避免网络能量空洞,其节点持续时间最长,显著消除了“漏斗效应”.     

模糊理论在基于特征向量的模式识别中的应用

在计算机测量与控制系统中经常会遇到基于特征向量的模式识别问题,由于特征向量提取过程所带来的误差,使得数据库中标准模式的特征向量与待识对象的特征向量都具有一定的不确定性。将模糊理论应用于识别过程中,将识别过程转换为两个模糊集的贴近度或距离问题,设计实现了基于格贴近度和距离的识别算法,并成功应用于基于手掌形状的身份识别系统中。     

Elements of formian

Formian is a programming language which may be used for the preparation of engineering data in many disciplines. In particular, Formian may be employed to generate information about various aspects of a structural system including element connectivity, nodal coordinates, loading particulars, joint numbers and support arrangements. The information generated may be used for graphic visualization of the structural system or may be submitted as input data to an analysis package. Formian is based on the concepts of formex algebra allowing structures to be modelled in a concise and readily understood manner, manner. The data may be generated in terms of parameters and this feature is particularly useful in optimisation processes. Furthermore, the generated data may be stored in the form of a ‘rule’ and thus complete information about a structural system may be represented in a few lines of formulation. This allows data to be modified easily and provides a convenient means of keeping the information for future reference. The objective of the paper is to introduce the commonly used elements of Formian in an informal manner. No previous knowledge of formex algebra is required for understanding the material presented.     

Mechanizing a Process Algebra for Network Protocols

This paper presents the mechanization of a process algebra for Mobile Ad hoc Networks and Wireless Mesh Networks, and the development of a compositional framework for proving invariant properties. Mechanizing the core process algebra in Isabelle/HOL is relatively standard, but its layered structure necessitates special treatment. The control states of reactive processes, such as nodes in a network, are modelled by terms of the process algebra. We propose a technique based on these terms to streamline proofs of inductive invariance. This is not sufficient, however, to state and prove invariants that relate states across multiple processes (entire networks). To this end, we propose a novel compositional technique for lifting global invariants stated at the level of individual nodes to networks of nodes.     

工程图扫描图象中交叉区域识别处理方法的研究

利用工程图样扫描图象的整体形状特性及图面在内容关联性的特点,深入分析了基于条块图的结点的形态结构,阐述了扫描图象线条交叉区域的识别处理方法。     

Rough 3-valued algebras

Rough set theory is an important tool for dealing with granularity and vagueness in information systems. This paper studies a kind of rough set algebra. The collection of all the rough sets of an approximation space can be made into a 3-valued Lukasiewicz algebra. We call the algebra a rough 3-valued Lukasiewicz algebra. In this paper, we focus on the rough 3-valued Lukasiewicz algebras, which are a special kind of 3-valued Lukasiewicz algebras. Firstly, we examine whether the rough 3-valued Lukasiewicz algebra is an axled 3-valued Lukasiewicz algebra. Secondly, we present the condition under which the rough 3-valued Lukasiewicz algebra is also a 3-valued Post algebra. Then we investigate the 3-valued Post subalgebra problem of the rough 3-valued Lukasiewicz algebra. Finally, this paper studies the relationship between the rough 3-valued Lukasiewicz algebra and the Boolean algebra constructed by all the exact sets of the corresponding approximation space.     

共形几何代数与运动和形状的刻画

共形几何代数在基于运动和形状刻画的视觉和图形学若干问题中的应用,反映了它能够提供统一和有效的表示和算法,这些应用主要集中在采纳几何体的Grassmann分级表示以及刚体运动的旋量和扭量表示.着重介绍了Grassmann分级表示如何被应用于单眼视觉问题并带来解决方法的简化;通过对刚体运动不同表示的分析,介绍旋量和扭量表示如何克服刚体运动蹬矩阵表示中参数空间具有过多非线性约束的缺点,从而为姿态估计、形状逼近和曲线拼接等问题的解决提供简化方案.     

A spectral algorithm for pricing interest rate options

The paper describes a general spectral algorithm for numerical evaluation of contingent claims dependent on the term structure of interest rates. The evolution of the interest rates is modeled as a discrete Markov chain in a functional space. The functional basis in the state space and the transition probabilities of the Markov chain are naturally determined by the no arbitrage condition. In the numerical implementation of the algorithm, computations are performed on a fixed grid of nodes; the numerical complexity of the algorithm is linear in the total number of the discretization nodes. The paper contains error estimates for the numerical procedure and convergence results. The algorithm is fast, consistent with other methods and can be used for pricing a wide class of instruments.