基于属性和规则的访问控制模型

针对分布式服务环境中用户数目大量增长和资源访问策略复杂多样化的问题,分析目前访问控制模型的应用局限性,提出多用户服务模式中一种基于属性和规则的访问控制模型。该模型引入复合属性表达式和复合权限的概念,制定授权约束规则,为用户分配多组角色。给出模型实例,并将其与其他模型进行比较。     

具有圆盘极点约束的不确定切换系统的鲁棒控制

本文研究了一类具有圆盘极点约束的不确定线性切换系统的鲁棒镇定问题．对此类系统设计了状态反馈控制器,使得闭环系统的所有极点均位于一个给定的圆盘中,并得到了一个基于LMI的充分条件．通过求解线性矩阵不等式,可以构造一个具有较小反馈增益参数的状态反馈控制器．最后的仿真算例证明了本文结果的有效性。     

基于路径开销的机器人足球角色分配设计

小型足球机器人的决策系统是一个多智能体协调控制系统,主要由视觉信息处理、协调策略、角色分配、动作实现等组成.本文对角色分配机制进行研究,提出了一种路径开销组合最优的角色分配算法,实现了Play策略下动态角色分配的整体设计.仿真平台测试表明了机器人的整体配合能力有较大提高.     

谓词模态逻辑中变量的严格指派问题

目前,命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具,但谓词模态逻辑却不是.关于谓词模态逻辑还存在着很多的争议和问题.表面上看,在命题模态逻辑中添加相应的量词而得到谓词模态逻辑似乎是一件很简单的事情,但是这些新添加的量词却带来了许多的问题和麻烦,例如,变量的严格指派问题、不变论域与可变论域问题、跨界相等问题等.主要研究谓词模态逻辑中变量的严格指派问题.首先,介绍什么是变量的严格指派问题;其次,讨论对于该问题现有的解决办法及所存在的不足;最后,分析造成该问题的深层次原因,并简要介绍该问题的解决办法.     

基于贝叶斯网络的复杂装备D-S诊断

利用D-S证据理论进行故障诊断时,首先需要确定出故障识别框架和基本置信分配.但在导弹武器等复杂装备中,存在着故障原因与故障征兆之间关联关系不确定的现象,增加了求取故障识别框架和基本置信分配的困难.文中提出了利用贝叶斯网络理论来解决难题的方法,使D-S证据理论能在复杂装备故障诊断中得到应用.文中首先给出了诊断贝叶斯网络的适应度函数,并利用改进的粒子群优化算法求解了诊断贝叶斯网络.然后分析了诊断贝叶斯网络中故障原因与故障征兆间的关联关系,给出了征兆集合、异因征兆集合概念.提出了求解故障识别框架和基本置信分配的方法.最后,通过实例的D-S诊断,验证了所提方法的正确性.     

School timetabling for quality student and teacher schedules

The school timetabling problem, although less complicated than its counterpart for the university, still provides a ground for interesting and innovative approaches that promise solutions of high quality. In this work, a Shift Assignment Problem is solved first and work shifts are assigned to teachers. In the sequel, the actual Timetabling Problem is solved while the optimal shift assignments that resulted from the previous problem help in defining the values for the cost coefficients in the objective function. Both problems are modelled using Integer Programming and by this combined approach we succeed in modelling all operational and practical rules that the Hellenic secondary educational system imposes. The resulting timetables are conflict free, complete, fully compact and well balanced for the students. They also handle simultaneous, collaborative and parallel teaching as well as blocks of consecutive lectures for certain courses. In addition, they are highly compact for the teachers, satisfy the teachers’ preferences at a high degree, and assign core courses towards the beginning of each day. Dr. Birbas is currently the Director for Primary and Secondary Education in the Region of Western Greece.     

一种货运列车编组调度模型及算法研究

根据货运列车编组调度的基本要求,建立了配流模型。利用编组场待编组车节信息,结合到达场列车的实时信息,设计了信息反馈模型。根据配流模型和反馈模型,对列车进行解体和组编,考虑了军需物资和灾需物资的车辆信息,通过调整模型参数,使得模型继续适用那些由于铁路中断,需要绕行的货运列车。改变了传统算法只考虑局部车组信息,而忽视全局车组信息的弊端。因此,该模型具有灵活性。研究了基本的编组调度算法,使用贪心算法和动态规划算法相结合来求解,并分析了该算法的可行性。     

基于EA／QFT的飞行控制律设计及其稳定性评估

提出特征结构配置和定量反馈理论相结合的鲁俸控制设计方法,并应用该方法对某型飞机横侧向进行控制律设计,然后通过μ分忻对控制律进行稳定性评估。仿真结果表明：该方法使某飞机不仅具有良好解耦效果和动态响应,而且具有较强的鲁棒性。     

Difficulty and complexity definitions for assembly task allocation and assignment in human–robot collaborations: A review

This paper presents a literature review on the different aspects of task allocation and assignment problems in human–robot collaboration (HRC) tasks in industrial assembly environments. In future advanced industrial environments, robots and humans are expected to share the same workspace and collaborate to efficiently achieve shared goals. Difficulty- and complexity-aware HRC assembly is necessary for human-centric manufacturing, which is a goal of Industry 5.0. Therefore, the objective of this study is to clarify the definitions of difficulty and complexity used to encourage effective collaboration between humans and robots to leverage the adaptability of humans and the autonomy of robots. To achieve this goal, a systematic review of the following relevant databases for computer science was performed: IEEE Xplore, ScienceDirect, SpringerLink, ACM Digital Library, and ASME Digital Collection. The results extracted from 74 peer-reviewed research articles published until July 2022 were summarized and categorized into four taxonomies for 145 difficulty and complexity definitions from the perspectives of (1) definition-use objectives, (2) evaluation objectives, (3) evaluation factors, and (4) evaluation variables. Next, existing definitions were primarily classified according to the following two criteria to identify potential future studies on the formulation of new definitions for human-centric manufacturing: (1) agent specificity and (2) common aspects in manual and robotic assemblies.     

CentroidNet：轻量快速的乳腺癌Ki67细胞核中心点检测模型

目的 Ki67分数是乳腺癌预后评估的重要指标,计算该分数的关键步骤是检测阴性与阳性癌细胞核。人工检测面临疲劳与主观差异的问题。卷积神经网络有望实现高质量、自动化的细胞核检测,然而需要病理专家为其标注细胞核。为了减轻标注的工作量,不少研究者提出以中心点标注训练卷积神经网络。然而这些方法采用过于复杂的卷积神经网络和后处理流程,未能充分提高易用性和效率、发挥卷积神经网络的质量。对此,提出CentroidNet模型,旨在提高中心点检测的质量、效率和易用性。方法 CentroidNet模型在图像上放置均匀排布的锚点,为每个锚点预测一个候选点,一部分候选点通过基于阈值的筛选策略成为预测点。本文提出最近锚点匹配策略用于生成训练标签,既保证了端到端推理,又规避了其他一对一标签匹配算法所具有的标签抖动问题。本文建议锚点间距应尽可能接近训练集答案点间最短距离的第一百分位数,并指出这样的锚点间距能够在前景标签数、坐标回归难度与效率之间取得良好的平衡。本文在设计卷积神经网络的结构时,没有采纳广为使用的U-Net或特征金字塔（feature pyramid network, FPN）中的多级上采样与旁路连接,反...