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

2007 Working Group Reports on ITiCSE on Innovation and Technology in computer Science Education, ITiCSE-WGR 2007

作者： Cassel, Lillian N. Davies, Gordon Fone, William Hacquebard, Anneke Impagliazzo, John Leblanc, Richard Little, Joyce Currie McGettrick, Andrew Pedrona, Michela Department of Computing Sciences Villanova University VillanovaPA19085 1699 United States Department of Computing Engineering and Technology Staffordshire University Stafford StaffordshireST18 0DP United Kingdom Department of Informatics and Education Keppelseweg 34 Hummelo6999 AR Netherlands Department of Computer Science Hofstra University HempsteadNY11549 United States Georgia Institute of Technology College of Computing DawsonvilleGA30534 United States Department of Computer and Information Sciences Towson University United States Department of Computer and Information Sciences University of Strathclyde Glasgow United Kingdom Department of Software Engineering ETH Zentrum RZ J8 ZurichCH-8092 Switzerland

ISBN: (纸本)9781450378420

Working Group 3 at ITiCSE 2007 continued the ongoing work of the Ontology of Computing project. The working group brought several new people into the project and addressed areas of the ontology of particular interest to these participants. In particular, the group worked on the Ontology sections related to History of Computing, Computing Security and Social and Ethical issues. With the intention of applying the ontology to the support of curriculum development in mind, the group also reviewed and discussed proposed means of presenting a visual representation of the ontology. There was also some work on the present structure of the ontology and future possibilities.

关键词： History

来源：评论

学校读者我要写书评

暂无评论

Inclusive KS0KS0 Resonance Production in ep Collisions at HERA

引用

Physical Review Letters 2008年第11期101卷 112003-112003页

作者： S. Chekanov M. Derrick S. Magill B. Musgrave D. Nicholass J. Repond R. Yoshida M. C. K. Mattingly P. Antonioli G. Bari L. Bellagamba D. Boscherini A. Bruni G. Bruni F. Cindolo M. Corradi G. Iacobucci A. Margotti R. Nania A. Polini S. Antonelli M. Basile M. Bindi L. Cifarelli A. Contin S. De Pasquale G. Sartorelli A. Zichichi D. Bartsch I. Brock H. Hartmann E. Hilger H.-P. Jakob M. Jüngst A. E. Nuncio-Quiroz E. Paul U. Samson V. Schönberg R. Shehzadi M. Wlasenko N. H. Brook G. P. Heath J. D. Morris M. Capua S. Fazio A. Mastroberardino M. Schioppa G. Susinno E. Tassi J. Y. Kim Z. A. Ibrahim B. Kamaluddin W. A. T. Wan Abdullah Y. Ning Z. Ren F. Sciulli J. Chwastowski A. Eskreys J. Figiel A. Galas M. Gil K. Olkiewicz P. Stopa L. Zawiejski L. Adamczyk T. Bołd I. Grabowska-Bołd D. Kisielewska J. Łukasik M. Przybycień L. Suszycki A. Kotański W. Słomiński U. Behrens C. Blohm A. Bonato K. Borras R. Ciesielski N. Coppola S. Fang J. Fourletova A. Geiser P. Göttlicher J. Grebenyuk I. Gregor T. Haas W. Hain A. Hüttmann F. Januschek B. Kahle I. I. Katkov U. Klein U. Kötz H. Kowalski E. Lobodzinska B. Löhr R. Mankel I.-A. Melzer-Pellmann S. Miglioranzi A. Montanari T. Namsoo D. Notz A. Parenti L. Rinaldi P. Roloff I. Rubinsky R. Santamarta U. Schneekloth A. Spiridonov D. Szuba J. Szuba T. Theedt G. Wolf K. Wrona A. G. Yagües Molina C. Youngman W. Zeuner V. Drugakov W. Lohmann S. Schlenstedt G. Barbagli E. Gallo P. G. Pelfer A. Bamberger D. Dobur F. Karstens N. N. Vlasov P. J. Bussey A. T. Doyle W. Dunne M. Forrest M. Rosin D. H. Saxon I. O. Skillicorn I. Gialas K. Papageorgiu U. Holm R. Klanner E. Lohrmann P. Schleper T. Schörner-Sadenius J. Sztuk H. Stadie M. Turcato C. Foudas C. Fry K. R. Long A. D. Tapper T. Matsumoto K. Nagano K. Tokushuku S. Yamada Y. Yamazaki A. N. Barakbaev E. G. Boos N. S. Pokrovskiy B. O. Zhautykov V. Aushev M. Borodin I. Kadenko A. Kozulia V. Libov M. Lisovyi D. Lontkovskyi I. Makarenko Iu. Sorokin A. Verbytskyi O. Volynets D. Son J. de Favereau K. Piotrzkowski F. Barreiro C. Glasman M. Jimenez L. Lab Argonne National Laboratory Argonne Illinois 60439-4815 USA Andrews University Berrien Springs Michigan 49104-0380 USA INFN Bologna Bologna Italy University and INFN Bologna Bologna Italy Physikalisches Institut der Universität Bonn Bonn Germany H.H. Wills Physics Laboratory University of Bristol Bristol United Kingdom Calabria University Physics Department and INFN Cosenza Italy Chonnam National University Kwangju South Korea Jabatan Fizik Universiti Malaya 50603 Kuala Lumpur Malaysia Nevis Laboratories Columbia University Irvington on Hudson New York 10027 The Henryk Niewodniczanski Institute of Nuclear Physics Polish Academy of Sciences Cracow Poland Faculty of Physics and Applied Computer Science AGH-University of Science and Technology Cracow Poland Department of Physics Jagellonian University Cracow Poland Deutsches Elektronen-Synchrotron DESY Hamburg Germany Deutsches Elektronen-Synchrotron DESY Zeuthen Germany INFN Florence Florence Italy University and INFN Florence Florence Italy Fakultät für Physik der Universität Freiburg i.Br. Freiburg i.Br. Germany Department of Physics and Astronomy University of Glasgow Glasgow United Kingdom Department of Engineering in Management and Finance Univ. of Aegean Greece Hamburg University Institute of Exp. Physics Hamburg Germany Imperial College London High Energy Nuclear Physics Group London United Kingdom Institute of Particle and Nuclear Studies KEK Tsukuba Japan Institute of Physics and Technology of Ministry of Education and Science of Kazakhstan Almaty Kazakhstan Institute for Nuclear Research National Academy of Sciences Kiev and Kiev National University Kiev Ukraine Kyungpook National University Center for High Energy Physics Daegu South Korea Institut de Physique Nucléaire Université Catholique de Louvain Louvain-la-Neuve Belgium Departamento de Física Teórica Universidad Autónoma de Madrid Madrid Spain Department of Physics McGill University Montréal Québec Canada H3A 2T8 Meiji Ga

Inclusive KS0KS0 production in ep collisions at the DESY ep collider HERA was studied with the ZEUS detector using an integrated luminosity of 0.5 fb−1. Enhancements in the mass spectrum were observed and are attributed to the production of f2(1270)/a20(1320), f2′(1525) and f0(1710). Masses and widths were obtained using a fit which takes into account theoretical predictions based on SU(3) symmetry arguments, and are consistent with the Particle Data Group values. The f0(1710) state, which has a mass consistent with a glueball candidate, was observed with a statistical significance of 5 standard deviations. However, if this state is the same as that seen in γγ→KS0KS0, it is unlikely to be a pure glueball state.

关键词： Mass spectrometry

来源：评论

学校读者我要写书评

暂无评论

PTC-VANET Interactions to Prevent Highway Rail Intersection Crossing Accidents

PTC-VANET Interactions to Prevent Highway Rail Intersection ...

引用

IEEE 65th Vehicular Technology Conference (VTC-Spring 2007), vol.5

作者： Mark Hartong Rajni Goel Csilla Farkas Duminda Wijesekera Department of Information and Software Engineering George Mason University Fairfax VA USA Department of Information Systems and Decision Sciences Howard University College of Medicine Washington D.C. DC USA Department of Computer Science and Engineering University of South Carolina Columbia SC USA

Vehicular Ad-hoc networks (VANETS) provide distributed real time communication of traffic hazards and road conditions among vehicles in a radio line of sight. We propose using VANETS to securely communicate with Positive Train Control (PTC) Systems in order to reduce Highway Rail Intersection (HRI) incidents. This paper illustrates the similarities and differences between the two systems, discusses previous research into the work already done to integrate the two systems, and outlines the additional work necessary to successfully integrate the two systems.

关键词： Architecture Vehicular Ad-hoc Networks VANETS Communications Based Train Control CBTM Positive Train Control PTCs

来源：评论

学校读者我要写书评

暂无评论

Beauty photoproduction using decays into electrons at HERA

引用

Physical Review D 2008年第7期78卷 072001-072001页

作者： S. Chekanov M. Derrick S. Magill B. Musgrave D. Nicholass J. Repond R. Yoshida M. C. K. Mattingly P. Antonioli G. Bari L. Bellagamba D. Boscherini A. Bruni G. Bruni F. Cindolo M. Corradi G. Iacobucci A. Margotti R. Nania A. Polini S. Antonelli M. Basile M. Bindi L. Cifarelli A. Contin S. De Pasquale G. Sartorelli A. Zichichi D. Bartsch I. Brock H. Hartmann E. Hilger H.-P. Jakob M. Jüngst O. M. Kind A. E. Nuncio-Quiroz E. Paul U. Samson V. Schönberg R. Shehzadi M. Wlasenko N. H. Brook G. P. Heath J. D. Morris M. Capua S. Fazio A. Mastroberardino M. Schioppa G. Susinno E. Tassi J. Y. Kim Z. A. Ibrahim B. Kamaluddin W. A. T. Wan Abdullah Y. Ning Z. Ren F. Sciulli J. Chwastowski A. Eskreys J. Figiel A. Galas M. Gil K. Olkiewicz P. Stopa L. Zawiejski L. Adamczyk T. Bołd I. Grabowska-Bołd D. Kisielewska J. Łukasik M. Przybycień L. Suszycki A. Kotański W. Słomiński U. Behrens C. Blohm A. Bonato K. Borras R. Ciesielski N. Coppola S. Fang J. Fourletova A. Geiser P. Göttlicher J. Grebenyuk I. Gregor T. Haas W. Hain A. Hüttmann F. Januschek B. Kahle I. I. Katkov U. Klein U. Kötz H. Kowalski E. Lobodzinska B. Löhr R. Mankel I.-A. Melzer-Pellmann S. Miglioranzi A. Montanari T. Namsoo D. Notz A. Parenti L. Rinaldi P. Roloff I. Rubinsky R. Santamarta U. Schneekloth A. Spiridonov D. Szuba J. Szuba T. Theedt G. Wolf K. Wrona A. G. Yagües Molina C. Youngman W. Zeuner V. Drugakov W. Lohmann S. Schlenstedt G. Barbagli E. Gallo P. G. Pelfer A. Bamberger D. Dobur F. Karstens N. N. Vlasov P. J. Bussey A. T. Doyle W. Dunne M. Forrest M. Rosin D. H. Saxon I. O. Skillicorn I. Gialas K. Papageorgiu U. Holm R. Klanner E. Lohrmann P. Schleper T. Schörner-Sadenius J. Sztuk H. Stadie M. Turcato C. Foudas C. Fry K. R. Long A. D. Tapper T. Matsumoto K. Nagano K. Tokushuku S. Yamada Y. Yamazaki A. N. Barakbaev E. G. Boos N. S. Pokrovskiy B. O. Zhautykov V. Aushev M. Borodin I. Kadenko A. Kozulia V. Libov M. Lisovyi D. Lontkovskyi I. Makarenko Iu. Sorokin A. Verbytskyi O. Volynets D. Son J. de Favereau K. Piotrzkowski F. Barreiro C. Glasman M. Jim Argonne National Laboratory Argonne Illinois 60439-4815 USA Andrews University Berrien Springs Michigan 49104-0380 USA INFN Bologna Bologna Italy University and INFN Bologna Bologna Italy Physikalisches Institut der Universität Bonn Bonn Germany H.H. Wills Physics Laboratory University of Bristol Bristol United Kingdom Calabria University Physics Department and INFN Cosenza Italy Chonnam National University Kwangju South Korea Jabatan Fizik Universiti Malaya 50603 Kuala Lumpur Malaysia Nevis Laboratories Columbia University Irvington on Hudson New York 10027 USA The Henryk Niewodniczanski Institute of Nuclear Physics Polish Academy of Sciences Cracow Poland Faculty of Physics and Applied Computer Science AGH-University of Science and Technology Cracow Poland Department of Physics Jagellonian University Cracow Poland Deutsches Elektronen-Synchrotron DESY Hamburg Germany Deutsches Elektronen-Synchrotron DESY Zeuthen Germany INFN Florence Florence Italy University and INFN Florence Florence Italy Fakultät für Physik der Universität Freiburg Freiburg im Breisgau Germany Department of Physics and Astronomy University of Glasgow Glasgow United Kingdom Department of Engineering in Management and Finance University of Aegean Greece Hamburg University Institute of Experimental Physics Hamburg Germany Imperial College London High Energy Nuclear Physics Group London United Kingdom Institute of Particle and Nuclear Studies KEK Tsukuba Japan Institute of Physics and Technology of Ministry of Education and Science of Kazakhstan Almaty Kazakhstan Institute for Nuclear Research National Academy of Sciences Kiev and Kiev National University Kiev Ukraine Kyungpook National University Center for High Energy Physics Daegu South Korea Institut de Physique Nucléaire Université Catholique de Louvain Louvain-la-Neuve Belgium Departamento de Física Teórica Universidad Autónoma de Madrid Madrid Spain Department of Physics McGill University Montréal Québec Canad

Photoproduction of beauty quarks in events with two jets and an electron associated with one of the jets has been studied with the ZEUS detector at HERA using an integrated luminosity of 120 pb−1. The fractions of events containing b quarks, and also of events containing c quarks, were extracted from a likelihood fit using variables sensitive to electron identification as well as to semileptonic decays. Total and differential cross sections for beauty and charm production were measured and compared with next-to-leading-order QCD calculations and Monte Carlo models.

关键词： DEEP-INELASTIC SCATTERING H1 VERTEX DETECTOR CENTRal TRACKING DETECTOR ZEUS BARREL CalORIMETER HEAVY FLAVOR PRODUCTION MESON CROSS-SECTIONS HADRON-COLLISIONS D-ASTERISK+/ D-ASTERISK(+/-) PHOTOPRODUCTION INCLUSIVE D-ASTERISK(+/-) Electrons HERA TRACK-DETECTOR jets Beauty Decay Differential cross sections photoproduction Quarks Deep inelastic scattering

来源：评论

学校读者我要写书评

暂无评论

Runtime Support for Advanced Component Concepts

Runtime Support for Advanced Component Concepts

引用

International Conference on software engineering Research, Management and Applications (SERA)

作者： Tomas Bures Petr Hnetynka Frantisek Plasil Jan Klesnil Ondrej Kmoch Tomas Kohan Pavel Kotrc Department of Software Engineering Faculty of Mathematics and Physics Charles University Prague Czech Republic Institute of Computer Science Academy of Sciences슠of the슠Czech Republic Prague Czech Republic School of Computer Science and Informatics University College Dublin Dublin Ireland

Component-based development has become a recognized technique for building large scale distributed applications. although the maturity of this technique, there appears to be quite a significant gap between (a) component systems that are rich in advanced features (e.g., component nesting, software connectors, versioning, dynamic architectures), but which have typically only poor or even no runtime support, and (b) component systems with a solid runtime support, but which typically possess only a limited set of the advanced features. In our opinion, this is mainly due to the difficulties that arise when trying to give proper semantics to the features and reify them in development tools and an runtime platform. In this paper, we describe the implementation of the runtime environment for the SOFA 2.0 component model. In particular, we focus on the runtime support of the advanced features mentioned above. The described issues and the solution are not specific only to SOFA 2.0, but they are general and applicable to any other component system aiming at addressing such features.

关键词： Application software software engineering computer science Buildings Large-scale systems Runtime environment Runtime library Containers Conference management Research and development management

来源：评论

学校读者我要写书评

暂无评论

Multijet cross sections in charged current e±p scattering at HERA

引用

Physical Review D 2008年第3期78卷 032004-032004页

作者： S. Chekanov M. Derrick S. Magill B. Musgrave D. Nicholass J. Repond R. Yoshida M. C. K. Mattingly M. Jechow N. Pavel P. Antonioli G. Bari L. Bellagamba D. Boscherini A. Bruni G. Bruni F. Cindolo M. Corradi G. Iacobucci A. Margotti R. Nania A. Polini S. Antonelli M. Basile M. Bindi L. Cifarelli A. Contin S. De Pasquale G. Sartorelli A. Zichichi D. Bartsch I. Brock H. Hartmann E. Hilger H.-P. Jakob M. Jüngst A. E. Nuncio-Quiroz E. Paul R. Renner U. Samson V. Schönberg R. Shehzadi M. Wlasenko N. H. Brook G. P. Heath J. D. Morris M. Capua S. Fazio A. Mastroberardino M. Schioppa G. Susinno E. Tassi J. Y. Kim Z. A. Ibrahim B. Kamaluddin W. A. T. Wan Abdullah Y. Ning Z. Ren F. Sciulli J. Chwastowski A. Eskreys J. Figiel A. Galas M. Gil K. Olkiewicz P. Stopa L. Zawiejski L. Adamczyk T. Bołd I. Grabowska-Bołd D. Kisielewska J. Łukasik M. Przybycień L. Suszycki A. Kotański W. Słomiński U. Behrens C. Blohm A. Bonato K. Borras R. Ciesielski N. Coppola V. Drugakov S. Fang J. Fourletova A. Geiser P. Göttlicher J. Grebenyuk I. Gregor T. Haas W. Hain A. Hüttmann F. Januschek B. Kahle I. I. Katkov U. Klein U. Kötz H. Kowalski E. Lobodzinska B. Löhr R. Mankel I.-A. Melzer-Pellmann S. Miglioranzi A. Montanari T. Namsoo D. Notz A. Parenti L. Rinaldi P. Roloff I. Rubinsky R. Santamarta U. Schneekloth A. Spiridonov D. Szuba J. Szuba T. Theedt G. Wolf K. Wrona A. G. Yagües Molina C. Youngman W. Zeuner W. Lohmann S. Schlenstedt G. Barbagli E. Gallo P. G. Pelfer A. Bamberger D. Dobur F. Karstens N. N. Vlasov P. J. Bussey A. T. Doyle W. Dunne M. Forrest M. Rosin D. H. Saxon I. O. Skillicorn I. Gialas K. Papageorgiu U. Holm R. Klanner E. Lohrmann P. Schleper T. Schörner-Sadenius J. Sztuk H. Stadie M. Turcato C. Foudas C. Fry K. R. Long A. D. Tapper T. Matsumoto K. Nagano K. Tokushuku S. Yamada Y. Yamazaki A. N. Barakbaev E. G. Boos N. S. Pokrovskiy B. O. Zhautykov V. Aushev M. Borodin A. Kozulia M. Lisovyi D. Son J. de Favereau K. Piotrzkowski F. Barreiro C. Glasman M. Jimenez L. Labarga J. del Peso E. Ron M. Soares J. Terrón M. Zambrana F Argonne National Laboratory Argonne Illinois 60439-4815 USA Andrews University Berrien Springs Michigan 49104-0380 USA Institut für Physik der Humboldt-Universität zu Berlin Berlin Germany INFN Bologna Bologna Italy University and INFN Bologna Bologna Italy Physikalisches Institut der Universität Bonn Bonn Germany H. H. Wills Physics Laboratory University of Bristol Bristol United Kingdom Calabria University Physics Department and INFN Cosenza Italy Chonnam National University Kwangju Republic of Korea Jabatan Fizik Universiti Malaya 50603 Kuala Lumpur Malaysia Nevis Laboratories Columbia University Irvington on Hudson New York 10027 USA The Henryk Niewodniczanski Institute of Nuclear Physics Polish Academy of Sciences Cracow Poland Faculty of Physics and Applied Computer Science AGH-University of Science and Technology Cracow Poland Department of Physics Jagellonian University Cracow Poland Deutsches Elektronen-Synchrotron DESY Hamburg Germany Deutsches Elektronen-Synchrotron DESY Zeuthen Germany INFN Florence Florence Italy University and INFN Florence Florence Italy Fakultät für Physik der Universität Freiburg i.Br. Freiburg i.Br. Germany Department of Physics and Astronomy University of Glasgow Glasgow United Kingdom Department of Engineering in Management and Finance University of Aegean Greece Hamburg University Institute of Experimental Physics Hamburg Germany Imperial College London High Energy Nuclear Physics Group London United Kingdom Institute of Particle and Nuclear Studies KEK Tsukuba Japan Institute of Physics and Technology of Ministry of Education and Science of Kazhakhstan Almaty Kazhakhstan Institute for Nuclear Research National Academy of Sciences Kiev and Kiev National University Kiev Ukraine Kyungpook National University Center for High Energy Physics Daegu Republic of Korea Institut de Physique Nucléaire Université Catholique de Louvain Louvain-la-Neuve Belgium Departamento de Física Teórica Universidad Autónoma de

Jet cross sections were measured in charged-current deep inelastic e±p scattering at high boson virtualities Q2 with the ZEUS detector at HERA II using an integrated luminosity of 0.36 fb−1. Differential cross sections are presented for inclusive-jet production as functions of Q2, Bjorken x and the jet transverse energy and pseudorapidity. The dijet invariant mass cross section is also presented. Observation of three- and four-jet events in charged-current e±p processes is reported for the first time. The predictions of next-to-leading-order (NLO) QCD calculations are compared to the measurements. The measured inclusive-jet cross sections are well described in shape and normalization by the NLO predictions. The data have the potential to constrain the u and d valence-quark distributions in the proton if included as input to global fits.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Research and establishment of quality cost oriented software testing model

Research and establishment of quality cost oriented software...

引用

2006 Canadian Conference on Electrical and computer engineering, CCECE'06

作者： Yuyu, Yuan Shen, Gu Computer Science Department Computer Architecture Group Pkuing University Beijing 100871 China College of Software Engineering Graduate School Chinese Academy of Sciences Beijing 100049 China

ISBN: (纸本)1424400384

In a competitive market, quality is essential to the software. software test plays an important role during the software-developing period. Any saving on software test, will greatly reduce the total cost of software. The key point of this paper is to build a software test process with the cost control management and to make tradeoff between the quality and the cost. Typical software testing model are analyzed and compared. A novel QC 3-D test model is introduced. The model combined with software test process, software quality cost and testing type. The computational formula is defined to calculate software quality cost. A software quality balance law is introduced to balance control cost and failure cost. By adjusting software test method and strategy, organization can reach the objective of the best balance between software quality and cost. An enterprise case is studied and the result is analyzed to prove the basic law. The result shows an optimistic point that will prove the accurate of the model and the law.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Robotic navigation by blending of local and global vision

Robotic navigation by blending of local and global vision

引用

2006 International Conference on Artificial Intelligence, ICAI'06

作者： Oeyan, Espen Doran, Michael V. Simmons, W. Eugene Thomas Jr., Thomas G. Norconsult Informasjonssystemer Trondheim Norway University of South Alabama School of Computer and Information Sciences Mobile AL 36688 United States University of South Alabama College of Engineering Department of Electrical and Computer Engineering Mobile AL 36688 United States

ISBN: (纸本)9781932415988

Autonomous robotic navigation is afield of computer science with great potential for practical real-life applications. Urban search and rescue work presents complex and demanding environments. In such situations, robots can prove to be invaluable and adaptable resources. Autonomous robots can also be of great value in everyday life, as intelligent aids for elderly or physically disabled persons. One factor remains equally important when designing an autonomous robot, namely a robust and accurate vision system. The research discussed in this paper focused on the potential increase in efficiency in robotic navigation by utilizing a blended vision system, thereby resolving uncertainties related to incomplete or contradictory data. The experiment considered an environment where the opening between obstacles was wide enough for the robot to use. The opening was gradually narrowed to a point where, due to low resolution, the global vision system falsely judges the opening too narrow. It was hypothesized that the local vision system would detect the error made by the global vision system, and allow the robot to use the opening.

关键词： Blending

来源：评论

学校读者我要写书评

暂无评论

A Two-Population Evolutionary algorithm for Constrained Optimization Problems

A Two-Population Evolutionary Algorithm for Constrained Opti...

引用

Congress on Evolutionary Computation

作者： P.A. Simionescu G.V. Dozier R.L. Wainwright Department of Mechanical Engineering University of Tulsa Tulsa OK USA Department of Computer Science and Software Engineering Aubum University Auburn AL USA Department of Mathematical and Computer Sciences University of Tulsa Tulsa OK USA

A new approach to solving constrained nonlinear programming problems using evolutionary computations is discussed. According to the method two populations are evolved, one population (females) is evolved inside the feasible domain of the design space and a second population (males) is evolved outside this feasible domain. Both populations can be independently subject to crossover and mutation operations and the design space explored. Female-male crossover however ensures the desirable increase in the search pressure upon the boundaries of the feasible space -it is known that in many optimization problems the global optimum is bounded. The experiments performed on three test objective functions of two variables show some promise of the proposed approach in that it can cope with both linear and nonlinear constraints and with nonconvex feasible domains.

关键词： Evolutionary computation Constraint optimization Genetic mutations Space exploration Testing Visualization Genetic programming Performance evaluation Helium Functional programming

来源：评论

学校读者我要写书评

暂无评论

Securing UML information flow using flowUML

Securing UML information flow using flowUML

引用

作者： alghathbar, Khaled Farkas, Csilla Wijesekera, Duminda Information Systems Department College of Computer and Information Sciences King Saud University P.O. Box 51178 Riyadh 11543 Saudi Arabia Information Security Laboratory Dept. of Computer Science and Engineering University of South Carolina Columbia SC 29208 Dept. of Information and Software Engineering CSIS George Mason University Fairfax VA 22030 Faculty of Information Systems Kind Saud University Riyadh Saudi Arabia Department of Computer Science and Engineering University of South Carolina Columbia Department of Information and Software Engineering George Mason University Fairfax VA George Mason University

FlowUML is a logic-based system to validate information flow policies at the requirements specification phase of UML based designs. It uses Horn clauses to specify information flow polices that can be checked against flow information extracted from UML sequence diagrams. FlowUML policies can be written at a coarse grain level of caller-callee relationships or at a finer level involving passed attributes. Copyright © 2006, Australian computer Society Inc.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：