基于约束满足的多卫星调度模型研究

卫星调度是空间资源管理的一项重要内容,其本身也是一类复杂的资源分配问题。约束满足技术是求解复杂资源分配问题(constraintsatisfactionproblem,CSP)的有效方法。在约束满足问题的理论基础上,首先分析了多卫星调度问题的约束条件(包括任务约束、关联约束和互斥约束);建立了多卫星调度问题的模型;最后,以地球资源观测卫星为对象,给出了示例。     

基于变邻域搜索的热轧圆钢批量调度多目标优化方法

针对热轧圆钢的批量调度问题,考虑实际生产中工艺规程和交货期对轧制单元连续加工的影响,建立了以最小化设备调整时间、拖期生产惩罚和钢种跳跃惩罚为优化目标的数学模型,并设计了一种嵌入EDD规则的变邻域搜索算法。算法首先结合模型的约束特征,采用约束满足技术生成初始解;根据实际生产需求,将最小化设备调整时间作为主要目标,设计变邻域搜索算法实现目标优化,其中,运用混合算子构造邻域结构和局部搜索,并引入模拟退火接受准则来控制迭代过程中产生的新解;同时,为了最小化拖期惩罚和钢种跳跃惩罚,在求解过程中嵌入了EDD规则以及钢种排序规则。实验结果表明,模型和算法是可行且有效的。     

基于约束满足的板坯设计模型与求解方法

针对客户订单的重量需求为固定值、客户订单分配过程中有最小重量限制的板坯设计问题,建立了以最小化板坯数量为目标的约束满足模型.通过三划分问题的多项式归结,证明了该问题是强NP难的;针对问题的特殊性质,给出了变量选择策略和值选择策略;提出了基于约束满足技术的求解算法,并证明了算法的收敛性;通过数据实验对算法的有效性进行了验证.     

新农村建设与安徽农村金融服务变革

新农村建设离不开农村金融的大力支持.安徽省农村经济对金融服务的需求呈日益扩大的趋势,但现阶段农村金融服务在体制设计、需求的满足程度上都存在问题,已越来越明显地制约着安徽省农业的结构性调整、农村的可持续发展和农民的增产增收.因此,安徽省农村金融服务的改善已刻不容缓.     

高校图书馆提高文献传递满足率的思考

介绍了国内几大文献传递服务系统,阐述了苏州大学图书馆文献传递服务情况,分析了影响文献传递满足率的因素,提出了提高文献传递满足率的方法。     

不完备信息条件下基于置信规则库的能力满足度评估方法

信息不完备条件下,已有的置信规则库(belief rule base, BRB)〖JP+1〗建模方法较难构建完整结构的BRB,为武器装备体系能力需求满足度评估带来较大挑战。为此,本文提出了基于有限交集规则和自组织映射方法建立并集规则库的体系能力需求满足〖JP+2〗度评估方法。首先,分别对交集假设下和并集假设下的BRB进行描述,并分析了两者的关联性;其次,引入了自组织映射方法,定量计算每条并集规则同与其相关的交集规则之间的关联程度,进而计算并集规则所关联的交集规则的权重;在此基础上,给出了基于不完备交集BRB生成完整结构并集BRB的步骤;最后,以某区域防空武器装备体系能力满足度评估为例验证所提出方〖JP〗法的可行性和有效性。     

手机短信的“使用与满足”

1992年,世界第一条短信在英国沃尔丰的GSM网络上通过PC向移动电话发送成功;1998年,欧洲电信运营商大力开拓手机短信业务;2000年,中国移动公司和联通公司先后推出自己的短信业务,手机短信在中国如火如荼地发展起来,M-Zone、拇指文化等新的消费概念也应运而生,在新生代中颇有影响。     

上三角矩阵环满足ZCn(ZIn)的子环

研究了reduced环R上的m×m阶上三角矩阵环Tm(R)的满足ZCn(ZIn)的子环.     

并行工程中时间约束网络建立及冲突检测研究

由于并行工程产品开发过程的复杂性，产品开发过程中存在着大量的时间约束关系，因时间约束关系的违反而千万的过程冲突极易发生，本文提出一种以IDEF3过程模型为基础建立并行工程产品过程的时间约束网络的方法，在将该时间约束网络转化为定量时间约束网络的基础上，提出一种面向定量时间约束网络的冲突检测的方法，基于时间约束网络的冲突检测方法能有效发现并行工程产品开发过程中的过程冲突。     

EMERGENCE FROM LOCAL EVALUATION FUNCTION

This paper presents a new look on emergence from the aspect of locality and globality of evaluation functions for solving traditional computer problems. We first translate the Constraint Satisfaction Problem (CSP) into the multi-agent system, and then show how a global solution emerges from the system in which every agent uses a local evaluation function to decide its action, while comparing to other traditional algorithms,such as Local search and Simulated Annealing which use global evaluation functions. We also give some computer experimental results on large-scale N-queen problems and k-Coloring problems, and show that emergence only depends on problem instance, not details of agent settings, i.e. in some CSPs, the system can self-organize to a global solution~ but can not in some other CSPs no matter what settings of agents have.