SYSTEMS APPROACH OF THEORETICAL MODELS IN RADIOBIOLOGY AND RADIOTHERAPY

Most of theoretical models encountered in radiobiology and radiotherapy use the absorbed energy dose (d) as the reference variable. By taking account of the nature of the elementary transformations which occur at molecular level in irradiated systems, it is shown that D is generally not a suitable variable, and that it is preferable to use a formalism in which the variables of radiation spectrum and intensity, and the time variable, are explicity separate. In parallel with the selection of suitable variables, a topological representation in the form of transformation graphs provides a clear schematization of the various processes and their respective roles. This representation, which includes physical, chemical and biological phenomena, clearly shows both the level of observations and the level of hypotheses. When searching for particular models one must first take into account the phenomenological requirements resulting from the observations which can be made, before introducing any complementary hypothesis. The basic models of target and hit theory generally do not satisfy these requirements.

At it is easy to see, the formalism used is sufficiently general and can be utilized in fields different from the one described here.¹.     

变系数2-D线性离散系统在一般模型下的状态响应及其观控性

本文研究了变系数2-D线性离散系统的一般模型,得出了系统的响应公式,给出了系统是能控和能观的充要条件,并解决了相应的最小能量控制问题.     

COMPLEXITY RELAXATION OF THE TENSOR PRODUCT MODEL TRANSFORMATION FOR HIGHER DIMENSIONAL PROBLEMS

The Tensor Product (TP) model transformation method was proposed recently as an automated gateway between a class of non‐linear models and linear matrix inequality based control design. The core of the TP model transformation is the higher order singular value decomposition of a large sized tensor, which requires high computational power that is usually outside of a regular computer capacity in cases of higher dimensionality. This disadvantage restricts the utilization of the TP model transformation to models having smaller dimensionality. The aim of this paper is to propose a computationally relaxed version of the TP model transformation. The paper also presents a 6 dimensional example to show the effectiveness of the modified transformation.     

一类混杂系统的广义Petri网模型

提出一种含有变形连续时不变系统状态方程的广义Ｐｅｔｒｉ网，并用它为一类混杂系统建模：宏观为Ｐｅｔｒｉ网；微观为变形的线性时不变状态方程．同时研究了所提出的混合状态的演变规则、运行轨迹和状态方程．     

基于STEP方法学的模具产品集成信息建模技术研究

以冲压模具为研究对象,基于ＳＴＥＰ标准方法学,提出了三层结构式的模具产品模型,建立了模具产品集成信息模型ＤＰＩＩＭ。充分考虑模具产品生命周期的特点,将模具产品集成信息模型ＤＰＩＩＭ进一步分为需求信息模型、活动信息模型、产品信息模型及制造信息模型,并探讨了模具产品集成信息模型ＤＰＩＩＭ中集成资源的内容,然后定义了７个基本实体库,以作为具体描述模具产品集成信息模型ＤＰＩＩＭ的基本工具。最后,按照ＳＴＥ     

大型复杂工程系统研究开发中的方法论问题

本文通过大量事例说明了方法论对完成大型工程项目的重要意义,总结了工程技术中方法论的一般原理,并以此为指导,提出了大型自动化系统开发中的新思路.     

关于最小分散镇定结构的研究

本文考察线性时不变多变量系统的分散镇定问题,揭示了局部控制站间的通信与消除固定模间的内在联系,并由此把求最小(最经济)分散可镇定结构问题转化成一个显式的特殊0-1规划问题,导出了一种求最小分散可镇定结构的有效算法。     

智能机器人系统建模的新理论─—环递阶模型理论

本文走从语言文字描述到符号化再到形式化的崭新道路来探索智能机器人系统的建模问题。首先，为智能机器人系统建立了更全面、确切的语言文字描述，然后，通过直现地符号化，为智能机器人系统提出并建造成了一种新型的结构模型，命名为环递阶模型，最后，利用形式语言理论，将环递阶模型形式化，从而，首次将智能机器人系统整体形式化地建模成了一种上下文无关文法，为智能机器人系统的建模问题开发成了一种解析的框架。形成了一种新的理论，命名为环递阶模型理论。     

辩论的理论模型及其算法研究

本文研究分布式人工智能背景下的辩论的理论模型及其算法,提出并建立了一个基于命题性知识的辩论的理论框架.在此框架下,我们给出了几个体现不同辩论策略的辩论算法,并对算法的正确性给出了理论证明.本文的研究可为分布式人工智能中多专家系统的辩论和意见综合提供参考,进一步的研究可望推进多专家联合系统的实用化进程.     

交互作用网理论分析

交互作用网是Lafont于1990年在POPL会议上提出的一种程序设计语言.本文我们从证明和程序的关系出发,使用线性逻辑作为一种集成逻辑讨论交互作用网的理论性质,得到下述结论:·网上结点辅助端口的划分可表示成相应类型的张量积;·网上的计算等价于线性矢列演算中Principal-Cut的消去;·对于任何一个交互作用网,如果存在一个线性矢列演算与之对应,则该网是简单的.     

基于一般人脸模型修改的特定人脸合成技术

目前计算机模拟领域中的人脸合成技术由于其广泛的应用前景得到了越来越多的重视,它可以用于人们语言感知模型研究、虚拟环境、通信技术、辅助教学、医疗研究、电影制作、游戏娱乐等诸多方面。由于在实现中人脸的千差万别,使一般人脸模型的个体化成为人脸合成中的一项关键技术。个体人脸的差异主要表现在不同的面部几何特征和纹理特征两方面。针对这两方面,在已知一般人脸中性模型与一般人脸基本表情模型基础上,根据特定人脸不同     

REDUCED‐ORDER MODELS FOR FEEDBACK STABILIZATION OF LINEAR SYSTEMS WITH A SINGULAR PERTURBATION MODEL

The problem of output feedback stabilization of linear systems based on a reduced‐order model is addressed in this paper. New reduced‐order models are proposed for the output feedback design of linear systems with a singular perturbation model. An output feedback controller with a zero steady‐state gain matrix is proposed for stabilizing this kind of system. It is shown that with the proposed controller the reduced‐order model based feedback design can guarantee the actual closed‐loop stability for the sufficiently small perturbation parameter. This approach can overcome the difficulties in the existing design method using the so‐called zeroth‐order approximation model, whose validity is highly dependent on the value of the perturbation parameter.     

基于MVC的Web控制层的开发模型设计

本文就B／S结构下的Web开发进行了分析，提出了一种基于MVC的Web控制层的开发模型，介绍了该模型的设计和具体功能。利用该模型开发时，具有开发灵活、易扩展、维护方便等优点，简化了Web控制层的开发过程。     

COMPUTERIZED METHODOLOGY FOR THE EVALUATION OF LEVEL OF KNOWLEDGE

This article considers, the problem of a formal representation and identification of an individual's level of knowledge. Knowledge is considered as the systematic structurization of information received in perception. The computer implemented methodology reported here includes

? Representation of the initial information (data) in the form of interlinked information structures producing a systematic hierarchical dynamic network.

? Relative evaluations of the level of each individual's knowledge in terms of their semantic network's macrosystemic informational complexity (MC).

The results of an empirical study utilizing this methodology is reported. 331 high school students from eleven classrooms completed a pair-wise similarity rating task of ten mathematics terms along with a standardized math achievement test. The information contained in the similarity data was given an algorithmic representation, which in turn yielded a minimal spectrum of the information nodes making up a systemic representation in the form of a hierarchical network. The prospects of tailoring this methodology such that a student could receive graphical feedback and numerical evaluations of their level of knowledge is discussed. This approach clearly has applications in the areas of computer-based learning and intelligent computer-assisted instruction. The novelty of the solutions to the problems addressed by this work include

? A direct informational measure of the generation of knowledge.

? Computer-based restoration of the logical connections made in the process of reflection and accommodation (which introduces the possibility to control and monitor this process).

? A modern mathematical method, based on the identification of an informational law for concrete objects, which can represent the latent bound information harbored in systems of dynamic structure.

? An objective evaluation of the logical connections within a hierarchical network in terms of Me.

This approach introduces a new research tool to cognitive science, cognitive psychology, educational psychology, and other related fields of study.     

面向有限元分析的实体表面网格模型的优化

针对CAE软件开发的需要,将通用CAD软件输出的以表面三角形网格形式表示的实体模型输入CAE软件,作为有限元分析用几何模型。然后根据特定领域有限元分析的要求对表面网格进行优化处理,优化网格的数量和质量,以便进一步生成适合有限元计算需要的各种单元模型。     

一个面向空间应用系统的Internet市场模型

集成Ｉｎｔｅｒｎｅｔ上大量自治的、异构的数据和计算资源将是今后软件业的主要挑战之一。作为一种应用系统从位于Ｉｎｔｅｒｎｅｔ上的远程服务结点获取数据并进行数据集成处理的机制,Ｉｎｔｅｒｎｅｔ市场越来越受到业界的重视。文中提出了一个面向空间应用的Ｉｎｔｅｒｎｅｔ市场模型ＳＭＡＲＴ,通过其提供的服务类型和服务提供圪理用户之间的交互方式描述了该模型。最后,讨论了ＳＭＡＲＴ市场模型的一个原型系统ＡＣＴ－ＴＡ     

一类不确定参数系统鲁棒控制问题的研究

在文献「５」的基础他以下３个问题：１．如何克服鲁棒控制器设计中所普遍存在的“保守性”问题，从而使得反馈控制器增益尽可能地小；２．给出判别解存在的充分条件及具体计算方法；３．给出求解鲁棒控制器解析解的基本原理，方法及具体过程，文中的设计举例用以说明使用本文设计鲁棒控制器的有效性和简便性。     

结构不确定线性系统的鲁棒性分析

基于一种向量的幂变换方法，对具有结构不确定性的线性系统的鲁棒稳定和Ｄ稳定性问题进行了分析，给出了系统鲁棒稳定和Ｄ稳定区域的代数表达形式，最后给出了算例。     

线性离散系统稳定化控制器的统一代数刻划

本文研究稳定离散控制系统的代数结构问题，即期望给出线性离散系统稳定化状态反馈控制器的统一代数刻划。本文结果对离散状态反馈控制系统的设计具有理论指导意义，同时也提供了线性稳定系统结构分析的一种新方法。