排序方式: 共有44条查询结果,搜索用时 15 毫秒
1.
Validation and verification of social processes within agent-based computational organization models 总被引:1,自引:0,他引:1
Levent Yilmaz 《Computational & Mathematical Organization Theory》2006,12(4):283-312
The use of simulation modeling in computational analysis of organizations is becoming a prominent approach in social science
research. However, relying on simulations to gain intuition about social phenomena has significant implications. While simulations
may give rise to interesting macro-level phenomena, and sometimes even mimic empirical data, the underlying micro and macro
level processes may be far from realistic. Yet, this realism may be important to infer results that are relevant to existing
theories of social systems and to policy making. Therefore, it is important to assess not only predictive capability but also
explanation accuracy of formal models in terms of the degree of realism reflected by the embedded processes. This paper presents
a process-centric perspective for the validation and verification (V&V) of agent-based computational organization models.
Following an overview of the role of V&V within the life cycle of a simulation study, emergent issues in agent-based organization
model V&V are outlined. The notion of social contract that facilitates capturing micro level processes among agents is introduced
to enable reasoning about the integrity and consistency of agent-based organization designs. Social contracts are shown to
enable modular compositional verification of interaction dynamics among peer agents. Two types of consistency are introduced:
horizontal and vertical consistency. It is argued that such local consistency analysis is necessary, but insufficient to validate
emergent macro processes within multi-agent organizations. As such, new formal validation metrics are introduced to substantiate
the operational validity of emergent macro-level behavior.
Levent Yilmaz is Assistant Professor of Computer Science and Engineering in the College of Engineering at Auburn University and co-founder
of the Auburn Modeling and Simulation Laboratory of the M&SNet. Dr. Yilmaz received his Ph.D. and M.S. degrees from Virginia
Polytechnic Institute and State University (Virginia Tech). His research interests are on advancing the theory and methodology
of simulation modeling, agent-directed simulation (to explore dynamics of socio-technical systems, organizations, and human/team
behavior), and education in simulation modeling. Dr. Yilmaz is a member of ACM, IEEE Computer Society, Society for Computer
Simulation International, and Upsilon Pi Epsilon. URL: http://www.eng.auburn.edu/~yilmaz 相似文献
2.
A model of a gamma sterilizer was built using the ITS/ACCEPT Monte Carlo code and verified through dosimetry. Individual dosimetry measurements in homogeneous material were pooled to represent larger bodies that could be simulated in a reasonable time. With the assumptions and simplifications described, dose predictions were within 2–5% of dosimetry. The model was used to simulate product movement through the sterilizer and to predict information useful for process optimization and facility design. 相似文献
3.
Environmental quality is still deteriorating in the EU and worldwide despite all the Directives and Regulations in this field
over the past 20 years. The European Community has devised a new approach to this problem with the introduction of the Eco-Management
and Audit Scheme Regulation. This Regulation provides industry with an opportunity to demonstrate that it can achieve continuous
improvement in its environmental performance through a voluntary scheme which is not based on the traditional command and
control mechanisms of Directives. This paper gives an overview of the steps involved in implementing the European Eco-Management
and Audit Scheme and the role of accreditation in supporting the scheme. 相似文献
4.
Main features inherent in simplified approach to residual stresses determination in cylindrical shells and tubes, external diameter of which is not less than 60 mm, by combing the hole-drilling method and reflection hologram interferometry are discussed in detail. Initial experimental information in a form of hole diameter increments in principal stress directions is derived from high-quality reflection holograms recorded near cylindrical objects of intermediate curvature value. Converting measured parameters into required stress values is based on the transition model that corresponds to plane stress conditions of pure membrane type. The technique developed is capable of determining residual stress component values within 5% accuracy in an absence of stress gradients over the probe hole diameter when a type of residual stress field corresponds to the transition model adopted. The accuracy analysis involved is based on matrix formulation of conventionally direct problem and an assumption on a pure membrane character of residual stress field under study for thin-walled shell. Required error estimations in a case of inspecting thick-walled cylindrical tube are obtained by combining the above-mentioned approach and an analogy of reconstructed fringe patterns with actual and artificial interferograms, which follow from drilling blind hole of the same geometrical parameters in thick-walled plates. Experimental verification of the developed approach is founded upon a determination of actual stresses in thin-walled cylindrical shell and obtaining residual stress distributions at the proximity of welded joint in thick-walled cylindrical tube. 相似文献
5.
We apply the Stochastic Perron Method, created by Bayraktar and Sîrbu, to a stochastic exit time control problem. Our main assumption is the validity of the Strong Comparison Result for the related Hamilton–Jacobi–Bellman (HJB) equation. Without relying on Bellman's optimality principle we prove that inside the domain the value function is continuous and coincides with a viscosity solution of the Dirichlet boundary value problem for the HJB equation. 相似文献
6.
We present an integrated algorithm on a Eulerian grid, for multimaterial simulations of energetic and inert materials modelled by non-ideal equations of state. We employ high-resolution shock capturing numerical algorithms for each material inside its domain and use an overlap domain method across the interface, maintained by a recently developed, hybrid, level-set algorithm. For applications to condensed explosives we implement a non-ideal, wide-ranging equation of state and reaction rate law. For inert materials, like plastic, metal, water, etc., we implement a (linear in the pressure) Mie–Grüneisen, (U p ?U s ), equation of state. We present a series of verifications of the integrated multimaterial code and show validations against experiment. We show examples of simulations of various experiments associated with real or planned experiments, some of which contain energetic materials (specifically the condensed explosives PBX-9502 and PBX-9501). 相似文献
7.
刘臻 《数学年刊A辑(中文版)》2017,38(2):201-214
研究了完全耦合正倒向随机控制系统的最优控制问题.得到了粘性解框架下的,控制变量同时出现在正倒向随机系统的漂移项和扩散项中的最优控制问题的验证定理.还讨论了验证定理在构造随机最优反馈控制中的应用. 相似文献
8.
9.
直接解调方法在嫦娥一号卫星X射线谱仪地面验证实验数据分析中的应用 总被引:1,自引:0,他引:1
"嫦娥一号"卫星是我国的第一颗月球探测卫星,运行轨道高度为200 km,预计工作寿命为一年,其上配备的X射线成像谱仪具备了对月表进行X射线探测、成像和对太阳X射线进行监测的功能.该X射线谱仪由两个全同的探测器阵列组成,其中,为了实现对月表主要化学元素分布及其含量进行探测的科学目标,在每个探测器阵列还配备了2个低能探测器单元.这4路低能探测器单元的面积为25 mm2,采用的都是厚度为500 μm,具有优良探测性能的Si-PIN探测器,其探测能区为1~10 keV,能量分辨率为~5%@5.9 kev.文章主要介绍了嫦娥一号卫星X射线谱仪的地面验证实验,并且根据X射线谱仪的能量响应矩阵,利用直接解调方法和基本参数法对X射线谱仪地面验证实验中的探测数据,特别是对盲测样品中的Mg,Al,Si等元素进行了定性和定量分析. 相似文献
10.