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线性离散系统的一般模型,得出了系统的响应公式,给出了系统是能控和能观的充要条件,并解决了相应的最小能量控制问题.     

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

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

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

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

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

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

交互作用网理论分析

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

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

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

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

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

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

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

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.     

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

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

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

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

用于室内环境建模的基于形状一致性的立体视觉匹配算法

本文针对室内环境水平特征丰富的特点，提出借助图象变换，使立体视觉图象对中对应水平特征呈现形状一致性，以利于实现特征匹配，并获取物体三维结构的新颖算法，本文地在标定图象及非标定图象两种条件下如何获取所需变换参数进行了深入的理论分析，并对适用于基于形状一致性匹配算法的图象预处理及匹配算法进行了分析与实验研究。从初步获取的实验结果来看，这是一种对室内环境建模较为有效的方法。     

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

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

基于UML需求分析模型的软件规模估算方法

UML是面向对象程序设计方法中进行分析和设计的标准建模语言。功能点分析是一种广泛使用的度量软件功能大小的方法,它不依赖于实现语言,度量出来的结果也可以在不同的开发过程之间进行比较。文章提供了一种使用UML需求分析模型对应用系统进行功能点分析的方法,开发者使用该方法能在开发的早期估算出系统的规模及成本。     

面向系统辨识的离散系统模型类库

本文分析了系统辨识中常用的几种离散系统模型的结构,这些离散系统模型及其预测器模型在形式上都能表示成线性回归模型,并且一个复杂的模型能由几个简单的模型所构成。根据离散系统模型结构的这些特点,我们用面向对象的程序设计思想,用“类”的概念来实现各种离散系统模型,从而形成离散系统模型类库,并可由此派生出其它更具针对性的模型类。此离散系统模型类库和递推辨识算法类库结合在一起,可方便地构成完整的系统辨识程序。本文将介绍这一离散系统模型类库的层次结构及模型类库在系统辨识中的一些应用,给出两个例子。     

一种Hopfield神经网络算法复杂性研究的新方法

首先分析了基于Hopfield神经网络的TSP问题求解方法,提出从研究能量函数、状态空间分布和可行解的关系来研究以Hopfield为代表的优化神经网络的计算复杂性的思想;并给出从状态空间到线性表的映射方法,引入状态-程序复杂性。分析结果表明,绝对状态一程序复杂性更为充分地反映能量函数的求解过程;相对状态-程序复杂性提供了一种在多项式时间内对NP问题算法的有效性进行衡量的尺度。     

A THEORETICAL STUDY ON ADAPTIVE QUALITY CONTROL SYSTEMS

This paper is a study of an adaptive quality control system from a viewpoint of quality goal. The main purpose is to introduce a conceptual framework for setting up quality goals which are in accordance with the external environment and internal capacity of quality control systems. We apply a mathematical general systems approach.

The results of our paper are summarized as follows:

1)As important decision-making in adaptive QCS, the decision-making for estimalion of fitness and examination of attainability are proposed and formalized mathematically.

2)A refinement process is formalized in which models are revised according to the changes of market.

3)Basic steps for setting quality goals are obtained which are based on the above formalization.     

基于规则自学习的数据库安全增强模块

针对网络数据库系统不断遭受攻击,而现有的各种安全技术,对数据库系统的安全保护还非常有限.分析了数据库系统入侵的主要来源,设计和实现了一个基于规则自学习的数据库安全增强模块,使所有的用户访问请求,必须经过安全规则的合法性确认,才允许访问数据库,模块的规则自学习功能使安全规则集不断完善,在易于实施的基础上,提高了数据库系统的入侵防御能力.