BZPEER

preprint2026arXiv

Smart Predict--then--Optimize Paradigm for Portfolio Optimization in Real Markets

Improvements in return forecast accuracy do not always lead to proportional improvements in portfolio decision quality, especially under realistic trading frictions and constraints. This paper adopts the Smart Predict--then--Optimize (SPO) paradigm for portfolio optimization in real markets, which explicitly aligns the learning objective with downstream portfolio decision quality rather than pointwise prediction accuracy. Within this paradigm, predictive models are trained using an SPO-based surrogate loss that directly reflects the performance of the resulting investment decisions. To preserve interpretability and robustness, we employ linear predictors built on return-based and technical-indicator features and integrate them with portfolio optimization models that incorporate transaction costs, turnover control, and regularization. We evaluate the proposed approach on U.S. ETF data (2015--2025) using a rolling-window backtest with monthly rebalancing. Empirical results show that decision-focused training consistently improves risk-adjusted performance over predict--then--optimize baselines and classical optimization benchmarks, and yields strong robustness during adverse market regimes (e.g., the 2020 COVID-19). These findings highlight the practical value of the Smart Predict--then--Optimize paradigm for portfolio optimization in realistic and non-stationary financial environments.

preprint2023arXiv

Different Ways to Deal with Subway Accidents

With the development of the subway and the pressing demand of environmentally friendly transportation, more and more people travel by subway. In recent decades, the issues about passenger passive safety on the train have received extensive attention. In this research, the head injury of a standing passenger in the subway is investigated. Three MADYMO models of the different standing passenger postures, defined as baseline scenarios, are numerically set up. HIC15 values of passengers with different postures are gained by systematic parametric studies. The injury numerical simulation results of various scenarios with different friction coefficients, collision acceleration, standing angle, horizontal handrail height, and ring handrail height are analyzed. Results show that the horizontal handrail provides better protection in the three different standing passenger postures. Different friction coefficients and the standing angle have great impact on the head injuries of passengers in three different scenarios. The handrail height also has some effects on head injury of passengers with different standing postures, so it is necessary to be considered when designing the interior layout of the subway. This study may provide guidance for the safety design of the subway and some advices for standing subway passengers.

preprint2023arXiv

Influencing factors investigation of passenger head injury in subway collisions

With the development of the subway and the pressing demand of environmentally friendly transportation, more and more people travel by subway. In recent decades, the issues about passenger passive safety on the train have received extensive attention. In this research, the head injury of a standing passenger in the subway is investigated. Three MADYMO models of the different standing passenger postures, defined as baseline scenarios, are numerically set up. HIC15 values of passengers with different postures are gained by systematic parametric studies. The injury numerical simulation results of various scenarios with different friction coefficients, collision acceleration, standing angle, horizontal handrail height, and ring handrail height are analyzed. Results show that the horizontal handrail provides better protection in the three different standing passenger postures. Different friction coefficients and the standing angle have great impact on the head injuries of passengers in three different scenarios. The handrail height also has some effects on head injury of passengers with different standing postures, so it is necessary to be considered when designing the interior layout of the subway. This study may provide guidance for the safety design of the subway and some advices for standing subway passengers.

preprint2020arXiv

On the Analysis of Parallel Real-Time Tasks with Spin Locks

Locking protocol is an essential component in resource management of real-time systems, which coordinates mutually exclusive accesses to shared resources from different tasks. Although the design and analysis of locking protocols have been intensively studied for sequential real-time tasks, there has been little work on this topic for parallel real-time tasks. In this paper, we study the analysis of parallel real-time tasks using spin locks to protect accesses to shared resources in three commonly used request serving orders (unordered, FIFO-order and priority-order). A remarkable feature making our analysis method more accurate is to systematically analyze the blocking time which may delay a task's finishing time, where the impact to the total workload and the longest path length is jointly considered, rather than analyzing them separately and counting all blocking time as the workload that delays a task's finishing time, as commonly assumed in the state-of-the-art.

preprint2016arXiv

Licensed-Assisted Access to Unlicensed Spectrum in LTE Release 13

Exploiting the unlicensed spectrum is considered by 3GPP as one promising solution to meet the ever-increasing traffic growth. As a result, one major enhancement for LTE in Release 13 has been to enable its operation in the unlicensed spectrum via Licensed-Assisted Access (LAA). In this article, we provide an overview of the Release 13 LAA technology including motivation, use cases, LTE enhancements for enabling the unlicensed band operation, and the coexistence evaluation results contributed by 3GPP participants.

preprint2015arXiv

Time-resolved measure technique for electron beam envelope basing on synchronous framing and streaking principle

The time-resolved electron beam envelope parameters including sectional distribution and position are important and necessary for the study of beam transmission characteristics in the magnetic field and verifying the magnetic field setup rationality. One kind of high time-resolved beam envelope measurement system has developed recently. It is mainly constituted of high framing camera and streak camera. It can obtain 3 panoramic images of the beam and the time continuous information of the given beam cross section at one time. The recently obtained data has proved that several fast vibration of beam envelope along the diameter direction occur during the rising edge and the falling edge of the electron beam. The vibration period is about several nanoseconds. The effect of magnetic field on the electron beam is also observed and verified. The beam debug experiments have proved that the existing beam transmission design is reasonable and viable. The beam envelope measurement system will establish a good foundation for beam physics research.

preprint2014arXiv

Horn Clauses for Communicating Timed Systems

Languages based on the theory of timed automata are a well established approach for modelling and analysing real-time systems, with many applications both in industrial and academic context. Model checking for timed automata has been studied extensively during the last two decades; however, even now industrial-grade model checkers are available only for few timed automata dialects (in particular Uppaal timed automata), exhibit limited scalability for systems with large discrete state space, or cannot handle parametrised systems. We explore the use of Horn constraints and off-the-shelf model checkers for analysis of networks of timed automata. The resulting analysis method is fully symbolic and applicable to systems with large or infinite discrete state space, and can be extended to include various language features, for instance Uppaal-style communication/broadcast channels and BIP-style interactions, and systems with infinite parallelism. Experiments demonstrate the feasibility of the method.

preprint2010arXiv

Sampled Semantics of Timed Automata

Sampled semantics of timed automata is a finite approximation of their dense time behavior. While the former is closer to the actual software or hardware systems with a fixed granularity of time, the abstract character of the latter makes it appealing for system modeling and verification. We study one aspect of the relation between these two semantics, namely checking whether the system exhibits some qualitative (untimed) behaviors in the dense time which cannot be reproduced by any implementation with a fixed sampling rate. More formally, the \emph{sampling problem} is to decide whether there is a sampling rate such that all qualitative behaviors (the untimed language) accepted by a given timed automaton in dense time semantics can be also accepted in sampled semantics. We show that this problem is decidable.

Wang Yi

What is connected

Connect this record

See the researcher in context

Building this map preview

8 published item(s)