We investigated factors contributing to mobile phone dependence. To 139 medical students, we administered a self-reporting questionnaire designed to evaluate mobile phone dependence, health-related lifestyle, patterns...We investigated factors contributing to mobile phone dependence. To 139 medical students, we administered a self-reporting questionnaire designed to evaluate mobile phone dependence, health-related lifestyle, patterns of behavior, and depressive state. Multivariate logistic regression analysis revealed that scores for poor health-related lifestyle, Type A behavior pattern, and presence of depression are independently associated with degree of mobile phone dependency. These findings suggest that persons with an unhealthy lifestyle, Type A behavior traits, or depression might benefit from mobile phone use guidance.展开更多
International relations theory can serve as a guide to understanding national behaviour,especially those that are strained by ideological misunderstandings.Realism basically believes that state behaviour reflects the ...International relations theory can serve as a guide to understanding national behaviour,especially those that are strained by ideological misunderstandings.Realism basically believes that state behaviour reflects the state’s pursuit of power.Constructivism believes that thought drives behaviour.Therefore,in order to better understand the behaviour between states,this essay suggests that constructivism and realism can interact rather than repel each other,because constructivism can play a complementary role in realism.This combination can promote behavioural understanding between countries without compromising the interests of countries,thereby reducing the possibility of conflict and war.Finally,the ups and downs of Sino-US relations reflect the participation of ideology.In other words,based on this method to analyse the current relationship between China and the United States,it can be predicted that the two countries can basically avoid the war between them.展开更多
已有的跨句多元关系抽取工作将输入文本表示为集成句内和句间依赖关系的复杂文档图,但图中包含的噪声信息会影响关系抽取的效果。针对这种情况,该文利用Graph state LSTM获得上下文信息,再分别利用词级注意力机制或位置感知的注意力机制...已有的跨句多元关系抽取工作将输入文本表示为集成句内和句间依赖关系的复杂文档图,但图中包含的噪声信息会影响关系抽取的效果。针对这种情况,该文利用Graph state LSTM获得上下文信息,再分别利用词级注意力机制或位置感知的注意力机制,自动聚焦在对关系抽取起到决定性作用的关键词上,降低噪声信息的影响。并且比较了两种注意力机制对使用Graph state LSTM进行关系抽取的影响。通过在一个重要的精确医学数据集上进行实验,验证了该文所提出模型的有效性。展开更多
In this paper, we discuss quantum uncertainty relations of quantum coherence through a different method from Ref. [52]. Some lower bounds with parameters and their minimal bounds are obtained. Moreover, we find that f...In this paper, we discuss quantum uncertainty relations of quantum coherence through a different method from Ref. [52]. Some lower bounds with parameters and their minimal bounds are obtained. Moreover, we find that for two pairs of measurement bases with the same maximum overlap, quantum uncertainty relations and lower bounds with parameters are different, but the minimal bounds are the same. In addition, we discuss the dynamics of quantum uncertainty relations of quantum coherence and their lower bounds under the amplitude damping channel(ADC). We find that the ADC will change the uncertainty relations and their lower bounds, and their tendencies depend on the initial state.展开更多
A new set of relative orbit elements (ROEs) is used to derive a new elliptical formation flying model in previous work. In-plane and out-of-plane relative motions can be completely decoupled, which benefits elliptical...A new set of relative orbit elements (ROEs) is used to derive a new elliptical formation flying model in previous work. In-plane and out-of-plane relative motions can be completely decoupled, which benefits elliptical formation design. In order to study the elliptical control strategy and perturbation effects, it is necessary to derive the inverse transformation of the relative state transition matrix based on relative orbit elements. Poisson bracket theory is used to obtain the linear transformations between the two representations: the relative orbit elements and the geocentric orbital frame. In this paper, the details of these transformations are presented.展开更多
In this paper we develop several new refinement relations of Z for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement relation is not adequate ...In this paper we develop several new refinement relations of Z for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement relation is not adequate or correct when considering specifications that have temporal relationships of operations. The concept of temporal state variables is introduced into Z. Then new implementation relations are defined and new refinement relations are deduced, mainly for temporal state variables to process temporal relationships of operations. We use state transition systems to abstract the temporal state transitions. A simple example is used to show the procedures of MVORM. Finally some directions of further work are forwarded.展开更多
In this paper, we derive an explicit analytic expression of the relative entropy between two general Gaussian states. In the restriction of the set for Gaussian states and with the help of relative entropy formula and...In this paper, we derive an explicit analytic expression of the relative entropy between two general Gaussian states. In the restriction of the set for Gaussian states and with the help of relative entropy formula and Peres-Simon separability criterion, one can conveniently obtain the relative entropy entanglement for Gaussian states. As an example, the relative entanglement for a two-mode squeezed thermal state has been obtained.展开更多
A novel efficient semi-quantum private comparison protocol based on the d-dimensional GHZ states is proposed.With the assistance of semi-honest third party,two classical participants can compare the size relation of t...A novel efficient semi-quantum private comparison protocol based on the d-dimensional GHZ states is proposed.With the assistance of semi-honest third party,two classical participants can compare the size relation of their secrets without any information leakage.To reduce the consumption of quantum devices,the qubit efficiency of our protocol is improved by introducing the semi-quantum conception via the existing semi-quantum private comparisons.Furthermore,it is unnecessary to prepare the secure classical authentication channel among participants in advance.It is shown that our protocol is not only correct and efficient,but also free from external and internal attacks.展开更多
Two closest single-qubit states could be diagonalised by the same unitary matrix, which helps to find the relative entropy of entanglement of a two-qubit 'X' state. We formulate two binary equations for the relative...Two closest single-qubit states could be diagonalised by the same unitary matrix, which helps to find the relative entropy of entanglement of a two-qubit 'X' state. We formulate two binary equations for the relative entropy of entanglement and the corresponding closest separable state of a given two-qubit 'X' state. This approach can be applied to get the relative entropy of entanglement of many widely-discussed two-qubit states, such as pure states, Werner states, and so on.展开更多
Unified Modeling Language (UML) has become a de facto standard for design, specification and modeling of object oriented software systems. UML structures being graphical in nature lack defining semantics of the system...Unified Modeling Language (UML) has become a de facto standard for design, specification and modeling of object oriented software systems. UML structures being graphical in nature lack defining semantics of the systems and are prone to causing errors. Formal methods are proved to be a powerful tool for requirement analysis, design and specification of software systems. Hence, linking UML with formal approaches will enhance modeling power of software systems. In this paper, an approach is developed by integrating UML and Z notation focusing on equivalence relation of the state diagrams. The Z is used because it is based on the first order predicate logic having rigorous computer tool support. The reflexivity, symmetry and transitivity properties, being important at design level, are identified and described. It is believed that this approach will be effective and useful at both academics and industrial level. The need, reasoning and benefits of the integrated approach are discussed. The resultant formal models are analyzed and validated using Z/Eves tool.展开更多
Objective:To investigate the changes and significance of reproductive hormones, prethrombotic state markers and coagulation related factors in threatened abortion in early pregnancy.Methods:Review the clinical data of...Objective:To investigate the changes and significance of reproductive hormones, prethrombotic state markers and coagulation related factors in threatened abortion in early pregnancy.Methods:Review the clinical data of threatened abortion in early pregnancy (include continuing pregnancy and miscarriages) and healthy pregnant women in the early pregnancy in our hospital, and the levels of reproductive hormones, prethrombotic state markers and coagulation related factors were compared between the three groups.Results: The results of single factor variance showed that the levels ofβ-HCG, progesterone, E2, PC, PLG, D-D, TAT, F1+2 and PAI-1 level were all statistically significant. Compared with the control group, the average levels ofβ-HCG, progesterone, E2 and PLG in the pregnancy maintenance group and the interrupted pregnancy group were significantly decreased, and the level of the interrupted pregnancy group was significantly lower than that of the pregnancy maintenance group. The levels of PC, D-D, TAT, F1+2 and PAI-1 in the pregnancy maintenance group and the interrupted pregnancy group were significantly higher than those in the control group, and the level of the interrupted pregnancy group was significantly higher than that of the pregnancy maintenance group. There was no significant difference in the level of AT III between the groups.Conclusion: There are significant abnormal levels of reproductive hormones, prethrombotic state markers and coagulation related factors in patients with threatened abortion in early pregnancy, the detection of its index level is of great value in predicting threatened abortion in the early stage.展开更多
In our previous work [Phys. Rev. A 85 (2012) 044102], we studied the Berry phase of the ground state and exited states in the Lipkin model. In this work, using the Hellmann-Feynman theorem, we derive the relation be...In our previous work [Phys. Rev. A 85 (2012) 044102], we studied the Berry phase of the ground state and exited states in the Lipkin model. In this work, using the Hellmann-Feynman theorem, we derive the relation between the energy gap and the Berry phase closed to the excited state quantum phase transition (ESQPT) in the Lipkin model. It is found that the energy gap is approximately linearly dependent on the Berry phase being closed to the ESQPT for large N. As a result, the critical behavior of the energy gap is similar to that of the Berry phase. In addition, we also perform a semiclassical qualitative analysis about the critical behavior of the energy gap.展开更多
China has many lakes, marshlands and rivers. Due to their uneven geographical distribution and varied degrees of salinity, their exploitable freshwater resources are limited. In the wake of the highspeed growth of nat...China has many lakes, marshlands and rivers. Due to their uneven geographical distribution and varied degrees of salinity, their exploitable freshwater resources are limited. In the wake of the highspeed growth of national economy in recent years, human infringement upon their natural settings has been increasingly intense, leading to the degeneration of China's lacustrine ecosystems and the degradation of their surrounding environments. Lakes are shrinking and becoming more saline. In arid and semi-arid inland areas, some of them have even disappeared. In addition, lake water pollution and eutrophication in densely populated areas are getting worse, resulting in serious water shortages in some places. Silt deposition in lake basins, water surface shrinkage caused by hectic and irrational reclamation for farmland, the prevalence of flooding and water-logging calamities and ecosystem depletion caused by predatory exploitation of fishery resources, all of these have become restrictive factors in regional sustainable development. The author of this article suggests measures for the protection and sustainable exploitation of limnetic settings in China.展开更多
Completing 4 decades of successful service to Textile engineering Industry,India ITME Society lead a delegation to Bangladesh on 19th July 2016despite the disturbances and security concerns in Dhaka.This is the first ...Completing 4 decades of successful service to Textile engineering Industry,India ITME Society lead a delegation to Bangladesh on 19th July 2016despite the disturbances and security concerns in Dhaka.This is the first ever official delegation to Bangladesh by India ITME Society and Chairman Mr.Sanjiv Lathia was joined by Seema Srivastava,Exe.Director,Shekhar Shridhankar Jt.Director along with participants of ITME2016,ITEMA S.p.A,ITALY,Duratech Automation Pvt.Ltd.,CHTC展开更多
美国胃肠病学会于2024年1月在American Journal of Gastroenterology发表了酒精相关性肝病(ALD)的临床指南。该指南对ALD和酒精使用障碍的流行病学及疾病负担、ALD危险因素、酒精使用障碍的诊断与治疗、ALD疾病谱、ALD处理及公共政策与...美国胃肠病学会于2024年1月在American Journal of Gastroenterology发表了酒精相关性肝病(ALD)的临床指南。该指南对ALD和酒精使用障碍的流行病学及疾病负担、ALD危险因素、酒精使用障碍的诊断与治疗、ALD疾病谱、ALD处理及公共政策与预防等方面进行了详细地阐述。本文对其推荐意见和关键概念/陈述进行摘译。展开更多
文摘We investigated factors contributing to mobile phone dependence. To 139 medical students, we administered a self-reporting questionnaire designed to evaluate mobile phone dependence, health-related lifestyle, patterns of behavior, and depressive state. Multivariate logistic regression analysis revealed that scores for poor health-related lifestyle, Type A behavior pattern, and presence of depression are independently associated with degree of mobile phone dependency. These findings suggest that persons with an unhealthy lifestyle, Type A behavior traits, or depression might benefit from mobile phone use guidance.
文摘International relations theory can serve as a guide to understanding national behaviour,especially those that are strained by ideological misunderstandings.Realism basically believes that state behaviour reflects the state’s pursuit of power.Constructivism believes that thought drives behaviour.Therefore,in order to better understand the behaviour between states,this essay suggests that constructivism and realism can interact rather than repel each other,because constructivism can play a complementary role in realism.This combination can promote behavioural understanding between countries without compromising the interests of countries,thereby reducing the possibility of conflict and war.Finally,the ups and downs of Sino-US relations reflect the participation of ideology.In other words,based on this method to analyse the current relationship between China and the United States,it can be predicted that the two countries can basically avoid the war between them.
文摘已有的跨句多元关系抽取工作将输入文本表示为集成句内和句间依赖关系的复杂文档图,但图中包含的噪声信息会影响关系抽取的效果。针对这种情况,该文利用Graph state LSTM获得上下文信息,再分别利用词级注意力机制或位置感知的注意力机制,自动聚焦在对关系抽取起到决定性作用的关键词上,降低噪声信息的影响。并且比较了两种注意力机制对使用Graph state LSTM进行关系抽取的影响。通过在一个重要的精确医学数据集上进行实验,验证了该文所提出模型的有效性。
基金Project supported by the National Natural Science Foundation of China(Grant No.11671244)the Higher School Doctoral Subject Foundation of Ministry of Education of China(Grant No.20130202110001)Fundamental Research Funds for the Central Universities,China(Grant No.2016CBY003)
文摘In this paper, we discuss quantum uncertainty relations of quantum coherence through a different method from Ref. [52]. Some lower bounds with parameters and their minimal bounds are obtained. Moreover, we find that for two pairs of measurement bases with the same maximum overlap, quantum uncertainty relations and lower bounds with parameters are different, but the minimal bounds are the same. In addition, we discuss the dynamics of quantum uncertainty relations of quantum coherence and their lower bounds under the amplitude damping channel(ADC). We find that the ADC will change the uncertainty relations and their lower bounds, and their tendencies depend on the initial state.
文摘A new set of relative orbit elements (ROEs) is used to derive a new elliptical formation flying model in previous work. In-plane and out-of-plane relative motions can be completely decoupled, which benefits elliptical formation design. In order to study the elliptical control strategy and perturbation effects, it is necessary to derive the inverse transformation of the relative state transition matrix based on relative orbit elements. Poisson bracket theory is used to obtain the linear transformations between the two representations: the relative orbit elements and the geocentric orbital frame. In this paper, the details of these transformations are presented.
基金Supported by Natural Science Foundation of Hubei Province (98J0 75 ) Ziqiang Technical Innovation Foundation ofWuhan Universi
文摘In this paper we develop several new refinement relations of Z for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement relation is not adequate or correct when considering specifications that have temporal relationships of operations. The concept of temporal state variables is introduced into Z. Then new implementation relations are defined and new refinement relations are deduced, mainly for temporal state variables to process temporal relationships of operations. We use state transition systems to abstract the temporal state transitions. A simple example is used to show the procedures of MVORM. Finally some directions of further work are forwarded.
基金Project supported by the Natural Science Foundation of Shandong Province, China (Grant No Y2001A04).
文摘In this paper, we derive an explicit analytic expression of the relative entropy between two general Gaussian states. In the restriction of the set for Gaussian states and with the help of relative entropy formula and Peres-Simon separability criterion, one can conveniently obtain the relative entropy entanglement for Gaussian states. As an example, the relative entanglement for a two-mode squeezed thermal state has been obtained.
基金the National Natural Science Foundation of China(Grant Nos.62161025 and 61871205)the Project of Scientific and Technological Innovation Base of Jiangxi Province,China(Grant No.20203CCD46008)the Jiangxi Provincial Key Laboratory of Fusion and Information Control,China(Grant No.20171BCD40005).
文摘A novel efficient semi-quantum private comparison protocol based on the d-dimensional GHZ states is proposed.With the assistance of semi-honest third party,two classical participants can compare the size relation of their secrets without any information leakage.To reduce the consumption of quantum devices,the qubit efficiency of our protocol is improved by introducing the semi-quantum conception via the existing semi-quantum private comparisons.Furthermore,it is unnecessary to prepare the secure classical authentication channel among participants in advance.It is shown that our protocol is not only correct and efficient,but also free from external and internal attacks.
基金Project supported by the National Natural Science Foundation of China (Grant No. 10804042)supported by the Scientific Research Foundation of the Education Department of Jiangxi Province,China (Project No. GJJ09440)
文摘Two closest single-qubit states could be diagonalised by the same unitary matrix, which helps to find the relative entropy of entanglement of a two-qubit 'X' state. We formulate two binary equations for the relative entropy of entanglement and the corresponding closest separable state of a given two-qubit 'X' state. This approach can be applied to get the relative entropy of entanglement of many widely-discussed two-qubit states, such as pure states, Werner states, and so on.
文摘Unified Modeling Language (UML) has become a de facto standard for design, specification and modeling of object oriented software systems. UML structures being graphical in nature lack defining semantics of the systems and are prone to causing errors. Formal methods are proved to be a powerful tool for requirement analysis, design and specification of software systems. Hence, linking UML with formal approaches will enhance modeling power of software systems. In this paper, an approach is developed by integrating UML and Z notation focusing on equivalence relation of the state diagrams. The Z is used because it is based on the first order predicate logic having rigorous computer tool support. The reflexivity, symmetry and transitivity properties, being important at design level, are identified and described. It is believed that this approach will be effective and useful at both academics and industrial level. The need, reasoning and benefits of the integrated approach are discussed. The resultant formal models are analyzed and validated using Z/Eves tool.
文摘Objective:To investigate the changes and significance of reproductive hormones, prethrombotic state markers and coagulation related factors in threatened abortion in early pregnancy.Methods:Review the clinical data of threatened abortion in early pregnancy (include continuing pregnancy and miscarriages) and healthy pregnant women in the early pregnancy in our hospital, and the levels of reproductive hormones, prethrombotic state markers and coagulation related factors were compared between the three groups.Results: The results of single factor variance showed that the levels ofβ-HCG, progesterone, E2, PC, PLG, D-D, TAT, F1+2 and PAI-1 level were all statistically significant. Compared with the control group, the average levels ofβ-HCG, progesterone, E2 and PLG in the pregnancy maintenance group and the interrupted pregnancy group were significantly decreased, and the level of the interrupted pregnancy group was significantly lower than that of the pregnancy maintenance group. The levels of PC, D-D, TAT, F1+2 and PAI-1 in the pregnancy maintenance group and the interrupted pregnancy group were significantly higher than those in the control group, and the level of the interrupted pregnancy group was significantly higher than that of the pregnancy maintenance group. There was no significant difference in the level of AT III between the groups.Conclusion: There are significant abnormal levels of reproductive hormones, prethrombotic state markers and coagulation related factors in patients with threatened abortion in early pregnancy, the detection of its index level is of great value in predicting threatened abortion in the early stage.
基金Supported by the National Natural Science Foundation of China under Grant Nos 11204012 and 91321103
文摘In our previous work [Phys. Rev. A 85 (2012) 044102], we studied the Berry phase of the ground state and exited states in the Lipkin model. In this work, using the Hellmann-Feynman theorem, we derive the relation between the energy gap and the Berry phase closed to the excited state quantum phase transition (ESQPT) in the Lipkin model. It is found that the energy gap is approximately linearly dependent on the Berry phase being closed to the ESQPT for large N. As a result, the critical behavior of the energy gap is similar to that of the Berry phase. In addition, we also perform a semiclassical qualitative analysis about the critical behavior of the energy gap.
文摘China has many lakes, marshlands and rivers. Due to their uneven geographical distribution and varied degrees of salinity, their exploitable freshwater resources are limited. In the wake of the highspeed growth of national economy in recent years, human infringement upon their natural settings has been increasingly intense, leading to the degeneration of China's lacustrine ecosystems and the degradation of their surrounding environments. Lakes are shrinking and becoming more saline. In arid and semi-arid inland areas, some of them have even disappeared. In addition, lake water pollution and eutrophication in densely populated areas are getting worse, resulting in serious water shortages in some places. Silt deposition in lake basins, water surface shrinkage caused by hectic and irrational reclamation for farmland, the prevalence of flooding and water-logging calamities and ecosystem depletion caused by predatory exploitation of fishery resources, all of these have become restrictive factors in regional sustainable development. The author of this article suggests measures for the protection and sustainable exploitation of limnetic settings in China.
文摘Completing 4 decades of successful service to Textile engineering Industry,India ITME Society lead a delegation to Bangladesh on 19th July 2016despite the disturbances and security concerns in Dhaka.This is the first ever official delegation to Bangladesh by India ITME Society and Chairman Mr.Sanjiv Lathia was joined by Seema Srivastava,Exe.Director,Shekhar Shridhankar Jt.Director along with participants of ITME2016,ITEMA S.p.A,ITALY,Duratech Automation Pvt.Ltd.,CHTC
文摘美国胃肠病学会于2024年1月在American Journal of Gastroenterology发表了酒精相关性肝病(ALD)的临床指南。该指南对ALD和酒精使用障碍的流行病学及疾病负担、ALD危险因素、酒精使用障碍的诊断与治疗、ALD疾病谱、ALD处理及公共政策与预防等方面进行了详细地阐述。本文对其推荐意见和关键概念/陈述进行摘译。