检索结果-内蒙古大学图书馆

2011 International Conference on Cloud and Service Computing, CSC 2011

作者： Deng, Hanbing Zhang, Xia Liu, Jiren College of Information Science and Engineering Northeastern University Shenyang China State Key Laboratory of Software Architecture Neusoft Corporation Shenyang China

ISBN: (纸本)9781457716362

Keeping healthy diet and lifestyle is the most effective way to prevent disease. But usually people only know some basic physical information like height, weight, heartbeat, and so on. They have no idea whether their food habit or lifestyle will affect their health. This paper, based on the scene of health cloud, proposes a knowledge reasoning model which includes knowledge analysis module, ontology modeling module, decision engine, rule engine and semantic template. The model provides a method which can analyze the diet and lifestyle information of people. And the information can be achieved from the domain ontology which is pretreated by domains experts. With the results of semantic reasoning processes, people can get some better healthy diet and lifestyle advices. An example of health diet has been constructed to test the performance of knowledge reasoning model. The results indicate that the model can effectively work for knowledge reasoning in health cloud. © 2011 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Consistency checks of design specifications against requirements using graph-based linguistic analysis 16

Consistency checks of design specifications against requirem...

引用

31st Annual ACM Symposium on Applied Computing, SAC 2016

作者： Niklas, Kai Gärtner, Stefan Schneider, Kurt Talanx Systeme AG Enterprise Architecture Management Hannover Germany Leibniz Universität Hannover Software Engineering Group Hannover Germany

ISBN: (纸本)9781450337397

For the development of complex systems it is important to ensure that design specifications and requirements are consistent. Unfortunately, requirements are often written in natural language and are weakly structured which hinders automatic processing. Manual steps or formal specifications are necessary which are time consuming, error prone and often not suitable for complex systems. We present a graph-based, linguistic method to check the consistency of design specifications against requirements automatically. Our approach is able to propose recommendations to resolve inconsistencies. We evaluated our approach in an industrial setting which demonstrated the practical applicability and usefulness. © 2016 ACM.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Structural Interval Reliability Algorithm Based on Bernstein Polynomials and Evidence Theory

引用

Computer Systems Science & engineering 2023年第8期46卷 1947-1960页

作者： Xu Zhang Jianchao Ni Juxi Hu Weisi Chen College of Software Engineering Xiamen University of TechnologyXiamenFujian361005China School of Aerospace Engineering Xiamen UniversityXiamenFujian361005China School of Naval Architecture Ocean&Civil EngineeringShanghai Jiao Tong UniversityShanghai200240China

Structural reliability is an important method to measure the safety performance of structures under the influence of uncertain *** structural reliability analysis methods often convert the limit state function to the polynomial form to measure whether the structure is *** uncertain parameters mainly exist in the form of *** method requires a lot of calculation and is often difficult to achieve *** order to solve this problem,this paper proposes an interval variable multivariate polynomial algorithm based on Bernstein polynomials and evidence theory to solve the structural reliability problem with cognitive *** on the non-probabilistic reliability index method,the extreme value of the limit state function is obtained using the properties of Bernstein polynomials,thus avoiding the need for a lot of sampling to solve the reliability analysis *** method is applied to numerical examples and engineering applications such as experiments,and the results show that the method has higher computational efficiency and accuracy than the traditional linear approximation method,especially for some reliability problems with higher ***,this method can effectively improve the reliability of results and reduce the cost of calculation in practical engineering problems.

关键词： Structural reliability uncertainty analysis interval problem evidence theory Bernstein polynomial

来源：评论

学校读者我要写书评

暂无评论

Combining WS-policy and aspect-oriented programming

Combining WS-policy and aspect-oriented programming

引用

Advanced International Conference on Telecommunications andInternational Conference on Internet and Web Applications and Services, AICT/ICIW'06

作者： Ortiz, Guadalupe Leymann, Frank Quercus Software Engineering Group University of Extremadura Computer Science Department Spain Institute of Architecture of Application Systems University of Stuttgart Germany

ISBN: (纸本)0769525229

Web Service technologies offer a successful way for interoperability among applications. However, although current approaches are beginning to address how to specify non-functional capabilities in Web Services at description level, they have so far failed to propose an acceptable method to decouple the named capabilities from Web Service implementations, resulting in a large amount of code scattered and tangled all over the application. Considering it is our desire to minimize middleware participation in nonfunctional properties management, it is the aim of this paper to describe how aspect-oriented techniques can be used in conjunction with WS-Policy in order to allow the mentioned properties to be completely decoupled at description and implementation level, thus improving their reusability and service maintenance and evolution. © 2006 IEEE.

关键词： Telecommunication services

来源：评论

学校读者我要写书评

暂无评论

Cloud adaptation and application (re-)distribution: Bridging the two perspectives 18

Cloud adaptation and application (re-)distribution: Bridging...

引用

18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, EDOCW 2014

作者： Saez, Santiago Gomez Andrikopoulos, Vasilios Wessling, Florian Marquezan, Clarissa Cassales Institute of Architecture of Application Systems University of Stuttgart Stuttgart Germany Software Systems Engineering Paluno University of Duisburg-Essen Essen Germany

ISBN: (纸本)9781479954704

Cloud developers have to make several decisions when running their application in a cloud environment that may lead to conflicting objectives, inefficient deployment, and inappropriate or not existing adaptation strategies. Proper decision-support tools and processes are therefore needed to make cloud developers aware of the issues that need to be considered when deploying and running applications in the Cloud. Current decision support tools for cloud developers do not provide a structured and organized process in which the cloud developers can systematically check their choices when planning the deployment, execution, and adaptation of applications in the Cloud. In this paper, we combine two previous works and introduce an approach for identifying the options for (re-)deploying application in cloud providers infrastructures and the possible strategies of adaptation that can be used by the deployed application at runtime. The key contribution is a support process that synthesizes the two approaches. We also describe a case study where our support process is applied and we indicate the alternatives for application (re-)deployment and adaptation. © 2014 IEEE.

关键词： Application Design Decision Support Cloud Adaptation Cloud Application Optimization Cloud Application Topology

来源：评论

学校读者我要写书评

暂无评论

Measuring Inappropriate Generosity with Access Modifiers in Java Systems

Measuring Inappropriate Generosity with Access Modifiers in ...

引用

Joint Conference of the Int'l Workshop on and International Conference on software Process and Product Measurement software Measurement

作者： Christian Zoller Axel Schmolitzky Software Engineering and Software Architecture Department of Informatics University of Hamburg Hamburg Germany

Every element of a software architecture, e.g. a subsystem, package, or class, should have a well-defined interface that exposes or hides its sub elements according to the principles of information hiding and encapsulation. Similar to other object-oriented programming languages, Java supports defining interfaces on several levels. The accessibility of types, methods, and fields can be restricted by using access modifiers. With these modifiers, developers are able to define interfaces of packages and classes tailored for different groups of clients. However, in programming practice, types and members seem to be often declared with too generous access modifiers, i.e. they are accessible by more clients than necessary. This can lead to unwanted dependencies and software quality degradation. We developed an approach to measuring the usage of access modifiers for types and methods in Java by defining two new software metrics: Inappropriate Generosity with Accessibility of Types (IGAT) and Inappropriate Generosity with Accessibility of Methods (IGAM). Furthermore, we created a tool called Access Analysis that calculates and displays these metrics. Using Access Analysis, we conducted a survey on twelve open source Java projects. The results support our assumption that access modifiers are often chosen more generously than necessary. On average, around one third of all type and method access modifiers fall into this category. Especially top-level types are almost always declared as public, so that package interfaces typically expose more types than necessary. Only 2% of all investigated top-level types are encapsulated inside their package.

关键词： Java software Encapsulation Programming software metrics

来源：评论

学校读者我要写书评

暂无评论

Data mining algorithms on the web: An application for marketing campaigns

Data mining algorithms on the web: An application for market...

引用

37th International Conference on Computers and Industrial engineering 2007

作者： Nce, Özlem Ünal, Aysegül Yüksek, Kemal Department of Industrial Engineering Faculty of Engineering and Architecture Istanbul Kültür University Istanbul Turkey Software Development TAGSOFT A.S. Istanbul Turkey

ISBN: (纸本)9781627486811

The paper is based on developing two data mining algorithms and using them together in order to get smart decisions from large databases. This subject will be exemplified by a system which finds effectively particular products that are mostly sold together regarding customer profiles. Customer profiles become crucial since it makes possible finding customers who are most likely to purchase the product. The algorithms are Clustering Algorithm based on customer profiling and Association Algorithm based on market basket analysis. Our algorithms were constructed on customer transaction history data. The process of mining large databases purposes finding new knowledge, hidden predictive information and presenting them in understandable manner. The efficiency has been increased by using these two algorithms together. We believe that our system constitutes a test bed for the analysis and development of data mining techniques for active customer profiling to make inferences for marketing campaigns. At the end, the results have been accessed on the web. The application, which based with Web technologies, is very useful for getting information from different locations and systems. Web Technologies can share all locations for the people, who have web browser in their own PC. So, a manager can get smart decision on web wherever he is. The application has been programmed by using *** with C#. programming language based on SQL 2000 database engine.

关键词： Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

Forces of fully nonlinear interfacial periodic waves on a cylindrical pile in a two-layer fluid with free-surface boundary conditions

引用

Journal of Ocean engineering and Science 2023年第6期8卷 662-674页

作者： Jiyang Li Zeng Liu Jie Cui School of Naval Architecture and Ocean Engineering Jiangsu University of Science and TechnologyZhenjiangJiangsu 212000PR China School of Naval Architecture and Ocean Engineering Huazhong University of Science and TechnologyWuhan 430074PR China Hubei Key Laboratory of Naval Architecture and Ocean Engineering Hydrodynamics(HUST) Wuhan 430074China Hubei Provincial Engineering Research Center of Data Techniques and Supporting Software for Ships Wuhan 430074PR China

In the frame of fully nonlinear potential flow theory,series solutions of interfacial periodic gravity waves in a two-layer fluid with free surface are obtained by the homotopy analysis method(HAM),and the related wave forces on a vertical cylinder are *** solution procedure of the HAM for the interfacial wave model with rigid upper surface is further developed to consider the free surface *** forces of nonlinear interfacial periodic waves are estimated by both the classical and modified Mori-son *** is found that the estimated wave forces by the classical Morison equation are more conservative than those by the modified Morison’s formula,and the relative error between the total inertial forces calculated by these two kinds of Morison’s formulae remains over 25%for most cases unless the upper and lower layer depths are both large *** demonstrates that the convective acceleration neglected in the classical Morison equation is rather important for inertial force exerted by not only internal solitary waves but also interfacial periodic *** of these should further deepen our understanding of internal periodic wave forces on a vertical marine riser.

关键词： Interfacial periodic waves Wave force Cylindrical pile Homotopy analysis method Morison equation

来源：评论

学校读者我要写书评

暂无评论

On the nonlinear wave-wave interaction of bi-chromatic interfacial waves

引用

Physics of Fluids 2025年第5期37卷

作者： Fang, Jiayu Li, Jiyang Cui, Jie Liu, Zeng School of Naval Architecture and Ocean Engineering Jiangsu University of Science and Technology Jiangsu Zhenjiang 212000 China State Key Laboratory of Ocean Engineering Shanghai Jiao Tong University Shanghai 200240 China Jiangsu Yangzi Xinfu Shipbuilding Co. Ltd. Jiangsu Taizhou 225300 China School of Naval Architecture and Ocean Engineering Huazhong University of Science and Technology Wuhan 430074 China Hubei Provincial Engineering Research Center of Data Techniques and Supporting Software for Ships Hubei Wuhan 430074 China

The effects of nonlinear wave-wave interaction on bi-chromatic interfacial wave field in a two-layer liquid with a rigid upper boundary have been researched semi-analytically applying the homotopy analysis method in combination with the numerical Galerkin's method. The nonlinear bi-chromatic interfacial wave system is assumed to be formed by the linear and nonlinear interactions of two co-propagating monochromatic interfacial waves. Based on the average fluxes and conservation equations of mass, momentum, and energy for monochromatic and bi-chromatic interfacial waves proposed in this paper, the series solutions of two monochromatic waves before interaction could be easily found once the nonlinear bi-chromatic wave field after interaction is already known. For finite amplitude cases, it is found that nonlinear wave-wave interaction can effectively enlarge the frequency bandwidth of amplitude spectrum, transport part energy of wave group from small to large amplitude areas substantially increasing the wave steepness, greatly enhance the horizontal shear flow near the interface, and change the evolution mode of amplitudes of envelopes of wave group from a time-independent amplitude to an oscillatory one. Our results indicate that nonlinear evolution of internal waves in the oceans may increase the danger to marine structures and submarines, and accelerate the fatigue failure of marine risers. All of these should deepen our understanding of nonlinear internal gravity waves. © 2025 Author(s).

关键词： Galerkin methods

来源：评论

学校读者我要写书评

暂无评论

AccessAnalysis: A Tool for Measuring the Appropriateness of Access Modifiers in Java Systems

AccessAnalysis: A Tool for Measuring the Appropriateness of ...

引用

IEEE International Workshop on Source Code Analysis and Manipulation

作者： Christian Zoller Axel Schmolitzky Software Engineering and Software Architecture Department of Informatics University of Hamburg Hamburg Germany

Access modifiers allow Java developers to define package and class interfaces tailored for different groups of clients. According to the principles of information hiding and encapsulation, the accessibility of types, methods, and fields should be as restrictive as possible. However, in programming practice, the potential of the given possibilities seems not always be fully exploited. Access Analysis is a plug-in for the Eclipse IDE that measures the usage of access modifiers for types and methods in Java. It calculates two metrics, Inappropriate Generosity with Accessibility of Types (IGAT) and Inappropriate Generosity with Accessibility of Methods (IGAM), which represent the degree of deviation between actual and necessary access modifiers. As an approximation for the necessary access modifier, we introduce the notion of minimal access modifiers. The minimal access modifier is the most restrictive access modifier that allows all existing references to a type or method in the entire source code of a system. Access Analysis determines minimal access modifiers by static source code analysis using the build-in Java DOM/AST API of Eclipse.

关键词： Java Measurement Encapsulation software engineering Abstracts Programming Approximation methods

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：