Objective: To analyze the clinical manifestations of intraocular lens (IOL) opacity after cataract surgery through case reports, and to explore its pathogenesis and diagnosis and treatment ideas, so as to provide a ba...Objective: To analyze the clinical manifestations of intraocular lens (IOL) opacity after cataract surgery through case reports, and to explore its pathogenesis and diagnosis and treatment ideas, so as to provide a basis for the early diagnosis and correct treatment of IOL opacity. Methods: The clinical data of one patient diagnosed with IOL opacity and underwent intraocular lens replacement in the Department of Ophthalmology, Affiliated Hospital of Youjiang Medical College for Nationalities in December 2023 were reported. The characteristics of IOL opacity were observed, and the research progress and pathogenesis of IOL opacity were understood by consulting the literature. Results: This patient is the first case of IOL opacity in our hospital. The specific reason is unclear. It is considered to be related to the IOL material. Conclusion: Hydrophilic acrylic IOL is widely used in clinic because of its good histocompatibility. However, due to its hydrophilicity, there are more cases of IOL opacity than other types of IOL. At present, there is no unified conclusion on the etiology and mechanism of IOL opacity. IOL opacity can seriously affect vision and is easily misdiagnosed as a posterior cataract. We should fully disperse the large pupil and carefully observe under the slit lamp. The most effective treatment for this disease is IOL replacement.展开更多
We explored the effects of algorithmic opacity on employees’playing dumb and evasive hiding rather than rationalized hiding.We examined the mediating role of job insecurity and the moderating role of employee-AI coll...We explored the effects of algorithmic opacity on employees’playing dumb and evasive hiding rather than rationalized hiding.We examined the mediating role of job insecurity and the moderating role of employee-AI collaboration.Participants were 421 full-time employees(female=46.32%,junior employees=31.83%)from a variety of organizations and industries that interact with AI.Employees filled out data on algorithm opacity,job insecurity,knowledge hiding,employee-AI collaboration,and control variables.The results of the structural equation modeling indicated that algorithm opacity exacerbated employees’job insecurity,and job insecurity mediated between algorithm opacity and playing dumb and evasive hiding rather than rationalized hiding.The relationship between algorithmic opacity and playing dumb and evasive hiding was more positive when the level of employee-AI collaboration was higher.These findings suggest that employee-AI collaboration reinforces the indirect relationship between algorithmic opacity and playing dumb and evasive hiding.Our study contributes to research on human and AI collaboration by exploring the dark side of employee-AI collaboration.展开更多
This paper addresses the verification of strong currentstate opacity with respect to real-time observations generated from a discrete-event system that is modeled with time labeled Petri nets. The standard current-sta...This paper addresses the verification of strong currentstate opacity with respect to real-time observations generated from a discrete-event system that is modeled with time labeled Petri nets. The standard current-state opacity cannot completely characterize higher-level security. To ensure the higher-level security requirements of a time-dependent system, we propose a strong version of opacity known as strong current-state opacity. For any path(state-event sequence with time information)π derived from a real-time observation that ends at a secret state, the strong current-state opacity of the real-time observation signifies that there is a non-secret path with the same real-time observation as π. We propose general and non-secret state class graphs, which characterize the general and non-secret states of time-dependent systems, respectively. To capture the observable behavior of non-secret states, a non-secret observer is proposed.Finally, we develop a structure called a real-time concurrent verifier to verify the strong current-state opacity of time labeled Petri nets. This approach is efficient since the real-time concurrent verifier can be constructed by solving a certain number of linear programming problems.展开更多
文摘Objective: To analyze the clinical manifestations of intraocular lens (IOL) opacity after cataract surgery through case reports, and to explore its pathogenesis and diagnosis and treatment ideas, so as to provide a basis for the early diagnosis and correct treatment of IOL opacity. Methods: The clinical data of one patient diagnosed with IOL opacity and underwent intraocular lens replacement in the Department of Ophthalmology, Affiliated Hospital of Youjiang Medical College for Nationalities in December 2023 were reported. The characteristics of IOL opacity were observed, and the research progress and pathogenesis of IOL opacity were understood by consulting the literature. Results: This patient is the first case of IOL opacity in our hospital. The specific reason is unclear. It is considered to be related to the IOL material. Conclusion: Hydrophilic acrylic IOL is widely used in clinic because of its good histocompatibility. However, due to its hydrophilicity, there are more cases of IOL opacity than other types of IOL. At present, there is no unified conclusion on the etiology and mechanism of IOL opacity. IOL opacity can seriously affect vision and is easily misdiagnosed as a posterior cataract. We should fully disperse the large pupil and carefully observe under the slit lamp. The most effective treatment for this disease is IOL replacement.
基金supported by the Social Science Foundation of Liaoning Province(L23BJY022).
文摘We explored the effects of algorithmic opacity on employees’playing dumb and evasive hiding rather than rationalized hiding.We examined the mediating role of job insecurity and the moderating role of employee-AI collaboration.Participants were 421 full-time employees(female=46.32%,junior employees=31.83%)from a variety of organizations and industries that interact with AI.Employees filled out data on algorithm opacity,job insecurity,knowledge hiding,employee-AI collaboration,and control variables.The results of the structural equation modeling indicated that algorithm opacity exacerbated employees’job insecurity,and job insecurity mediated between algorithm opacity and playing dumb and evasive hiding rather than rationalized hiding.The relationship between algorithmic opacity and playing dumb and evasive hiding was more positive when the level of employee-AI collaboration was higher.These findings suggest that employee-AI collaboration reinforces the indirect relationship between algorithmic opacity and playing dumb and evasive hiding.Our study contributes to research on human and AI collaboration by exploring the dark side of employee-AI collaboration.
基金supported by the Special Fund for Scientific and Technological Innovation Strategy of Guangdong Province(2022A0505030025)the Science and Technology Fund,FDCT,Macao SAR(0064/2021/A2)
文摘This paper addresses the verification of strong currentstate opacity with respect to real-time observations generated from a discrete-event system that is modeled with time labeled Petri nets. The standard current-state opacity cannot completely characterize higher-level security. To ensure the higher-level security requirements of a time-dependent system, we propose a strong version of opacity known as strong current-state opacity. For any path(state-event sequence with time information)π derived from a real-time observation that ends at a secret state, the strong current-state opacity of the real-time observation signifies that there is a non-secret path with the same real-time observation as π. We propose general and non-secret state class graphs, which characterize the general and non-secret states of time-dependent systems, respectively. To capture the observable behavior of non-secret states, a non-secret observer is proposed.Finally, we develop a structure called a real-time concurrent verifier to verify the strong current-state opacity of time labeled Petri nets. This approach is efficient since the real-time concurrent verifier can be constructed by solving a certain number of linear programming problems.
