Hao Wang

The main purpose of this paper is to present a formal systemPin which we enjoy a smooth-running technique and which countenances a universe of classes which is symmetrical as between large and small. More exactly,Pis a system which differs from the inconsistent system of [1] only in the introduction of a rather natural new restrictive condition on the defining formulas of the elements. It will be proved that if the weaker system of [2] is consistent, thenPis also consistent.After the discovery of paradoxes, it may be recalled, Russell and Zermelo in the same year proposed two different ways of safeguarding logic against contradictions. Since then various simplifications and refinements of these systems have been made. However, in the resulting systems of Zermelo set theory, generation of classes still tends to be laborious and uncertain; and in the systems of Russell's theory of types, complications in the matter of reduplication of classes and meaningfulness of formulas remain. In [2], Quine introduced a system which seems to be free from all these complications. But later it was found out that in it there appears to be an unavoidable difficulty connected with mathematical induction. Indeed, we encounter the curious situation that although we can prove in it the existence of a class V of all classes, and we can also prove particular existence theorems for each of infinitely many classes, nobody has so far contrived to prove in it that V is an infinite class or that there exists an infinite class at all.

In the name of safeguarding public interests and ethical principles, China’s National Health Commission bans unmarried women from using assisted reproductive technology (ART), including egg freezing. Supported by local governments, the ban has restricted single women’s reproductive rights nationwide. Although some courts bypassed the ban to allow widowed single women to use ART, they have not adopted a position in favour of single women’s reproductive autonomy, but quite the contrary. Faced with calls to relax the ban and allow single women to freeze eggs electively, the National Health Commission refused to amend their policy, partly to protect women’s well-being paternalistically and partly to implement the central government’s policies to boost the birthrate and maintain traditional family structures. While the government’s concerns about elective egg freezing are not entirely unfounded, they have failed to demonstrate that banning single women’s egg freezing is a suitable, necessary and proportionate means to safeguard societal interests and ethical principles. The authority’s assumptions that women cannot make rational decisions for their health even with adequate informed consent procedures, that banning egg freezing by single women promotes a culture of having children ‘at a proper age’, and that egg freezing by single women offends China’s public moralities have not been substantiated.

Franke Philosophy & Technology, 35(4), 1-7, (2022) offers an interesting claim that algorithmic transparency as manipulation does not necessarily follow that it is good or bad. Different people can have good reasons to adopt different evaluative attitudes towards this manipulation. Despite agreeing with some of his observations, this short reply will examine three crucial misconceptions in his arguments. In doing so, it defends why we are morally obliged to care about the manipulative potential of algorithmic transparency. It suggests that we as society have a moral duty to incorporate the value of transparency into algorithmic systems while keeping algorithmic transparency itself sensitive to power relations.

Automated algorithms are silently making crucial decisions about our lives, but most of the time we have little understanding of how they work. To counter this hidden influence, there have been increasing calls for algorithmic transparency. Much ink has been spilled over the informational account of algorithmic transparency—about how much information should be revealed about the inner workings of an algorithm. But few studies question the power structure beneath the informational disclosure of the algorithm. As a result, the information disclosure itself can be a means of manipulation used by a group of people to advance their own interests. Instead of concentrating on information disclosure, this paper examines algorithmic transparency from the perspective of power, explaining how algorithmic transparency under a disciplinary power structure can be a technique of normalizing people’s behavior. The informational disclosure of an algorithm can not only set up some de facto norms, but also build a scientific narrative of its algorithm to justify those norms. In doing so, people would be internally motivated to follow those norms with less critical analysis. This article suggests that we should not simply open the black box of an algorithm without challenging the existing power relations.

Security issue against different attacks is the core topic of cyberphysical systems. In this paper, optimal control theory, reinforcement learning, and neural networks are integrated to provide a brief overview of optimal robust control strategies for a benchmark power system. First, the benchmark power system models with actuator and sensor attacks are considered. Second, we investigate the optimal control issue for the nominal system and review the state-of-the-art RL methods along with the NN implementation. Third, we propose several robust control strategies for different types of cyberphysical attacks via the optimal control design, and stability proofs are derived through Lyapunov theory. Furthermore, the stability analysis with the NN approximation error, which is rarely discussed in the previous works, is studied in this paper. Finally, two different simulation examples demonstrate the effectiveness of our proposed methods.

System security is essential for the operation of the island microgrid. However, the system security is generally threatened due to the presence of physical uncertainties and cyber attacks. In this article, a novel sliding mode load control strategy is proposed for the microgrid to mitigate cyber attacks and physical uncertainties. Firstly, a high-order disturbance observer is designed to estimate the unmeasurable factors in the microgrid. Secondly, a HODO-based sliding mode control strategy is proposed where the estimated value observed by the HODO is applied to the sliding mode surface and control law. It can better guarantee the security of the isolated microgrid. Then, the stability of the HODO-based SMC is demonstrated by Lyapunov stability theory. Finally, simulation results show that the proposed control strategy has excellent control performance.

Our previous study has shown impaired blood oxygen level-dependent /functional magnetic resonance imaging activation of the visual attention network in strabismic amblyopia. However, there has been no comparison of resting state fMRI activation and functional connectivity in brain regions of interest along the visual attention network including visual cortex, intraparietal sulcus, and frontal eye fields during closed eye resting across the SA, or anisometropic amblyopes groups. Hence, we compared, gray matter volume, amplitude of low frequency fluctuations, regional homogeneity, and FC in the left and right hemisphere ROIs of the visual attention network in SA, AA, and healthy controls. Correlation analyses of corrected visual acuity of amblyopic eye and MRI results were also performed and showed that the LogMAR cVA of the amblyopic eye positively correlated with right zALFF and zReHo FEF of SA and right IPS of AA only. GMV of both left and right hemisphere V1 areas was significantly greater but ALFF was significantly lower for SA compared to AA and HC groups. zALFF and zReHo analyses in the AA and SA groups indicated significantly higher activation than that in the HC group in the right FEF and IPS but lower than that in the HC group in the left FEF, and only the SA group showed lower activation in both V1 areas than the HC group. FC values of the right FEF–left V1, right FEF–right V1, and right FEF–right IPS pathways in the SA and AA groups were also significantly higher than those in the HC group whereas all other FC values were non-significant. Thus, this study indicates that even during resting-state the visual attention network function is impaired in SA and AA participants with only right hemisphere FEF showing significant activation in SA and IPS in AA suggesting that the slower saccade activation times characteristic of amblyopic eyes lead to the dominant eye controlling activation of the visual attention network.

Based on the antecedent variable and the outcome variable on the individual level, we introduce mediating variables, integrate moderating variables to construct the conceptual model and theoretical framework of the influence mechanism of playfulness personality on creative deviance of employees. Based on the questionnaire survey data of employees in high-tech enterprises, this study adopts the nonparametric percentile Bootstrap method based on deviation correction to empirically discuss the influence mechanism of employee playfulness personality on employee creative deviance. The empirical analysis results show that employee playfulness personality has a significant positive influence on employee creative deviance. Positive impression management motivation and harmonious innovation passion partially mediate the relationships between employee playfulness personality and creative deviance. Employee growth need strength negatively moderates the relationships between positive impression management motivation and employee creative deviance. The stronger the employee growth need strength, the weaker the mediating effect of employees' playfulness personality on employee creative deviance through positive impression management motivation, and there is a moderated mediating effect.

Labels provide a quick and effective solution to obtain people interesting content from large-scale social network information. The current interest label extraction method based on the subgraph stream proves the feasibility of the subgraph stream for user label extraction. However, it is extremely time-consuming for constructing subgraphs. As an effective mathematical method to deal with fuzzy and uncertain information, rough set-based representations for subgraph stream construction are capable of capturing the uncertainties of the social network. Therefore, we propose an effective approach called RS_UNITE_SS, which is suitable for large-scale social network user interest label extraction. Specifically, we first propose the subgraph division algorithm to construct a subgraph stream by incorporating a rough set. Then, the algorithm for user real-time interest label extraction based on upper approximation is proposed by using sequentially characteristics of the subgraph. Empirically, we evaluate RS_UNITE_SS over real-world datasets, and experimental results demonstrate that our proposed approach is more computationally efficient than existing methods while achieving higher precision value and MRR value.