基于组织的社会技术系统程序设计模型及语言

互联网上越来越多软件系统呈现出社会与技术交融、环境多样和开放、系统动态和演化等特点,如何支持这类复杂软件系统的构造是软件工程面临的一项重要挑战。本文将社会技术系统视为多Agent组织,把社会组织学的概念和思想引入到面向Agent程序设计范畴,提出了以Agent、组织、角色和职位为核心的基于组织程序模型ORAP来支持社会技术系统的开发;通过对多Agent组织不同层次动态性的识别和分析,设计了一组程序设计机制来实现社会技术系统的动态演化,包括角色绑定和组合机制、基于角色的交互机制以及组织的自我管理机制;论文提出了基于上述模型和机制的社会技术系统程序设计语言OragentL,给出了OragentL程序在组织、角色和组合三个层次的语法形式定义,介绍了OragentL的编译器及其运行支撑环境OragentBurg,并通过案例分析和演示展示了本文研究工作的有效性。     

When Programming Trumps Policy and Plans: The Case of the US Department of the Navy11

Traditionally, policy and planning have been institutionally weak in the Naval Staff (Office of the Chief of Naval Operations – OPNAV). In their place, the N8 (Programming) has dominated resource decision-making, and, by default, decisions relating to policy and planning. Recent uncertainty over defense authorization and appropriations has resulted in calls for a greater role to be played by the N3/5, Policy and Plans Directorate. The article argues that reform of the Department of the Navy’s planning process is urgently needed. OPNAV’s weak planning and overly dominant programming practices are compared with those of the Departments of the Army and Air Force and are shown to be out of conformance with them. The article concludes with specific and detailed recommendations for reform of both the current planning and programming processes.     

高中数学研究性学习的实践与研究

在中学开设研究性学习课程，是基础教育课程改革的具体目标之一。针对现有课程体系的弊端，重知识传授而轻过程和技能训练，重学科知识体系而不关心社会实践活动。重间接经验的传授而忽视学生的直接体验积累。为培养学生乐于探究勤于动手的学习精神，分析和解决的能力，本人在几年的教学实践中，不断探究，积累了一些经验。本文就此问题谈谈高中数学研究性学习的实践与体会。     

基于模糊隶属函数的一类灰色关联度问题研究

针对系统特征序列与相关因素序列中数据不确定或存在区间取值的问题,基于模糊隶属函数提出了一种解决灰色关联分析中关联度确定的方法,并以实例说明了该方法的合理性.     

分布式约束优化问题及其求解算法

分布式约束优化问题(DCOP)能够对多智能体系统(MAS)中的各种分布式推理任务进行建模,广泛应用于分布式规划、调度、资源分配等问题中。首先从DCOP的概念出发,引入一个典型的DCOP实例,在此基础上对DCOP问题求解的两类主流算法进行了详细介绍和比较分析。针对DCOP对现实问题建模中出现的部分集中式、硬约束、开放式、隐私和anytime等5个方面的问题进行了阐述,并介绍了相应的扩展算法。在动态实时问题,自稳定性与误差容错以及在物理分布式环境下仿真等问题仍需进一步研究。     

浅谈工科数学教学与创新能力的培养

阐述创新能力培养的重要性和数学教育的地位,指出工科数学教学中所存在的问题,提出工科数学教学的改革设想,加强对学生创新意识、创新能力的培养。     

安排过渡过程在坦克炮控系统中的应用研究

分析论述了坦克炮控系统的基本结构以及数学模型,提出、设计了坦克炮控系统安排过渡过程的控制方法,并进行了数值仿真。结果表明,该控制方法能较好解决快速性和超调量的矛盾问题。并使得被控对象的参数可调范围变大,控制器的鲁棒性增强。     

空战模型研究

本文论述了空战一般作战模式厦空战构模特点,并具体构造了一个集团军作战规模的训练用空战模型。利用该模型对不同空战编队的作战效果进行了计算,其结果可用干战术分析。     

求解整数规划问题的一个搜索方法

本文整数规划问题给出一种搜索方法,它类似于求解连续变量优化问题的迭代方法,从一个好的初始可行解出发,寻找一个搜索方向,沿着这个方向求出改进的可行解,然后又开始下一次迭代。此方法简单易行,可以求出问题的最优解或近似最优解,对于整数线性规划问题和整数非线性规划问题的求解都适用,并且容易推广到求解大规校整数线性规划问题。文中附有计算例子,说明方法是有效的。     

数学名题与HPM研究

数学名题对于数学教育和HPM研究都具有重要的价值。法国数学教育家、数学史家史威兹提出，在数学问题配置与求解中可选择历史上不同时期、不同文化的一些数学名题。在此基础上，我们提出了HPM视角下的问题解决教学这一新课题。HPM视角下的问题解决教学侧重于对历史上所用各种数学思想方法进行比较分析，使学生了解不同文化背景中的数学思考方式，其目的在于培养学生数学洞察力，启发数学思想方法，提升数学思维能力，并可在社会历史文化与数学思维的双重醺陶下，获得数学认知活动的文化意义，在数学教育中实践多元文化关怀的理想。