一种采用一阶动态逻辑表示的数字权限描述模型

针对已有数字权限描述模型的动态语义描述能力较弱问题,提出了一个能够描述权限动 作状态的数字产品权限描述模型DDRM。基于一阶动态逻辑,定义了一个用于描述数字权限概念的 一阶动态逻辑符号系统DrFDL,并在DDRM模型基础上给出了DrFDL的语义结构(该语义结构能够 反映动作的动态特性)。基于DDRM模型还给出了一个表达权限证书的文法,应用DrFDL逻辑语言 给出了该文法生成的权限证书的形式语义,并探讨了该证书的确定性和有效性。     

一种采用模糊逻辑方法的卖方报价策略

随着Internet的快速发展,电子商贸应运而生。由于商贸业务的复杂性,所以在电子商贸应用系统中通常采用具有一定自主特性和智能特性的Agent(软件实体)模拟商贸业务中的活动主体,由此产生了多Agent之间的交易协商技术的研究。该文提出了一种基于模糊逻辑方法的能够适用于电子商贸活动中的卖方Agent的报价策略。此策略运用了模糊规则和模糊推理机制,能很好地适应交易信息的不完整性和不确定性。     

印度与爱尔兰考察启示录

软件是信息产业的核心,是关系国家经济和社会发展的战略性产业,是国际竞争的焦点和战略制高点,是增强综合国力的关键产业。人才是软件产业的核心,发展软件产业,必须要有一支具有国际竞争力的多层次、高水平的软件人才队伍。如何在中国培养具有国际竞争力的多层次、高水平软件人才?国家级示范性软件学院和软件职业技术示范学院是国家软件人才培养模式的探索者,需要借鉴国际上已有的成功经验,探索一条适合中国国情的软件人才培养道路。为此,东南大学作为国家示范性软件学院基地之一,于2001年和2002年组织考察团访问了印度和爱尔兰的高校和软件…     

新生引导性实验课程探索

引导大学新生尽快适应大学研究型学习模式,培养学生良好的研究探索精神,是大学教育的一个重要研究课题。本文以国家精品课程建设项目"新生引导性实验实践课程"为例,介绍东南大学在新生引导性实验实践课程方面的探索,为相关研究提供一种思路。     

计算机学科研究型人才培养模式的探讨与实践

计算机科学技术发展迅猛,计算机已深入到社会生活的各个方面,计算机应用技能已成为社会基本技能,在此形势下,如何使计算机专业学生提高竞争力,适应社会和计算机科学技术不断发展的需求?如何培养计算机专业的研究型人才,特别是本科研究型人才,这是一个需要深入探讨的课题。本文将以东南大学"计算机科学理论强化班"　的实践为背景,探讨在计算机本科专业大发展的形势下培养优秀人才、特别是培养研究型人才的途径与方法。     

基于门槛值法的空间形态地域特征识别

为深入了解乡村空间形态地域分布状况,分析不同层面的形态特征和演化规律,提出一种基于门槛值法的空间形态地域特征识别方法.拍摄空间形态地域红外遥感图像,建立图像数据采集系统,使用基于相位保持的图像预处理手段,预防发生非均匀现象,减少图像噪声,增强空间图像成像质量,为特征识别提供先决条件;在门槛值法的基础上,建立门槛值回归模...