This paper describes the combination of two industrially proven methods, SCR Requirements and Cleanroom Software Engineering, to form a seamless method for the formal specification and design of real-time systems. SCR documents functional and non-functional requirements such as timing and precision using a tabular notation of mathematical functions. Cleanroom supports the development of near-ze...

Explicit information-seeking actions are needed to evaluate alternative actions in problem-solving tasks. Information-seeking costs are often traded off against the utility of information. We present three experiments that show how subjects adapt to the cost and information structures of environments in a map-navigation task. We found that subjects often stabilize at suboptimal levels of perfor...

Transmission accuracy is one of the most important parameters in ball screw mechanism (BSM); however, very few researches can be found on transmission error modeling for BSM. Therefore, basis converting principle errors normal and axial direction proposed this paper, paper proposes a new model to predicate BSM considering manufacturing errors, installation as well due different loading status. ...

In digital era, every business entities must prepare a competitive strategy to compete with other competitors. Therefore, this study aims provide management systems that can assist in creating advantage. This will describe the effect of Enterprise Risk Management (ERM) strategic planning for Islamic banking use COSO ERM Framework approach. uses quantitative analysis method purposive sampling te...

The electric vehicle industry faces intense competition and the sustainability problem. In order to obtain a differential competitive advantage, enterprises actively promote battery swapping mode (BSM) respond cost pressures caused by mismatch between demand supply. Considering cascade utilization, Stackelberg game models of supply chain under three different scenarios, in secondary consisting ...

We propose to combine and slightly extend two existing “Les Houches Accords” to provide a simple generic interface between beyond-the-standardmodel parton-level and event-level generators. All relevant information — particle content, quantum numbers of new states, masses, cross sections, partonlevel events, etc — is collected in one single file, which adheres to the Les Houches Event File (LHEF...

In this paper, we present the latest results of the searches for beyond standard model Higgs boson production at the Tevatron collider of Fermilab. Analyses have been carried out on samples of about 1-4 fb of data collected by the CDF1 and DØ2 detectors. In particular, Higgs bosons in supersymmetric models and fermiophobic scenario have been investigated, and limits on production cross sections...

Target-site and non-target-site herbicide tolerance are caused by the prevention of herbicide binding to the target enzyme and the reduction to a nonlethal dose of herbicide reaching the target enzyme, respectively. There is little information on the molecular mechanisms involved in non-target-site herbicide tolerance, although it poses the greater threat in the evolution of herbicide-resistant...

Excessive fibroblast adhesion and proliferation on the surface of medical implants (such as catheters, endotracheal tubes, intraocular lenses, etc) can lead to major postsurgical complications. This study showed that when coated on tissue culture polystyrene, lubricin, a nanostructured mucinous glycoprotein found in the synovial fluid of joints, decreased fibroblast density for up to 2 days of ...