標題: Titlebook: System Modelling and Optimization; Proceedings of the 1 Masao Iri,Keiji Yajima Conference proceedings 1988 Springer-Verlag London 1988 Sess [打印本頁] 作者: DUCT 時間: 2025-3-21 18:00
書目名稱System Modelling and Optimization影響因子(影響力)
書目名稱System Modelling and Optimization影響因子(影響力)學科排名
書目名稱System Modelling and Optimization網(wǎng)絡公開度
書目名稱System Modelling and Optimization網(wǎng)絡公開度學科排名
書目名稱System Modelling and Optimization被引頻次
書目名稱System Modelling and Optimization被引頻次學科排名
書目名稱System Modelling and Optimization年度引用
書目名稱System Modelling and Optimization年度引用學科排名
書目名稱System Modelling and Optimization讀者反饋
書目名稱System Modelling and Optimization讀者反饋學科排名
作者: fender 時間: 2025-3-21 23:27
Jorge J. Morég towards making the decision-making process robust and reliable to create high-quality architectures. Surveys of practitioners has demonstrated that most decisions made by them are group decisions. Hence, for any tool or method to be useful to them, it must include provision for making group decisi作者: 單色 時間: 2025-3-22 04:27
Hajime Karatsue newest supplementary materials.Concentrates on both theory.Part of the new series, Advanced Topics in Science and Technology in China, this book aims to introduce the theoretical foundations, various sub-fields, current research, and practical methods of software architecture. Readers can acquire 作者: LOPE 時間: 2025-3-22 07:51
Jaroslav Dolezale newest supplementary materials.Concentrates on both theory.Part of the new series, Advanced Topics in Science and Technology in China, this book aims to introduce the theoretical foundations, various sub-fields, current research, and practical methods of software architecture. Readers can acquire 作者: BRIBE 時間: 2025-3-22 11:21 作者: 朋黨派系 時間: 2025-3-22 13:26
W. Y. Ngterpret this information at the architectural level. In this paper, we propose an approach that supports the understanding of software evolution at the architectural level. Our approach relies on the idea that an architectural tactic can be mapped to a number of operational representations, each of 作者: Blemish 時間: 2025-3-22 18:39
Kishi Mitsuo,Noda Keitaro,Yamashita Yuji,Taguchi Katashipendent systems to interact, yielding a new kind of complex system, i.e. a system that is itself composed of systems, the so-called System-of-Systems (SoS). By its very nature, SoS is evolutionarily developed and exhibits emergent behavior..Actually, software architecture research has mainly focused作者: temperate 時間: 2025-3-23 00:50 作者: 新字 時間: 2025-3-23 04:34 作者: unstable-angina 時間: 2025-3-23 06:11 作者: 血友病 時間: 2025-3-23 10:55
Katsuji Uosaki,Toshiharu HatanakaA 2005, Springer LNCS 3047), the 3rd European Workshop on Software Architecture (EWSA 2006) held in Nantes, France during September 4–5, 2006 provided an internationalforumforresearchersandpractitionersfromacademiaandindustry to present innovative research and discuss a wide range of topics in the a作者: 矛盾心理 時間: 2025-3-23 17:01 作者: 裹住 時間: 2025-3-23 19:22
Pero J. Radonja expressed by the delay of analysis results or the utilization of system resources. Architecture-level decisions such as the configuration of sources, sinks and operations, their deployment or the choice of technology impact the performance. Current component-based performance prediction approaches 作者: BIDE 時間: 2025-3-24 01:35
Masanori Sugisaka expressed by the delay of analysis results or the utilization of system resources. Architecture-level decisions such as the configuration of sources, sinks and operations, their deployment or the choice of technology impact the performance. Current component-based performance prediction approaches 作者: Melanoma 時間: 2025-3-24 05:51
A. Germani,L. Jettoy based on SysML and specialized profiles. Despite these ADLs allow describing both structure and behavior of the architecture, there is no guarantee regarding the satisfaction of correctness properties. Due to their nature, semi-formal ADLs do not support automated verification of the specified pro作者: Grievance 時間: 2025-3-24 07:08
Kazimierz Malanowskie at a fast pace are needed. Continuous Experimentation, a practice coming from the web-based systems world, is one of such techniques. It enables researchers and developers to use real-world data to verify their hypothesis and steer the software evolution based on performances and user preferences,作者: doxazosin 時間: 2025-3-24 14:12
D. K. Subramaniany based on SysML and specialized profiles. Despite these ADLs allow describing both structure and behavior of the architecture, there is no guarantee regarding the satisfaction of correctness properties. Due to their nature, semi-formal ADLs do not support automated verification of the specified pro作者: abstemious 時間: 2025-3-24 18:26
J. A. Snyman,M. van Rooyenng. We assert that organizations can consider leveraging peer-reviews and recombination (i.e., promoting design improvement through sharing design ideas) activities to improve the quality of architectures and getting staff trained. This paper reports a case study aimed at exploring the potential imp作者: mettlesome 時間: 2025-3-24 20:36
L. Grippo,F. Lampariello,S. Luciding. We assert that organizations can consider leveraging peer-reviews and recombination (i.e., promoting design improvement through sharing design ideas) activities to improve the quality of architectures and getting staff trained. This paper reports a case study aimed at exploring the potential imp作者: VEN 時間: 2025-3-25 00:29
Kunio Tanabeng. We assert that organizations can consider leveraging peer-reviews and recombination (i.e., promoting design improvement through sharing design ideas) activities to improve the quality of architectures and getting staff trained. This paper reports a case study aimed at exploring the potential imp作者: 定點 時間: 2025-3-25 06:02
Lecture Notes in Control and Information Scienceshttp://image.papertrans.cn/t/image/884492.jpg作者: 大溝 時間: 2025-3-25 10:50 作者: Explicate 時間: 2025-3-25 13:59 作者: 猛然一拉 時間: 2025-3-25 18:32
System Modelling and Optimization978-3-540-39164-7Series ISSN 0170-8643 Series E-ISSN 1610-7411 作者: myalgia 時間: 2025-3-25 20:19 作者: Obliterate 時間: 2025-3-26 00:57 作者: 背書 時間: 2025-3-26 07:48
Newton-type algorithms with nonmonotone line search for large-scale unconstrained optimization,sed employ a nonmonotone steplength selection rule along the search direction which is determined by means of a Truncated-Newton algorithm. Numerical results obtained for a set of test problems are reported.作者: hurricane 時間: 2025-3-26 10:02
Conference proceedings 1988and Optimization, Tokyo, Japan, August 31 - September 4, 1987, as well as 4 papers for the plenary sessions of the Conference. The aim of the conference was to discuss recent advances in the mathematical representation of engineering, sociotechnical, socioeconomic systems as well as in the optimization of their performances."作者: modest 時間: 2025-3-26 14:30
Chandrasekahr filtering and smoothing methods given covariance model and properties of X and Y funcon. In addition, another type of Chandrasekhar‘s X- and Y-functions that is different from the original ones in terms of numerical stability and accuracy and the corresponding Riccati differential equations systems are presented. Similar formulas are also given for this type of Chandrasekhar‘s X- and Y-functions.作者: TIA742 時間: 2025-3-26 18:10
Centered newton method for mathematical programming,lso given by applying the Newton method to a projected system of the complementarity equations. These two directions guide the generated sequence of the approximations towards the solution and the center variety respectively. A class of ‘penalized norms’ and ‘guiding cones’ is also introduced for choosing step lengths in bivariate search.作者: Neutral-Spine 時間: 2025-3-26 21:58
0170-8643 Modelling and Optimization, Tokyo, Japan, August 31 - September 4, 1987, as well as 4 papers for the plenary sessions of the Conference. The aim of the conference was to discuss recent advances in the mathematical representation of engineering, sociotechnical, socioeconomic systems as well as in the作者: Horizon 時間: 2025-3-27 02:33 作者: browbeat 時間: 2025-3-27 08:04
Conference proceedings 1988and Optimization, Tokyo, Japan, August 31 - September 4, 1987, as well as 4 papers for the plenary sessions of the Conference. The aim of the conference was to discuss recent advances in the mathematical representation of engineering, sociotechnical, socioeconomic systems as well as in the optimizat作者: Antagonism 時間: 2025-3-27 10:07 作者: pellagra 時間: 2025-3-27 16:18 作者: defeatist 時間: 2025-3-27 20:01
Solving slp recourse problems: The case of stochastic technology matrix, RHS & objective,ight-hand side and objective, using supporting functions. It will turn out that this approach is equivalent to the one discretizing the distributions by applying Jensen‘s and (generalized) Edmundson-Madansky‘s inequality — having been first outlined in [13]. Monotonicity and convergence will be prov作者: 修飾 時間: 2025-3-27 23:16 作者: 設施 時間: 2025-3-28 05:14
Identification of linear discrete-time stochastic system using covariance information,as the random input with the white Gaussian property. The variance of the white Gaussian input and the autocovariance function of the signal are assumed to be known. The linear time-variant system is identified by these covariance information.作者: 包租車船 時間: 2025-3-28 08:08
Optimum state estimation using a new class of robust doubly optimized recursive estimators,oise due to input observation noise and roundoff noise due to rounding after arithmetic operations. The doubly optimized estimators obtained show very favourable performances in cases of decreased levels of input observation noise, comparad with those which we adopted during estimator design. Furthe作者: 不要嚴酷 時間: 2025-3-28 10:48 作者: Tartar 時間: 2025-3-28 16:28 作者: Ostrich 時間: 2025-3-28 21:18
Distributed nonlinear optimization algorithms for general network problems,ds, etc. Both design and planning of these networks involve optimization problems. The first part of this paper introduces the common characteristics of a nonlinear network (the network may be linear, the objective function may be non linear, or both may be nonlinear). The second part develops a mat作者: 矛盾 時間: 2025-3-29 03:00 作者: 熔巖 時間: 2025-3-29 06:39 作者: Lumbar-Spine 時間: 2025-3-29 07:14
Solving slp recourse problems: The case of stochastic technology matrix, RHS & objective,by applying Jensen‘s and (generalized) Edmundson-Madansky‘s inequality — having been first outlined in [13]. Monotonicity and convergence will be proved. In the final part, computational aspects will be discussed, followed by application of the new approach to a small stochastic LP for illustration.作者: 笨拙的你 時間: 2025-3-29 12:06
Optimum state estimation using a new class of robust doubly optimized recursive estimators, favourable performances in cases of decreased levels of input observation noise, comparad with those which we adopted during estimator design. Furthermore, it can be seen that the DOPTIR estimator shows significantly greater robustness to the finite accuracy of the coefficients than the standard recursive estimator.作者: 考博 時間: 2025-3-29 15:52 作者: Detoxification 時間: 2025-3-29 19:58 作者: AER 時間: 2025-3-30 01:44
Modelling support system for system dynamics,ams for large-scale systems, the proposed system needs some heuristic rules to avoid the problem of infinite number of path combinations..Future work planned includes the development of more sophisticated knowledge acquisition mechanism by means of hierarchical conceptual classification and conceptu作者: EPT 時間: 2025-3-30 04:23
Distributed nonlinear optimization algorithms for general network problems,solve the problem with the help of a distributed computer system. Algorithms for parallel processors and spatially distributed systems have been described..There are a number of common features that pertain to networks. A network consists of a set of nodes and arcs. In addition at every node, there 作者: 事與愿違 時間: 2025-3-30 09:45 作者: 盲信者 時間: 2025-3-30 14:51
Jorge J. Moréoup decision making and may need to integrate more aspects like provision for stakeholders to explicitly indicate their preferences, conflict resolution mechanisms, and group decision rules meant to specify how stakeholders’ preferences are taken into account.作者: 勉強 時間: 2025-3-30 19:44
Yu. S. Osipovuce a novel notation to formally express architectural properties as well as an SMC-based toolchain for verifying dynamic software architectures described in .-ADL, a formal architecture description language. We use a flood monitoring system to show how to express relevant properties to be verified.作者: opportune 時間: 2025-3-30 20:45
W. Y. Ngpproach, we carried out a case study on the JFreeChart open source software. We focused on the modifiability tactics and we analyzed a number of available releases of JFreeChart. The results of our analysis revealed inconsistencies in the evolution of the system and some erratic applications and can作者: 震驚 時間: 2025-3-31 02:58 作者: Amylase 時間: 2025-3-31 06:35
Akira Ichikawavel architectural solutions are needed to handle the complexity of software-intensive systems-of-systems in particular regarding the software architecture challenges implied by evolutionary development and emergent behavior..This paper presents the challenges facing software architecture research to作者: 油膏 時間: 2025-3-31 11:36
Roberto Gonzalez,Edmundo Formanvel architectural solutions are needed to handle the complexity of software-intensive systems-of-systems in particular regarding the software architecture challenges implied by evolutionary development and emergent behavior..This paper presents the challenges facing software architecture research to作者: 取回 時間: 2025-3-31 15:44 作者: DAMN 時間: 2025-3-31 19:44 作者: Conquest 時間: 2025-4-1 00:51 作者: 摘要 時間: 2025-4-1 04:21 作者: Atrium 時間: 2025-4-1 08:58
A. Germani,L. Jetto verifying correctness properties through model checking. The automated model transformation from SysADL architecture descriptions to CSP composite processes has been implemented as a plug-in?to the Eclipse-based SysADL Studio tool. This paper also describes an application of SysADL empowered with C作者: 調整校對 時間: 2025-4-1 10:26
Kazimierz Malanowskional system housed in a commercial truck tractor that is used in daily operations by a logistic company on public roads. The system comprises computing units and sensors, and software deployment and data retrieval are only possible remotely via a mobile data connection due to the commercial interest
