Numerical analysis of nematic liquid crystal alignment on asymmetric surface grating structures

The influence of an asymmetric periodic grooved cell surface on the 2D static director configuration of a nematic liquid crystal has been investigated. The minimum in the Frank-Oseen free energy was solved numerically with the Rapini-Papoular form of the surface anchoring energy at the nematic-grating interface. Results are presented for the variation of pretilt angle in the tilted bulk director field as a function of the surface groove depth, pitch and asymmetry and the bulk parameters. The simulations demonstrate the existence of two energetically degenerate high and low pretilted bulk alignment configurations. The pretilt values in these two regimes and also for the low tilt regime with finite surface anchoring are consistent with experimental results. An effective increase in the resolution of the model is obtained by using an irregular grid to describe the surface profile.     

A branch and bound algorithm for scheduling trains in a railway network

The paper studies a train scheduling problem faced by railway infrastructure managers during real-time traffic control. When train operations are perturbed, a new conflict-free timetable of feasible arrival and departure times needs to be re-computed, such that the deviation from the original one is minimized. The problem can be viewed as a huge job shop scheduling problem with no-store constraints. We make use of a careful estimation of time separation among trains, and model the scheduling problem with an alternative graph formulation. We develop a branch and bound algorithm which includes implication rules enabling to speed up the computation. An experimental study, based on a bottleneck area of the Dutch rail network, shows that a truncated version of the algorithm provides proven optimal or near optimal solutions within short time limits.     

Assessing elementary algebra with STACK

This paper concerns computer aided assessment (CAA) of mathematics in which a computer algebra system (CAS) is used to help assess students' responses to elementary algebra questions. Using a methodology of documentary analysis, we examine what is taught in elementary algebra. The STACK CAA system, http://www.stack.bham.ac.uk/, which uses the CAS Maxima, is taken as a case study with which to test the implementation of the ideas developed in this paper. The general characteristics needed from a CAS for the application of computer aided assessment, or computer based learning is discussed. In particular the need for consistently implemented noun forms of elementary arithmetic operations, together with their traditional verb forms is identified.     

Intersecting a simple mixed integer set with a vertex packing set

We consider a mixed integer set that results from the intersection of a simple mixed integer set with a vertex packing set from a conflict graph. This set arises as a relaxation of the feasible set of mixed integer problems such as inventory routing problems. We derive families of strong valid inequalities that consider the structures of the simple mixed integer set and the vertex packing set simultaneously.     

复分解反应原理认知困境的成因与对策探析

对学生关于复分解反应原理的认知情况进行分析,得出首因效应是造成复分解反应原理认知困境的重要原因。在此基础上,进一步分析正确对待化学学习中的首因效应的影响,促进复分解反应原理正确认知的对策,包括分析新旧知识,促进正向迁移;引发认知冲突,促进观念更新;开放探究情境,加深本质认识。     

基于GMCR的双渠道供应链价格冲突动态交互模型

在冲突分析图模型中,稳定性分析的均衡结果和决策者偏好信息之间存在一个动态反复的交互过程。为此,本文提出了基于GMCR的冲突分析动态交互理论,在偏好信息和均衡结果之间引入决策者的风险认知系统,以动态模拟冲突中决策者的风险认知、偏好信息与均衡解之间的交互关系。然后,构建了基于GMCR的双渠道供应链价格冲突动态交互模型,从冲突分析动态交互视角解释了价格战背后制造商和零售商的博弈行为,并有效预测了风险规避情况下双渠道供应链价格冲突的均衡结果,为供应链管理者提供了一套系统有效的冲突分析工具。     

负载流量碰撞检测算法在动态交通调度中的应用

随着复杂的环状路段,交叉路段、立交路段拥堵情况的不断增加,传统的交通拥堵调控策略为静态控制策略,调节的效率不高,容易出现调度冲突的问题;为了提高交通运行效率,提出一种用于解决动态交通调度的三级碰撞概率检测算法;根据交通流量的动态变化情况,通过计算流量时域内的动态流量偏差,计算三级路径之间可能存在的流量冲突概率;根据计算不同级之间的冲突概率反映动态交通拥堵的可能,确定控制的方案;实验表明,三级流量碰撞概率算法有效地降低了车辆平均延误时间,该算法有效。     

Utility theory in conflict resolution

In this paper, multi-attribute utility theory is extended to accommodate adversarial problem solving situations involving multiple interacting agents. Such situations are resolved by partial goal satisfaction and persuasion, and have only scantily been described in the AI literature. Utility theory is shown to provide a computational framework to (a) generate a compromise solution that partially satisfies the conflicting goals of the agents, (b) evaluate whether a solution is an improvement on a previously rejected one, and (c) determine the effectiveness of persuasive arguments. Our examples are taken from the domain of labor mediation and are implemented in a computer program, called the PERSUADER.     

考虑右转机动车影响下的信号交叉口行人过街时间模型

为了弄清信号交叉口右转机动车对行人过街的影响机理,应用穿越间隙理论,分析行人穿越机动车的分布规律,并推导了行人过街时间模型公式,通过定量分析及模型算例,找出了行人过街时间的主要影响因素及其定量关系,模型精度基本满足要求,具有较高的理论和实用价值,为信号交叉口的信号设计,特别是行人专用信号相位的设置、分析和研究提供了新思路和新方法.     

基于真实情境的高三化学微专题教学*

以2021年高考广东卷为例进行试题情境与类型研究,发现试题情境化的特点。分析情境教学的研究现状,提出基于真实情境的高三化学微专题教学设计模型,概述其要素构成、一般流程。基于课例探讨从回归教材知识、深度挖掘试题、制造认知冲突等方面创设教学情境,结合三元整合教学策略提出设计课堂问题的角度,以期提升课堂教学的有效性,为高三化学微专题复习提出教学建议。