Instant-Form and Light-Front Hamiltonian and Path Integral Formulations of the Conformally Gauge-Fixed Polyakov D1-Brane Action in the Presence of a Scalar Axion Field and an <i>U</i>(1) Gauge Field

Recently we have studied the instant-form quantization (IFQ) and the light-front quantization (LFQ) of the conformally gauge-fixed Polyakov D1 brane action using the Hamiltonian and path integral formulations. The IFQ is studied in the equal world-sheet time framework on the hyperplanes defined by the world-sheet time σ0=τ=constant and the LFQ in the equal light-cone world-sheet time framework, on the hyperplanes of the light-front defined by the light-cone world-sheet time σ+= (τ+σ) =constant. The light-front theory is seen to be a constrained system in the sense of Dirac in contrast to the instant-form theory. However, owing to the gauge anomalous nature of these theories, both of these theories are seen to lack the usual string gauge symmetries defined by the world-sheet reparametrization invariance (WSRI) and the Weyl invariance (WI). In the present work we show that these theories when considered in the presence of background gauge fields such as the NSNS 2-form gauge field Bαβ(σ,τ) or in the presence of U(1) gauge field Aα(σ,τ) and the constant scalar axion field C(σ,τ), then they are seen to possess the usual string gauge symmetries (WSRI and WI). In fact, these background gauge fields are seen to behave as the Wess-Zumino or Stueckelberg fields and the terms containing these fields are seen to behave as Wess-Zumino or Stueckelberg terms for these theories.

Estimation of Copper, Silver and Gold Coverages on the Iridium Field Emitter Tip Surface

The work described in this paper is a study of the estimation of copper, silver and gold coverages on the iridium field emitter tip surface. The study has been carried out by using a simple field emission microscope designed especially for the purpose of the adsorbate coverage calibration. It was equipped with an iridium field emitter tip. On one side of the microscope was the vapor source 12.5 cm from the tip, and on the other side 16.2 cm from the source was a quartz crystal oscillator. The crystal leads were spot welded to a two-pin tungsten-glass press-seal. In front of the crystal, a nickel shield was mounted in which there was a circular hole of an area of 0.0804 cm2, slightly smaller than the surface of the crystal, to prevent shorting of the conducting ends of the crystal which would be brought about by the condensed metal. The sensing crystal inside the microscope was driven by a small circuit placed just outside the microscope. The driving circuit was in turn connected to another circuit which comprised a frequency comparator unit which could read the frequency of the quartz crystal oscillator before and after the deposition of the adsorbate and gave a direct digital reading of ?(f is the resonance frequency of the crystal before the deposition of the adsorbate and Δf is the difference in the frequency of the oscillator after and before the deposition of the adsorbate on the crystal). The mass added to either side of the crystal alters its resonant frequency. The frequency shift obtained for a certain thickness of the deposited film depends on the density of the deposited film [1] [2].

Modeling of UAV path planning based on IMM under POMDP framework

In order to enhance the capability of tracking targets autonomously of unmanned aerial vehicle (UAV), the partially observable Markov decision process (POMDP) model for UAV path planning is established based on the POMDP framework. The elements of the POMDP model are analyzed and described. The state transfer law in the model can be described by the method of interactive multiple model (IMM) due to the diversity of the target motion law, which is used to switch the motion model to accommodate target maneuvers, and hence improving the tracking accuracy. The simulation results show that the model can achieve efficient planning for the UAV route, and effective tracking for the target. Furthermore, the path planned by this model is more reasonable and efficient than that by using the single state transition law.

Light-Front Hamiltonian and Path Integral Formulations of the Conformally Gauge-Fixed Polyakov D1 Brane Action

In a recent paper we have studied the Hamiltonian and path integral quantizations of the conformally gauge-fixed Polyakov D1 brane action in the instant-form of dynamics using the equal world-sheet time framework on the hyperplanes defined by the world- sheet time . In the present work we quantize the same theory in the equal light-cone world-sheet time framework, on the hyperplanes of the light-front defined by the light-cone world-sheet time , using the standard constraint quantization techniques in the Hamiltonian and path integral formulations. The light-front theory is seen to be a constrained system in the sense of Dirac, which is in contrast to the corresponding case of the instant-form theory, where the theory remains unconstrained in the sense of Dirac. The light-front theory is seen to possess a set of twenty six primary second-class contraints. In the present work Hamiltonian and path integral quantizations of this theory are studied on the light-front.

Light-Front Hamiltonian, Path Integral and BRST Formulations of the Chern-Simons Theory under Appropriate Gauge-Fixing

The Chern-Simons theory in two-space one-time dimensions is quantized on the light-front under appropriate gauge-fixing conditions using the Hamiltonian, path integral and BRST formulations.

Light-Front Hamiltonian, Path Integral and BRST Formulations of the Chern-Simons-Higgs Theory in the Broken Symmetry Phase

In the present work we study the Hamiltonian, path integral and BRST formulations of the Chern-Simons-Higgs theory in two-space one-time dimensions, in the so-called broken symmetry phase of the Higgs potential (where the phase φ(xμ) of the complex matter field Φ(xμ) carries the charge degree of freedom of the complex matter field and is akin to the Goldstone boson) on the light-front (i.e., on the hyperplanes defined by the fixed light-cone time). The theory is seen to possess a set of first-class constraints and the local vector gauge symmetry. The theory being gauge-invariant is quantized under appropriate gauge-fixing conditions. The explicit Hamiltonian and path integral quantization is achieved under the above light-cone gauges. The Heisenberg equations of motion of the system are derived for the physical degrees of freedom of the system. Finally the BRST quantization of the system is achieved under appropriate BRST gauge-fixing, where the BRST symmetry is maintained even under the BRST light-cone gauge-fixing.

Radio Propagation and Wireless Coverage of LSAA-Based 5G Millimeter-Wave Mobile Communication Systems

Millimeter-wave(mm Wave) communications will be used in fifth-generation(5G) mobile communication systems, but they experience severe path loss and have high sensitivity to physical objects, leading to smaller cell radii and complicated network architectures. A coverage extension scheme using large-scale antenna arrays(LSAAs) has been suggested and theoretically proven to be cost-efficient in combination with ultradense small cell networks. To analyze and optimize the LSAA-based network deployments, a comprehensive survey of recent advances in statistical mmWave channel modeling is first presented in terms of channel parameter estimation, large-scale path loss models, and small-scale cluster models. Next, the measurement and modeling results at two 5G candidate mmWave bands(e.g., 28 GHz and 39 GHz) are reviewed and compared in several outdoor scenarios of interest, where the propagation characteristics make crucial contributions to wireless network designs. Finally, the coverage behaviors of systems employing a large number of antenna arrays are discussed, as well as some implications on future mmWave cellular network designs.

An Analysis and Computation of Optimum Earth Geographical Coverage for Global Satellite Communications

This paper presents simple mathematical mobility models for configuration of Global interconnectivity with LEO satellite systems. The aim of this paper is to investigate on the performance measures of the satellite mobility models regarding optimum Global coverage arc length depending on the satellite locations relative to the four zones (quadrants) of the earth surface. A typical body of the satellite was positioned at a modified height of 780 Km from the earth surface and revolving round the earth in a circle of radius, 7160 Km was carefully studied and analytically parameterized enabling the generation of realistic instantaneous coverage arc lengths data. We compared the minimum required instantaneous arc lengths for the three mobility models that should cover the geographical coverage areas of the earth. The impact of the satellite movements relative to the earth locations was that the instantaneous coverage arc lengths were exponentially varying with time and continuously distributed within the four zones of the earth surface to provide continuous coverage around one polar orbit plane and assuming operations can continue down to an elevation angle of zero degree. The advantage of the derived mobility models is achieving almost 100% global coverage as a result of the dynamic behavior of the satellite playing an important role of providing instantaneous coverage arc lengths. This procedure also allows comparisons among different degrees of built-up zones of the earth surface as well as extra-polation to the different locations on the earth surface.

Modern Corrosion Mapping of Storage Tank Bottoms--Notable Advancements in Critical Zone Coverage,Inspection Efficiency and Data Integrity

Every day,an NDT(Non-Destructive Testing)report will govern key decisions and inform inspection strategies that could affect the flow of millions of dollars which ultimately affects local environments and potential risk to life.There is a direct correlation between report quality and equipment capability.The more able the equipment is-in terms of efficient data gathering,signal to noise ratio,positioning,and coverage-the more actionable the report is.This results in optimal maintenance and repair strategies providing the report is clear and well presented.Furthermore,when considering tank floor storage inspection it is essential that asset owners have total confidence in inspection findings and the ensuing reports.Tank floor inspection equipment must not only be efficient and highly capable,but data sets should be traceable and integrity maintained throughout.Corrosion mapping of large surface areas such as storage tank bottoms is an inherently arduous and time-consuming process.MFL(magnetic flux leakage)based tank bottom scanners present a well-established and highly rated method for inspection.There are many benefits of using modern MFL technology to generate actionable reports.Chief among these includes efficiency of coverage while gaining valuable information regarding defect location,severity,surface origin and the extent of coverage.More recent advancements in modern MFL tank bottom scanners afford the ability to scan and record data sets at areas of the tank bottom which were previously classed as dead zones or areas not scanned due to physical restraints.An example of this includes scanning the CZ(critical zone)which is the area close to the annular to shell junction weld.Inclusion of these additional dead zones increases overall inspection coverage,quality and traceability.Inspection of the CZ areas allows engineers to quickly determine the integrity of arguably the most important area of the tank bottom.Herein we discuss notable developments in CZ coverage,inspection efficiency and data integrity that combines to deliver an actionable report.The asset owner can interrogate this report to develop pertinent and accurate maintenance and repair strategies.

A Reanalysis of the Two Swimmers Problem, as Frequent Model of Michelson’s Interferometric Experiment Demonstrating that Transversal Path Is Not an Isosceles but a Right Triangle and the Race Will End in a Tie

The article initially reviews various works describing the physical model (PM) of Michelson’s interferometric experiment (ME), represented by the race between two swimmers Sw1, Sw2 (or boats, or planes, or sound signals, etc.). The two swimmers must each swim the same distance, but Sw1 will swim along the river flow, and Sw2 will swim perpendicularly to this direction. In all such works, it is considered that Sw2’s path will require less time and that it will reach the start point first. However, in this work, it has been determined that in order to make this possible, Sw2 must not observe the orthogonality rule of his start direction. This action would be deceitful to the arbiters and thus considered as non-fair-play towards Sw1. The article proves by swimming times calculus, that if the fair-play rules are observed, then the correct crosswise path (in water reference frame) is a right triangle instead of the isosceles triangle considered by Michelson. Consequently, the two times shall be perfectly equal and the race ends in a tie, and the myth of Sw2 as the race winner shall be debunked. Note that the same result shall also be applicable to Michelson’s interferometric experiment (ME) as well as to any similar experiment. Therefore, utilising the isosceles triangle as the transversal path in PM and also in ME is an erroneous act.

Light-Front Hamiltonian and Path Integral Formulations of the Conformally Gauge-Fixed Polyakov D1 Brane Action with a Scalar Dilation Field

Recently we have studied the instant-form quantization (IFQ) of the conformally gauge-fixed Polyakov D1 brane action with and without a scalar dilaton field using the Hamiltonian and path integral formulations in the equal world-sheet time framework on the hyperplanes defined by the world- sheet time σ0=τ=constant . The light-front quantization (LFQ) of this theory without a scalar dilaton field has also been studied by us recently. In the present work we study the LFQ of this theory in the equal light-cone world-sheet time framework, on the hyperplanes of the light-front defined by the light-cone world-sheet time σ+=τ+σ=constant , using the Hamiltonian and path integral formulations. The light-front theory is seen to be a constrained system in the sense of Dirac. The light-front theory is seen to possess a set of twenty seven primary second-class contraints. In the present work Hamiltonian and path integral quantizations of this theory are studied on the light-front.

阿尔金淡水泉早古生代泥质高压麻粒岩及其P-T演化轨迹

南阿尔金构造带淡水泉一带出露的含石榴石蓝晶石黑云母片麻岩是一套典型的泥质高压麻粒岩,其峰期特征矿物组合为石榴子石+蓝晶石+钾长石+金红石+石英。根据矿物内部一致性热力学数据和Thermocalc 3.23程序计算,确定其峰期变质温压条件为T>850℃和P>11kbar。结合岩相学研究和P-T视剖面图计算,可识别出该岩石经历了4个阶段的变质演化,构成了一个早期快速等温降压,后期近等压降温的顺时针型的退变质P-T演化轨迹,为与陆壳俯冲碰撞有关的高压变质事件的产物。该岩石锆石阴极发光图像显示其内部具有明显的核-边结构,核部为残留的原岩碎屑锆石,边部则表现为面状或扇状生长的变质锆石的特征。微区原位LA-ICP-Ms微量元素分析表明,核部测点的重稀土含量较高,对应Th/U接近于0.4,具有岩浆锆石的特征;边部测点的重稀土相对亏损,重稀土配分曲线平坦,对应Th/U比值均小于0.1,显示与石榴子石平衡共生的变质锆石特征。LA-ICP-MS微区定年获得其变质年龄为486±5Ma,该年龄值与阿尔金江尕勒萨依和英格利萨依两地超高压变质岩石的变质年龄相近,进一步证明沿阿尔金构造带南缘断续存在一条早古生代的高压-超高压变质岩带。另外,本次研究在获得该泥质高压麻粒岩峰期变质时代的同时,还获得该岩石原岩的形成时代上限值约为719Ma,从而限定阿尔金构造带南缘阿尔金群的形成时代可能不属古元古代,而应属新元古代。

Intelligent and Predictive Vehicular Networks

Seeking shortest travel times through smart algorithms may not only optimize the travel times but also reduce carbon emissions, such as CO2, CO and Hydro-Carbons. It can also result in reduced driver frustrations and can increase passenger expectations of consistent travel times, which in turn points to benefits in overall planning of day schedules. Fuel consumption savings are another benefit from the same. However, attempts to elect the shortest path as an assumption of quick travel times, often work counter to the very objective intended and come with the risk of creating a “Braess Paradox” which is about congestion resulting when several drivers attempt to elect the same shortest route. The situation that arises has been referred to as the price of anarchy! We propose algorithms that find multiple shortest paths between an origin and a destination. It must be appreciated that these will not yield the exact number of Kilometers travelled, but favourable weights in terms of travel times so that a reasonable allowable time difference between the multiple shortest paths is attained when the same Origin and Destinations are considered and favourable responsive routes are determined as variables of traffic levels and time of day. These routes are selected on the paradigm of route balancing, re-routing algorithms and traffic light intelligence all coming together to result in optimized consistent travel times whose benefits are evenly spread to all motorist, unlike the Entropy balanced k shortest paths (EBkSP) method which favours some motorists on the basis of urgency. This paper proposes a Fully Balanced Multiple-Candidate shortest path (FBMkP) by which we model in SUMO to overcome the computational overhead of assigning priority differently to each travelling vehicle using intelligence at intersections and other points on the vehicular network. The FBMkP opens up traffic by fully balancing the whole network so as to benefit every motorist. Whereas the EBkSP reserves some routes for cars on high priority, our algorithm distributes the benefits of smart routing to all vehicles on the network and serves the road side units such as induction loops and detectors from having to remember the urgency of each vehicle. Instead, detectors and induction loops simply have to poll the destination of the vehicle and not any urgency factor. The minimal data being processed significantly reduce computational times and the benefits all vehicles. The multiple-candidate shortest paths selected on the basis of current traffic status on each possible route increase the efficiency. Routes are fewer than vehicles so possessing weights of routes is smarter than processing individual vehicle weights. This is a multi-objective function project where improving one factor such as travel times improves many more cost, social and environmental factors.

An Optimal Feed Interpolator Based on G^2 Continuous Bézier Curves for High-Speed Machining of Linear Tool Path

A numerical control (NC) tool path of digital CAD model is widely generated as a set of short line segments in machining. However, there are three shortcomings in the linear tool path, such as discontinuities of tangency and curvature, huge number of line segments, and short lengths of line segments. These disadvantages hinder the development of high speed machining. To smooth the linear tool path and improve machining efficiency of short line segments, this paper presents an optimal feed interpolator based on G^2 continuous Bézier curves for the linear tool path. First, the areas suitable for fitting are screened out based on the geometric characteristics of continuous short segments (CSSs). CSSs in every area are compressed and fitted into a G^2 Continuous Bézier curve by using the least square method. Then a series of cubic Bézier curves are generated. However, the junction between adjacent Bézier curves is only G^0 continuous. By adjusting the control points and inserting Bézier transition curves between adjacent Bézier curves, the G^2 continuous tool path is constructed. The fitting error is estimated by the second-order Taylor formula. Without iteration, the fitting algorithm can be implemented in real-time environment. Second, the optimal feed interpolator considering the comprehensive constraints (such as the chord error constraint, the maximum normal acceleration, servo capacity of each axis, etc.) is proposed. Simulation and experiment are conducted. The results shows that the proposed method can generate smooth path, decrease the amount of segments and reduce machining time for machining of linear tool path. The proposed research provides an effective method for high-speed machining of complex 2-D/3-D profiles described by short line segments.

On the Strategic Paths of the Going Global Strategy of Chinese Literature

The going global strategy of Chinese literature is a vital part of the going global strategy of Chinese culture. In recent years,the Chinese government has launched and strongly supported a series of activities and projects to promote this strategy,but little effect has been produced. Starting from analyzing the predicament and reasons of the current strategy,the essay suggests four strategic paths: enhancing the overall strength of the country to promote the international influence of Chinese culture,strengthening cultural awareness and cultural introspection,integrating the nationality and cosmopolitan of literature and establishing a market-oriented literary translation mechanism.

An Algorithm for Hybrid Nodes Barrier Coverage Based on Voronoi in Wireless Sensor Networks

In order to make up for the deficiencies and insufficiencies that In order to make up for the deficiencies and insufficiencies that wireless sensor network is constituted absolutely by static or dynamic sensor nodes. So a deployment mechanism for hybrid nodes barrier coverage (HNBC)is proposed in wireless sensor network, which collaboratively consists of static and dynamic sensor nodes. We introduced the Voronoi diagram to divide the whole deployment area. According to the principle of least square method, and the static nodes are used to construct the reference barrier line (RBL). And we implemented effectively barrier coverage by monitoring whether there is a coverage hole in the deployment area, and then to determine whether dynamic nodes need limited mobility to redeploy the monitoring area. The simulation results show that the proposed algorithm improved the coverage quality, and completed the barrier coverage with less node moving distance and lower energy consumption, and achieved the expected coverage requirements

基于扩展CHAM模型的软件集成测试方法

基于构件的软件工程(Component-Based Software Engineering,CBSE)正逐渐成为软件开发的一种新趋势。目前构件提供者所交付的构件仅仅包括其功能描述和接口描述,而代码通常是不可见的,这给软件系统的集成测试带来较大困难。本文针对软件体系结构(Software Architecture,SA)层中的构件规格说明,提出一种集成测试方法。首先使用扩展的化学抽象自动机(Extend Chemical Abstract Machine,E-CHAM)模型描述软件系统的体系结构;接着使用LTS状态树生成算法,生成标号迁移系统(Labeled Transition System,LTS)表示单一构件的动态行为;最后按照自底向上的集成测试策略完成了整个系统的测试。

宁夏平原春小麦品种更替中农艺性状的演变规律研究

通过对建国以来宁夏平原春小麦4次更新品种的主要农艺性状的演变规律研究表明,宁夏平原春小麦籽粒和生物产量有了明显提高,随着品种的更替,收获指数、每穗粒重、每穗粒数均呈上升趋势,株高则明显下降.相关和通径分析表明,生物产量、收获指数与籽粒产量呈极显著正相关且对籽粒产量的直接影响最大,产量构成因素对籽粒产量的直接作用大小依次为穗粒数>千粒重>穗数.因此,宁夏平原高产品种的培育主要应考虑提高生物产量,适当增大收获指数,在稳定现有群体(穗数)的前提下,增加穗粒数和千粒重.

Distributed collaborative complete coverage path planning based on hybrid strategy

Collaborative coverage path planning(CCPP) refers to obtaining the shortest paths passing over all places except obstacles in a certain area or space. A multi-unmanned aerial vehicle(UAV) collaborative CCPP algorithm is proposed for the urban rescue search or military search in outdoor environment.Due to flexible control of small UAVs, it can be considered that all UAVs fly at the same altitude, that is, they perform search tasks on a two-dimensional plane. Based on the agents’ motion characteristics and environmental information, a mathematical model of CCPP problem is established. The minimum time for UAVs to complete the CCPP is the objective function, and complete coverage constraint, no-fly constraint, collision avoidance constraint, and communication constraint are considered. Four motion strategies and two communication strategies are designed. Then a distributed CCPP algorithm is designed based on hybrid strategies. Simulation results compared with patternbased genetic algorithm(PBGA) and random search method show that the proposed method has stronger real-time performance and better scalability and can complete the complete CCPP task more efficiently and stably.

Existence of Solutions to Path-Dependent Kinetic Equations and Related Forward-Backward Systems

This paper is devoted to path-dependent kinetics equations arising, in particular, from the analysis of the coupled backward-forward systems of equations of mean field games. We present local well-posedness, global existence and some regularity results for these equations.