Concurrent reading while writing revisited

A modification is proposed to Peterson's construction of 1-writern-reader multivalued atomic shared variableusingn+2 multivalued safe variables and some boolean atomic variables. The resulting construction is elegant and is simpler than the original one. K. Vidyasankar received B.E. (Elec. Engg.) from Thiagarajar College of Engineering, Madurai, M. Tech. from I.I.T. Kanpur, India, and Ph.D. in Computer Science from University of Waterloo, Canada. He is now an Associate Professor in Computer Science at Memorial University of Newfoundland, Canada. His research interests include concurrency control and recovery in database systems, concurrency in interprocess communication, design and analysis of algorithms, and graph theory.A prelininary version of this paper, under the title Improving Peterson's Construction of 1-Writern-Reader Multivalued Atomic Register, appears in the Proc. 26th Annual Allerton Conference on Communication, Control, and Computing, University of Illinois at Urbana Champaign, September 1988, pp 693–700     

可变频变压器的建模仿真与分析

采用高压直流输电方式连接两个异步电网存在谐波干扰、换相失败、难以实现功率平滑调节、无功功率不能随有功功率传输等问题。文章介绍了可变频变压器的的基本结构及原理,研究了可变频变压器的数学模型及控制模型,给出了可变频变压器传输功率与直流驱动电动机提供的驱动转矩之间的数学关系式,在此基础上采用PSCAD软件搭建了可变频变压器模型并进行了仿真研究。仿真结果表明,可变频变压器可以实现两个异步电网之间的连接并进行功率双向平滑传输,响应速度快;通过转速控制器控制直流驱动电动机的转速可使旋转变压器的转速恒定,以弥补两个电网的频差,维持系统平衡。     

A robust critical path in an environment with hybrid uncertainty

In this article, we consider the project critical path problem in an environment with hybrid uncertainty. In this environment, the duration of activities are considered as random fuzzy variables that have probability and fuzzy natures, simultaneously. To obtain a robust critical path with this kind of uncertainty a chance constraints programming model is used. This model is converted to a deterministic model in two stages. In the first stage, the uncertain model is converted to a model with interval parameters by alpha-cut method and distribution function concepts. In the second stage, the interval model is converted to a deterministic model by robust optimization and min-max regret criterion and ultimately a genetic algorithm with a proposed exact algorithm are applied to solve the final model. Finally, some numerical examples are given to show the efficiency of the solution procedure.     

Beyond interpretation: Reply to Cummins' response

In his response to my Why There Are No Mental Representations, Robert Cummins accused me of having misinterpreted his views, and attempted to undermine a crucial premise of my argument, which claimed that one could only define a semantic type non-semantically by stipulating which tokens should receive a uniform interpretation. I respond to the charge and defend the premise.     

降膜蒸发过程的数值模拟和传热传质分析

利用CFD软件对逆流降膜蒸发过程进行了实验模拟研究,研究了速度边界层、热边界层和浓度边界层的变化对降膜蒸发传热传质特性的影响规律;通过建立一维逆流降膜蒸发的数学方程编程求解出了对流传热传质的Nu数和Sh数,利用Fluent软件模拟出的实验结果采用回归分析得出了气液流量比Raw、流道的长宽比αL、空气进口无量纲温度θai以及空气进口Re数与Nu数、Sh数之间的无量纲关系式,可为降膜蒸发换热器的设计提供参考。     

一种新的修正恒模算法

阐述了恒模算法(CMA)、修正恒模算法(MCMA)和判决引导(DD)算法的基本原理。针对CMA和MCMA收敛速度慢,固定步长条件下收敛速度和剩余误差之间存在矛盾的缺陷,在分析CMA误差特性的基础上,利用DD算法误差函数的模值和判决器输出构造新的误差函数,提出了一种新的变步长MCMA。新算法在加快收敛速度的同时保持小的剩余误差。仿真结果表明,新算法比CMA和MCMA收敛速度快,均衡输出剩余码间干扰(ISI)小而且能克服相位偏移,具有很好的实用性。     

可视化基站发电管理系统

针对以前的发电管理系统或只是数据呈现,提供市电及发电相关数据信息,或只是提供出车轨迹,主要实现对出车的管理,不能全面反应发电全过程且不便于对发电事件进行分析的情况,提出可视化发电管理系统的概念。在简要介绍了LBS系统、动力环境监控系统后,讲述了可视化基站发电管理系统的组成以及通过LBS定位管理、短信互动、实时监测数据等进行系统实现。可视化发电管理系统通过可视化的界面帮助发电管理人员进行管理,直观、便捷。     

机器人三维路径规划问题的一种改进蚁群算法

本文研究移动机器人三维空间路径规划问题,针对三维空间的复杂地形特点,提出了一种基于改进蚁群算法的路径规划算法。文中首先描述了一种简单有效的环境建模方法,然后给出了算法在信息素呈现、路径点选取、信息素更新以及启发式函数设计等方面的改进方法。仿真结果证明了算法的可行性和可靠性。     

5G无线通信基站共享电力杆塔的应用研究

将5G无线通信基站安装在电力线杆塔上,可以通过电力线路杆塔共享促进5G网络建设,实现电力企业和通信公司的互利共赢。重点讨论了5G基站的新架构,分析了把基站应用到电力杆塔上应考虑的供电、接地、安装等问题,并给出了相应的解决方案。     

地方技能型高校旅游联盟综合实践教育基地建设研究——以马鞍山师范高等专科学校旅游联盟实践基地建设为例

校企合作实践教育基地是产教融合、校企共建的重要载体,是培养满足社会应用型人才需求的有效平台。以校企合作联盟的方式建立旅游专业综合实践教育基地,可以充分利用旅游联盟优势,全面发挥集旅游、酒店、餐饮等为一体的教学、实习、就业体系,可以更好地为旅游人才的全面发展服务,可以更好地培养适应社会需要的复合型旅游人才。