Fully implanted brain-computer interfaces(BCIs)are preferred as they eliminate signal degradation caused by interference and absorption in external tissues,a common issue in non-fully implanted systems.To optimize the...Fully implanted brain-computer interfaces(BCIs)are preferred as they eliminate signal degradation caused by interference and absorption in external tissues,a common issue in non-fully implanted systems.To optimize the design of electroencephalography electrodes in fully implanted BCI systems,this study investigates the penetration and absorption characteristics of microwave signals in human brain tissue at different frequencies.Electromagnetic simulations are used to analyze the power density distribution and specific absorption rate(SAR)of signals at various frequen-cies.The results indicate that lower-frequency signals offer advantages in terms of power density and attenuation coeffi-cients.However,SAR-normalized analysis,which considers both power density and electromagnetic radiation hazards,shows that higher-frequency signals perform better at superficial to intermediate depths.Specifically,at a depth of 2 mm beneath the cortex,the power density of a 6.5 GHz signal is 247.83%higher than that of a 0.4 GHz signal.At a depth of 5 mm,the power density of a 3.5 GHz signal exceeds that of a 0.4 GHz signal by 224.16%.The findings suggest that 6.5 GHz is optimal for electrodes at a depth of 2 mm,3.5 GHz for 5 mm,2.45 GHz for depths of 15-20 mm,and 1.8 GHz for 25 mm.展开更多
The User Interface Transition Diagram (UITD) is a formal modeling notation that simplifies the specification and design of user-system interactions. It is a valuable communication tool for technical and non-technical ...The User Interface Transition Diagram (UITD) is a formal modeling notation that simplifies the specification and design of user-system interactions. It is a valuable communication tool for technical and non-technical stakeholders during the requirements elicitation phase, as it provides a simple yet technically complete notation that is easy to understand. In this paper, we investigated the efficiency of creating UITDs using draw.io, a widely used diagramming software, compared to a dedicated UITD editor. We conducted a study to compare the time required to use each tool to complete the task of creating a medium size UITD, as well as the subjective ease of use and satisfaction of participants with the dedicated Editor. Our results show that the UITD editor is more efficient and preferred by participants, highlighting the importance of using specialized tools for creating formal models such as UITDs. The findings of this study have implications for software developers, designers, and other stakeholders involved in the specification and design of user-system interactions.展开更多
As an efficient and environmental friendly energy storage system, lithium battery has been integrated into daily mobile life [1].Lithium batteries are becoming indispensable to all types of electronic products such as...As an efficient and environmental friendly energy storage system, lithium battery has been integrated into daily mobile life [1].Lithium batteries are becoming indispensable to all types of electronic products such as laptop computers, mobile phones, digital cameras [2]. A typical lithium battery consists of positive electrode(cathode), negative electrode(anode), electrolyte and other inactive materials(binder, conductive agent, separator) [3].展开更多
In this work, we present DUSM （Disciplined Use Cases with Screen Mockups）, a novel method for describing and refining requirements specifications based on disciplined use cases and screen mockups. Disciplined use ca...In this work, we present DUSM （Disciplined Use Cases with Screen Mockups）, a novel method for describing and refining requirements specifications based on disciplined use cases and screen mockups. Disciplined use cases are characterized by a quite stringent template to prevent common mistakes, and to increase the quality of the specifications. Use cases descriptions are formulated in a structured natural language, which allows to reach a good level of precision, avoiding the need for further notations and complex models. Screen mockups are precisely associated with the steps of the use cases scenarios and they present the corresponding GUIs （graphical user interfaces） as seen by the human actors before/after the steps executions, improving the comprehension and the expression of the non-functional requirements on the user interface. DUSM has been proposed and fine-tuned during several editions of a software engineering course at the University of Genova. Then, by means of a series of case studies and experiments, we validated the method and evaluated： 1） its effectiveness in improving the comprehension and, in general, the quality of the produced requirements specification, and 2） its applicability in the industry, where the method has been found useful and not particularly onerous.展开更多
Application programming interface(API)libraries are extensively used by developers.To correctly program with APIs and avoid bugs,developers shall pay attention to API directives,which illustrate the constraints of API...Application programming interface(API)libraries are extensively used by developers.To correctly program with APIs and avoid bugs,developers shall pay attention to API directives,which illustrate the constraints of APIs.Unfortunately,API directives usually have diverse morphologies,making it time-consuming and error-prone for developers to discover all the relevant API directives.In this paper,we propose an approach leveraging text classification to discover API directives from API specifications.Specifically,given a set of training sentences in API specifications,our approach first characterizes each sentence by three groups of features.Then,to deal with the unequal distribution between API directives and non-directives,our approach employs an under-sampling strategy to split the imbalanced training set into several subsets and trains several classifiers.Given a new sentence in an API specification,our approach synthesizes the trained classifiers to predict whether it is an API directive.We have evaluated our approach over a publicly available annotated API directive corpus.The experimental results reveal that our approach achieves an F-measure value of up to 82.08%.In addition,our approach statistically outperforms the state-of-the-art approach by up to 29.67%in terms of F-measure.展开更多
The distribution of contact areas, or fractions of contacting, of protein-protein interfaces in crystals of pure polypeptides contains two components: a major exponential distribution and a minor flatter distribution....The distribution of contact areas, or fractions of contacting, of protein-protein interfaces in crystals of pure polypeptides contains two components: a major exponential distribution and a minor flatter distribution. Suppose the two components belong to specific and non-specific contacts,respectively, then the probability of a contact with a givena rea, or fraction of contacting, can be estimated. By dividing the whole database into two sub-databases, one of them is known to contain more specific contacts than the other, this hypothesis is confirmed and it is also proved that the fraction of contacting is more effective than the contact area on discriminating specific and non-specific contacts in protein crystals.展开更多
In this paper, a model of translation gateway is proposed. The communications between IPv4 network and IPv6 network are realized by using the Microsoft intermediate driver technology in environment of Windows 2000.
基金The Open Project of State Key Laboratory of Smart Grid Protection and Operation Control in 2022(No.SGNR0000KJJS2302150).
文摘Fully implanted brain-computer interfaces(BCIs)are preferred as they eliminate signal degradation caused by interference and absorption in external tissues,a common issue in non-fully implanted systems.To optimize the design of electroencephalography electrodes in fully implanted BCI systems,this study investigates the penetration and absorption characteristics of microwave signals in human brain tissue at different frequencies.Electromagnetic simulations are used to analyze the power density distribution and specific absorption rate(SAR)of signals at various frequen-cies.The results indicate that lower-frequency signals offer advantages in terms of power density and attenuation coeffi-cients.However,SAR-normalized analysis,which considers both power density and electromagnetic radiation hazards,shows that higher-frequency signals perform better at superficial to intermediate depths.Specifically,at a depth of 2 mm beneath the cortex,the power density of a 6.5 GHz signal is 247.83%higher than that of a 0.4 GHz signal.At a depth of 5 mm,the power density of a 3.5 GHz signal exceeds that of a 0.4 GHz signal by 224.16%.The findings suggest that 6.5 GHz is optimal for electrodes at a depth of 2 mm,3.5 GHz for 5 mm,2.45 GHz for depths of 15-20 mm,and 1.8 GHz for 25 mm.
文摘The User Interface Transition Diagram (UITD) is a formal modeling notation that simplifies the specification and design of user-system interactions. It is a valuable communication tool for technical and non-technical stakeholders during the requirements elicitation phase, as it provides a simple yet technically complete notation that is easy to understand. In this paper, we investigated the efficiency of creating UITDs using draw.io, a widely used diagramming software, compared to a dedicated UITD editor. We conducted a study to compare the time required to use each tool to complete the task of creating a medium size UITD, as well as the subjective ease of use and satisfaction of participants with the dedicated Editor. Our results show that the UITD editor is more efficient and preferred by participants, highlighting the importance of using specialized tools for creating formal models such as UITDs. The findings of this study have implications for software developers, designers, and other stakeholders involved in the specification and design of user-system interactions.
基金supported by National Key Research and Development Program (2016YFA0202500)the National Natural Science Foundation of China (21776019, and 21808124)Beijing Natural Science Foundation (L182021)。
文摘As an efficient and environmental friendly energy storage system, lithium battery has been integrated into daily mobile life [1].Lithium batteries are becoming indispensable to all types of electronic products such as laptop computers, mobile phones, digital cameras [2]. A typical lithium battery consists of positive electrode(cathode), negative electrode(anode), electrolyte and other inactive materials(binder, conductive agent, separator) [3].
文摘In this work, we present DUSM （Disciplined Use Cases with Screen Mockups）, a novel method for describing and refining requirements specifications based on disciplined use cases and screen mockups. Disciplined use cases are characterized by a quite stringent template to prevent common mistakes, and to increase the quality of the specifications. Use cases descriptions are formulated in a structured natural language, which allows to reach a good level of precision, avoiding the need for further notations and complex models. Screen mockups are precisely associated with the steps of the use cases scenarios and they present the corresponding GUIs （graphical user interfaces） as seen by the human actors before/after the steps executions, improving the comprehension and the expression of the non-functional requirements on the user interface. DUSM has been proposed and fine-tuned during several editions of a software engineering course at the University of Genova. Then, by means of a series of case studies and experiments, we validated the method and evaluated： 1） its effectiveness in improving the comprehension and, in general, the quality of the produced requirements specification, and 2） its applicability in the industry, where the method has been found useful and not particularly onerous.
基金the National Key Research and Development Plan of China under Grant No.2018YFB1003900the National Natural Science Foundation of China under Grant No.61902181,the China Postdoctoral Science Foundation under Grant No.2020M671489the CCF-Tencent Open Research Fund under Grant No.RAGR20200106.
文摘Application programming interface(API)libraries are extensively used by developers.To correctly program with APIs and avoid bugs,developers shall pay attention to API directives,which illustrate the constraints of APIs.Unfortunately,API directives usually have diverse morphologies,making it time-consuming and error-prone for developers to discover all the relevant API directives.In this paper,we propose an approach leveraging text classification to discover API directives from API specifications.Specifically,given a set of training sentences in API specifications,our approach first characterizes each sentence by three groups of features.Then,to deal with the unequal distribution between API directives and non-directives,our approach employs an under-sampling strategy to split the imbalanced training set into several subsets and trains several classifiers.Given a new sentence in an API specification,our approach synthesizes the trained classifiers to predict whether it is an API directive.We have evaluated our approach over a publicly available annotated API directive corpus.The experimental results reveal that our approach achieves an F-measure value of up to 82.08%.In addition,our approach statistically outperforms the state-of-the-art approach by up to 29.67%in terms of F-measure.
文摘The distribution of contact areas, or fractions of contacting, of protein-protein interfaces in crystals of pure polypeptides contains two components: a major exponential distribution and a minor flatter distribution. Suppose the two components belong to specific and non-specific contacts,respectively, then the probability of a contact with a givena rea, or fraction of contacting, can be estimated. By dividing the whole database into two sub-databases, one of them is known to contain more specific contacts than the other, this hypothesis is confirmed and it is also proved that the fraction of contacting is more effective than the contact area on discriminating specific and non-specific contacts in protein crystals.
基金Supported by the Natural Science Foundation of Henan Province(0511011400) Supported by the Natural Science Foundation of Education Department of Henan Province(2004520014)
文摘In this paper, a model of translation gateway is proposed. The communications between IPv4 network and IPv6 network are realized by using the Microsoft intermediate driver technology in environment of Windows 2000.
