SICE：一个SIMD计算机程序设计模拟环境

本文实现的ＳＩＣＥ（ＳＩＭＤＣＥｍｕｌａｔｏｒ）是一个在串行机的环境下模拟进行ＳＩＭＤ计算机程序设计的软件包。ＳＩＣ（ＳＩＭＤＣ）是作者定义的一种基于Ｃ语言的ＳＩＭＤ并行扩展语言，它一方面支持反映ＳＩＭＤ结构特点的的并行语句，更重要的是可支持ＳＩＭＤ结构的定义，能方便的用于ＳＩＭＤ机器的算法研究。     

关于Herbrand基上的语义映射

关于Ｈｅｒｂｒａｎｄ基上的语义映射应明生（江西师范大学数学系南昌３３００２７）ＳＥＭＡＮＴＩＣＭＡＰＰＩＮＧＳＯＮＨＥＲＢＲＡＮＤＢＡＳＥＳ￥ＹＩＮＧＭｉｎｇｓｈｅｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＪｉａｎｇｘｉＮｏｒｍａｌＵｎｉ...     

一种新的求解线性时变系统的数值解法

一种新的求解线性时变系统的数值解法贾磊，孙优贤（山东轻工业学院机电系）（浙江大学工业控制研究所）ＡＮＥＷＮＵＭＥＲＩＣＡＬＭＥＴＨＯＤＯＦＴＨＥＬＩＮＥＡＲＴＩＭＥ－ＶＡＲＩＮＧＳＹＳＴＥＭＳＶＩＡＳＨＩＦＴＥＤＪＡＣＯＢＩＳＥＲＩＥＳ￥ＪｉａＬｅｉ...     

面向对象数据模型的形式化描述

面向对象数据模型的形式化描述尹七春，柳诚飞，邵志清（华东理工大学计算机科学系上海２００２３７）ＴＨＥＦＯＲＭＡＬＩＳＭＯＦＯＢＪＥＣＴ－ＯＲＩＥＮＴＥＤＤＡＴＡＭＯＤＥＬ￥ＹｉｎＱｉｃｈｕｎ；ＬｉｕＣｈｅｎｇｆｅｉａｎｄＳｈａｏＺｈｉｑｉｎｇ（Ｄｅｐ...     

散乱有限元镜面数据曲面拟合法

散乱有限元镜面数据曲面拟合法王建雄，沈忙作（中国科学院光电技术研究所）ＳＰＬＩＮＥＭＥＴＨＯＤＦＯＲＳＣＡＴＴＥＲＥＤＤＡＴＡＯＦＦＥＡ＇ＳＭＩＲＲＯＲＩＮＲ＇２￥ＷａｎｇＪｉａｎｘｉｏｎｇ；ＳｈｅｎＭａｎｇｚｕｏ（ＩｎｓｔｉｔｕｔｅｏｆＯｐｔｉｃｓ...     

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

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

用快速自适应组合网格方法（FAC）求解二阶椭圆型偏微分方程

用快速自适应组合网格方法（ＦＡＣ）求解二阶椭圆型偏微分方程彭志健，林振宝，石济民（香港理工学院应用数学系）ＯＮＴＨＥＣＯＭＰＵＴＡＴＩＯＮＡＬＡＳＰＥＣＴＳＯＦＴＨＥＦＡＳＴＡＤＡＰＴＩＶＥＣＯＭＰＯＳＩＴＥＧＲＩＤＭＥＴＨＯＤＦＯＲＳＯＬＶＩＮＧＳ...     

不连续生产系统的最大加工能力与最优生产安排的强多项式算法

不连续生产系统的最大加工能力与最优生产安排的强多项式算法杨承恩，梁枢里（长沙铁道学院）ＴＨＥＭＡＸＩＭＵＭＰＲＯＣＥＳＳＩＮＧＣＡＰＡＣＩＴＹＡＮＤＯＰＴＩＭＡＬＳＣＨＥＤＵＬＥＯＦＡＤＩＳＣＯＮＴＩＮＵＯＵＳＰＲＯＤＵＣＴＩＯＮＳＹＳＴＥＭ￥Ｙａｎ...     

腐蚀电场非线性边值问题的边界配置法

腐蚀电场非线性边值问题的边界配置法周汉斌，曹志远（同济大学工程力学系）李光耀（贵州大学计算机科学系）ＡＢＯＵＮＤＡＲＹＤＩＳＰＯＳＩＴＩＯＮＭＥＴＨＯＤＦＯＲＴＨＥＮＯＮＬＩＮＥＡＲＢＯＵＮＤＡＲＹＶＡＬＵＥＰＲＯＢＬＥＭＩＮＴＨＥＣＯＲＲＯＳＩＯＮ...     

IDEAS中的二次开发工具──Ideal语言概述

ＩＤＥＡＳ中的二次开发工具──Ｉｄｅａｌ语言概述中国科技大学邓益民，沈连官，李川奇ＬＤＥＡＳ是一个集成化的ＣＡＤ／ＣＡＮＩＣＡＭ软件系统。其核心模块（ＬＤＥＡＳ中称为ｆａｍｉｌｙ）有以下几个：·ＳｏｌｉｄＭｏｄｅｌｉｎｇ（实体造型）；·Ｄｒａｆｔｉｎ...     

面向家庭的现代远程教育系统

本文简要回顾了远程教育的发展历程,介绍了面向家庭的现代远程教学系统MDES。系统综合运用卫星网、有线电视网和因特网作为传输平台,学校的网络信息中心通过卫星将课件传输到分布全国各地的有线电视台,有线电视台利用当地的CATV网络将多媒体年广播到学员家中的计算机上。网络信息中心以网站的形式向学员提供各种教学服务。课件制作系统使用可扩展标记语言XML对多媒体对象进行描述,以HTML＋同步控制的形式发布同步多媒体课件。该系统适合于终身学习,具有广阔的应用前景。     

Multiple Decision Expert Systems for Performance Analysis of a Boiler System

Artificial neural networks (ANN)-based multiple decision expert systems (MDES) were developed for assessing the performance of a boiler system. Different configurations of ANN were used with different decision combination methods, including a neural combiner, to propose the model. The model was developed using the plant data collected over a period of five months to predict steam temperature, pressure, and mass flow rate, using feed water pressure, feed water temperature, conveyor speed, and incinerator exit temperature as the input parameters. The predictive capability of the model is evaluated in terms of both correlation coefficient (R) and mean absolute percentage error (MAPE). The results observed from this work demonstrate that neural combiner and ANN-based MDES can efficiently predict the data on steam properties consistently, and that the model can serve as an efficient tool for monitoring boiler behavior under real-time conditions. Superiority of the proposed model over others under various scenarios is also demonstrated.     

面向对象的医疗诊断推理机设计

本文针对医疗诊断推理的难点,提出了以自反馈的AM网络为主、以规则推理为辅的面向对象的医疗诊断推理模型。这种模型既具有AM网络的优点,又克服了AM网络容量有限的缺陷。结合面向对象的知识封装,将学习机融于推进机,将推理机融于知识表示,在MDES的设计中,表面出良好的适应性。     

Design of PID controllers satisfying gain margin and sensitivity constraints on a set of plants

This paper presents a method for the design of PID-type controllers, including those augmented by a filter on the D element, satisfying a required gain margin and an upper bound on the (complementary) sensitivity for a finite set of plants. Important properties of the method are: (i) it can be applied to plants of any order including non-minimum phase plants, plants with delay, plants characterized by quasi-polynomials, unstable plants and plants described by measured data, (ii) the sensors associated with the PI terms and the D term can be different (i.e., they can have different transfer function models), (iii) the algorithm relies on explicit equations that can be solved efficiently, (iv) the algorithm can be used in near real-time to determine a controller for on-line modification of a plant accounting for its uncertainty and closed-loop specifications, (v) a single plot can be generated that graphically highlights tradeoffs among the gain margin, (complementary) sensitivity bound, low-frequency sensitivity and high-frequency sensor noise amplification, and (vi) the optimal controller for a practical definition of optimality can readily be identified.     

Recent development of fluid–structure interaction capabilities in the ADINA system

The ADINA system has been developed in recent years into a complete system for the analysis of solid, fluid and coupled problems. Fluid flows can be modeled as Navier–Stokes incompressible, slightly compressible and fully compressible flows. They can also be modeled as porous medium flows. Structures can be modeled as 2D/3D solids, beams or shells. The response of the structure can be linear or nonlinear, and can also include contact effects. The fluid and structure can be coupled through their interface (FSI), porous media (PFSI) or thermal materials (TFSI). Both iterative and direct solution procedures can be used for solving the fully coupled system. These capabilities, together with the extensive boundary conditions and material models, and the user-friendly graphical system for pre- and post-processing (AUI), make the ADINA system a powerful tool for engineers and researchers.     

Parallel region property computation by active quadtree networks

Given a binary image stored in a cellular array, a local reconfiguration process can be used to reconnect some of the cells into a quadtree network representing the image. This quadtree can also be ``roped,' i.e., nodes representing adjacent image blocks of the same size can be joined. Using the roped quadtree network as a parallel (cellular) computer, image properties such as perimeter and genus, as well as the quadtree distance transform, can be computed in O(tree height) = O(log image diameter) time. The area and centroid of the image can be computed in O(height) time without the need for roping.     

基于单向函数的动态密钥分存方案

给出了一个基于单向函数的动态(t,n)-门限方案,它具有下述特点:(1) 系统在更新系统密钥时,无须更改每个成员的子密钥;(2) 当某个成员的子密钥泄密时,系统只需为该成员重新分配子密钥而不必更改其他成员的子密钥;(3) 当有新成员加入时,系统只需为新成员分配一个子密钥,而其他成员不受任何影响;(4) 子密钥可无限制地多次使用;(5) 只需公开n+1个信息(在需要确认欺骗者时需公开2n+1个);(6) 恢复系统密钥时,采用并行过程.     

现场总线系统分布式智能预测控制的实现

对于采用现场总线系统控制的复杂对象，应用智能预测控制的方式对其进行分布式控制，将现场总线的特点与智能预测控制方法相结合，使各子系统之间的参数以及控制动作协调一致，以实现对整个系统的优化控制．提出了在现场总线系统中构建该方法的步骤，并给出了一个采用该控制方法获得较好控制效果的具体实例。     

轿车车门密封条压缩变形的计算机仿真

利用MARC有限元分析软件 ,进行密封条的压缩变形模拟分析 ,为密封条的设计提供了许多有价值的信息 :车门关闭力 (压缩受力变形响应 )、水泄漏 (接触压力和密封条形状 )。由此可得到综合性能较好的密封条 ,从而可以提高产品的设计效率 ,降低开发成本。