In the process of constructing domain-specific knowledge graphs,the task of relational triple extraction plays a critical role in transforming unstructured text into structured information.Existing relational triple e...In the process of constructing domain-specific knowledge graphs,the task of relational triple extraction plays a critical role in transforming unstructured text into structured information.Existing relational triple extraction models facemultiple challenges when processing domain-specific data,including insufficient utilization of semantic interaction information between entities and relations,difficulties in handling challenging samples,and the scarcity of domain-specific datasets.To address these issues,our study introduces three innovative components:Relation semantic enhancement,data augmentation,and a voting strategy,all designed to significantly improve the model’s performance in tackling domain-specific relational triple extraction tasks.We first propose an innovative attention interaction module.This method significantly enhances the semantic interaction capabilities between entities and relations by integrating semantic information fromrelation labels.Second,we propose a voting strategy that effectively combines the strengths of large languagemodels(LLMs)and fine-tuned small pre-trained language models(SLMs)to reevaluate challenging samples,thereby improving the model’s adaptability in specific domains.Additionally,we explore the use of LLMs for data augmentation,aiming to generate domain-specific datasets to alleviate the scarcity of domain data.Experiments conducted on three domain-specific datasets demonstrate that our model outperforms existing comparative models in several aspects,with F1 scores exceeding the State of the Art models by 2%,1.6%,and 0.6%,respectively,validating the effectiveness and generalizability of our approach.展开更多
In this work, four empirical models of statistical thickness, namely the models of Harkins and Jura, Hasley, Carbon Black and Jaroniec, were compared in order to determine the textural properties (external surface and...In this work, four empirical models of statistical thickness, namely the models of Harkins and Jura, Hasley, Carbon Black and Jaroniec, were compared in order to determine the textural properties (external surface and surface of micropores) of a clay concrete without molasses and clay concretes stabilized with 8%, 12% and 16% molasses. The results obtained show that Hasley’s model can be used to obtain the external surfaces. However, it does not allow the surface of the micropores to be obtained, and is not suitable for the case of simple clay concrete (without molasses) and for clay concretes stabilized with molasses. The Carbon Black, Jaroniec and Harkins and Jura models can be used for clay concrete and stabilized clay concrete. However, the Carbon Black model is the most relevant for clay concrete and the Harkins and Jura model is for molasses-stabilized clay concrete. These last two models augur well for future research.展开更多
This article contains a system conversion from object oriented design into Software Product Line (SPL) using delta modeling of Abstract Behavioral Specification (ABS). ABS is a modeling language which targets system w...This article contains a system conversion from object oriented design into Software Product Line (SPL) using delta modeling of Abstract Behavioral Specification (ABS). ABS is a modeling language which targets system with high level of variety and supports SPL development with delta modeling. The case study of this thesis is a digital library system called Library Automation and Digital Archive (LONTAR). Originally, LONTAR only uses SOAP-based web service. With ABS, LONTAR will be converted into SPL and implement another web service called REST. The motivation of this conversion of LONTAR from object oriented into SPL is because it is easier to develop system with ABS than using regular object oriented. Product definition in ABS is relatively easier than creating a new subclass and do customization to make it works well.展开更多
This paper analyzes the applications of four air terminal device(ATD)models(i.e.,the basic model,the box model,the N-point momentum model,the jet main region specification model)in computational fluid dynamics(CF...This paper analyzes the applications of four air terminal device(ATD)models(i.e.,the basic model,the box model,the N-point momentum model,the jet main region specification model)in computational fluid dynamics(CFD)simulation and their performance in case study.A full-scale experiment is performed in an environment chamber,and the measured air velocity and temperature fields are compared with the simulation results by using four ATD models.The velocity and temperature fields are measured by an omni-directional thermo-anemometer system.It demonstrates that the basic model and the box model are not applicable to complicated air terminal devices.At the occupant area,the relative errors between simulated and measured air velocities are less than 20% based on the N-point momentum model and the jet main region specification model.Around the ATD zone,the relative error between the numerical and measured air velocity based on the jet main region specification model is less than 15%.The jet main region specification model is proved to be an applicable approach and a more accurate way to study the airflow pattern around the ATD with complicated geometry.展开更多
SUMMARY The p value has been widely used as a way to summarise the significance in data analysis. However, misuse and misinterpretation of the p value is common in practice. Our result shows that if the model specific...SUMMARY The p value has been widely used as a way to summarise the significance in data analysis. However, misuse and misinterpretation of the p value is common in practice. Our result shows that if the model specification is wrong, the distribution of the p value may be inappropriate, which makes the decision based on the p value invalid.展开更多
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.展开更多
Purpose:The purpose of this study is to develop and compare model choice strategies in context of logistic regression.Model choice means the choice of the covariates to be included in the model.Design/methodology/appr...Purpose:The purpose of this study is to develop and compare model choice strategies in context of logistic regression.Model choice means the choice of the covariates to be included in the model.Design/methodology/approach:The study is based on Monte Carlo simulations.The methods are compared in terms of three measures of accuracy:specificity and two kinds of sensitivity.A loss function combining sensitivity and specificity is introduced and used for a final comparison.Findings:The choice of method depends on how much the users emphasize sensitivity against specificity.It also depends on the sample size.For a typical logistic regression setting with a moderate sample size and a small to moderate effect size,either BIC,BICc or Lasso seems to be optimal.Research limitations:Numerical simulations cannot cover the whole range of data-generating processes occurring with real-world data.Thus,more simulations are needed.Practical implications:Researchers can refer to these results if they believe that their data-generating process is somewhat similar to some of the scenarios presented in this paper.Alternatively,they could run their own simulations and calculate the loss function.Originality/value:This is a systematic comparison of model choice algorithms and heuristics in context of logistic regression.The distinction between two types of sensitivity and a comparison based on a loss function are methodological novelties.展开更多
In this paper, a formal specification language and a tool systembased on it are presented. With the tool system, the new model of softwaredevelopment─“specification plus transformation to program” can be im-pleme...In this paper, a formal specification language and a tool systembased on it are presented. With the tool system, the new model of softwaredevelopment─“specification plus transformation to program” can be im-plemented.展开更多
The need for travel demand models is growing worldwide. Obtaining reasonably accurate level of service (LOS) attributes of different travel modes such as travel time and cost representing the performance of transporta...The need for travel demand models is growing worldwide. Obtaining reasonably accurate level of service (LOS) attributes of different travel modes such as travel time and cost representing the performance of transportation system is not a trivial task, especially in growing cities of developing countries. This study investigates the sensitivity of results of a travel mode choice model to different specifications of network-based LOS attributes using a mixed logit model. The study also looks at the possibilities of correcting some of the inaccuracies in network-based LOS attributes. Further, the study also explores the effects of different specifications of LOS data on implied values of time and aggregation forecasting. The findings indicate that the implied values of time are very sensitive to specification of data and model implying that utmost care must be taken if the purpose of the model is to estimate values of time. Models estimated on all specifications of LOS-data perform well in prediction, likely suggesting that the extra expense on developing a more detailed and accurate network models so as to derive more precise LOS attributes is unnecessary for impact analyses of some policies.展开更多
Automatically mapping a requirement specification to design model in Software Engineering is an open complex problem. Existing methods use a complex manual process that use the knowledge from the requirement specifica...Automatically mapping a requirement specification to design model in Software Engineering is an open complex problem. Existing methods use a complex manual process that use the knowledge from the requirement specification/modeling and the design, and try to find a good match between them. The key task done by designers is to convert a natural language based requirement specification (or corresponding UML based representation) into a predominantly computer language based design model—thus the process is very complex as there is a very large gap between our natural language and computer language. Moreover, this is not just a simple language conversion, but rather a complex knowledge conversion that can lead to meaningful design implementation. In this paper, we describe an automated method to map Requirement Model to Design Model and thus automate/partially automate the Structured Design (SD) process. We believe, this is the first logical step in mapping a more complex requirement specification to design model. We call it IRTDM (Intelligent Agent based requirement model to design model mapping). The main theme of IRTDM is to use some AI (Artificial Intelligence) based algorithms, semantic representation using Ontology or Predicate Logic, design structures using some well known design framework and Machine Learning algorithms for learning over time. Semantics help convert natural language based requirement specification (and associated UML representation) into high level design model followed by mapping to design structures. AI method can also be used to convert high level design structures into lower level design which then can be refined further by some manual and/or semi automated process. We emphasize that automation is one of the key ways to minimize the software cost, and is very important for all, especially, for the “Design for the Bottom 90% People” or BOP (Base of the Pyramid People).展开更多
If the components in a component-based software system come from different sources, the characteristics of the components may be different. Therefore, evaluating the reliability of a component-based system with a fixe...If the components in a component-based software system come from different sources, the characteristics of the components may be different. Therefore, evaluating the reliability of a component-based system with a fixed model for all components will not be reasonable. To solve this problem, this paper combines a single reliability growth model with an architecture-based reliability model, and proposes an optimal selecting approach. First, the most appropriate model of each component is selected according to the historical reliability data of the component, so that the evaluation deviation is the smallest. Then, system reliability is evaluated according to both the relationships among components and the using frequency of each component. As the approach takes into account the historical data and the using frequency of each component, the evaluation and prediction results are more accurate than those of using a single model.展开更多
Software engineering has been taught at many institutions as individual course for many years. Recently, many higher education institutions offer a BSc degree in Software Engineering. Software engineers are required, ...Software engineering has been taught at many institutions as individual course for many years. Recently, many higher education institutions offer a BSc degree in Software Engineering. Software engineers are required, especially at the small enterprises, to play many roles, and sometimes simultaneously. Beside the technical and managerial skills, software engineers should have additional intellectual skills such as domain-specific abstract thinking. Therefore, software engineering curriculum should help the students to build and improve their skills to meet the labor market needs. This study aims to explore the perceptions of software engineering students on the influence of learning software modeling and design on their domain-specific abstract thinking. Also, we explore the role of the course project in improving their domain-specific abstract thinking. The study results have shown that, most of the surveyed students believe that learning and practicing modeling and design concepts contribute to their ability to think abstractly on specific domain. However, this finding is influenced by the students’ lack of the comprehension of some modeling and design aspects (e.g., generalization). We believe that, such aspects should be introduced to the students at early levels of software engineering curriculum, which certainly will improve their ability to think abstractly on specific domain.展开更多
Building-level loads and load schedules prescribed by current modeling rules save modelers time and provide standards during whole building performance modeling.However,recent studies show that they sometimes insuffic...Building-level loads and load schedules prescribed by current modeling rules save modelers time and provide standards during whole building performance modeling.However,recent studies show that they sometimes insufficiently capture the entire building performance due to the varied loads and load schedules for different space types.As a solution to this issue,this paper presents a database of default building-space-specific loads and load schedules for use in energy modeling,and in particular code compliance modeling for commercial buildings.The existing sets of default loads and load schedules are reviewed and the challenges behind using them for specific research topics are discussed.Then,the proposed method to develop the building-space-specific loads and load schedules is introduced.After that,the database for these building-space-specific loads and load schedules is presented.In addition,one case is studied to demonstrate the applications of these loads and load schedules.In this case study,three methods are used to develop building energy models:space-specific(using knowledge of the distribution and location of space types and applying the space-specific data in the developed database),building-level(assuming a lack of knowledge of the space types and using the building-level data in the developed database),and calculated-ratio(assuming knowledge of the distribution of space types but not their locations and calculating weighted average values based on the space-specific data in the developed database).The energy results simulated by using these three methods are compared,which shows building-level methods can produce significantly different absolute energy and energy savings results than the results using space-specific methods.Finally,this paper discusses the application scope and maintenance of this new database.展开更多
To reduce complexity, the combat effectiveness simulation system(CESS) is often decomposed into static structure,physical behavior, and cognitive behavior, and model abstraction is layered onto domain invariant knowle...To reduce complexity, the combat effectiveness simulation system(CESS) is often decomposed into static structure,physical behavior, and cognitive behavior, and model abstraction is layered onto domain invariant knowledge(DIK) and application variant knowledge(AVK) levels. This study concentrates on the specification of CESS’s physical behaviors at the DIK level of abstraction, and proposes a model driven framework for efficiently developing simulation models within model-driven engineering(MDE). Technically, this framework integrates the four-layer metamodeling architecture and a set of model transformation techniques with the objective of reducing model heterogeneity and enhancing model continuity. As a proof of concept, a torpedo example is illustrated to explain how physical models are developed following the proposed framework. Finally, a combat scenario is constructed to demonstrate the availability, and a further verification is shown by a reasonable agreement between simulation results and field observations.展开更多
In view of the flaws of component-based software (CBS) reliability modeling and analysis, the low recognition degree of debugging process, too many assumptions and difficulties in obtaining the solution, a CBS relia...In view of the flaws of component-based software (CBS) reliability modeling and analysis, the low recognition degree of debugging process, too many assumptions and difficulties in obtaining the solution, a CBS reliability simulation process is presented incorporating the imperfect debugging and the limitation of debugging resources. Considering the effect of imperfect debugging on fault detec- tion and correction process, a CBS integration testing model is sketched by multi-queue muhichannel and finite server queuing model (MMFSQM). Compared with the analytical method based on pa- rameters and other nonparametric approaches, the simulation approach can relax more of the usual reliability modeling assumptions and effectively expound integration testing process of CBS. Then, CBS reliability process simulation procedure is developed accordingly. The proposed simulation ap- proach is validated to be sound and effective by simulation experiment studies and analysis.展开更多
The tensile properties of a series of soybean protein yarns are tested in USTER THINKPAID Ⅲ. A nonlinear viscoelastic model has been proposed to describe the tensile behavior of soybean protein yarns. The model is co...The tensile properties of a series of soybean protein yarns are tested in USTER THINKPAID Ⅲ. A nonlinear viscoelastic model has been proposed to describe the tensile behavior of soybean protein yarns. The model is composed of a Maxwell element, a linear spring and a nonlinear spring. The tensile properties of soybean protein yam are analyzed. The stress-strain curves of the yams are fitted. The average breaking tenacity and specific work of rupture are calculated using the average breaking strain. Comparisons indicate that theoretical predictions conform the experimental results very well.展开更多
In our previous study, we identified a novel testis-specific expressed gene 2 (TSEG-2) from mouse testis. To further investigate its functions, 35 male Balb/c mice (8 weeks old) were divided into cryptorchidism gr...In our previous study, we identified a novel testis-specific expressed gene 2 (TSEG-2) from mouse testis. To further investigate its functions, 35 male Balb/c mice (8 weeks old) were divided into cryptorchidism group (n=20), sham group (n=10), and control group (n=5). In cryptorchidism group, the right testes were anchored to the inner lateral abdominal wall. In situ hybridization (ISH) was applied to measure the localization of TSEG-2 in mouse testis. Real-time quantitative PCR was performed to detect the expression of TSEG-2 gene. Meanwhile, under the mediation of polyethylenimine (PEI), the recombinant vector pEGFP-TSEG-2 (n=5) or empty vector (mock, n=5) was transfected into the testis of male mice. The transfection efficiencies were measured under a fluorescence microscope. The apoptosis of spermatogenic cells was detected by terminal deoxynuleotidyl-mediated nick end labeling (TUNEL). The results showed that TSEG-2 was expressed in convoluted seminiferous tubules, more precisely, in spermatogonia and spermatocytes. As compared with sham and control groups, the TSEG-2 transcription was significantly enhanced (P〈0.05) and was correlated with apoptosis of spermatogenic cells in cryptorchid testes (P〈0.05). PEI was efficient in mediating transfeetion of TSEG-2 into seminiferous tubules of testis. One week post-transfection, intratesticular injection of TSEG-2 resulted in increased apoptosis of spermatogenic cells in vivo (P〈0.05). These results indicate that TSEG-2 may participate in the apoptosis of spermatogenic cells and the pathogenesis of cryptorchidism.展开更多
A tolerance modeling method of geometric variations within three-dimensional(3D) tolerance domain is proposed.According to the classification method of feature variations and classes of invariance or symmetry in the n...A tolerance modeling method of geometric variations within three-dimensional(3D) tolerance domain is proposed.According to the classification method of feature variations and classes of invariance or symmetry in the new generation Geometrical Product Specifications(GPS) system,the proposed method is based on the Small Displacement Torsor(SDT) concept,and SDT is used to represent the geometric deviations between the nominal feature and the fitting feature. Furthermore,the variation zones of several kinds complex or irregular geometric features are constructed,and the corresponding tolerance modeling methods are discussed respectively. Finally,an example is presented to verify the efficiency of the presented method for modeling 3D dimensional and geometrical tolerances.The proposed modeling method based on the complete mathematical foundation conforms with the design philosophy and principle of the new generation GPS standards system.展开更多
In this paper,a modified single-degree-of-freedom(SDOF)model of reinforced concrete(RC)beams under close-in explosion is proposed by developing the specific impulse equivalent method and flexural resistance calculatio...In this paper,a modified single-degree-of-freedom(SDOF)model of reinforced concrete(RC)beams under close-in explosion is proposed by developing the specific impulse equivalent method and flexural resistance calculation method.The equivalent uniform specific impulse was obtained based on the local conservation of momentum and global conservation of kinetic energy.Additionally,the influence of load uniformity,boundary condition and complex material behaviors(e.g.strain rate effect,hardening/softening and hoop-confined effect)was considered in the resistance calculation process by establishing a novel relationship between external force,bending moment,curvature and deflection successively.The accuracy of the proposed model was verified by carrying out field explosion tests on four RC beams with the scaled distances of 0.5 m/kg~(1/3)and 0.75 m/kg~(1/3).The test data in other literatures were also used for validation.As a result,the equivalent load implies that the blast load near the mid-span of beams would contribute more to the maximum displacement,which was also observed in the tests.Moreover,both the resistance model and test results declare that when the blast load becomes more concentrated,the ultimate resistance would become lower,and the compressive concrete would be more prone to softening and crushing.Finally,based on the modified SDOF model,the calculated maximum displacements agreed well with the test data in this paper and other literatures.This work fully proves the rationality of the modified SDOF method,which will contribute to a more accurate damage assessment of RC structures under close-in explosion.展开更多
This work will create an electro-dialysis cell model that has the purpose of refining anodic scrap copper—an element that currently must be returned to the copper conversion process. The cell modeling is based on Ohm...This work will create an electro-dialysis cell model that has the purpose of refining anodic scrap copper—an element that currently must be returned to the copper conversion process. The cell modeling is based on Ohm’s Law, while the resulting copper deposit morphology is studied through the thickness of the layer deposited on the surface and the electric current lines traced from the anode to the cathode. The use of the model demonstrated that it is possible to effectively predict the specific energy consumption required for the refinement of the anodic scrap copper, and the morphology of the cathode obtained, with a margin of error of 9%.展开更多
基金Science and Technology Innovation 2030-Major Project of“New Generation Artificial Intelligence”granted by Ministry of Science and Technology,Grant Number 2020AAA0109300.
文摘In the process of constructing domain-specific knowledge graphs,the task of relational triple extraction plays a critical role in transforming unstructured text into structured information.Existing relational triple extraction models facemultiple challenges when processing domain-specific data,including insufficient utilization of semantic interaction information between entities and relations,difficulties in handling challenging samples,and the scarcity of domain-specific datasets.To address these issues,our study introduces three innovative components:Relation semantic enhancement,data augmentation,and a voting strategy,all designed to significantly improve the model’s performance in tackling domain-specific relational triple extraction tasks.We first propose an innovative attention interaction module.This method significantly enhances the semantic interaction capabilities between entities and relations by integrating semantic information fromrelation labels.Second,we propose a voting strategy that effectively combines the strengths of large languagemodels(LLMs)and fine-tuned small pre-trained language models(SLMs)to reevaluate challenging samples,thereby improving the model’s adaptability in specific domains.Additionally,we explore the use of LLMs for data augmentation,aiming to generate domain-specific datasets to alleviate the scarcity of domain data.Experiments conducted on three domain-specific datasets demonstrate that our model outperforms existing comparative models in several aspects,with F1 scores exceeding the State of the Art models by 2%,1.6%,and 0.6%,respectively,validating the effectiveness and generalizability of our approach.
文摘In this work, four empirical models of statistical thickness, namely the models of Harkins and Jura, Hasley, Carbon Black and Jaroniec, were compared in order to determine the textural properties (external surface and surface of micropores) of a clay concrete without molasses and clay concretes stabilized with 8%, 12% and 16% molasses. The results obtained show that Hasley’s model can be used to obtain the external surfaces. However, it does not allow the surface of the micropores to be obtained, and is not suitable for the case of simple clay concrete (without molasses) and for clay concretes stabilized with molasses. The Carbon Black, Jaroniec and Harkins and Jura models can be used for clay concrete and stabilized clay concrete. However, the Carbon Black model is the most relevant for clay concrete and the Harkins and Jura model is for molasses-stabilized clay concrete. These last two models augur well for future research.
文摘This article contains a system conversion from object oriented design into Software Product Line (SPL) using delta modeling of Abstract Behavioral Specification (ABS). ABS is a modeling language which targets system with high level of variety and supports SPL development with delta modeling. The case study of this thesis is a digital library system called Library Automation and Digital Archive (LONTAR). Originally, LONTAR only uses SOAP-based web service. With ABS, LONTAR will be converted into SPL and implement another web service called REST. The motivation of this conversion of LONTAR from object oriented into SPL is because it is easier to develop system with ABS than using regular object oriented. Product definition in ABS is relatively easier than creating a new subclass and do customization to make it works well.
文摘This paper analyzes the applications of four air terminal device(ATD)models(i.e.,the basic model,the box model,the N-point momentum model,the jet main region specification model)in computational fluid dynamics(CFD)simulation and their performance in case study.A full-scale experiment is performed in an environment chamber,and the measured air velocity and temperature fields are compared with the simulation results by using four ATD models.The velocity and temperature fields are measured by an omni-directional thermo-anemometer system.It demonstrates that the basic model and the box model are not applicable to complicated air terminal devices.At the occupant area,the relative errors between simulated and measured air velocities are less than 20% based on the N-point momentum model and the jet main region specification model.Around the ATD zone,the relative error between the numerical and measured air velocity based on the jet main region specification model is less than 15%.The jet main region specification model is proved to be an applicable approach and a more accurate way to study the airflow pattern around the ATD with complicated geometry.
文摘SUMMARY The p value has been widely used as a way to summarise the significance in data analysis. However, misuse and misinterpretation of the p value is common in practice. Our result shows that if the model specification is wrong, the distribution of the p value may be inappropriate, which makes the decision based on the p value invalid.
文摘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.
文摘Purpose:The purpose of this study is to develop and compare model choice strategies in context of logistic regression.Model choice means the choice of the covariates to be included in the model.Design/methodology/approach:The study is based on Monte Carlo simulations.The methods are compared in terms of three measures of accuracy:specificity and two kinds of sensitivity.A loss function combining sensitivity and specificity is introduced and used for a final comparison.Findings:The choice of method depends on how much the users emphasize sensitivity against specificity.It also depends on the sample size.For a typical logistic regression setting with a moderate sample size and a small to moderate effect size,either BIC,BICc or Lasso seems to be optimal.Research limitations:Numerical simulations cannot cover the whole range of data-generating processes occurring with real-world data.Thus,more simulations are needed.Practical implications:Researchers can refer to these results if they believe that their data-generating process is somewhat similar to some of the scenarios presented in this paper.Alternatively,they could run their own simulations and calculate the loss function.Originality/value:This is a systematic comparison of model choice algorithms and heuristics in context of logistic regression.The distinction between two types of sensitivity and a comparison based on a loss function are methodological novelties.
文摘In this paper, a formal specification language and a tool systembased on it are presented. With the tool system, the new model of softwaredevelopment─“specification plus transformation to program” can be im-plemented.
文摘The need for travel demand models is growing worldwide. Obtaining reasonably accurate level of service (LOS) attributes of different travel modes such as travel time and cost representing the performance of transportation system is not a trivial task, especially in growing cities of developing countries. This study investigates the sensitivity of results of a travel mode choice model to different specifications of network-based LOS attributes using a mixed logit model. The study also looks at the possibilities of correcting some of the inaccuracies in network-based LOS attributes. Further, the study also explores the effects of different specifications of LOS data on implied values of time and aggregation forecasting. The findings indicate that the implied values of time are very sensitive to specification of data and model implying that utmost care must be taken if the purpose of the model is to estimate values of time. Models estimated on all specifications of LOS-data perform well in prediction, likely suggesting that the extra expense on developing a more detailed and accurate network models so as to derive more precise LOS attributes is unnecessary for impact analyses of some policies.
文摘Automatically mapping a requirement specification to design model in Software Engineering is an open complex problem. Existing methods use a complex manual process that use the knowledge from the requirement specification/modeling and the design, and try to find a good match between them. The key task done by designers is to convert a natural language based requirement specification (or corresponding UML based representation) into a predominantly computer language based design model—thus the process is very complex as there is a very large gap between our natural language and computer language. Moreover, this is not just a simple language conversion, but rather a complex knowledge conversion that can lead to meaningful design implementation. In this paper, we describe an automated method to map Requirement Model to Design Model and thus automate/partially automate the Structured Design (SD) process. We believe, this is the first logical step in mapping a more complex requirement specification to design model. We call it IRTDM (Intelligent Agent based requirement model to design model mapping). The main theme of IRTDM is to use some AI (Artificial Intelligence) based algorithms, semantic representation using Ontology or Predicate Logic, design structures using some well known design framework and Machine Learning algorithms for learning over time. Semantics help convert natural language based requirement specification (and associated UML representation) into high level design model followed by mapping to design structures. AI method can also be used to convert high level design structures into lower level design which then can be refined further by some manual and/or semi automated process. We emphasize that automation is one of the key ways to minimize the software cost, and is very important for all, especially, for the “Design for the Bottom 90% People” or BOP (Base of the Pyramid People).
文摘If the components in a component-based software system come from different sources, the characteristics of the components may be different. Therefore, evaluating the reliability of a component-based system with a fixed model for all components will not be reasonable. To solve this problem, this paper combines a single reliability growth model with an architecture-based reliability model, and proposes an optimal selecting approach. First, the most appropriate model of each component is selected according to the historical reliability data of the component, so that the evaluation deviation is the smallest. Then, system reliability is evaluated according to both the relationships among components and the using frequency of each component. As the approach takes into account the historical data and the using frequency of each component, the evaluation and prediction results are more accurate than those of using a single model.
文摘Software engineering has been taught at many institutions as individual course for many years. Recently, many higher education institutions offer a BSc degree in Software Engineering. Software engineers are required, especially at the small enterprises, to play many roles, and sometimes simultaneously. Beside the technical and managerial skills, software engineers should have additional intellectual skills such as domain-specific abstract thinking. Therefore, software engineering curriculum should help the students to build and improve their skills to meet the labor market needs. This study aims to explore the perceptions of software engineering students on the influence of learning software modeling and design on their domain-specific abstract thinking. Also, we explore the role of the course project in improving their domain-specific abstract thinking. The study results have shown that, most of the surveyed students believe that learning and practicing modeling and design concepts contribute to their ability to think abstractly on specific domain. However, this finding is influenced by the students’ lack of the comprehension of some modeling and design aspects (e.g., generalization). We believe that, such aspects should be introduced to the students at early levels of software engineering curriculum, which certainly will improve their ability to think abstractly on specific domain.
基金the Building Energy Codes Program of U.S.DOE.The Pacific Northwest National Laboratory is operated for U.S.DOE by Battelle Memorial Institute under contract DE-AC05-76RL01830.
文摘Building-level loads and load schedules prescribed by current modeling rules save modelers time and provide standards during whole building performance modeling.However,recent studies show that they sometimes insufficiently capture the entire building performance due to the varied loads and load schedules for different space types.As a solution to this issue,this paper presents a database of default building-space-specific loads and load schedules for use in energy modeling,and in particular code compliance modeling for commercial buildings.The existing sets of default loads and load schedules are reviewed and the challenges behind using them for specific research topics are discussed.Then,the proposed method to develop the building-space-specific loads and load schedules is introduced.After that,the database for these building-space-specific loads and load schedules is presented.In addition,one case is studied to demonstrate the applications of these loads and load schedules.In this case study,three methods are used to develop building energy models:space-specific(using knowledge of the distribution and location of space types and applying the space-specific data in the developed database),building-level(assuming a lack of knowledge of the space types and using the building-level data in the developed database),and calculated-ratio(assuming knowledge of the distribution of space types but not their locations and calculating weighted average values based on the space-specific data in the developed database).The energy results simulated by using these three methods are compared,which shows building-level methods can produce significantly different absolute energy and energy savings results than the results using space-specific methods.Finally,this paper discusses the application scope and maintenance of this new database.
基金supported by the National Natural Science Foundation of China(61273198)
文摘To reduce complexity, the combat effectiveness simulation system(CESS) is often decomposed into static structure,physical behavior, and cognitive behavior, and model abstraction is layered onto domain invariant knowledge(DIK) and application variant knowledge(AVK) levels. This study concentrates on the specification of CESS’s physical behaviors at the DIK level of abstraction, and proposes a model driven framework for efficiently developing simulation models within model-driven engineering(MDE). Technically, this framework integrates the four-layer metamodeling architecture and a set of model transformation techniques with the objective of reducing model heterogeneity and enhancing model continuity. As a proof of concept, a torpedo example is illustrated to explain how physical models are developed following the proposed framework. Finally, a combat scenario is constructed to demonstrate the availability, and a further verification is shown by a reasonable agreement between simulation results and field observations.
基金Supported by the National High Technology Research and Development Program of China(No.2008AA01A201)the National Nature Science Foundation of China(No.60503015,90818016)
文摘In view of the flaws of component-based software (CBS) reliability modeling and analysis, the low recognition degree of debugging process, too many assumptions and difficulties in obtaining the solution, a CBS reliability simulation process is presented incorporating the imperfect debugging and the limitation of debugging resources. Considering the effect of imperfect debugging on fault detec- tion and correction process, a CBS integration testing model is sketched by multi-queue muhichannel and finite server queuing model (MMFSQM). Compared with the analytical method based on pa- rameters and other nonparametric approaches, the simulation approach can relax more of the usual reliability modeling assumptions and effectively expound integration testing process of CBS. Then, CBS reliability process simulation procedure is developed accordingly. The proposed simulation ap- proach is validated to be sound and effective by simulation experiment studies and analysis.
文摘The tensile properties of a series of soybean protein yarns are tested in USTER THINKPAID Ⅲ. A nonlinear viscoelastic model has been proposed to describe the tensile behavior of soybean protein yarns. The model is composed of a Maxwell element, a linear spring and a nonlinear spring. The tensile properties of soybean protein yam are analyzed. The stress-strain curves of the yams are fitted. The average breaking tenacity and specific work of rupture are calculated using the average breaking strain. Comparisons indicate that theoretical predictions conform the experimental results very well.
基金supported by grants from the National Natural Sciences Foundation of China (No. 30200284,No. 30600278,No. 30772359)Program for New Century Excellent Talents in University (NCET-06-0641)Scientific Research Foundation for the Returned Overseas Chinese Scholars (2008-889)
文摘In our previous study, we identified a novel testis-specific expressed gene 2 (TSEG-2) from mouse testis. To further investigate its functions, 35 male Balb/c mice (8 weeks old) were divided into cryptorchidism group (n=20), sham group (n=10), and control group (n=5). In cryptorchidism group, the right testes were anchored to the inner lateral abdominal wall. In situ hybridization (ISH) was applied to measure the localization of TSEG-2 in mouse testis. Real-time quantitative PCR was performed to detect the expression of TSEG-2 gene. Meanwhile, under the mediation of polyethylenimine (PEI), the recombinant vector pEGFP-TSEG-2 (n=5) or empty vector (mock, n=5) was transfected into the testis of male mice. The transfection efficiencies were measured under a fluorescence microscope. The apoptosis of spermatogenic cells was detected by terminal deoxynuleotidyl-mediated nick end labeling (TUNEL). The results showed that TSEG-2 was expressed in convoluted seminiferous tubules, more precisely, in spermatogonia and spermatocytes. As compared with sham and control groups, the TSEG-2 transcription was significantly enhanced (P〈0.05) and was correlated with apoptosis of spermatogenic cells in cryptorchid testes (P〈0.05). PEI was efficient in mediating transfeetion of TSEG-2 into seminiferous tubules of testis. One week post-transfection, intratesticular injection of TSEG-2 resulted in increased apoptosis of spermatogenic cells in vivo (P〈0.05). These results indicate that TSEG-2 may participate in the apoptosis of spermatogenic cells and the pathogenesis of cryptorchidism.
基金Sponsored by the National Natural Science Foundation of China(Grant No.51575235)
文摘A tolerance modeling method of geometric variations within three-dimensional(3D) tolerance domain is proposed.According to the classification method of feature variations and classes of invariance or symmetry in the new generation Geometrical Product Specifications(GPS) system,the proposed method is based on the Small Displacement Torsor(SDT) concept,and SDT is used to represent the geometric deviations between the nominal feature and the fitting feature. Furthermore,the variation zones of several kinds complex or irregular geometric features are constructed,and the corresponding tolerance modeling methods are discussed respectively. Finally,an example is presented to verify the efficiency of the presented method for modeling 3D dimensional and geometrical tolerances.The proposed modeling method based on the complete mathematical foundation conforms with the design philosophy and principle of the new generation GPS standards system.
基金National Natural Science Foundation of China(Grant No.12102337)to provide fund for conducting experiments。
文摘In this paper,a modified single-degree-of-freedom(SDOF)model of reinforced concrete(RC)beams under close-in explosion is proposed by developing the specific impulse equivalent method and flexural resistance calculation method.The equivalent uniform specific impulse was obtained based on the local conservation of momentum and global conservation of kinetic energy.Additionally,the influence of load uniformity,boundary condition and complex material behaviors(e.g.strain rate effect,hardening/softening and hoop-confined effect)was considered in the resistance calculation process by establishing a novel relationship between external force,bending moment,curvature and deflection successively.The accuracy of the proposed model was verified by carrying out field explosion tests on four RC beams with the scaled distances of 0.5 m/kg~(1/3)and 0.75 m/kg~(1/3).The test data in other literatures were also used for validation.As a result,the equivalent load implies that the blast load near the mid-span of beams would contribute more to the maximum displacement,which was also observed in the tests.Moreover,both the resistance model and test results declare that when the blast load becomes more concentrated,the ultimate resistance would become lower,and the compressive concrete would be more prone to softening and crushing.Finally,based on the modified SDOF model,the calculated maximum displacements agreed well with the test data in this paper and other literatures.This work fully proves the rationality of the modified SDOF method,which will contribute to a more accurate damage assessment of RC structures under close-in explosion.
文摘This work will create an electro-dialysis cell model that has the purpose of refining anodic scrap copper—an element that currently must be returned to the copper conversion process. The cell modeling is based on Ohm’s Law, while the resulting copper deposit morphology is studied through the thickness of the layer deposited on the surface and the electric current lines traced from the anode to the cathode. The use of the model demonstrated that it is possible to effectively predict the specific energy consumption required for the refinement of the anodic scrap copper, and the morphology of the cathode obtained, with a margin of error of 9%.