全文获取类型
收费全文 | 60篇 |
免费 | 1篇 |
专业分类
化学工业 | 11篇 |
建筑科学 | 5篇 |
能源动力 | 2篇 |
轻工业 | 21篇 |
无线电 | 1篇 |
一般工业技术 | 1篇 |
冶金工业 | 5篇 |
自动化技术 | 15篇 |
出版年
2021年 | 3篇 |
2020年 | 1篇 |
2018年 | 1篇 |
2017年 | 1篇 |
2016年 | 1篇 |
2015年 | 1篇 |
2011年 | 1篇 |
2010年 | 4篇 |
2009年 | 1篇 |
2008年 | 1篇 |
2007年 | 2篇 |
2006年 | 2篇 |
2005年 | 3篇 |
2003年 | 2篇 |
2002年 | 2篇 |
2001年 | 3篇 |
1997年 | 2篇 |
1995年 | 1篇 |
1990年 | 1篇 |
1987年 | 6篇 |
1986年 | 1篇 |
1985年 | 1篇 |
1983年 | 1篇 |
1976年 | 1篇 |
1943年 | 1篇 |
1942年 | 1篇 |
1931年 | 4篇 |
1930年 | 5篇 |
1929年 | 6篇 |
1928年 | 1篇 |
排序方式: 共有61条查询结果,搜索用时 31 毫秒
1.
Test Case Generation as an AI Planning Problem 总被引:6,自引:0,他引:6
Adele E. Howe Anneliese von Mayrhauser Richard T. Mraz 《Automated Software Engineering》1997,4(1):77-106
While Artificial Intelligence techniques have been applied to a variety of software engineering applications, the area of automated software testing remains largely unexplored. Yet, test cases for certain types of systems (e.g., those with command language interfaces and transaction based systems) are similar to plans. We have exploited this similarity by constructing an automated test case generator with an AI planning system at its core. We compared the functionality and output of two systems, one based on Software Engineering techniques and the other on planning, for a real application: the StorageTek robot tape library command language. From this, we showed that AI planning is a viable technique for test case generation and that the two approaches are complementary in their capabilities. 相似文献
2.
Anneliese A. Andrews Jeff Offutt Curtis Dyreson Christopher J. Mallery Kshamta Jerath Roger Alexander 《Information and Software Technology》2010,52(1):52-66
Web applications are fast becoming more widespread, larger, more interactive, and more essential to the international use of computers. It is well understood that web applications must be highly dependable, and as a field we are just now beginning to understand how to model and test Web applications. One straightforward technique is to model Web applications as finite state machines. However, large numbers of input fields, input choices and the ability to enter values in any order combine to create a state space explosion problem. This paper evaluates a solution that uses constraints on the inputs to reduce the number of transitions, thus compressing the FSM. The paper presents an analysis of the potential savings of the compression technique and reports actual savings from two case studies. 相似文献
3.
Lihua Ran Curtis Dyreson Anneliese Andrews Renée Bryce Christopher Mallery 《Information and Software Technology》2009,51(2):460-477
Many organizations rely on web applications that use back-end databases to store important data. Testing such applications requires significant effort. Manual testing alone is often impractical, so testers also rely on automated testing techniques. However, current automated testing techniques may produce false positives (or false negatives) even in a perfectly working system because the outcome of a test case depends on the state of the database which changes over time as data is inserted and deleted. The Automatic Database Tester (AutoDBT) generates functional test cases that account for database updates. AutoDBT takes as input a model of the application and a set of testing criteria. The model consists of a state transition diagram that shows how users navigate pages, a data specification that captures how data flows, and an update specification that shows how the database is updated. AutoDBT generates guard queries to determine whether the database is in a state conducive to performing and evaluating tests. AutoDBT also generates partial oracles to help validate whether a back-end database is updated correctly during testing. This paper describes the design of AutoDBT, a prototype implementation, several experiments with the prototype, and four case studies. 相似文献
4.
Demonstrating the effect of vertical and directional shear for resource mapping of wind power 下载免费PDF全文
Christopher T. M. Clack Anneliese Alexander Aditya Choukulkar Alexander E. MacDonald 《风能》2016,19(9):1687-1697
The use of wind energy is growing around the world, and its growth is set to continue into the foreseeable future. Estimates of the wind speed and power are helpful to assess the potential of new sites for development and to facilitate electric grid integration studies. In the present paper, wind speed and power resource mapping analyses are performed. These resource mappings are produced on a 13 km, hourly model grid over the entire continental USA for the years of 2006–2014. The effects of the rotor equivalent wind speed (REWS) along with directional shear are investigated. The total dataset (wind speed and power) contains ≈152,000 model grid points, with each location containing ≈78,000 hourly time steps. The resource mapping and dataset are created from analysis fields, which are output from an advanced weather assimilation model. Two different methods were used to estimate the wind speed over the rotor swept area (with rotor diameter of 100 m). First, using a single wind speed at hub height (80 m) and, second, the REWS with directional shear. The demonstration study shows that in most locations the incorporation of the REWS reduces the average available wind power. In addition, the REWS technique estimates more wind power production at night and less production in the day compared with the hub height technique; potentially critical for siting new wind turbines and plants. However, the wind power estimate differences are dependent on seasonality, diurnal cycle and geographic location. More research is warranted into these effects to determine the level at which these features are observed at actual wind plants.© 2015 The Authors. Wind Energy published by John Wiley & Sons, Ltd. 相似文献
5.
Testing Web applications by modeling with FSMs 总被引:6,自引:0,他引:6
Anneliese A. Andrews Jeff Offutt Roger T. Alexander 《Software and Systems Modeling》2005,4(3):326-345
Researchers and practitioners are still trying to find effective ways to model and test Web applications. This paper proposes a system-level testing technique that combines test generation based on finite state machines with constraints. We use a hierarchical approach to model potentially large Web applications. The approach builds hierarchies of Finite State Machines (FSMs) that model subsystems of the Web applications, and then generates test requirements as subsequences of states in the FSMs. These subsequences are then combined and refined to form complete executable tests. The constraints are used to select a reduced set of inputs with the goal of reducing the state space explosion otherwise inherent in using FSMs. The paper illustrates the technique with a running example of a Web-based course student information system and introduces a prototype implementation to support the technique. 相似文献
6.
7.
Project evaluation is essential to understand and assess the key aspects of a project that make it either a success or failure. The latter is influenced by a large number of factors, and many times it is hard to measure them objectively. This paper addresses this by introducing a new method for identifying and assessing key project characteristics, which are crucial for a project's success. The method consists of a number of well-defined steps, which are described in detail. The method is applied to two case studies from different application domains and continents. It is concluded that patterns are possible to detect from the data sets. Further, the analysis of the two data sets shows that the proposed method using subjective factors is useful, since it provides an increased understanding, insight and assessment of which project factors might affect project success. 相似文献
8.
Empirical studies in software engineering can involve a variety of organizations, each with their own set of policies and procedures geared at safeguarding the interests and responsibilities of the researchers, students, the collaborating company, the university, and possibly national funding agencies like the National Science Foundation and the National Institute of Health. Each of these organizations have differing goals for participating in these studies and bring widely different cultures and expectations to the table. While policies, procedures, contracts, and agreements set expectations, they by themselves cannot ensure ethical behavior. This position paper describes some of the common approaches to encourage ethical behavior and their limits for enforcing ethical behavior. 相似文献
9.
G. Jaumann E. Keck M. Khler G. Uphues Anneliese Wilsch-Irrgang W. Winkle 《European Journal of Lipid Science and Technology》1990,92(10):389-392
Analytic of Phosphoric Acid Partial Esters Phosphoric acid partial esters are best synthesized by reaction of fatty alcohol with P2O5. The chosen mol ratio of fatty alcohol and P2O5 determines the amounts of mono-, di- and trialkylester, of oligomeric esters, of free fatty alcohol and of phosphoric acid. Several methods are used for the characterisation and determination of the individual components, the potentiometric titration, the 31P-nuclear magnetic resonance, the gel permeation chromatography, the ion chromatography and the supercritical fluid chromatography. The combination of all the results of the applied methods provides the key to the composition of the phosphoric acid ester. The results of the analysis are checked by a phosphorus calculation. This analytical procedure can be applied to phosphoric acid partial esters in the acid and salt form. The analysis of alkylethoxyphosphoric esters is done with the exclusion of the chromatographic methods. 相似文献
10.
Susanne Danhauser Wolfgang E. Berdel Hans D. Schick Michael Fromm Anneliese Reichert Ulrich Fink Raymonde Busch Hansjörg Eibl Johann rastetter 《Lipids》1987,22(11):911-915
Eleven lipids have been tested for cytotoxic (trypan blue dye exclusion) activity in cells from eight freshly explanted human leukemias in vitro. 4-Aminomethyl-1-[2,3-(di-N-decyloxy)N-propyl]-4-phenylpiperidine (CP-46,665), 1-mercapto-hexadecyl-2-methoxymethyl-rac-glycero-3-phosphocholine (BM 41.440), the 2-acetamide analog of platelet-activating factor (PAF) and 1-O-octadecyl-2-O-methyl-rac-glycero-3-phosphocholine (ET-18-OCH3) were found among the most active compounds. 2-Lysophosphatidylcholine (2-LPC) showed the lowest activity. However, in addition there was variation among the results regarding the activity of the 1-octadecyl-rac-glycero-3-phosphocholine (ET-18-OH) and its D- and L-forms, but a significantly higher cytotoxic activity of D-ET-18-OH compared with L-ET-18-OH on the basis of 2-LPC as control after an incubation time of 48 hr. We conclude that with the limited number of structures available, this type of study is not sufficient to yield further information about the mode of the accumulation and toxicity of this type of lipids. 相似文献